08:32:45	 From  Frederik Schubert : Why is "eating" in the dining philosophers the critical section? In the initial problem with 5 philosophers it seems to be fine, if 2 philosophors would eat at the same time, as long as they have 2 forks
08:34:35	 From  Loke M. von Bagh : Someone replaced the forks with chopsticks in an example to clarify that you need 2 forks to eat, which can seem odd
08:35:25	 From  Frederik Schubert : Yes, understood
08:35:26	 From  Frederik Schubert : thanks
08:36:40	 From  Loke M. von Bagh : The sound was not great on the last lecture, so if no one has further questions about this one, could you go over an example from the previous one to give additional guidance for the way to argue for correctness?
08:40:33	 From  William Voong   to   Marina Papatriantafilou(Privately) : picking up the left and right fork, is that equivalent to elimating hold and wait condition, "get all its resources at once", in the boat example you shown previously. 
08:44:19	 From  Stig Arne Knoph : Why not placing pair of forks together or a bunch of them in the middle?
08:47:44	 From  Stig Arne Knoph : What are the forks examplifying in a real system?
08:50:20	 From  Loke M. von Bagh : yes thank you
08:51:32	 From  William S : On the same problem, how can A enter it's remainder section without setting turn <- idB? It was said that progress is not guaranteed in that problem as A can be in remainder while be is waiting for unbounded time...
08:51:42	 From  William S : B is*
08:53:10	 From  Marcel Vacante : I think he is wondering why it does not guarantee progression
08:53:20	 From  William S : But I don't see how A enters it's remainder section without letting B in
08:53:47	 From  Loke M. von Bagh : If B is in cs and A does not enter cs, instead continuing its remainder section forever, B will never enter again
08:54:08	 From  William S : Ah
08:54:12	 From  William S : THanks Loke
09:38:37	 From  Kristoffer Söderberg : but we have not yet seen an approach that solves all problems right? like in the last video, it can still suffer from starvation
09:40:49	 From  Kristoffer Söderberg : ok thanks, please post the link when possible
09:42:55	 From  Marina Papatriantafilou : https://dl.acm.org/doi/pdf/10.1145/62546.62567?casa_token=ipDWvfUDyAkAAAAA:qrnQmJzx7jVp6_U_xoqIuUe1B3NFxu4dmpTzfMMO6yK07wHsu5HUVmdhmrhPA7blSSo8SxgbAqs
09:43:21	 From  Marina Papatriantafilou : Improved Algorithms for Distributed Resource Allocation
Abstract
Eugene Styer
Gary L. Peterson 
09:44:08	 From  William Voong   to   Marina Papatriantafilou(Privately) : In the fighting in hold and wait when do we signal S[i]?
09:44:19	 From  William Voong   to   Marina Papatriantafilou(Privately) : oh nvm
09:44:21	 From  William Voong   to   Marina Papatriantafilou(Privately) : i found it
09:44:26	 From  Marina Papatriantafilou   to   William Voong(Privately) : ok
09:46:49	 From  Dean Atwine : Are we using the same zoom?
09:46:58	 From  Ivan Lyesnukhin : buy
09:47:04	 From  Ivan Lyesnukhin : yes, it is same