İki taraf, tek çekirdek

Bir istemci ile bir sunucu, aynı kuralları aynı girdilerle adım adım işletir. Aşağıdaki şekil bunun on iki adımını çalıştırır, sunucuya giden bir girdiyi yolda düşürür ve istemcinin buna ne yaptığını gösterir.

English

İddia şu: paylaşılan, belirlenimci bir çekirdek istemci ile sunucuyu uyumlu tutar; ayrıldıklarında istemci bunu fark eder ve geri döner.

Adım 1 2 3 4 5 6 7 8 9 10 11 12 İstemci 56b1 6407 689f 9147 b64b 9c3e ···· ···· ···· ···· ···· ···· Sunucu 56b1 6407 689f 9147 1199 ···· ···· ···· ···· ···· ···· ····
  1. Adım 1. İki taraf da çekirdeği aynı girdiyle işletir ve aynı özete ulaşır.
  2. Adım 2'den 4'e. Aynısı yine: her özet uyuşur.
  3. Adım 5. İstemci kendi girdisinden bir sonraki durumunu öngörür ve girdiyi sunucuya gönderir.
  4. Adım 5, sunucuda. Girdi hiç ulaşmaz; sunucu beklemeyle ilerler. Özeti farklıdır ve istemci bunu henüz bilmez.
  5. Adım 6. Sunucunun 5. adım özeti istemciye bir adım gecikmeyle ulaşır. İstemcininkiyle aynı değildir: iki taraf ayrılmıştır.
  6. Adım 7. İstemci sunucunun 5. adımdaki durumunu alır, 6 ve 7 için kendi girdilerini yeniden oynatır. Özetleri yine sunucununkidir.
  7. Adım 8'den 12'ye. Sona kadar, adım adım uyum.
  8. On iki adım, bir düşen girdi, bir ayrılma, bir uzlaşma.

Taraflar ayrıldığında istemci bunu bir adım içinde görür ve iki adım içinde geri döner. Uyum, eşit özetlerle gösterilir; çünkü başka türlü gösterilemez.

Model. Bu şekil için yazılmış küçük bir çekirdek; projenin kodu değil. Gecikmeyi, ara değerlemeyi ve bir girdi dışında her şeyi dışarıda bırakır.

İddia şu: paylaşılan, belirlenimci bir çekirdek istemci ile sunucuyu uyumlu tutar; ayrıldıklarında istemci bunu fark eder ve geri döner.