Yemek filozofları sorunu bilgisayar bilimleri alanında kullanılan bir düşünce deneyi veya örneğidir. Sorun, bilgisayarlar kaynakları paylaştığında ortaya çıkabilecek senkronizasyon sorunlarını göstermek için bir analoji kullanır. Bilgisayar bilimcileri yemek filozofları problemlerini öğrencilere bu sorunları çözmek için kullanılan algoritmaları öğretmek için kullanırlar.
Yemek felsefecileri sorununun senaryosu, beş filozofun oturduğu dairesel bir tablodur. Masanın ortasında bir kase erişte veya başka yiyecekler bulunur. Her filozofun her iki tarafında bir çatal veya çubuk vardır, bu da toplamda beş çatal veya çubuk olduğu anlamına gelir. Yemek yemek için bir filozofun iki alete ihtiyacı vardır. Her filozofun da düşünmek için biraz zaman harcaması gerekir, aynı anda hem düşünmesi hem de yemesi gerekmez. Yemek felsefecileri sorununun özü, kilitlenmeyi önlemenin güçlüğüdür.
Bu sorundaki çıkmaz, filozofların kendilerini düşünemeyecekleri ve yiyemeyecekleri bir pozisyona sokmalarıyla ortaya çıkar. Örneğin, eğer her filozof, solundaki kapları toplarsa, kimse yiyemezdi, çünkü tüm kaplar kullanımda olacaktı, ancak hiçbir filozofun iki tanesi olmayacaktı. Tüm filozofların yemek yemesine izin vermek için, öğrenci bazı filozofların diğerlerini düşünürken yemek yemesini sağlayan bir algoritma oluşturmalıdır. Bu, yemek yemenin ve düşünmenin duraklama olmadan devam etmesini sağlar.
Yemek filozofları sorununa bir dizi olası çözüm var. Bir çözüm, filozofların çatallarını almalarına izin veren veya vermeyen garson olan altıncı bir karakter yaratmayı içeriyor. Diğerleri, filozofların kullanılabilirliği en üst düzeye çıkarmak için çatallarını aldıkları ve indirdikleri sıraları düzenlemeyi içerir. Diğerleri filozoflara, yemeye çalışmadan önce komşularının yemek yiyip yemeyeceğini kontrol etmelerini içerir. Temel olarak, her bir çözüm, filozofların düşünürken, yemek yediğinde ya da eşyalarını toplayıp bıraktıklarında geçerli olan algoritma adı verilen bir dizi kural geliştirmeyi içerir.
Yemek felsefecileri sorunu ilk olarak Hollandalı bilgisayar bilimcisi Edsger Dijkstra tarafından 1965'te öğrenciler için sınav sorusu olarak ifade edildi. O zamandan beri, sorun birçok değişiklik geçirdi. Bazıları sadece hikayenin ayrıntılarını değiştirirken, bazıları zor kavramları göstermek için problem üzerinde ek sınırlamalar öneren birkaç farklı formatta görünmektedir. En yaygın modern versiyon Tony Hoare tarafından oluşturuldu.
