Örneğin, benzersiz tiplerle kilitleme uygulamak mümkün müdür?
Robert Harvey'nin verdiği bağlantıyı takip ettim ve hızlıca okudum. Her şeyi anladığımı veya anladığımı düşündüğümü gerçekten anladığım konusunda yüksek bir güven seviyesine sahip olduğumu söyleyemem , ancak dışsal teklik ve referans değişmezliğinin bütününün kilitlemeye gerek olmadığı anlaşılıyor.
Çoklu iş parçacığına yönelik modern yaklaşımlar kilitlemeyi önlemeye çalışır, çünkü yalnızca çok deneyimli programcılar kilitleme kullanan kod yazabilir ve kodları bile hatalara sahip olma eğilimindedir. Buna ek olarak, kilitleme kodunun neredeyse test edilemez olduğu gerçeğini eklerseniz, bunun bir şey yapmanın çok istenmeyen bir yolu olduğu açık olmalıdır ve bizi kilitlemekten kurtarmayı amaçlayan herhangi bir çözüm en azını söylemek umut vericidir.
Kilitlemeden kaçınmamızın yolu, iletilerin değişmez olması gereken ileti geçişidir. Kabaca, (ilk bakışta) referans değişmezliği, değişmez türleri inşa etmek zorunda kalmadan değişmezliği garanti etmemize yardımcı olabilecek bir teknik gibi görünmektedir ve dış teklik, katı değişmezlik gereksinimini yerel olarak rahatlatmamıza yardımcı olabilecek bir teknik gibi görünmektedir.
Benzersizlik türleri, iş parçacıkları arasında değiştirilebilir verileri paylaşmak için kullanılabilir mi?
Kağıt açıkça belirtmedi, ama anladığım kadarıyla, harici olarak benzersiz bir nesne kümesi iş parçacığı açısından güvenlidir, çünkü bir şekilde (gerçekten, nasıl? ) Bu nesne kümesinde yalnızca bir dış referans olması garanti edilir, yani böyle bir referansı alan bir iplik, başka bir iş parçacığının da onları değiştirebileceğinden endişe etmeden başvurulan nesnelere değiştirilebilir olarak davranabilir, çünkü başka hiçbir iş parçacığının başka bir referansı olamaz. Böyle bir teorik yapının nasıl uygulanabileceğini ve uygulanabileceğini merak ediyorum.
Eşitleme ilkeleri (muteksler gibi) oluşturmak için benzersiz türler kullanmak mümkün mü yoksa mesaj iletimi gerekli mi?
Yine anladığım kadarıyla, harici olarak benzersiz tipler ve referans değişmezliği, kilitleri, muteksleri ve benzerlerini gereksiz kılmak içindir. Mesajın geçilmesi bir yol gibi görünüyor ve bu iyi.