Dijkstra đã giao nhiệm vụ gì cho các tình nguyện viên, được đề cập trong bài báo của anh ấy về The Humble Lập trình viên?

Trong bài viết "Lập trình viên khiêm tốn" của Dijkstra , ông đã đề cập rằng ông đã đưa ra một số tình nguyện viên để giải quyết:

Tôi đã thực hiện một thử nghiệm lập trình nhỏ với các tình nguyện viên thực sự có kinh nghiệm, nhưng một điều gì đó khá ngoài ý muốn và khá bất ngờ đã xuất hiện. Không ai trong số các tình nguyện viên của tôi tìm thấy giải pháp rõ ràng và thanh lịch nhất. Khi phân tích kỹ hơn, điều này hóa ra có một nguồn chung: khái niệm lặp lại của họ được liên kết chặt chẽ với ý tưởng về một biến được kiểm soát liên quan sẽ được đẩy mạnh, đến nỗi họ bị chặn về mặt tinh thần khi nhìn thấy điều hiển nhiên. Các giải pháp của họ kém hiệu quả, khó hiểu và không mất nhiều thời gian để tìm ra chúng.

Vấn đề Dijkstra đã đưa ra cho các tình nguyện viên là gì? Các giải pháp là gì?

"Vấn đề triết gia ăn uống" là vấn đề được trình bày.

Về cơ bản có 5 triết gia cần ăn. (hãy tưởng tượng một đĩa thức ăn không bao giờ kết thúc trước mỗi triết gia), giữa mỗi đĩa là một cái nĩa (5 đĩa, 5 dĩa, 5 triết gia).

Một triết gia chỉ có thể ăn nếu anh ta cầm cả nĩa bên phải và nĩa bên trái. (chỉ có hai triết gia có thể ăn bất cứ lúc nào).

Một ngã ba có thể được nhặt bất cứ lúc nào nó có sẵn và đặt xuống nếu nó đang được giữ. Mỗi ngã ba phải được chọn phụ thuộc lẫn nhau. (cùng một lúc).

Trong khi một triết gia không ăn, họ đang suy nghĩ (nhu cầu thay thế các trạng thái là điều thúc đẩy vấn đề).

Làm thế nào để bạn cho phép mỗi người ăn và suy nghĩ xen kẽ (để những người khác có thể ăn) mà không tạo ra một hệ thống bế tắc (nơi một triết gia đang cầm một nĩa và chờ người kia, ngăn không cho một triết gia khác ăn).

Điều này có nguồn gốc từ các hệ thống đồng thời và là một câu hỏi đại học điển hình được trình bày khi thảo luận về Đồng thời.

Tôi tin rằng 4 hoặc 5 thuật toán "chính thức" đã được phát triển để giải quyết vấn đề nhưng một tìm kiếm nhanh trên google về "Vấn đề triết gia ăn uống" sẽ giúp bạn có được kết quả tốt.

• Để biết chi tiết về vấn đề này từ Standford U, vui lòng truy cập: http://academicearth.org/lectures/dining-philosopher-probols

• Bài viết trên wikipedia được đặt tại: http://en.wikipedia.org/wiki/Dining_philosophftimeprobols

• Một giải pháp từ MSDN Magizine được đặt tại: http://msdn.microsoft.com/en-us/magazine/dd882512.aspx

Nếu bạn đọc phiên bản gốc của bài báo trong phần chú thích ở trang 866, nó ghi: "Thủ tục tố tụng của Đại hội IFIP năm 1965, 213-217." Giải pháp cho một vấn đề trong kiểm soát lập trình đồng thời. "

Vấn đề trong đồng thời và các tài nguyên được chia sẻ là "Vấn đề triết gia ăn uống". :-)

Mong rằng sẽ giúp.