خوارزمية الطابع الزمني Lamport هي خوارزمية بسيطة للساعة منطقية تُستخدم لتحديد ترتيب الأحداث في نظام حاسوبي موزع . نظرًا لأن العقد أو العمليات المختلفة عادةً لا تكون متزامنة بشكل تام، تُستخدم هذه الخوارزمية لتوفير ترتيب جزئي للأحداث بأقل تكلفة ممكنة، وتمثل الناحية المفاهيمية نقطة انطلاق لطريقة الساعة الاتجاهية الأكثر تقدمًا. الخوارزمية على اسم مبتكرها، ليزلي لامبورت .
تعتمد الخوارزميات الموزعة مثل تزامن الموارد غالبًا على طريقة ما لترتيب الأحداث حتى تعمل بشكل صحيح. على سبيل المثال، لنفترض وجود نظام يتكون من عمليتين وقرص تخزين. تتبادل العمليات رسائل فيما بينها، كما ترسل أيضًا رسائل إلى القرص لطلب الوصول. يمنح القرص الوصول حسب ترتيب استلام الرسائل. فمثلًا، ترسل العملية
A
{\displaystyle A}
رسالة إلى القرص تطلب فيها إذن الكتابة، ثم ترسل تعليمات قراءة إلى العملية
B
{\displaystyle B}
. تستلم العملية
B
{\displaystyle B}
الرسالة، ونتيجة لذلك ترسل بدورها طلب قراءة إلى القرص. إذا حصل تأخير زمني أدى إلى استلام القرص للرسالتين في نفس اللحظة، فيمكنه تحديد أي من الرسالتين، فيمكنه تحديد الرسالة التي حدثت قبل الأخرى:
A
{\displaystyle A}
يحدث قبل
B
{\displaystyle B}
إذا كان بإمكان المرء الحصول عليه من
A
{\displaystyle A}
ل
B
{\displaystyle B}
بسلسلة من التحركات من نوعين: الانتقال إلى الأمام ضمن نفس العملية، واتباع الرسالة من إرسالها إلى استقبالها. توفر خوارزمية الساعة المنطقية آلية لتحديد الحقائق حول ترتيب مثل هذه الأحداث. لاحظ أنه إذا حدث حدثان في عمليتين مختلفتين لا تتبادلان الرسائل بشكل مباشر أو غير مباشر عبر عمليات تابعة لجهة خارجية، فإننا نقول إن العمليتين متزامنتان، أي أنه لا يمكن قول أي شيء عن ترتيب الحدثين.
ابتكر لامبورت آلية بسيطة يمكن من خلالها تمثيل ترتيب "حدث قبل" باستخدام القيم الرقمية. ساعة لامبورت المنطقية هي قيمة عداد برمجية رقمية يتم الاحتفاظ بها في كل عملية.
من الناحية المفاهميمية، يمكن اعتبار هذه الساعة المنطقية كساعة لا يكون لها معنى إلا فيما يتعلق بالرسائل المتبادلة بين العمليات. عند استلام عملية ما لرسالة، فإنها تعيد مزامنة الساعة المنطقية الخاصة بها مع هذا المرسل. إن ساعة المتجهات المذكورة أعلاه هي تعميم للفكرة في سياق عدد عشوائي من العمليات المتوازية المستقلة.