": 1, "used": 1, "it": 2, "becomes": 1, "be": 9, "put": 1, "in": 48, "tray": 2, "for": 15, "dirty": 2, "forks.": 1, "cleaner": 2, "who": 1, "cleans": 1, "then": 11, "them": 2, "back": 1, "table.": 1, "Channels": 1, "Communication": 1, "channel": 11, "just": 1, "shared": 1, "queue": 1, "fixed": 1, "capacity.": 1, "functions": 1, "inserting": 1, "element": 5, "into": 3, "taking": 1, "out": 8, "given": 4, "
": 7,
"class=": 6,
"#pats2xhtml_sats": 3,
"": 7,
"If": 2,
"[": 49,
"channel_insert": 5,
"]": 48,
"called": 2,
"full": 4,
"caller": 2,
"blocked": 3,
"until": 2,
"taken": 1,
"channel.": 2,
"channel_takeout": 4,
"empty": 1,
"inserted": 1,
"Channel": 2,
"Fork": 3,
"Forks": 1,
"resources": 1,
"type.": 1,
"initially": 1,
"stored": 2,
"which": 2,
"can": 4,
"obtained": 2,
"calling": 2,
"function": 3,
"where": 6,
"type": 30,
"nphil": 13,
"defined": 1,
"natLt": 2,
"natural": 1,
"numbers": 1,
"less": 1,
"than": 1,
".": 14,
"channels": 4,
"storing": 3,
"chosen": 3,
"capacity": 3,
"reason": 1,
"store": 1,
"at": 2,
"most": 1,
"guarantee": 1,
"these": 1,
"never": 2,
"so": 2,
"no": 2,
"attempt": 1,
"made": 1,
"send": 1,
"signals": 1,
"awake": 1,
"callers": 1,
"supposedly": 1,
"being": 2,
"due": 1,
"Tray": 1,
"instead": 1,
"become": 1,
"as": 4,
"only": 1,
"total": 1,
"Philosopher": 1,
"Loop": 2,
"implemented": 2,
"loop": 2,
"#pats2xhtml_dats": 3,
"It": 2,
"should": 3,
"straighforward": 2,
"follow": 2,
"code": 6,
"phil_loop": 10,
"Cleaner": 1,
"cleaner_return": 4,
"finds": 1,
"number": 2,
"uses": 1,
"locate": 1,
"fork.": 1,
"Its": 1,
"actual": 1,
"follows": 1,
"now": 1,
"cleaner_loop": 6,
"Testing": 1,
"entire": 1,
"files": 1,
"DiningPhil2.sats": 1,
"DiningPhil2.dats": 1,
"DiningPhil2_fork.dats": 1,
"DiningPhil2_thread.dats": 1,
"Makefile": 1,
"available": 1,
"compiling": 1,
"source": 1,
"excutable": 1,
"testing.": 1,
"One": 1,
"able": 1,
"encounter": 1,
"deadlock": 2,
"after": 1,
"running": 1,
"simulation": 1,
"while.": 1,
"