ستيك: دوال حالة معاملة على تدفقات البيانات المتدفقة

إن تطوير تطبيقات الحوسبة السحابية ذات الحالة، مثل سير العمل منخفض الكمون والخدمات الصغيرة التي تتطلب اتساقًا صارمًا، لا يزال صعبًا بالنسبة للمبرمجين. تهدف نمط دوال الحالة كخدمة (SFaaS) إلى خدمة هذه الاستخدامات. ومع ذلك، تقدم الأساليب الحالية ضمانات معاملات ضعيفة أو تقوم بتنفيذ وصولات حالة خارجية مكلفة تتطلب بروتوكولات معاملات غير فعالة تزيد من زمن التنفيذ. في هذه الورقة، نقدم ستيك، وهو وقت تشغيل قائم على تدفقات البيانات SFaaS ينفذ معاملات قابلة للتسلسل تتكون من دوال حالة تشكل مخططات استدعاء عشوائية مع ضمانات التنفيذ مرة واحدة بالضبط. يقوم ستيك بتوسيع بروتوكول معاملات حتمي من خلال المساهمة: i) نظام اعتراف الدوال لتحديد حدود المعاملات المطلوبة في حمولات SFaaS، ii) آلية تخزين مؤقت لتنفيذ الدوال، و iii) آلية تفاعل مبكر للتأكيد تقلل بشكل كبير من زمن تنفيذ المعاملات. تظهر التجارب مع معايير YCSB و TPC-C و Deathstar أن ستيك يتفوق على الأساليب الرائدة من خلال تحقيق أداء أعلى بمقدار ترتيب واحد على الأقل مع عرض نطاق قابل للتوسع قريب من الخط المستقيم وزمن كمون منخفض.