ساعة المتجه

الروابط الخارجية

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

عدم التماثل : إذا ، ثم ¬

• الانتقالية : إذا و ، ثم ؛ أو إذا و ، ثم
• العلاقة مع الطلبات الأخرى:
• يترك كن الوقت الحقيقي عندما حدث يحدث. لو ، ثم
• يترك كن طابعًا زمنيًا لحدث لامبورت . لو ، ثم

شرح الساعات المتجهة

تنفيذ ساعة متجهية تعتمد على الطابع الزمني في إرلانج

تنفيذ ساعة المتجهات في Objective-C

خاصية الترتيب الجزئي

وفي السياق ذاته، يدل على هذا الحدث حدث قبل الحدث . يتم تعريفه على النحو التالي: إذا ، ثم

إضافةً إلى ذلك، يشير إلى ساعة متجهة للحدث ، و يشير إلى مكون تلك الساعة للعملية .

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

علاوةً على ذلك، تسمح ساعات المتجه بالترتيب السببي الجزئي للأحداث. تعريف ما يلي:

تنفيذ ساعة المتجهات في إرلانج

لماذا تعتبر ساعات المتجهات صعبة؟

آليات أخرى

ومن جهة أخرى، في عام 1999، قام توريس روخاس وأحمد بتطوير الساعات المعقولة ، وهي آلية تشغل مساحة أقل من الساعات المتجهة ولكنها في بعض الحالات سوف تنظم الأحداث المتزامنة سببيًا بشكل كامل.

من جهة ثانية، في عام 2008، قدم ألميدا وآخرون ساعات الشجرة الفاصلة . تعمل هذه الآلية على تعميم ساعات المتجهات وتسمح بالعمل في بيئات ديناميكية عندما لا تكون الهويات وعدد العمليات في الحساب معروفة مسبقًا.

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

• انظر كذلك
• طوابع زمنية لامبورت
• ساعات المصفوفة
• ناقل الإصدار
• المراجع

وعلى صعيد آخر، في سنة 2005، أنشأ أجراوال وجارج Chain Clocks ، وهو نظام يتتبع التبعيات باستخدام متجهات ذات حجم أصغر من عدد العمليات ويتكيف تلقائيًا مع الأنظمة ذات العدد الديناميكي من العمليات.

التاريخ

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