Çoklu iş parçacıklı programlamada, veri yapılarının güvenli ve verimli bir şekilde paylaşılması kritik bir konudur. Özellikle üretici-tüketici senaryolarında, birden fazla üretici ve tüketici arasında veri aktarımı yapan çoklu üretici-çoklu tüketici (MPMC) kuyrukları sıkça kullanılır. Bu yazıda, ticket lock tabanlı bir bekleme süreli MPMC kuyruk tasarımını inceleyeceğiz. Tasarım, başlangıçta wait-free olarak nitelendirilmiş olsa da, aslında bekleme süreli (bounded waiting) bir yapıdır. Bu düzeltme ve diğer teknik detaylarla birlikte, kuyruğun nasıl çalıştığını adım adım açıklayacağız.
Kuyruk, iki atomik sayaç (üretici ve tüketici için) ve iki halka tampon (data ve state) kullanır. Data tamponu, asıl verilerin depolandığı alandır. State tamponu ise her bir data girişinin kime ait olduğunu (üretici mi tüketici mi) ve sıra numarasını tutar. Her state girişi bir AtomicTicket türündedir. AtomicTicket, 64 bitlik bir işaretçi olup, en düşük anlamlı 63 bit sıra numarasını, en yüksek anlamlı bit ise bilet türünü (üretici/tüketici) temsil eder. Bu sayede, her bir data girişi için hangi iş parçacığının işlem yapmaya yetkili olduğu belirlenir.
Ticket lock sistemi, üretici ve tüketicilerin sırayla işlem yapmasını sağlar. Üreticiler, üretici sayacından bir bilet alır ve bu biletin sıra numarasına karşılık gelen data girişine yazma yapmaya yetkili olana kadar bekler. Tüketiciler de benzer şekilde tüketici sayacından bilet alır ve ilgili data girişini okuma yapmaya yetkili olana kadar bekler. Bu mekanizma, her bir data girişinin sırayla üretici ve tüketici arasında el değiştirmesini garanti eder. Başlangıçta tüm data girişleri boştur ve ilk bilet her zaman bir üreticiye verilir. Bu sayede, üreticiler her zaman boş bir giriş bulurken, tüketiciler her zaman dolu bir giriş bulur.
Teknik Analiz
Kuyruğun boyutu, N, 2'nin kuvveti olacak şekilde seçilir. Bu, modulo işleminin bit kaydırma ile yapılmasına olanak tanır ve performansı artırır. Data ve state tamponlarının boyutları eşittir. Her bir data girişi, CachePadded
Performans açısından, bu kuyruk yapısının diğer popüler MPMC kuyruklarına göre avantajları vardır. max0x7ba'nın atomic_queue kütüphanesi kullanılarak yapılan benchmark testlerinde, yüksek iş parçacığı sayılarında bile iyi bir performans sergilediği gözlemlenmiştir. Ancak, wait-free olmadığı için, belirli durumlarda iş parçacıklarının birbirini beklemesi gerekebilir. Bu durum, özellikle yoğun rekabet altında performansı etkileyebilir. Yine de, tasarımın basitliği ve anlaşılabilirliği sayesinde, birçok uygulama için yeterli ve verimli bir çözüm sunar.
Sistem Güvenliği
Sonuç olarak, bu yazıda ele alınan ticket lock tabanlı MPMC kuyruk tasarımı, bekleme süreli ancak yüksek performanslı bir veri yapısı arayanlar için iyi bir seçenektir. Rust dilinde uygulanması, güvenlik ve hız açısından avantaj sağlar. Tasarımın temel prensipleri anlaşıldığında, farklı senaryolara uyarlanabilir. Okuyucuların, bu yapıyı kendi projelerinde denemeleri ve geri bildirimde bulunmaları teşvik edilir.
Kaynak: nahla.dev
