الساعات المنطقية والمادية
ترتب الساعات المنطقية الأحداث حسب السببية دون الإشارة إلى الوقت الحقيقي، بينما يحافظ تزامن الساعات المادية على تقارب ساعات الوقت الحقيقي للآلات المنفصلة على الرغم من الانجراف.
Definition
تُسند الساعة المنطقية لكل حدث طابعًا زمنيًا عدديًا يكون رتيبًا (monotonic) على طول كل عملية ويزداد عبر الاتصال، ملتقطًا الترتيب السببي؛ تزامن الساعة المادية هو عملية ضبط ساعات الأجهزة بحيث تقرأ نفس الوقت الحقيقي تقريبًا.
Scope
يغطي هذا الموضوع ساعات لامبورت المنطقية (العددية) وعلاقة "حدث قبل" (happened-before) التي تحترمها، وبناء ترتيب كلي من الطوابع الزمنية المنطقية، وتزامن الساعات المادية—تحديد الانجراف، وتبادل الطوابع الزمنية لتقدير الإزاحة، والخوارزميات (طريقة كريستيان، خوارزمية بيركلي، بروتوكول NTP) المستخدمة عمليًا. كما يقارن بين الحالات التي يكفي فيها الوقت المنطقي السببي والحالات التي يتطلب فيها الوقت الحقيقي بشكل أصيل.
Core questions
- كيف يمكن تعيين الطوابع الزمنية بحيث تحترم علاقة "حدث قبل" السببية؟
- كيف يتم بناء ترتيب كلي متسق للأحداث من الساعات المنطقية؟
- ما مدى دقة تزامن الساعات المادية بالنظر إلى تأخير الشبكة المتغير والانجراف؟
Key theories
- ساعات لامبورت المنطقية
- تحتفظ كل عملية بعداد يزداد عند كل حدث ويُحمل على الرسائل؛ تحترم الطوابع الزمنية الناتجة علاقة "حدث قبل"، وتؤدي الروابط التي تُكسر بواسطة معرف العملية إلى ترتيب كلي متسق مع السببية.
- التزامن الاحتمالي والذهاب والإياب
- تقدر طريقة كريستيان ساعة بعيدة عن طريق قياس وقت الذهاب والإياب وافتراض تأخير متماثل، مما يوفر حدودًا احتمالية لخطأ التزامن الذي يمكن تحقيقه عبر الشبكة.
- بروتوكول وقت الشبكة (NTP)
- ينظم بروتوكول NTP خوادم الوقت في تسلسل هرمي طبقي ويستخدم التصفية الإحصائية لقياسات الإزاحة المتكررة لضبط الساعات عبر الإنترنت في غضون أجزاء من الثانية.
Clinical relevance
ترتب الساعات المنطقية العمليات في المخازن المنسوخة وقوائم انتظار الرسائل دون الثقة في وقت الساعة الحائطية، بينما يدعم التزامن المادي قواعد البيانات المرتبة زمنيًا، والتتبع الموزع، وبروتوكولات الأمان التي تعتمد على خطأ الساعة المحدود.
History
أعادت ورقة لامبورت عام 1978 حول الساعات المنطقية صياغة مفهوم الوقت في الأنظمة الموزعة كفكرة سببية وليست مادية؛ وبالتوازي، طور كريستيان وآخرون التزامن الاحتمالي، وأصبح بروتوكول NTP لميلز الآلية القياسية للحفاظ على تزامن ساعات الإنترنت.
Debates
- الوقت المنطقي مقابل الوقت المادي لترتيب العمليات
- تضمن الساعات المنطقية صحة السببية دون الثقة في ساعات الأجهزة، ولكن لا يمكنها ربط الأحداث بالوقت الحقيقي؛ بينما تمكن الساعات المادية من الاستدلال في الوقت الحقيقي مع خطر الترتيب غير الصحيح عندما يتجاوز الانجراف تأخير الرسالة، مما يحفز على اتباع نهج هجين.
Key figures
- Leslie Lamport
- Flaviu Cristian
- David Mills
Related topics
Seminal works
- lamport1978
- mills1991
- cristian1989
Frequently asked questions
- إذا كان لـ (أ) طابع زمني لامبورت أصغر من (ب)، فهل حدث (أ) قبل (ب)؟
- ليس بالضرورة—الطابع الزمني الأصغر يتوافق مع "حدث قبل" ولكنه لا يعني ذلك، لأن الأحداث المتزامنة يمكن أن تتلقى طوابع زمنية مرتبة. لتحديد السببية بدقة، تحتاج إلى ساعات متجهة (vector clocks)، وليس ساعات منطقية عددية.