Vector clock
ویکٹر کلاک ایک ڈیٹا ڈھانچہ ہے جو تقسیم شدہ نظام میں واقعات کی جزوی ترتیب کا تعین کرنے اور وجہ کی خلاف ورزیوں کا پتہ لگانے کے لیے استعمال ہوتا ہے۔ جیسے لیمپورٹ ٹائم اسٹیمپ میں، انٹر پروسیس پیغامات بھیجنے کے عمل کی منطقی گھڑی کی حالت پر مشتمل ہوتے ہیں۔ این عمل کے نظام کی ویکٹر گھڑی این منطقی گھڑیوں کی ایک صف/ویکٹر ہے، فی عمل ایک گھڑی ؛ ہر عمل میں عالمی گھڑی صف کی ایک مقامی "سب سے بڑی ممکنہ اقدار" کی نقل رکھی جاتی ہے۔ ویکٹر گھڑی کے طور پر ظاہر کریں جو عمل کے ذریعے برقرار رکھی جاتی ہے، گھڑی کی اپ ڈیٹس اس طرح آگے بڑھتی ہیں: ابتدائی طور پر تمام گھڑیاں صفر ہوتی ہیں۔ ہر بار جب کوئی عمل کسی اندرونی واقعہ کا تجربہ کرتا ہے، تو یہ ویکٹر میں اپنی منطقی گھڑی میں ایک اضافہ کرتا ہے۔ مثال کے طور پر، عمل میں کسی ایونٹ پر، یہ اپ ڈیٹ ہوتا ہے۔ ہر بار جب کوئی عمل کوئی پیغام بھیجتا ہے، تو یہ ویکٹر میں اپنی منطقی گھڑی کو ایک سے بڑھاتا ہے (جیسا کہ اوپر گولی میں ہے، لیکن ایک ہی واقعہ کے لیے دو بار نہیں) پھر یہ پیغام کو اپنے ویکٹر کی کاپی کے ساتھ جوڑتا ہے اور آخر میں جوڑا بھیجتا ہے۔ ہر بار جب کوئی عمل میسج ویکٹر گھڑی کا جوڑا وصول کرتا ہے، تو وہ ویکٹر میں اپنی منطقی گھڑی کو ایک سے بڑھاتا ہے اور اپنی ویکٹر گھڑی میں زیادہ سے زیادہ قدر اور موصول شدہ جوڑے میں ویکٹر میں قدر لے کر اپنے ویکٹر میں ہر عنصر کو اپ ڈیٹ کرتا ہے (ہر عنصر کے لیے)۔ مثال کے طور پر، اگر عمل کو کوئی پیغام موصول ہوتا ہے، تو یہ پہلے ویکٹر میں اپنی منطقی گھڑی کو ایک سے بڑھاتا ہے اور پھر ترتیب دے کر اپنے پورے ویکٹر کو اپ ڈیٹ کرتا ہے۔ لیمپورٹ نے 1978 میں منطقی لیمپورٹ گھڑیوں کے خیال کی ابتدا کی۔ تاہم، اس کاغذ میں منطقی گھڑیاں اسکیلر تھیں، ویکٹر نہیں۔ ویکٹر ٹائم کی عمومی شکل کئی بار، بظاہر آزادانہ طور پر، 1980 کی دہائی کے اوائل میں مختلف مصنفین نے تیار کی تھی۔ کم از کم 6 مقالے تصور پر مشتمل ہوتے ہیں۔ ویکٹر گھڑیوں کے حوالے سے مستند طور پر جن کاغذات کا حوالہ دیا گیا ہے وہ کولن فج اور فریڈمین میٹرن کے 1988 کے کام ہیں، کیونکہ انہوں نے (آزادانہ طور پر) "ویکٹر کلاک" کا نام اور ویکٹر گھڑیوں کی ریاضیاتی خصوصیات قائم کیں۔ جزوی ترتیب کی خاصیت ویکٹر گھڑیاں واقعات کی جزوی وجہ ترتیب کی اجازت دیتی ہیں۔ مندرجہ ذیل کی وضاحت: واقعہ کی ویکٹر گھڑی کی نشاندہی کرتا ہے، اور عمل کے لیے اس گھڑی کے جزو کی نشاندہی کرتا ہے۔ انگریزی میں: اس سے کم ہے، اگر اور صرف اس صورت میں جب تمام عمل کے اشاریہ جات سے کم یا برابر ہو، اور ان میں سے کم از کم ایک رشتہ سختی سے چھوٹا ہو (یعنی،)۔ اس سے ظاہر ہوتا ہے کہ واقعہ واقعہ سے پہلے پیش آیا تھا۔ اس کی تعریف اس طرح کی گئی ہے: اگر، تو پراپرٹیز: اینٹیسیمیٹری: اگر، تب منتقلی: اگر اور، تب ؛ یا، اگر اور، پھر دوسرے آرڈرز کے ساتھ تعلق: جب واقعہ پیش آتا ہے تو اسے حقیقی وقت مان لیں۔ اگر، تو پھر ایونٹ کا لیمپورٹ ٹائم اسٹیمپ بننے دیں۔ اگر، تو پھر دیگر میکانزم 1999 میں، ٹورس روجاس اور احمد نے قابل فہم گھڑیاں تیار کیں، ایک ایسا میکانزم جو ویکٹر گھڑیوں کے مقابلے میں کم جگہ لیتا ہے لیکن یہ، کچھ معاملات میں، مکمل طور پر ایسے واقعات کو ترتیب دے گا جو وجہ سے ہم آہنگ ہوں۔ 2005 میں، اگروال اور گرگ نے زنجیر گھڑیاں بنائیں، ایک ایسا نظام جو عمل کی تعداد سے چھوٹے سائز کے ویکٹروں کا استعمال کرتے ہوئے انحصار کا سراغ لگاتا ہے اور جو خود بخود متحرک تعداد کے عمل والے نظاموں کے مطابق ڈھل جاتا ہے۔ 2008 میں، المیڈا اور دیگر۔ وقفہ درخت کی گھڑیاں متعارف کرائی گئیں۔ یہ طریقہ کار ویکٹر گھڑیوں کو عام کرتا ہے اور متحرک ماحول میں کام کرنے کی اجازت دیتا ہے جب حساب میں شناخت اور عمل کی تعداد پہلے سے معلوم نہیں ہوتی ہے۔ 2019 میں، لم راماباجا نے بلوم کلاکس کی تجویز پیش کی، جو بلوم فلٹرز پر مبنی ایک ممکنہ ڈیٹا ڈھانچہ ہے۔ ویکٹر گھڑی کے مقابلے میں، فی نوڈ استعمال ہونے والی جگہ مقررہ ہوتی ہے اور اس کا انحصار نظام میں نوڈس کی تعداد پر نہیں ہوتا ہے۔ دو گھڑیوں کا موازنہ کرنے سے یا تو ایک حقیقی منفی پیدا ہوتا ہے (گھڑیاں موازنہ نہیں ہیں)، یا پھر یہ تجویز کہ ایک گھڑی دوسرے سے پہلے ہے، غلط مثبت کے امکان کے ساتھ جہاں دونوں گھڑیاں غیر متعلقہ ہیں۔ جیسے جیسے زیادہ اسٹوریج کی اجازت ہوتی ہے غلط مثبت شرح کم ہوتی جاتی ہے۔ یہ بھی دیکھیں لیمپورٹ ٹائم اسٹیمپ میٹرکس کلاکس ورژن ویکٹر حوالہ جات بیرونی لنکس منطقی گھڑیاں آسان کیوں ہیں (وجہ کی تاریخوں، ویکٹر گھڑیوں اور ورژن ویکٹرز کا موازنہ کریں) ویکٹر گھڑیوں کی وضاحت ایرلانگ میں آبجیکٹیو-سی ویکٹر گھڑی کے نفاذ میں ایرلانگ ویکٹر گھڑی میں ٹائم اسٹیمپ پر مبنی ویکٹر گھڑی کا نفاذ ایرلانگ میں ویکٹر گھڑیاں مشکل کیوں ہیں کیسینڈرا کو ویکٹر گھڑیاں منطقی گھڑی الگورتھم کی ضرورت کیوں نہیں ہے