Happens-before

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

• Lamport clock — یک شمارنده برای هر process که با هر رویداد زیاد می‌شود و هنگام receive با max ادغام می‌شود، تا «a پیش از b» یعنی timestamp کوچک‌تر.
• Vector clock — یک شمارنده برای هر process؛ مقایسه‌ی دو vector دقیقاً می‌گوید قبل، بعد یا هم‌زمان.
• Causal consistency — اگر یک عملیات می‌توانسته روی دیگری اثر بگذارد، همه آن‌ها را به همان ترتیب می‌بینند؛ عملیات نامرتبط ممکن است فرق کند.

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