में स्पैनर, TrueTime और कैप प्रमेय , एरिक ब्रेवर लिखते हैं:
स्पैनर के बारे में एक सूक्ष्म बात यह है कि यह ताले से serializability हो जाता है, लेकिन यह हो जाता है बाहरी स्थिरता (के समान linearizability TrueTime से) [ जोर जोड़ा ]।
की परिभाषा क्या है बाहरी स्थिरता , और यह कैसे से भिन्न क्यों है linearizability ?
जवाबों:
बाहरी संगतता का कोई निश्चित अर्थ नहीं है। इस संदर्भ में, इसका अर्थ दस्तावेज़ में अगले वाक्य में दिखाई दे रहा है:
किसी भी दो लेनदेन के लिए, तथा (भले ही दुनिया के विपरीत पक्षों पर): यदि के बाद शुरू होता है कमिट करना, फिर टाइमस्टैम्प के लिए के लिए टाइमस्टैम्प से अधिक है ।
आप लेनदेन (Tx) अलगाव और देखने के क्रम से बाहरी स्थिरता के बारे में सोच सकते हैं। Tx अलगाव में बोलते हैं कि बाहरी स्थिरता सख्त क्रमिक अलगाव के बराबर है, जहां 'सख्त' वास्तविक समय की बाधा वाला हिस्सा है (जैसा कि रैखिकता में है)।
फिर से सभी का मतलब है कि एक सिस्टम क्लाइंट के लिए टीबी साइड इफेक्ट्स एक सिस्टम के बराबर हैं, जहां सभी टीएक्स किसी भी संगामिति के बिना अलगाव में होते हैं और जहां उनके वास्तविक समय के ऑर्डर, जैसा कि क्लाइंट द्वारा देखा जाता है, संरक्षित है। इससे भी महत्वपूर्ण बात यह है कि इसी क्रम को किसी अन्य असंबंधित ग्राहक द्वारा देखा जाता है।
इस ब्लॉग पर भेद के बारे में और पढ़ें ।