Sun Microsystems’in Solaris’i büyük ölçüde yok olsa da teknik mirası, modern sistem mühendisliği için derin bir ilham kaynağı olmaya devam ediyor. Solaris tarafından başlatılan yenilikler, işletim sistemlerinin, web tarayıcılarının ve çağdaş dil çalışma zamanlarının mimarilerini sessizce şekillendirerek günümüzün yüksek performanslı yazılım yığınında varlığını sürdüren temel paradigmaları belirledi.
Çekirdek bellek yönetimini ve depolamayı göz önünde bulundurun. Slab Ayırıcı, Solaris’in önceden başlatılan çekirdek nesnelerini önbelleğe alması, tahsis yükünü ve parçalanmayı büyük ölçüde azaltması için icat edildi ve modern çekirdekler ve veritabanları için bir model haline geldi. Benzer şekilde OpenZFS, dosya sistemi ve mantıksal birim yöneticisini otomatik sağlama toplamı ve kendi kendini onaran veri onarımı ile birleştirerek depolamada devrim yarattı. Sistem gözlemlenebilirliği, Linux eBPF gibi modern araçlara doğrudan ilham veren, aktif çekirdeğin ve kullanıcı alanının gerçek zamanlı incelenmesine olanak tanıyan dinamik bir izleme çerçevesi olan DTrace tarafından dönüştürüldü. Ek olarak, konteynerleştirmenin bulut altyapısına hakim olmasından çok önce Solaris, alanlarİşletim sistemi düzeyinde öncü güvenli sanallaştırma.
Bu atılımların ötesinde Solaris, muteks kilitleme ve öncelik ters çevirme işlemlerini ele almak üzere tasarlanmış akıllı bir senkronizasyon mekanizması olan turnikeleri doğurdu.
Solaris, düşük gecikme süresine sahip hafif gerçek zamanlı davranış için muteksleri kilitlemeye büyük ölçüde güveniyordu ve bu da iki büyük zorluğu beraberinde getiriyordu. İlk olarak, ince taneli kilitleme binlerce küçük kilit gerektirir; Her kilide ağır muhasebe verilerinin yerleştirilmesi, büyük miktarda belleğin boşa harcanmasına neden olur. İkincisi, önceliğin tersine çevrilmesi, yüksek öncelikli bir görev, düşük öncelikli bir görev tarafından tutulan bir kilide kilitlendiğinde meydana gelir; bu daha sonra orta öncelikli iş tarafından önlenebilir ve sistemi süresiz olarak durdurabilir. Bunu şişirilmiş kilitler olmadan çözmek için, bağımlılık zincirlerini verimli bir şekilde takip etmenin oldukça zor olmasına rağmen, çekirdekler öncelikli kalıtımı kullanır ve kilit tutucunun önceliğini geçici olarak artırır.
Turnikeler, bekleme durumunu bireysel engelleme yapılarından ayırarak bu sorunu çözer. Her iş parçacığına, oluşturma sırasında kendi turnikesi atanır. Bir iş parçacığı, tartışmalı bir kilitte kilitlendiğinde, önceden tahsis edilmiş turnikesini o kilide bağışlar ve onu, kilidin sanal adresi tarafından kodlanan küresel, gruplanmış bir karma tablo aracılığıyla haritalandırır. Bu, kontrolsüz kilitleri mikroskobik (genellikle tek bir bayt veya kelimeye kadar) tutarken dinamik öncelikli miras geçişine olanak tanır. Ancak bu, klasik bir mühendislik değiş tokuşunu beraberinde getirir: kilit başına minimum bellek alanı, son derece çekişmeli kilit işlemleri, küresel kova karma aramaları için yerel önbellek erişiminin değiştirilmesi ve artırılmış veri yolu senkronizasyonu, kova karma kilidi çekişmesinde potansiyel kilitlenme karşılığında.
Bu mimari DNA, modern yazılımın derinliklerine kadar uzanarak dil çalışma zamanlarını, tarayıcı motorlarını ve kullanıcı alanı kitaplıklarını etkiler.
Go’da çalışma zamanı, senkronizasyon durumunun her bir temel öğeyi şişirmesine izin vermeden, milyonlarca goroutin içindeki büyük eşzamanlılığı yönetir. Go bunu, Go’nun çalışma zamanı sema.go’sunda uygulanan dahili çalışma zamanı semaforları aracılığıyla başarır. Go, her kilit, muteks veya kanal işlemine kuyruklar yerleştirmek yerine, semtable adı verilen genel bir kök tablo kullanır. Bir goroutin bir senkronizasyon noktasında durduğunda, bellek adresi belirli bir semaRoot kümesini bulmak için indekslenir ve o grupla ilgili bekleyen sudog yapılarının tuzağına bağlanır. Bu, ek yükü tamamen dışsallaştırarak senkronizasyon değişkenlerini son derece hafif tutar ve Go’nun bellek cezaları olmadan verimli bir şekilde ölçeklenmesine olanak tanır.
Web tarayıcılarında bellek verimliliği ve blok hızı çok önemlidir ve tarayıcı motorlarının tamamen aynı ayrıştırılmış mimari felsefeyi benimsemesine yol açar. WebKit bunu, taşınabilir, kullanıcı düzeyinde bir park etme mekanizması olan WTF::ParkingLot’u sunarak başardı. WebKit, WTF::Lock gibi kilitlerin ağır işletim sistemi veya değişken durum taşımasına izin vermek yerine standart kilitleri küçük bir alana indirdi. Bir iş parçacığının engellenmesi gerektiğinde, adresini ParkingLot tarafından yönetilen küresel eşzamanlı karma tablosuna kaydederek kendisini “park eder”. Bu, kilitlemeyi uyku ve uyanıklık makinelerinden tamamen ayırarak kontrolsüz kilitlerden kaynaklanan şişkinliği ortadan kaldırır.
Bu tasarım modeli aynı zamanda tarayıcılar ve yönetilen çalışma zamanları dışındaki kullanıcı alanı ekosistemlerini de derinden etkilemiştir. Öne çıkan bir örnek, WebKit’in ParkingLot tasarımını Rust ekosistemine açıkça taşıyan Rust parking_lot kutusudur. Kilit adresleri tarafından kodlanan kuyrukların harici bir küresel karma tablosunu sürdürerek kutu, standart işletim sistemi temel öğelerini aşan performans ve doğruluk özellikleri sağlarken, senkronizasyon temel öğelerinin olağanüstü derecede küçük kalmasına olanak tanır.
Tüm bu modern ortamlarda, temel prensip tarihi Solaris turnikesiyle aynı kalır: iş parçacığı koordinasyonunun ağırlığını paylaşılan bir harici veri yapısında izole ederek bireysel kilitleri zayıf, hızlı ve ucuz bırakır.