Not All Reads Are Conflicts: A Write-Only Analysis of the Sui Blockchain

तकनीकी सारांश: सभी रीड्स (Reads) संघर्ष नहीं हैं: सुई (Sui) ब्लॉकचेन का एक राइट-ओनली (Write-Only) विश्लेषण

समस्या विवरण

सुई ब्लॉकचेन एक ऑब्जेक्ट-केंद्रित डेटा मॉडल का उपयोग करता है ताकि समानांतर लेनदेन निष्पादन (parallel transaction execution) को सक्षम किया जा सके, जो सैद्धांतिक रूप से अलग-अलग स्टेट सेटों को छूने वाले लेनदेन को एक साथ चलाने की अनुमति देता है। हालांकि, वास्तविक प्रदर्शन वर्कलोड कंटेंशन (workload contention) द्वारा सीमित होता है। सुई के पूर्व अनुभवजन्य विश्लेषण (empirical analyses), जैसे कि बिटोन और फ्रीडमैन [7], एक "रीड+राइट" (R+W) संघर्ष ग्राफ मॉडल पर निर्भर थे जो अकाउंट-आधारित ब्लॉकचेन (जैसे इथीरियम) से विरासत में मिला था। R+W मॉडल में, दो लेनदेन के बीच एक संघर्ष एज (conflict edge) तब मौजूद होता है जब वे एक ही ऑब्जेक्ट को एक्सेस करते हैं और कम से कम एक उसमें बदलाव (modify) करता है।

लेखक तर्क देते हैं कि R+W मॉडल सुई के निष्पादन अर्थशास्त्र (execution semantics) के साथ मौलिक रूप से असंगत है। क्योंकि सुई का इंजन केवल परिवर्तनीय साझा एक्सेस (mutable shared access) पर सीरियलाइज़ करता है (साझा रीड्स पर नहीं), R+W मॉडल "स्पूरियस एडजेस" (spurious edges - बनावटी किनारों) को पेश करता है। एक प्राथमिक उदाहरण सिस्टम क्लॉक (ऑब्जेक्ट 0x6) है: R+W मॉडल में, टाइमस्टैम्प के लिए क्लॉक को पढ़ने वाला प्रत्येक उपयोगकर्ता लेनदेन, क्लॉक को लिखने वाले सिस्टम ट्रांजेक्शन के साथ एक संघर्ष एज बनाता है। यह कृत्रिम रूप से कंटेंशन मेट्रिक्स को बढ़ा देता है, जिससे "हब-एंड-स्पोक" (hub-and-spoke) टोपोलॉजी बनती है जो वहां गंभीर अनुक्रमिक बाधाओं (sequential bottlenecks) का सुझाव देती है जहाँ वास्तव में वे मौजूद नहीं हैं। फलस्वरूप, R+W कंटेंशन का एक ऊपरी स्तर (upper bound) प्रदान करता है जो अनुक्रमिक निर्भरताओं का अत्यधिक आकलन कर सकता है और उपलब्ध समानांतरता (parallelism) को कम आंक सकता है।

कार्यप्रणाली (Methodology)

इन सीमाओं को दूर करने के लिए, लेखक 2025 के अंत तक सुई मेननेट डेटा के माध्यम से एक पूरक "राइट-ओनली" (W-only) संघर्ष मॉडल प्रस्तावित और लागू करते हैं।

डेटा अधिग्रहण और प्रसंस्करण

• डेटासेट: कस्टम रस्ट/डिएसेल (Rust/Diesel) इंडेक्सर का उपयोग करके सुई मेननेट चेकपॉइंट्स से लेनदेन डेटा एकत्र किया गया था। लेखकों ने एक प्रतिनिधि दीर्घकालिक डेटासेट बनाने के लिए प्रत्येक 3,455वें चेकपॉइंट का नियत रूप से नमूना लिया (मिस्टिसिटी अपग्रेड के बाद लगभग 100/दिन)।
• ग्राफ निर्माण: प्रत्येक चेकपॉइंट के लिए, अनडायरेक्टेड (undirected) संघर्ष ग्राफ बनाए गए जहाँ नोड्स लेनदेन का प्रतिनिधित्व करते हैं और एडजेस संघर्षों का प्रतिनिधित्व करते हैं।
  • 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$।
• मेट्रिक्स: अध्ययन पूर्व इथीरियम अनुसंधान [8, 15] से अनुकूलित मानक ग्राफ मेट्रिक्स का उपयोग करता है:
  • घनत्व (Density), असॉर्टेटिविटी (Assortativity), क्लिक संख्या (Clique Number), लार्जेस्ट कनेक्टेड कंपोनेंट (LCC)।
  • LSP/χ अनुपात: लॉन्गएस्ट सिंपल पाथ (LSP) और क्रोमैटिक नंबर (χ) का अनुपात। यह उपलब्ध समानांतरता को सीमित करता है (LSP अनुक्रमिक श्रृंखलाओं का निचला स्तर है; χ सैद्धांतिक न्यूनतम राउंड है)।
  • गैस-वेटेड विश्लेषण (Gas-Weighted Analysis): कम्प्यूटेशनल लागत को ध्यान में रखने के लिए समानांतरता क्षमता को गैस उपयोग द्वारा भी भारित (weighted) किया जाता है, जिससे कई सस्ते लेनदेन और कुछ महंगे लेनदेन के बीच अंतर किया जा सके।

