ملخص تقني: ليست كل القراءات صراعات: تحليل "للكتابة فقط" لشبكة Sui Blockchain

بيان المشكلة

تستخدم شبكة Sui بلوكشين نموذج بيانات متمحور حول الكائنات (object-centric) لتمكين التنفيذ المتوازي للمعاملات، مما يسمح نظرياً للمعاملات التي تمس مجموعات حالات منفصلة بالعمل بالتزامن. ومع ذلك، فإن الأداء الفعلي محدود بتنازع أعباء العمل. اعتمدت التحليلات التجريبية السابقة لـ Sui، مثل دراسة Biton & Friedman [7]، على نموذج رسم بياني للصراعات "قراءة + كتابة" (R+W) موروث من سلاسل الكتل القائمة على الحسابات (مثل Ethereum). في نموذج R+W، تنشأ حافة صراع بين معاملتين إذا وصلتا إلى نفس الكائن وكان أحدها على الأقل يقوم بتعديله.

يجادل المؤلفون بأن نموذج R+W لا يتوافق جوهرياً مع دلالات التنفيذ في Sui. نظرًا لأن محرك Sui يقوم بالتسلسل فقط عند "الوصول المشترك القابل للتعديل" (mutable shared access) وليس عند القراءة المشتركة، فإن نموذج R+W يُدخل "حواف زائفة". المثال الرئيسي هو الساعة النظامية (الكائن 0x6): في نموذج R+W، تخلق كل معاملة مستخدم تقرأ الساعة للحصول على طابع زمني حافة صراع مع معاملة النظام التي تكتب الساعة. هذا يؤدي إلى تضخيم مقاييس التنازع بشكل مصطنع، مما يخلق توبولوجيا "المركز والأطراف" (hub-and-spoke) توحي بوجود اختناقات تسلسلية شديدة حيث لا توجد في الواقع. وبناءً على ذلك، يوفر نموذج R+W حداً أعلى للتنازع قد يبالغ بشكل كبير في تقدير التبعيات التسلسلية ويقلل من تقدير التوازي القابل للتحقيق.

المنهجية

لمعالجة هذه القيود، يقترح المؤلفون ويطبقون نموذج صراع مكملاً يعتمد على "الكتابة فقط" (W-only) على بيانات Sui mainnet حتى نهاية عام 2025.

الحصول على البيانات ومعالجتها

• مجموعة البيانات: تم جمع بيانات المعاملات من نقاط تفتيش (checkpoints) Sui mainnet باستخدام مؤشر (indexer) مخصص بلغة Rust/Diesel. قام المؤلفون بأخذ عينات محددة من كل نقطة تفتيش رقم 3,455 (حوالي 100 في اليوم بعد ترقية Mysticeti) لإنشاء مجموعة بيانات تمثيلية طويلة الأمد.
• بناء الرسم البياني: لكل نقطة تفتيش، تم بناء رسوم بيانية للصراعات غير موجهة حيث تمثل العقد المعاملات وتمثل الحواف الصراعات.
  • نموذج R+W: توجد حافة إذا كان $write(T_1) \cap (read(T_2) \cup write(T_2)) \neq \emptyset$.
  • نموذج W-only: توجد حافة فقط إذا كان $write(T_1) \cap write(T_2) \neq \emptyset$.
• المقاييس: تستخدم الدراسة مقاييس الرسوم البيانية القياسية المقتبسة من أبحاث Ethereum السابقة [8, 15]:
  • الكثافة (Density)، التماثل (Assortativity)، عدد الكليكات (Clique Number)، أكبر مكون متصل (LCC).
  • نسبة LSP/χ: النسبة بين أطول مسار بسيط (LSP) والعدد الكروماتي (χ). وهي تحدد التوازي القابل للتحقيق (LSP هو الحد الأدنى للمسارات التسلسلية؛ و χ هو عدد الجولات الأدنى نظرياً).
  • التحليل الموزون بالغاز (Gas-Weighted Analysis): يتم وزن إمكانات التوازي أيضاً باستخدام استهلاك الغاز لمراعاة التكلفة الحسابية، والتمييز بين المعاملات الرخيلة الكثيرة والمعاملات المكلفة القليلة.

التقنيات التحليلية

1. تجميع Union-Find: يتم تجميع الكائنات بناءً على حدوث الكتابة معاً لعزل أنظمة تطبيقات معينة (مثل DeepBook) عن الشبكة الأوسع.
2. الرسم الخرائطي الاقتصادي: يتم ربط تغيرات الرصيد بأسعار تاريخية من CoinMarketCap لتحديد القيمة المالية بالدولار التي تتدفق عبر المسارات التسلسلية مقابل المسارات المتوازية.
3. فحص الحالة المضادة (Counterfactual Probes): يحاكي المؤلفون إزالة حواف صراع محددة (مثلاً داخل نظام DeepBook البيئي) لاختبار ما إذا كانت تطبيقات معينة تعمل كاختناقات متأصلة.

النتائج الرئيسية

1. التحول في التوبولوجيا الهيكلية: من النجوم إلى الكليكات

يغير الانتقال من R+W إلى W-only التصور العام لتوبولوجيا الشبكة.

