Vector clock

اصطلاحات مرتبط

• Happens-before — رابطه‌ی علّیت به صورت ترتیب جزئی: ترتیب برنامه، send قبل از receive و تعدی؛ رویدادهای بدون چنین مسیری هم‌زمان‌اند.
• Lamport clock — یک شمارنده برای هر process که با هر رویداد زیاد می‌شود و هنگام receive با max ادغام می‌شود، تا «a پیش از b» یعنی timestamp کوچک‌تر.
• Version vector — یک vector clock که به مقدار ذخیره‌شده وصل می‌شود تا replicaها بتوانند به‌روزرسانی را از تعارض تشخیص دهند.

← همه‌ی اصطلاحات