💡 Lời giải chi tiết:
Theo lý thuyết của Dijkstra, một giải pháp cho miền giáp ranh phải đảm bảo Mutual Exclusion (chỉ một tiến trình bên trong), Progress (không ngăn cản tiến trình khác vào) và Bounded Waiting (không phải chờ vô hạn). Kết luận Lý giải Loại trừ tương hỗ, Tiến triển, Chờ đợi có giới hạn.