": 1, "": 1, "": 1, "
": 1, "used": 1, "it": 2, "becomes": 1, "be": 9, "put": 1, "tray": 2, "for": 15, "dirty": 2, "forks.": 1, "cleaner": 2, "who": 1, "cleans": 1, "them": 2, "back": 1, "table.": 1, "Channels": 1, "Communication": 1, "just": 1, "shared": 1, "queue": 1, "fixed": 1, "capacity.": 1, "functions": 1, "inserting": 1, "element": 5, "into": 3, "taking": 1, "given": 4, "
": 7, "class=": 6, "#pats2xhtml_sats": 3, "": 7, "If": 2, "called": 2, "full": 4, "caller": 2, "blocked": 3, "until": 2, "taken": 1, "channel.": 2, "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, "defined": 1, "natural": 1, "numbers": 1, "less": 1, "than": 1, "channels": 4, "storing": 3, "chosen": 3, "capacity": 3, "reason": 1, "store": 1, "most": 1, "guarantee": 1, "these": 1, "never": 2, "so": 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, "Cleaner": 1, "finds": 1, "number": 2, "uses": 1, "locate": 1, "fork.": 1, "Its": 1, "actual": 1, "follows": 1, "now": 1, "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, "after": 1, "running": 1, "simulation": 1, "while.": 1, "