الذرية والأقفال في Rust

مقدمة

كتاب «Rust Atomics and Locks» (بالروسية: «Атомарность и блокировки в Rust») من تأليف Mara Bos ليس مجرد دليل آخر حول تعدد الخيوط. إنه استكشاف عميق ومليء بالتقنيات لكيفية عمل العمليات الذرية (atomic operations) والأقفال (locks) وحواجز الذاكرة (memory barriers) فعليًا على مستوى المعالج ونظام التشغيل، وكيف يتم تمثيل هذه الآليات في لغة Rust. صدر الكتاب في عام 2023، وأصبح على الفور قراءة ضرورية لكل من يكتب برامج متزامنة (concurrent) عالية التحميل وآمنة وفعالة بلغة Rust.

عن ماذا يتحدث الكتاب

تم بناء الكتاب كرحلة متدرجة من البسيط إلى المعقد. يبدأ بالأساسيات: ما هي الذرية (atomicity)، وما أنواع العمليات الذرية الموجودة (load, store, CAS, fetch_add، إلخ) وكيف يتم تعيينها لتعليمات المعالج. ثم ينتقل الكاتب إلى نموذج الذاكرة في Rust، موضحًا كيف يمكن للمُصرّف (compiler) والمعالج إعادة ترتيب التعليمات وكيف يؤثر ذلك على صحة الكود متعدد الخيوط. يتم إيلاء اهتمام خاص لحواجز الذاكرة (memory ordering) — Acquire, Release, AcqRel, SeqCst — وتطبيقاتها العملية. بعد ذلك، يتم تناول أدوات المزامنة (synchronization primitives) الكلاسيكية: الميوتكسات (mutexes)، المتغيرات الشرطية (condition variables)، السيمافورات (semaphores)، والحواجز (barriers). كل أداة لا يتم وصفها فحسب، بل يتم تنفيذها من الصفر باستخدام العمليات الذرية. وهذا يسمح للقارئ بفهم البنية الداخلية للأقفال وتقييم تكلفتها. يُختتم الكتاب بمناقشة الهياكل الخالية من الأقفال (lock-free structures).