Go, geçerli olmayan arayüz karşılaştırmalarını, eşitlik işlemlerini gerçekleştirmeden önce comparable bitini denetleyen bir çalışma zamanı türü tanımlayıcı kontrolü ile engeller. interface değerleri == veya != kullanılarak karşılaştırıldığında, runtime her iki operandın dinamik tür meta verilerini çıkartarak karşılaştırılabilirliği doğrular. Eğer tür tanımlayıcılardan biri, slice, map, function veya channel gibi karşılaştırılamayan bir kategoriyi belirtirse, runtime hemen bir panic başlatır ve gerçek değerleri incelemez. Bu mekanizma, Go'nun tür güvenliği garantilerini korumasını sağlarken, polimorfik interface kullanımını destekler ve karşılaştırılabilirlik doğrulamasını, statik analizlerin somut türü belirleyemediği durumlarda, yürütme zamanına erteler.
Bir dağıtık sistemler ekibi, mikro hizmetler arasında heterojen varlık anahtarlarını desteklemek için map[interface{}]struct{} kullanarak genel bir önbellek katmanı uyguladı. Üretim yük testleri sırasında, hizmet aralıklı olarak "karşılaştırılamayan tür" hataları ile panic etti ve bu, geliştiricilerin yanlışlıkla slice alanları içeren struct'ları önbellek anahtarları olarak geçmesiyle izlenmişti. Ekip, bu temel tür güvenliği sorununu çözmek için üç farklı mimari yaklaşımı değerlendirdi.
İlk yaklaşım, önbelleğe eklemeden önce tüm anahtarları JSON dizelerine serileştirmeyi içeriyordu. Bu yöntem, alan türlerinden bağımsız olarak herhangi bir struct şekli ile uygulama basitliği ve evrensel uyumluluk sağladı. Ancak, bu, serileştirme işlemleri için önemli CPU yükü getirdi, dizelerden kaynaklanan bellek baskısını artırdı ve hata ayıklama ve önbelleği geçersiz kılma mantığını zorlaştırarak tür bilgilerini bulanıklaştırdı.
İkinci çözüm, okumaya yoğun iş yükleri için tamamen kilitleri ortadan kaldırarak, başlatılmış hizmet istemcilerini saklamak için atomik işaretçi işlemleri (atomic.Value) kullanıyordu. Bu, geri alma yolunda maksimum performans ve basitlik sağladı. Dezavantajı, birden fazla bağımlı değişkenle karmaşık başlatma sıraları için açık gerçekleşme garantilerinin kaybıydı; bu da manuel olarak uygulanması hata yapmaya yatkın bellek sıralama dikkate almayı gerektiriyordu.
Üçüncü strateji, derleme zamanında istatiksel olarak doğrulanabilir karşılaştırılabilir türler ile önbellek anahtarlarını kısıtlamak için comparable kısıtlamaları ile generics'i kullandı. Bu, statik analizin tür güvenliği ile doğrudan değer karşılaştırmalarının performansını birleştirdi. Bu, karşılaştırılabilir tanımlayıcıları karşılaştırılamayan yük veri türlerinden ayırmak için alan modellerini yeniden yapılandırmayı gerektirse de, tüm çalışma zamanı panic'lerini ortadan kaldırdı.
Ekip, generics ve comparable kısıtlamaları kullanarak üçüncü yaklaşımı seçti. Bu seçim, tür hatalarının üretimde değil derleme sırasında yakalanmasını sağladı ve serileştirme yükü olmadan yüksek performansı korudu. Uygulama, tüm çalışma zamanı karşılaştırılabilirlik panic'lerini ortadan kaldırdı ve önbellek ile ilgili gecikmeyi başlangıçtaki JSON serileştirme yaklaşımına göre %60 azalttı.
sync.Once başlatma işlevinin içinde değiştirilen bir değişken, neden daha sonra Do()'yu çağıran goroutine'lere görünür halde kalır, açık senkronizasyon araçları olmadan?
Go'nun bellek modeli, once.Do(f)'ye geçirilen f işlevinin tamamlanmasının, belirli bir sync.Once örneği üzerinde yapılan herhangi bir once.Do(f) çağrısının dönüşünden önce gerçekleştiğini belirtir. Bu, runtime'ın başlatma işlevinin sonunda ve sonraki Do() çağrılarının giriş noktalarında bellek engelleri (sınır talimatları) enjekte ettiği anlamına gelir. Başlatma tamamlandığında, bu engeller, başlatma işlevi tarafından gerçekleştirilen tüm yazma işlemlerinin CPU önbelleklerinden ana belleğe taşındığını garanti eder. Sonraki goroutin'ler Do()'yu çağırdığında, bu engeller, o goroutin'lerin güncel bellekten okuma yapmasını garanti eder, böylece her şeyin tamamen başlatılmış durumunu gözlemlemiş olurlar; bu, kullanıcı kodunda açık mutex kilitleri veya atomik işlemler gerektirmez.
Go'nun sync.Once'i başlatma sırasında paniklerle nasıl başa çıkıyor ve başlatma işlevi bir panikten kurtulursa hangi öncelikler kalıyor?
once.Do()'ya geçirilen işlev bir panik durumuna düşerse, Go, başlatmanın tamamlanmadığını düşünür ve sync.Once'i tamamlanmış olarak işaretlemez. Bu, sonraki once.Do() çağrılarının başlatmayı yeniden denemesine izin verir. Ancak, eğer panik, defer ve recover kullanılarak başlatma işlevinin içinde kurtarılırsa, Go normal dönüş sırasında sync.Once'i başarılı bir şekilde tamamlanmış olarak işaretler. Başarılı tamamlama (normal dönüş) ile sonraki çağrılar arasında bir gerçekleşme ilişkisi kurulur, ancak panik-kurtarma yolundaki kısmi yan etkiler, kurtarma mantığı paylaşılan durumu değiştirdiyse tam olarak sıralanmayabilir. Güvenliği sağlamak için, başlatma işlevlerinin panik yoluyla normal yürütme arasında durum paylaşmaktan kaçınması veya potansiyel bir panikten önce yapılan değişikliklerin idempotent veya sync.Once garantilerinden bağımsız olarak düzgün bir şekilde senkronize edilmesini sağlaması gerekir.
sync.Once tarafından kurulan gerçekleşme ilişkisi ile kapalı bir kanaldan alınan bir değer arasındaki temel fark nedir?
sync.Once, başlatma işlevinin tamamlanması ile herhangi bir Do() çağrısının dönüşü arasında bir gerçekleşme ilişkisinin kurulmasını sağlar ve bu, sync.Once örneğinin ömrü boyunca devam eden tek yönlü bir yayın garantisi yaratır. Buna karşılık, kapalı bir kanaldan alınan değer, kapanma işlemi ile alma işlemi arasında bir gerçekleşme ilişkisi kurar, ancak bu, yalnızca her alıcı için tam olarak bir kez gerçekleşen bir nokta-nokta senkronizasyonudur (sıfır değer alımları) veya tampon boşalana kadar gerçekleşir. sync.Once, tüm goroutine'lerin, Do() çağrılarına göre başlatma tamamlanmasını gözlemlemesini garanti ederken, kanal kapanması, kapanma ile her bireysel alma arasındaki gerçekleşme ilişkisini kurar, ancak farklı alıcılar arasında illaki değil; daha fazla senkronizasyon gerektirir. Ayrıca, sync.Once, başlatma mantığını dahili olarak yönetir ve yeniden yürütmeyi engellerken, kanal kapanması, kapanmanın tam olarak bir kez gerçekleşmesini sağlamak için dış koordinasyon gerektirir; zira zaten kapalı bir kanalı kapamaya çalışmak panic'e yol açar.