Erights - User contributions [en]

File:Filtered-mov.png

2012-09-05T19:00:03Z

Maintenance script: uploaded "File:Filtered-mov.png": Importing image file

File:Simple-pov-mov.png

2012-09-05T19:00:03Z

Maintenance script: uploaded "File:Simple-pov-mov.png": Importing image file

File:Ref-mech-0.gif

2012-09-05T19:00:02Z

Maintenance script: uploaded "File:Ref-mech-0.gif": Importing image file

File:Viewer.png

2012-09-05T19:00:02Z

Maintenance script: uploaded "File:Viewer.png": Importing image file

Causeway Viewer (Figure 15 in HP Labs Technical Report 2009)

File:Event-types.png

2012-09-05T19:00:01Z

Maintenance script: uploaded "File:Event-types.png": Importing image file

File:Find-multiples.png

2012-09-05T19:00:01Z

Maintenance script: uploaded "File:Find-multiples.png": Importing image file

File:Ewalnut-pink.gif

2012-09-05T19:00:00Z

Maintenance script: uploaded "File:Ewalnut-pink.gif": Importing image file

The E in a Walnut image.

File:Wk-promise-messaging.png

2012-09-05T19:00:00Z

Maintenance script: uploaded "File:Wk-promise-messaging.png": Importing image file

File:Depiction.gif

2012-09-05T19:00:00Z

Maintenance script: uploaded "File:Depiction.gif": Importing image file

Figure 2:
The Three Faces

The diagram can be seen in terms of three rows cross three columns. The three rows, progressing in time, are again original, depiction, and reconstruction. The "faces" refers to the three columns, progressing by pointing topology: left (entries), middle (the subgraph interior), and right (exits). Our exposition proceeds instead from right to left.

File:Simple-event-types.png

2012-09-05T18:59:59Z

Maintenance script: uploaded "File:Simple-event-types.png": Importing image file

File:Filter-async-and.png

2012-09-05T18:59:59Z

Maintenance script: uploaded "File:Filter-async-and.png": Importing image file

File:Protection matrix concerned with Minix IPC primitives.png

2012-09-05T18:59:58Z

Maintenance script: uploaded "File:Protection matrix concerned with Minix IPC primitives.png": Importing image file

File:Protection matrix1.png

2012-09-05T18:59:58Z

Maintenance script: uploaded "File:Protection matrix1.png": Importing image file

