Deadlock

Hej!

Skulle behöva hjälp med den här uppgiften: https://puu.sh/umcuK/7add8bcbaa.png . Har ritat upp och kollat här: https://en.wikipedia.org/wiki/Dining...ophers_problem och det borde ju vara en som inte kan ta sin vänstra gaffel, innebär det då att det blir deadlock eller hur blir spåret?

Seriöst. Var inte så slö att du inte ens orkar skriva av uppgiften när du vill ha hjälp. Om det är en massa grafer och liknande kan det vara förståeligt, men komplettera i så fall med att skriva av i forumet.

Hur ser ditt exempel ut som du har hittat?

Utan att studerat den nya algoritmen något noggrannare så ska du nog ta detta med en nypa salt...
I ursprungsfallet där alla filosofer tar vänstergaffel först så är det fallet då alla tar upp sin vänstergaffel innan någon tar sin högergaffel som leder till deadlock. Detta fall undviker man i det fall där man låter en filosof ta högergaffeln först.

Sorry, är så van med att alltid ta bild för det är så smidigt med programmet nu när det är 2017 men ska skriva av i framtiden. Har bara ritat upp exemplet på wiki-sidan och sen ritat ut att en tar den högra och resten vänstra men det blir deadlock eftersom den till vänster om den som tar den högra ska då ta samma som den personen vilket inte går.


Men om en tar högergaffeln först så blir ju personen till vänster om den fast eftersom den vill ta sin vänstra(vilket är den högra för filosofen brevid som ska ta den)?

Eftersom det inte finns nog med gafflar så måste det vara filosofer som måste vänta på sin tur.

Dvs alla kan aldrig äta samtidigt.

Deadlock är ju däremot om en eller flera aldrig någonsin kan äta.

Får nu en person tag i gaffel i höger hand medan de andra jagar gaffel med vänster hand så får ju denne filosofen jackpot - kan äta.

Till vänster om sig har han en filosof som har fått upp vänster gaffel och sedan fastnat. När förste filosof har ätit klart och lägger ner sina gafflar så kommer ju filosofen till vänster plötsligt ha tillgång till höger-gaffel. Så då får han äta.

När denne har ätit klart och lägger ner så får ju filosofen ytterligare till vänster tillgång till högergaffel och kan äta.

En lösning behöver alltså garantera att alla regelbundet får äta så de orkar tänka medan de väntar på gafflar igen.

Hmm är inte helt med, när du säger "Till vänster om sig" så kan ju inte den personen få upp en vänster gaffel för den som han tänker ta är redan tagen av filosofen som får ta en höger gaffel?

Nej det blir ingen deadlock om personen som ska prioritera den högra gaffeln aldrig tar upp den vänstra innan han har fått en i högra handen.

Kan du förklara lite varför? Kanske är jag som börjar bli trött som gör att jag inte greppat detta ännu.

Ganska enkelt om du tänker på det.
Kolla på bilden jag laddade upp: http://imgur.com/a/sCdI7

Låt oss säga att snubbe 1 är den snubben som ska prioritera sin högra gaffel. Två saker kan hända:

1: Snubbe 1 försöker ta gaffeln till höger om sig men snubbe 5 hinner ta den först (då den gaffeln är snubbe 5s vänstra gaffel), ingen av dessa personer kommer få äta om både snubbe 4, 3 och 2 lyckas ta sin vänstra gaffel. Snubbe 2 kommer dock fortfarande kunna ta sin högra gaffel eftersom att det är snubbe 1s vänstra.

När snubbe 2 har ätit klart och lägger ner sina gafflar så kommer snubbe 3 börja äta eftersom att hans högra gaffel är nu ledig. Snubbe 1 kommer i det här fallet vara den sista som kommer få äta.


2: Snubbe 1 får tag på sin högra gaffel först, vilket betyder att snubbe 5 inte kommer få börja äta. Snubbe 2 kommer plocka sin vänstra gaffel vilket betyder att snubbe 1 kan utan problem plocka sin vänstra (vilket blir snubbe 2s högra) och börja äta. Även om snubbe 2 hinner ta både sin vänstra och högra så kommer någon alltid att äta klart.

Så algoritmen fungerar så länge någon får äta, då kommer alltid alla andra att få äta också.

Om alla hade prioriterat den vänstra gaffeln så hade det förr eller senare blivit en deadlock då alla hade haft en gaffel i vänstra handen men ingen i den högra och ingen hade släppt sin gaffel tills att de hade fått en i den högra...

Okej då börjar jag hänga med, men detta som du skrev "den personen kommer också få tag på sin högra gaffel då personen till höger om honom kommer vilja ha sin vänstra". Högra gaffeln där och vänstra gaffeln där är ju samma så vem tar den?
Men sen blir svaret alltså nej eftersom det aldrig blir en deadlock om det räcker med att någon får äta, för de kommer växla av varandra.

Skrev om inlägget, nu har du en bild och en bättre förklaring.

Okej nu förstår jag allt, stort tack för grymma förklaringar!