Evaluating and optimizing stabilizing dining philosophers

ما جنبه های نظری و عملی پنج الگوریتم های فیلسوفان پذیرفته شده را به خوبی شناخته شده است. ما به لحاظ نظری ثابت می کنیم که سه نفر از آنها نادرست هستند. برای ارزیابی عملی، ما این پنج الگوریتم و همچنین دو الگوریتم غیر سازگاری کلاسیک را شبیه سازی می کنیم و به بررسی تحمل خطا، تأخیر و قابلیت دسترسی بخش بحرانی می پردازیم. ما یک الگوریتم ترکیبی جدید ارائه می دهیم که با تعیین بارگذاری سیستم و تعویض بین این الگوریتم های پایه، بهترین عملکرد دو الگوریتم صحیح خود تثبیت کننده باقی مانده را به دست می دهد. الگوریتم ترکیبی صحیح را ثابت می کنیم، آن را شبیه سازی کرده و ویژگی های عملکرد آن را مطالعه می کنیم.