01
İş Parçacıkları
Bir işin ayrı bir yürütme birimine taşınması ve bitişinin beklenmesi, sahipliğin aktarılmasıyla kurulan mesajlaşma, hangi tiplerin sınırı geçebileceğinin tipte yazılı olması, paylaşılan durumun kilitle korunması, ve kilitsiz bir sayacın bellek sıralamasıyla verdiği güvence.
- 01 İş Parçacığı Oluşturma Kursun açılış dersi ölçüm çekirdeğini tam koşturur: on üç birimin 5'i kendi başına, 3'ü yoklanınca, 3'ü başkası bitince ilerledi, 2'si hiç ilerlemedi; iş parçacığı başlatma ve birleştirme bu dağılımın kendi başına ve başkası bitince sınıflarını kuruyor.
- 02 Kanallarla Mesajlaşma Bir kanaldan haber bekleyen taraf başkası bitince ilerler, haberi kuran ve gönderen taraf kendi başına ilerler; gönderilen değerin sahipliği kanala taşınır ve gönderen tarafta bir daha kullanılamaz.
- 03 İş Parçacıkları Arası Güvenliğin Tipteki Karşılığı Bir değerin bir iş parçacığı sınırını geçip geçemeyeceği tipte yazılı bir koşuldur: geçebilen bir tasarım gerçekten geçiriliyor ve kaydı okunuyor, ama tipin izin vermesi paylaşılan bir hesabın bağımsız varsayımla aynı sonucu vereceğini göstermiyor.
- 04 Muteks ve Okuma/Yazma Kilidi Bir dışlama kilidini tutan kendi başına ilerler, onu bekleyen başkası bitince ilerler; bu sıra bir kanal el sıkışmasıyla belirlenimci kılınır ve okuma/yazma kilidinin okuma tarafı, aynı anda birden fazla okuyucuya izin vererek dışlama kilidinden ayrılır.
- 05 Atomik İşlemler ve Bellek Sıralaması Kilitsiz bir sayaç beklemeden, kimseye ihtiyaç duymadan ilerler; aynı toplam artış hem dışlama kilidiyle hem atomik işlemlerle yapılır ve iki yöntem birebir aynı sonucu verir — fark sonuçta değil, bekleyenin olup olmamasındadır.