विश्लेषणात्मक तकनीकें

1. यूनियन-फाइंड ग्रुपिंग (Union-Find Grouping): विशिष्ट एप्लिकेशन इकोसिस्टम (जैसे डीपबुक) को व्यापक नेटवर्क से अलग करने के लिए ऑब्जेक्ट्स को राइट को-अकरेंस (write co-occurrence) के आधार पर समूहीकृत किया जाता है।
2. आर्थिक मैपिंग (Economic Mapping): अनुक्रमिक बनाम समानांतर पथों के माध्यम से बहने वाले USD-मूल्य को मापने के लिए बैलेंस परिवर्तनों को ऐतिहासिक CoinMarketCap कीमतों से जोड़ा गया है।
3. काउंटरफैक्चुअल प्रोब्स (Counterfactual Probes): लेखक विशिष्ट संघर्ष एडजेस (जैसे डीपबुक इकोसिस्टम के भीतर) को हटाकर यह परीक्षण करने के लिए सिमुलेशन करते हैं कि क्या विशिष्ट एप्लिकेशन अंतर्निहित बाधाओं के रूप में कार्य करते हैं।

मुख्य निष्कर्ष

1. संरचनात्मक टोपोलॉजी परिवर्तन: सितारों (Stars) से क्लिक्स (Cliques) तक

R+W से W-only में संक्रमण कथित नेटवर्क टोपोलॉजी को मौलिक रूप से बदल देता है।

• R+W: सिस्टम क्लॉक द्वारा संचालित अत्यधिक डिसअसॉर्टेटिव (disassortative), "हब-एंड-स्पोक" संरचना प्रदर्शित करता है। लगभग हर उपयोगकर्ता लेनदेन क्लॉक राइटर से जुड़ जाता है, जिससे एक विशाल कृत्रिम स्टार बनता है।
• W-only: कृत्रिम स्टार ढह जाता है। शेष टोपोलॉजी अत्यधिक असॉर्टेटिव और क्लिक-प्रधान (clique-dominated) है। संघर्ष एक ही ऑब्जेक्ट को संशोधित करने वाले लेनदेन के घने, छोटे समूहों में होते हैं, न कि एक केंद्रीय हब में।
• मात्रात्मक परिवर्तन: मीडियन डिग्री-असॉर्टेटिविटी $-0.500$(R+W) से बदलकर$\approx +1$ (W-only) हो जाती है। मीडियन क्लिक संख्या 5.5 से गिरकर 4 हो जाती है, और लार्जेस्ट कनेक्टेड कंपोनेंट (LCC) 8.5 से गिरकर 4 हो जाता है।

2. समानांतरता पर कड़े बंधन (Tighter Bounds on Parallelism)

W-only मॉडल कंटेंशन पर निचला स्तर (lower bound) प्रदान करता है (और इस प्रकार समानांतरता पर एक कड़ा ऊपरी स्तर प्रदान करता है)।

• रूटीन लोड: अनुमानित इष्टतम समानांतरता हेडरूम $\approx 1.2\text{--}1.4\times$ (R+W) से गिरकर $\approx 1\times$ (W-only) हो जाता है।
• उच्च लोड: सीलिंग (ceiling) $\approx 5\times$ से गिरकर $\approx 3\times$ हो जाती है।
• निष्कर्ष: रूटीन लोड पर रीड-साइड डिपेंडेंसी को हटाने से इष्टतम समानांतरता अनुमान में 30–40% की कमी आती है। रूटीन सुई लोड पर बाधा को वर्कलोड कंपोजिशन (विशेष रूप से, राइट-हॉट ऑब्जेक्ट्स) के रूप में पहचाना गया है, न कि समानांतर इंजन की शेड्यूलिंग करने में अक्षमता के रूप में।

3. एप्लिकेशन-स्तरीय कंटेंशन: डीपबुक इकोसिस्टम

यूनियन-फाइंड ग्रुपिंग का उपयोग करते हुए, लेखकों ने डीपबुक इकोसिस्टम (सुई का नेटिव सेंट्रल लिमिट ऑर्डर बुक) को अलग किया।