This protection matrix corresponds to (but it is not a physical scan of) Figure 5-25 (page 539) in [http://www.amazon.com/Operating-Systems-Implementation-Prentice-Software/dp/0131429388/ref=sr_1_14?ie=UTF8&s=books&qid=1245137182&sr=8-14 The MINIX Book].

File:Wk-multiples.png

2012-09-05T18:59:57Z

Maintenance script: uploaded "File:Wk-multiples.png": Importing image file

Viewing activation order using Graphviz

File:Promise-part-in-stock.png

2012-09-05T18:59:57Z

Maintenance script: uploaded "File:Promise-part-in-stock.png": Importing image file

File:Part-in-stock.png

2012-09-05T18:59:57Z

Maintenance script: uploaded "File:Part-in-stock.png": Importing image file

File:Sentifs-po-view.png

2012-09-05T18:59:56Z

Maintenance script: uploaded "File:Sentifs-po-view.png": Importing image file

File:Search-stacks.png

2012-09-05T18:59:56Z

Maintenance script: uploaded "File:Search-stacks.png": Importing image file

File:Wk-promise-raw.png

2012-09-05T18:59:56Z

Maintenance script: uploaded "File:Wk-promise-raw.png": Importing image file

File:Wk-promise-pov-mov.png

2012-09-05T18:59:29Z

Maintenance script: uploaded "File:Wk-promise-pov-mov.png": Importing image file

File:Filter-options.png

2012-09-05T18:59:29Z

Maintenance script: uploaded "File:Filter-options.png": Importing image file

File:Lit-real.gif

2012-09-05T18:59:29Z

Maintenance script: uploaded "File:Lit-real.gif": Importing image file

Literal Realism
Time proceeds from top to bottom, as an original live graph gets serialized into a depiction, which gets unserialized into a new live graph we take to be a reconstruction of the original. Although graphs may contain cycles, we generally show object references going from left to right across each diagram.

File:Tree-item-labels.png

2012-09-05T18:59:28Z

Maintenance script: uploaded "File:Tree-item-labels.png": Importing image file

File:Sam-factory.png

2012-09-05T18:59:28Z

Maintenance script: uploaded "File:Sam-factory.png": Importing image file

File:Cw-screenshot.png

2012-09-05T18:59:27Z

Maintenance script: uploaded "File:Cw-screenshot.png": Importing image file

Screenshot of Causeway session

File:Wk-promise-d1.png

2012-09-05T18:59:27Z

Maintenance script: uploaded "File:Wk-promise-d1.png": Importing image file

File:Raw-d1-d2.png

2012-09-05T18:59:26Z

Maintenance script: uploaded "File:Raw-d1-d2.png": Importing image file

File:Wk-promise-mechanics.png

2012-09-05T18:59:26Z

Maintenance script: uploaded "File:Wk-promise-mechanics.png": Importing image file

File:Unum.png

2012-09-05T18:59:25Z

Maintenance script: uploaded "File:Unum.png": Importing image file

A simple unum representing a circle. Using lamport slots, the non-authoritative presences on the right synchronize their state with the authoritative presence on the left. Mutating message calls are forwarded from the presences to their respective authoritative presence.

File:Welcome-help.png

2012-09-05T18:59:25Z

Maintenance script: uploaded "File:Welcome-help.png": Importing image file

File:Filtered-mg.png

2012-09-05T18:59:24Z

Maintenance script: uploaded "File:Filtered-mg.png": Importing image file

File:Cw-wk-snap.png

2012-09-05T18:59:24Z

Maintenance script: uploaded "File:Cw-wk-snap.png": Importing image file

Screenshot of causeway debugging a Waterken/Joe-E app

File:Wk-promise-d2.png

2012-09-05T18:59:24Z

Maintenance script: uploaded "File:Wk-promise-d2.png": Importing image file

File:MessageGraph.png

2012-09-05T18:59:23Z

Maintenance script: uploaded "File:MessageGraph.png": Importing image file

File:EWalnut-small.gif

2012-09-05T18:59:23Z

Maintenance script: uploaded "File:EWalnut-small.gif": Importing image file

File:Erights send.gif

2012-09-05T18:59:23Z

Maintenance script: uploaded "File:Erights send.gif": Importing image file

Basic send

File:Debug-view.png

2012-09-05T18:59:22Z

Maintenance script: uploaded "File:Debug-view.png": Importing image file

File:Minix-structure.png

2012-09-05T18:59:22Z

Maintenance script: uploaded "File:Minix-structure.png": Importing image file

Similar figure appears in the [http://www.amazon.com/Operating-Systems-Implementation-Prentice-Software/dp/0131429388/ref=sr_1_14?ie=UTF8&s=books&qid=1245137182&sr=8-14 Minix book] on page 113.

File:Protection matrix concerned with communication between Minix layers.png

2012-09-05T18:59:21Z

Maintenance script: uploaded "File:Protection matrix concerned with communication between Minix layers.png": Importing image file

File:Protection matrix concerned with kernel calls.png

2012-09-05T18:59:21Z

Maintenance script: uploaded "File:Protection matrix concerned with kernel calls.png": Importing image file

File:Po-callback-snap.png

2012-09-05T18:59:20Z

Maintenance script: uploaded "File:Po-callback-snap.png": Importing image file

File:Buyer-po-view.png

2012-09-05T18:59:20Z

Maintenance script: uploaded "File:Buyer-po-view.png": Importing image file

File:Bookmark.png

2012-09-05T18:59:19Z

Maintenance script: uploaded "File:Bookmark.png": Importing image file