Innholdsfortegnelse:
- Definisjon - Hva betyr Dining Philosophers Problem?
- Techopedia forklarer Dining Philosophers Problem
Definisjon - Hva betyr Dining Philosophers Problem?
Serveringsfilosofenes problem er et klassisk eksempel innen informatikk som ofte brukes til å illustrere synkroniseringsproblemer og løsninger i samtidig algoritmdesign. Det illustrerer utfordringene med å unngå en systemtilstand der fremgang ikke er mulig, en dødvakt. Problemet ble opprettet i 1965 av EW Dijkstra. Problemet ble presentert som en studenteksamen og illustrerer en rekke datamaskiner som konkurrerer om tilgang til perifert utstyr til båndstasjonen. Formuleringen kjent i dag var en senere revisjon av Tony Hoare.
Techopedia forklarer Dining Philosophers Problem
Spisefilosofenes problem er en illustrasjon av en dødvakt, en tilstand der flere prosesser venter på en enkelt ressurs som i dag brukes av en annen prosess, og løsningene på denne typen problemer. Den nåværende formuleringen av problemet med filosofene ble opprettet av Tony Hoare, men problemet ble opprinnelig formulert av Edsger Dijkstra i 1965.
Tony Hoares problemuttalelse handler om fem filosofer som alternativt må spise og tenke. Alle fem er plassert i et rundt bord med en tallerken med spaghetti og gafler anbrakt plassert mellom filosofer. En gaffel kan bare brukes av en filosof om gangen. For å spise, kreves det imidlertid to gafler - gaffel i venstre og høyre side. En filosof kan ta en tilgjengelig gaffel, men har ikke lov til å spise med mindre filosofen har både venstre og høyre gafler. Det skal bemerkes at spising ikke er begrenset av den mulige mengden spaghetti igjen eller mageplass. Det antas at det er en uendelig tilførsel av spaghetti og etterspørsel.
