Sisältö
- Määritelmä - mitä ruokasali-filosofien ongelma tarkoittaa?
- Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
- Techopedia selittää ruokasalin filosofien ongelman
Määritelmä - mitä ruokasali-filosofien ongelma tarkoittaa?
Ruokalafilosofien ongelma on klassinen esimerkki tietotekniikassa, jota käytetään usein valaisemaan synkronointikysymyksiä ja ratkaisuja samanaikaisessa algoritmien suunnittelussa. Se kuvaa haasteita välttää järjestelmätila, jossa eteneminen ei ole mahdollista, umpikuja. Ongelman loi vuonna 1965 E. W. Dijkstra. Opiskelijakokeen tehtävänä esitetty ongelma kuvaa useita tietokoneita, jotka kilpailevat pääsystä nauha-aseman oheislaitteisiin. Tony Hoare on myöhemmin tarkistanut tänään tunnetun formulaation.
Johdanto Microsoft Azureen ja Microsoft Cloud | Tämän oppaan läpi opit mitä pilvipalvelussa on kyse ja kuinka Microsoft Azure voi auttaa sinua siirtämään ja johtamaan yritystä pilvestä.
Techopedia selittää ruokasalin filosofien ongelman
Ruokalafilosofien ongelma on esimerkki umpikujasta, tilasta, jossa useat prosessit odottavat yhtä resurssia, jota toinen prosessi parhaillaan käyttää, ja ratkaisuja tämän tyyppisiin ongelmiin. Nykyisen filosofian ongelman muotoilun on luonut Tony Hoare, mutta ongelman muotoili alun perin Edsger Dijkstra vuonna 1965.
Tony Hoaren ongelmalausunto koskee viittä filosofia, joiden on vaihtoehtoisesti syövä ja ajateltava. Kaikki viisi on sijoitettu pyöreään pöytään, jossa on spagettilaatta ja haarukat vieressä, joka on sijoitettu filosofien väliin. Haaruketta voi käyttää vain yksi filosofi kerrallaan. Syömiseen tarvitaan kuitenkin kaksi haarukkaa - haarukka vasemmalla ja oikealla. Filosofi voi ottaa käytettävissä olevan haarukan, mutta hänen ei saa syödä, ellei filosofilla ole sekä vasenta että oikeaa haarukkaa. On huomattava, että syömistä ei rajoita spagetti- tai vatsatilan mahdollinen määrä. Spagettien ja kysynnän tarjonnan oletetaan olevan rajaton.