الأقسام الحرجة في البرمجة المتزامنة: من المحاولات الفاشلة إلى خوارزمية بيترسون

يتناول هذا الفصل تنفيذ الأقسام الحرجة في البرمجة المتزامنة. يبدأ الفصل بتقديم مفهوم وأهمية الأقسام الحرجة، ثم يتقدم عبر عدة محاولات فاشلة (مثل، القفل الساذج وآليات القائمة على الأعلام)، مع تسليط الضوء على مشاكل مثل حالات السباق والمنعطفات الميتة. ينتهي الفصل بخوارزمية بيترسون، وهي حل أنيق يضمن الاستبعاد المتبادل والتقدم، مع الاعتراف في الوقت نفسه بمدى تعقيد إثبات صحتها والتحديات العملية مثل العمليات غير الذرية وإعادة ترتيب التعليمات.