": 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, - "