Erights - User contributions [en]

File:Filtered-mov.png

Maintenance script — Wed, 05 Sep 2012 19:00:03 GMT

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

File:Simple-pov-mov.png

Maintenance script — Wed, 05 Sep 2012 19:00:03 GMT

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

File:Ref-mech-0.gif

Maintenance script — Wed, 05 Sep 2012 19:00:02 GMT

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

File:Viewer.png

Maintenance script — Wed, 05 Sep 2012 19:00:02 GMT

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

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

File:Event-types.png

Maintenance script — Wed, 05 Sep 2012 19:00:01 GMT

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

File:Find-multiples.png

Maintenance script — Wed, 05 Sep 2012 19:00:01 GMT

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

File:Ewalnut-pink.gif

Maintenance script — Wed, 05 Sep 2012 19:00:00 GMT

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

The E in a Walnut image.

File:Wk-promise-messaging.png

Maintenance script — Wed, 05 Sep 2012 19:00:00 GMT

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

File:Depiction.gif

Maintenance script — Wed, 05 Sep 2012 19:00:00 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:59 GMT

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

File:Filter-async-and.png

Maintenance script — Wed, 05 Sep 2012 18:59:59 GMT

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

File:Protection matrix concerned with Minix IPC primitives.png

Maintenance script — Wed, 05 Sep 2012 18:59:58 GMT

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

File:Protection matrix1.png

Maintenance script — Wed, 05 Sep 2012 18:59:58 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:57 GMT

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

Viewing activation order using Graphviz

File:Promise-part-in-stock.png

Maintenance script — Wed, 05 Sep 2012 18:59:57 GMT

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

File:Part-in-stock.png

Maintenance script — Wed, 05 Sep 2012 18:59:57 GMT

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

File:Sentifs-po-view.png

Maintenance script — Wed, 05 Sep 2012 18:59:56 GMT

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

File:Search-stacks.png

Maintenance script — Wed, 05 Sep 2012 18:59:56 GMT

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

File:Wk-promise-raw.png

Maintenance script — Wed, 05 Sep 2012 18:59:56 GMT

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

File:Wk-promise-pov-mov.png

Maintenance script — Wed, 05 Sep 2012 18:59:29 GMT

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

File:Filter-options.png

Maintenance script — Wed, 05 Sep 2012 18:59:29 GMT

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

File:Lit-real.gif

Maintenance script — Wed, 05 Sep 2012 18:59:29 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:28 GMT

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

File:Sam-factory.png

Maintenance script — Wed, 05 Sep 2012 18:59:28 GMT

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

File:Cw-screenshot.png

Maintenance script — Wed, 05 Sep 2012 18:59:27 GMT

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

Screenshot of Causeway session

File:Wk-promise-d1.png

Maintenance script — Wed, 05 Sep 2012 18:59:27 GMT

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

File:Raw-d1-d2.png

Maintenance script — Wed, 05 Sep 2012 18:59:26 GMT

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

File:Wk-promise-mechanics.png

Maintenance script — Wed, 05 Sep 2012 18:59:26 GMT

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

File:Unum.png

Maintenance script — Wed, 05 Sep 2012 18:59:25 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:25 GMT

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

File:Filtered-mg.png

Maintenance script — Wed, 05 Sep 2012 18:59:24 GMT

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

File:Cw-wk-snap.png

Maintenance script — Wed, 05 Sep 2012 18:59:24 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:24 GMT

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

File:MessageGraph.png

Maintenance script — Wed, 05 Sep 2012 18:59:23 GMT

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

File:EWalnut-small.gif

Maintenance script — Wed, 05 Sep 2012 18:59:23 GMT

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

File:Erights send.gif

Maintenance script — Wed, 05 Sep 2012 18:59:23 GMT

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

Basic send

File:Debug-view.png

Maintenance script — Wed, 05 Sep 2012 18:59:22 GMT

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

File:Minix-structure.png

Maintenance script — Wed, 05 Sep 2012 18:59:22 GMT

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

Maintenance script — Wed, 05 Sep 2012 18:59:21 GMT

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

File:Protection matrix concerned with kernel calls.png

Maintenance script — Wed, 05 Sep 2012 18:59:21 GMT

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

File:Po-callback-snap.png

Maintenance script — Wed, 05 Sep 2012 18:59:20 GMT

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

File:Buyer-po-view.png

Maintenance script — Wed, 05 Sep 2012 18:59:20 GMT

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

File:Bookmark.png

Maintenance script — Wed, 05 Sep 2012 18:59:19 GMT

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