• R+W: يظهر هياكل "مركز وأطراف" غير متماثلة للغاية مدفوعة بساعة النظام. كل معاملة مستخدم تقريباً تتصل بكاتب الساعة، مما يخلق "نجمة" ضخمة مصطنعة.
  টি W-only: تنهار النجمة المصطنعة. التوبولوجيا المتبقية هي عالية التماثل ومسيطرة عليها الكليكات (clique-dominated). تحدث الصراعات في مجموعات كثيفة وصغيرة من المعاملات التي تعدل نفس الكائنات، بدلاً من مركز واحد.
• التحول الكمي: ينقلب متوسط درجة التماثل من $-0.500$(في R+W) إلى$\approx +1$ (في W-only). وينخفض متوسط عدد الكليكات من 5.5 إلى 4، وينخفض أكبر مكون متصل (LCC) من 8.5 إلى 4.

2. حدود أكثر دقة للتوازي

يوفر نموذج W-only حداً أدنى للتنازع (وبالتالي حداً أعلى أكثر دقة للتوازي).

• الحمل الروتيني: ينخفض الهامش الأمثل للتوازي المتاح من $\approx 1.2\text{--}1.4\times$ (في R+W) إلى $\approx 1\times$ (في W-only).
• الحمل العالي: ينخفض السقف من $\approx 5\times$ إلى $\approx 3\times$.
• الاستنتاج: تجريد تبعيات جانب القراءة يقلص تقدير التوازي الأمثل بنسبة 30-40% في حالات الحمل الروتيني. تم تحديد الاختناق في حمل Sui الروتيني بأنه تكوين أعباء العمل (تحديداً الكائنات الساخنة للكتابة/write-hot objects) بدلاً من عدم قدرة المحرك المتوازي على الجدولة.

3. التنازع على مستوى التطبيق: نظام DeepBook البيئي

باستخدام تجميع Union-find، عزل المؤلفون نظام DeepBook البيئي (سجل أوامر الحد المركزي الأصلي لـ Sui).

• الحجم مقابل المنطق: يمثل DeepBook 87.3% من جميع صراعات مستوى التطبيقات من حيث الحجم. ومع ذلك، فإن فحوصات الحالة المضادة (إزالة حواف Deep-Book الداخلية) تظهر أن مساهمته في الاختناقات التسلسلية تتناسب طردياً مع حجم معاملاته.
• تأثير التجزئة (Sharding Effect): على عكس سجلات الأوامر المركزية التقليدية (CLOBs) القائمة على الحسابات والتي تفرض التسلسل على عقدة واحدة، يقوم DeepBook بتجزئة الحالة عبر كائنات لكل مجمع (per-pool) ولكل مدير رصيد (per-balance-manager). هذا يسمح للمعاملات التي تمس مجمعات منفصلة بالتنفيذ بالتوازي.
• النتيجة: لا يفرض DeepBook اختناقات تسلسلية غير متناسبة مقارنة بالتطبيقات الأخرى عالية الحجم؛ فتنازعه هو وظيفة للحجم وليس ناتجاً عن منطق فريد.

4. التكلفة الاقتصادية للتسلسل

يكشف ربط هياكل الرسم البياني بقيمة الدولار عن التعرض الاقتصادي لآثار الترتيب.

• العبء التسلسلي: تتدفق 10-50% من قيمة الشبكة المقومة بالدولار عبر مسارات تنفيذ مقيدة تسلسلياً (LCC).
• التدفق المتوازي: يتدفق الـ 50-90% المتبقية عبر مسارات متوازية.
• تداعيات MEV: الجزء التسلسلي معرض تقنياً لاستراتيجيات القيمة المستخرجة القصوى (MEV) القائمة على إعادة الترتيب، بينما الجزء المتوازي ليس كذلك. يشير المؤلفون إلى أن هذه مجرد لقطة للتعرض الحالي لأعباء العمل، وليست سقفاً عالمياً.

الأهمية والادعاءات

يزعم البحث تقديم إعادة تقييم دلالي لنمذجة الصراع في Sui. من خلال مواءمة نموذج الصراع مع دلالات التنفيذ الفعلية لـ Sui (تسلسل الكائنات المشتركة القابلة للتعديل)، يلغي نموذج W-only "تبعيات عدم التنفيذ" الناتجة عن عمليات الوصول للقراءة فقط.

• المساهمة المنهجية: يقترح المؤلفون نموذج W-only كعنصر مكمل ضروري لـ R+W، بحجة أن R+W يبالغ في تقدير التنازع بشكل منهجي في الأنظمة المتمحورة حول الكائنات.
• الرؤية المعمارية: توضح الدراسة أن نموذج الكائنات في Sui ينجح في تحويل ما قد يكون اختناقاً تسلسلياً في السلاسل القائمة على الحسابات (مثل CLOB) إلى عبء عمل يتناسب التنازع فيه مع الحجم وليس مع قيود المنطق الجوهرية.
• الأثر العملي: تشير النتائج إلى أن المشغلين يجب أن يصمموا البنية التحتية لتناسب "سلوك الذيل" (مثل حدث لعبة Sui 8192 الفيروسي الذي أظهر تسريعاً بنحو $\approx 175\times$) بدلاً من السلوك المتوسط، حيث أن أعباء العمل الروتينية غالباً ما تفتقر إلى التوازي المتبقي الكبير لاستغلاله بسبب تكوين أعباء العمل.

يخلص المؤلفون إلى أن منهجية W-only توفر لغة مشتركة لمقارنة التنازع الناتج عن التطبيقات في سلاسل الكتل الحديثة (مثل Aptos وSolana) دون "ضجيج جانب القراءة" الذي يهيمن على التحليلات المتمحورة حول الحسابات.