Dijkstra ทำหน้าที่อะไรให้อาสาสมัครซึ่งถูกกล่าวถึงในกระดาษ“ The Humble Programmer” ของเขา?

ในกระดาษ "Humble Programmer" ของ Dijkstraเขากล่าวว่าเขาได้ให้ปัญหาแก่อาสาสมัครเพื่อแก้ปัญหา:

“ ฉันใช้การทดลองเขียนโปรแกรมเล็กน้อยกับอาสาสมัครที่มีประสบการณ์จริง ๆ แต่มีบางอย่างที่ไม่ได้ตั้งใจและไม่คาดคิดเกิดขึ้น อาสาสมัครของฉันไม่พบวิธีแก้ไขที่ชัดเจนและงดงามที่สุด จากการวิเคราะห์อย่างใกล้ชิดสิ่งนี้กลับกลายเป็นว่ามีแหล่งที่มาทั่วไป: ความคิดของพวกเขาเกี่ยวกับการทำซ้ำนั้นเชื่อมโยงอย่างแน่นแฟ้นกับความคิดของตัวแปรควบคุมที่เกี่ยวข้องที่จะก้าวขึ้นมา วิธีแก้ปัญหาของพวกเขามีประสิทธิภาพน้อยลงโดยไม่จำเป็นต้องเข้าใจยากและใช้เวลานานมากในการค้นหาพวกเขา”

ปัญหาที่ Dijkstra ให้กับอาสาสมัครคืออะไร การแก้ปัญหาคืออะไร?

ปัญหา "นักปรัชญาการรับประทานอาหาร" เป็นปัญหาที่เกิดขึ้น

โดยทั่วไปมีนักปรัชญา 5 คนที่ต้องกิน (ลองนึกภาพอาหารที่ไม่มีวันสิ้นสุดที่หน้านักปราชญ์แต่ละคน) ระหว่างแต่ละจานคือส้อม (5 แผ่น, 5 ส้อม, 5 นักปรัชญา 5 คน)

นักปราชญ์สามารถกินได้ก็ต่อเมื่อเขาถือส้อมทั้งสองไปทางขวาและส้อมไปทางซ้าย (มีนักปรัชญาเพียงสองคนเท่านั้นที่สามารถกินได้ทุกเวลา)

ส้อมอาจจะหยิบขึ้นมาทุกครั้งที่มันสามารถใช้ได้และวางลงถ้ามันจะถูกจัดขึ้น ส้อมแต่ละอันจะต้องหยิบขึ้นมาซึ่งกันและกัน (ทีละครั้ง)

ในขณะที่นักปรัชญาไม่ได้รับประทานอาหารพวกเขากำลังคิด (ความจำเป็นในการสลับรัฐคือสิ่งที่ขับเคลื่อนปัญหา)

คุณอนุญาตให้แต่ละคนกินและคิดสลับกันได้อย่างไร (เพื่อให้คนอื่นกินได้) โดยไม่ต้องสร้างระบบที่หยุดชะงัก

สิ่งนี้มีรากฐานมาจากระบบที่เกิดขึ้นพร้อมกันและเป็นคำถามที่มหาวิทยาลัยทั่วไปนำเสนอเมื่อพูดถึง

ฉันเชื่อว่าอัลกอริทึม 4 "หรือ 5" อย่างเป็นทางการได้รับการพัฒนาเพื่อแก้ปัญหา แต่การค้นหาอย่างรวดเร็วบน google สำหรับ "ปัญหานักปรัชญาการรับประทานอาหาร" จะช่วยให้คุณได้ผลลัพธ์

• สำหรับรายละเอียดเกี่ยวกับปัญหานี้จาก Standford U กรุณาเยี่ยมชม: http://academicearth.org/lectures/dining-philosopher-problem

• บทความวิกิพีเดียตั้งอยู่ที่: http://en.wikipedia.org/wiki/Dining_philosophers_problem

• โซลูชันจาก MSDN Magizine อยู่ที่: http://msdn.microsoft.com/en-us/magazine/dd882512.aspx

หากคุณอ่านบทความต้นฉบับในเชิงอรรถในหน้า 866 ให้ระบุว่า: "การดำเนินการของ IFIP Congress 1965, 213-217" การแก้ปัญหาในการควบคุมการเขียนโปรแกรมพร้อมกัน "

ปัญหาที่เกิดขึ้นพร้อมกันและทรัพยากรที่ใช้ร่วมกันคือ "ปัญหานักปรัชญาการรับประทานอาหาร" :-)

หวังว่าจะช่วย