• वॉल्यूम बनाम लॉजिक: डीपबुक वॉल्यूम द्वारा सभी एप्लिकेशन-स्तरीय संघर्षों में से 87.3% के लिए जिम्मेदार है। हालांकि, काउंटरफैक्चुअल प्रोब्स (डीपबुक के आंतरिक एडजेस को हटाना) दिखाते हैं कि अनुक्रमिक बाधाओं में इसका योगदान इसके लेनदेन वॉल्यूम के सीधे आनुपातिक है।
• शार्डिंग प्रभाव: पारंपरिक अकाउंट-आधारित CLOBs के विपरीत, जो एक सिंगल कॉन्ट्रैक्ट पर सीरियलाइजेशन को मजबूर करते हैं, डीपबुक स्टेट को प्रति-पूल और प्रति-बैलेंस-मैनेजर ऑब्जेक्ट्स में विभाजित (shard) करता है। यह अलग-अलग पूल्स को छूने वाले लेनदेन को समानांतर में निष्पादित करने की अनुमति देता है।
• परिणाम: डीपबुक अन्य उच्च-वॉल्यूम एप्लिकेशनों के सापेक्ष अत्यधिक अनुक्रमिक बाधाएं उत्पन्न नहीं करता है; इसका कंटेंशन वॉल्यूम का एक कार्य है, न कि अद्वितीय लॉजिक का।

4. अनुक्रमिकता की आर्थिक लागत (Economic Cost of Sequentiality)

ग्राफ संरचनाओं को USD मूल्य के साथ मैप करने से ऑर्डरिंग प्रभावों के प्रति आर्थिक जोखिम का पता चलता है।

• अनुक्रमिक बोझ: नेटवर्क के USD-मूल्य में से 10–50% अनुक्रमिक रूप से बाधित निष्पादन पथों (LCC) के माध्यम से प्रवाहित होता है।
• समानांतर प्रवाह: शेष 50–90% समानांतर पथों के माध्यम से प्रवाहित होता है।
• MEV निहितार्थ: अनुक्रमिक भाग संभावित रूप से री-ऑर्डरिंग आधारित मैक्सिमल एक्सट्रैक्टेबल वैल्यू (MEV) रणनीतियों के प्रति उजागर है, जबकि समानांतर भाग नहीं है। लेखक नोट करते हैं कि यह वर्तमान वर्कलोड एक्सपोजर का स्नैपशॉट है, कोई सार्वभौमिक सीमा नहीं।

महत्व और दावे

यह शोध पत्र दावा करता है कि यह सुई के लिए संघर्ष मॉडलिंग का एक सिमेंटिक पुनर्मूल्यांकन (semantic re-evaluation) प्रदान करता है। सुई के वास्तविक निष्पादन अर्थशास्त्र (परिवर्तनीय साझा-ऑब्जेक्ट सीरियलाइजेशन) के साथ संघर्ष मॉडल को संरेखित करके, W-only मॉडल उन "गैर-निष्पादन निर्भरताओं" (non-execution dependencies) को समाप्त करता है जो रीड-ओनली एक्सेस से उत्पन्न होती हैं।

• मेथोडोलॉजिकल योगदान: लेखक W-only मॉडल को R+W के एक आवश्यक पूरक के रूप में प्रस्तावित करते हैं, यह तर्क देते हुए कि R+W व्यवस्थित रूप से ऑब्जेक्ट-सेंट्रिक सिस्टम में कंटेंशन का अत्यधिक आकलन करता है।
• आर्किटेक्चरल अंतर्दृष्टि: अध्ययन दर्शाता है कि सुई का ऑब्जेक्ट मॉडल उस क्या होगा जिसे अकाउंट-आधारित चेन (एक CLOB) में एक अनुक्रमिक बाधा बनाया जाता, उसे एक ऐसे वर्कलोड में सफलतापूर्वक बदल देता है जहाँ कंटेंशन वॉल्यूम के साथ बढ़ता है, न कि अंतर्निहित लॉजिक बाधाओं के साथ।
• व्यावहारिक प्रभाव: निष्कर्ष बताते हैं कि ऑपरेटरों को औसत व्यवहार के बजाय "टेल बिहेवियर" (जैसे सुई 8192 गेम जैसी वायरल घटनाएं जिसने $\approx 175\times$ की गति दिखाई) के लिए बुनियादी ढांचे का आकार तय करना चाहिए, क्योंकि रूटीन लोड में अक्सर उपयोग करने के लिए बहुत कम अवशिष्ट समानांतरता (residual parallelism) होती है।

लेखक निष्कर्ष निकालते हैं कि W-only कार्यप्रणाली आधुनिक ब्लॉकचेन (जैसे एप्टोस, सोलाना) में एप्लिकेशन-संचालित कंटेंशन की तुलना करने के लिए एक क्रॉस-प्लेटफॉर्म शब्दावली प्रदान करती है, जिसमें "रीड-साइड नॉइज़" शामिल नहीं है जो अकाउंट-सेंट्रिक विश्लेषणों में हावी रहता है।