نسخة متجهة

متجه الإصدار هو آلية لتتبع التغييرات التي تطرأ على البيانات في نظام موزّع ، حيث قد يقوم عدة جهات بتحديث البيانات في أوقات مختلفة. يسمح متجه الإصدار للمشاركين بتحديد ما إذا كان تحديث ما قد سبق تحديثًا آخر ( حدث قبل )، أو تلاه، أو ما إذا كان التحديثان قد حدثا في وقت واحد (وبالتالي قد يتعارضان). وبهذه الطريقة، تُمكّن متجهات الإصدار من تتبع السببية بين نسخ البيانات، وهي آلية أساسية للتكرار التفاؤلي . رياضيًا، يُنشئ متجه الإصدار ترتيبًا مسبقًا يتتبع الأحداث التي تسبق التحديثات اللاحقة، والتي قد تؤثر عليها بالتالي.

تحافظ متجهات الإصدار على حالة مطابقة لتلك الموجودة في ساعة المتجهات ، لكن قواعد التحديث تختلف قليلاً؛ في هذا المثال، يمكن للنسخ المتماثلة إما أن تخضع لتحديثات محلية (على سبيل المثال، قيام المستخدم بتحرير ملف على العقدة المحلية)، أو يمكنها المزامنة مع نسخة متماثلة أخرى:

• في البداية، تكون جميع عدادات المتجهات صفرًا.
• في كل مرة تتعرض فيها نسخة طبق الأصل لحدث تحديث محلي، فإنها تزيد عدادها الخاص في المتجه بمقدار واحد.
• في كل مرة تتم فيها مزامنة نسختين متماثلتين a و b ، تقوم كلتاهما بتعيين العناصر في نسختها من المتجه إلى الحد الأقصى للعنصر الموجود عبر كلا العدادين: ${\displaystyle V_{a}[x]=V_{b}[x]=\max(V_{a}[x],V_{b}[x])}$بعد المزامنة، يكون للنسختين المتماثلتين متجهات إصدار متطابقة.

يمكن مقارنة أزواج النسخ المتماثلة، أ ، ب ، من خلال فحص متجهات الإصدارات الخاصة بها وتحديد ما إذا كانت متطابقة (${\displaystyle a=b}$) متزامنة (${\displaystyle a\parallel b}$أو مرتبة (${\displaystyle a<b}$أو${\displaystyle b<a}$تُعرَّف العلاقة المرتبة على النحو التالي: متجه${\displaystyle a<b}$إذا وفقط إذا كان كل عنصر من${\displaystyle V_{a}}$أقل من أو يساوي العنصر المقابل له في${\displaystyle V_{b}}$ويكون أحد العنصرين على الأقل أصغر من قيمة أخرى. إذا لم يكن أي منهما${\displaystyle a<b}$أو${\displaystyle b<a}$ولكن إذا لم تكن المتجهات متطابقة، فيجب أن يكون المتجهان متلاقيين.

تُستخدم متجهات الإصدار ^{[ 1 ]} أو المتغيرات لتتبع التحديثات في العديد من أنظمة الملفات الموزعة، مثل Coda (نظام الملفات) وFicus، وهي بنية البيانات الرئيسية وراء النسخ المتفائل. ^{[ 2 ]}

• تتجنب سجلات التجزئة ^{[ 3 ]} استخدام العدادات من خلال الاحتفاظ بمجموعة من تجزئات كل إصدار مُحدَّث ومقارنة هذه المجموعات عن طريق تضمين المجموعة. ومع ذلك، لا يمكن لهذه الآلية إلا أن تقدم ضمانات احتمالية.
• تتيح متجهات الإصدار المختصرة ^{[ 4 ]} توفيرًا كبيرًا في المساحة عند التعامل مع عناصر متعددة مكررة، كما هو الحال في هياكل الدليل في أنظمة الملفات.
• تتيح طوابع الإصدارات ^{[ 5 ]} تتبع عدد متغير من النسخ المتماثلة دون الحاجة إلى عدادات. قد تُظهر هذه الآلية مشاكل في قابلية التوسع في بعض الحالات، ولكن يمكن استبدالها بساعات شجرة الفترات .
• تقوم ساعات شجرة الفاصل الزمني ^{[ 6 ]} بتعميم متجهات الإصدار وساعات المتجهات وتسمح بأعداد ديناميكية من النسخ المتماثلة / العمليات.
• تسمح متجهات الإصدار المحدودة ^{[ 7 ]} بتنفيذ محدود، مع عدادات ذات حجم محدود، طالما يمكن مزامنة أزواج النسخ المتماثلة بشكل ذري.
• تعالج متجهات الإصدار المنقطة ^{[ 8 ]} قابلية التوسع مع مجموعة صغيرة من الخوادم التي تتوسط الوصول إلى النسخ المتماثلة من قبل عدد كبير من العملاء المتزامنين.

• لماذا تعتبر الساعات المنطقية سهلة (مقارنة بين التاريخ السببي، وساعات المتجهات، ومتجهات الإصدارات)