Logical clock
منطقی گھڑی ایک تقسیم شدہ نظام میں تاریخی اور وجہ سے تعلقات کو پکڑنے کا ایک طریقہ کار ہے۔ اکثر، تقسیم شدہ نظاموں میں جسمانی طور پر مطابقت پذیر عالمی گھڑی نہیں ہو سکتی ہے۔ بہت سی ایپلی کیشنز میں (جیسے ڈسٹری بیوٹڈ جی این یو میک)، اگر دو عمل کبھی تعامل نہیں کرتے ہیں، تو مطابقت پذیری کی کمی ناقابل مشاہدہ ہے اور ان ایپلی کیشنز میں عمل کے لیے وال کلاک ٹائم کے بجائے ایونٹ آرڈرنگ (یعنی منطقی گھڑی) پر اتفاق کرنا کافی ہے۔ پہلی منطقی گھڑی کا نفاذ، لیمپورٹ ٹائم اسٹیمپ، لیسلی لیمپورٹ نے 1978 میں تجویز کیا تھا (2013 میں ٹورنگ ایوارڈ)۔ مقامی بمقابلہ عالمی وقت منطقی گھڑی کے نظام میں ہر عمل میں دو ڈیٹا ڈھانچے ہوتے ہیں: منطقی مقامی وقت اور منطقی عالمی وقت۔ منطقی مقامی وقت کو اس عمل کے ذریعے اپنے واقعات کو نشان زد کرنے کے لیے استعمال کیا جاتا ہے، اور منطقی عالمی وقت عالمی وقت کے بارے میں مقامی معلومات ہے۔ ایک خاص پروٹوکول کا استعمال ہر مقامی واقعہ کے بعد منطقی مقامی وقت کو اپ ڈیٹ کرنے کے لیے کیا جاتا ہے، اور منطقی عالمی وقت جب عمل ڈیٹا کا تبادلہ کرتے ہیں۔ ایپلی کیشنز منطقی گھڑیاں کمپیوٹیشن تجزیہ، تقسیم شدہ الگورتھم ڈیزائن، انفرادی ایونٹ ٹریکنگ، اور کمپیوٹیشنل پیشرفت کی تلاش میں مفید ہیں۔ الگورتھم کچھ قابل ذکر منطقی گھڑی الگورتھم یہ ہیں: لامپورٹ ٹائم اسٹیمپ، جو یکسوئی سے سافٹ ویئر کاؤنٹرز میں اضافہ کر رہے ہیں۔ ویکٹر گھڑیاں، جو تقسیم شدہ نظام میں واقعات کی جزوی ترتیب کی اجازت دیتی ہیں۔ ورژن ویکٹر، اپ ڈیٹس کے مطابق، ایک پر امید نقل شدہ نظام میں، نقل کا آرڈر دیں۔ میٹرکس گھڑیاں، ویکٹر گھڑیوں کی ایک توسیع جس میں نظام کے دیگر عمل کے خیالات کے بارے میں بھی معلومات ہوتی ہیں۔ حوالہ جات بیرونی روابط تقسیم شدہ نظام منطقی وقت// رابرٹو بالڈونی، سلویا بونومی۔ مڈلب، سپینزا یونیورسٹی آف روم چیپٹر 3: لاجیکل ٹائم// اجے کشم کلیانی اور مکیش سنگھل، ڈسٹری بیوٹڈ کمپیوٹنگ: اصول، الگورتھم، اور سسٹمز، کیمبرج یونیورسٹی پریس، 2008 ڈسٹری بیوٹڈ سسٹمز 06۔ منطقی گھڑیاں// پال کرزیزانووسکی، رٹگرز یونیورسٹی، فال 2014 کازالیٹی ڈسٹری بیوٹڈ الگورتھم