": 3,
- "list_vt_foreach_env": 1,
- "mynode_null": 5,
- "mynode": 3,
- "null": 1,
- "the_null_ptr": 1,
- "mynode_free": 1,
- "nx2": 4,
- "mynode_get_elt": 1,
- "nx1": 7,
- "UN.castvwtp1": 2,
- "mynode_set_elt": 1,
- "l": 3,
- "__assert": 2,
- "praxi": 1,
- "mynode_getfree_elt": 1,
- "linset_takeout_ngc": 2,
- "takeout": 3,
- "mynode0": 1,
- "pf_x": 6,
- "view@x": 3,
- "pf_xs1": 6,
- "view@xs1": 3,
- "linset_takeoutmax_ngc": 2,
- "xs_": 4,
- "@list_vt_nil": 1,
- "linset_takeoutmin_ngc": 2,
- "unsnoc": 4,
- "pos": 1,
- "and": 10,
- "fold@xs": 1,
- "ATS_PACKNAME": 1,
- "ATS_STALOADFLAG": 1,
- "no": 2,
- "static": 1,
- "loading": 1,
- "at": 2,
- "run": 1,
- "time": 1,
- "castfn": 1,
- "linset2list": 1,
- "": 1,
- "html": 1,
- "PUBLIC": 1,
- "W3C": 1,
- "DTD": 2,
- "XHTML": 1,
- "EN": 1,
- "http": 2,
- "www": 1,
- "w3": 1,
- "org": 1,
- "TR": 1,
- "xhtml11": 2,
- "dtd": 1,
- "": 1,
- "xmlns=": 1,
- "": 1,
- "": 1,
- "equiv=": 1,
- "content=": 1,
- "": 1,
- "EFFECTIVATS": 1,
- "DiningPhil2": 1,
- "": 1,
- "#patscode_style": 1,
- "": 1,
- "": 1,
- "": 1,
- "Effective": 1,
- "ATS": 2,
- "Dining": 2,
- "Philosophers": 2,
- "
": 1,
- "In": 2,
- "this": 2,
- "article": 2,
- "present": 1,
- "an": 6,
- "implementation": 3,
- "slight": 1,
- "variant": 1,
- "the": 30,
- "famous": 1,
- "problem": 1,
- "by": 4,
- "Dijkstra": 1,
- "that": 8,
- "makes": 1,
- "simple": 1,
- "but": 1,
- "convincing": 1,
- "use": 1,
- "linear": 2,
- "types.": 1,
- "": 8,
- "The": 8,
- "Original": 2,
- "Problem": 2,
- "
": 8,
- "There": 3,
- "are": 7,
- "five": 1,
- "philosophers": 1,
- "sitting": 1,
- "around": 1,
- "table": 3,
- "there": 3,
- "also": 3,
- "forks": 7,
- "placed": 1,
- "on": 8,
- "such": 1,
- "each": 2,
- "located": 2,
- "between": 1,
- "left": 3,
- "hand": 6,
- "philosopher": 5,
- "right": 3,
- "another": 1,
- "philosopher.": 1,
- "Each": 4,
- "does": 1,
- "following": 6,
- "routine": 1,
- "repeatedly": 1,
- "thinking": 1,
- "dining.": 1,
- "order": 1,
- "dine": 1,
- "needs": 2,
- "first": 2,
- "acquire": 1,
- "two": 3,
- "one": 3,
- "his": 4,
- "side": 2,
- "other": 2,
- "side.": 2,
- "After": 2,
- "finishing": 1,
- "dining": 1,
- "puts": 2,
- "acquired": 1,
- "onto": 1,
- "A": 6,
- "Variant": 1,
- "twist": 1,
- "added": 1,
- "original": 1,
- "version": 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,
- "
": 1,
- "size=": 1,
+ "findgen": 1,
+ "/": 1,
+ "plot": 1,
+ "mg_acosh": 2,
+ "xstyle": 1,
"This": 1,
- "written": 1,
- "href=": 1,
- "Hongwei": 1,
- "Xi": 1,
- "