Dining Philosophers Solution using Monitors 

BANE EXTRAL DENGUTHUNAV

Adhi paid comment bro vadhilesey​@@kalyansrirama055

adhi paid comment bro vadhilesey

agree

you will use those functions in your main code then you can call each functions however u need

Bro this is pseudo code those are just functions

We only got to change the current philosopher's state to hungry in the pickup function, so how can the current philosopher be hungry in the putdown function?

@@bronwyndrummer8326 Let's say we are calling putdown function for philosopher 1; we are setting its state back to thinking. Fine so far? Now since it is putting its chopsticks his left and right philosopher can eat now, we are calling test function on them. For ex, when we call test ((i+4)%5), the parameter of the test function is index of right philosopher, not the current one. Is your confusion because we are checking the state of i as hungry in the test function? if yes, please check the basic function concepts. When executing the test function, i is actually the right philosopher's index, not the current one.

​@@SajidAli-ub6th Yes I am a tiny bit confused because let's say Philosopher 1 initially wanted to eat. So his state is set to hungry when he picks up the chopsticks. When he is done he will put them down and the putdown function will test the philosopher to the right of him. The test function requires him (the philosopher that was on the right) to be hungry. But in the putdown function did not allow him to change his state to hungry as of yet. That only happens in the pickup function? So to my understanding that test function would evaluate to false for this philosopher because he never got to change his state to hungry yet?

@@bronwyndrummer8326 I have the same question. Also, I remember philosopher dinner only allows one philosopher to eat at a time, so if we test the left and the right both, will it result both of them can eat together?

Whenever a process (philosopher) wants to eat they would call the two functions (pickup and put down).

Initially assume all are hungry then it start clearly what code will do

After eating

you have to remember that in an array, the first variable in the array is considered item 0 rather than item 1. meaning the array would have [0, 1, 2, 3, 4] therefor, the original solution is actually correct.

This code is actually saying that only philosopher with i=1 can eat except other philosopher 0,2,3,4😂😂😂