PRAM consistency

[jaku34]

Hallo,

ich habe gerade diesen Artikel gelesen:

http://en.wikipedia.org/wiki/PRAM_consistency

Dabei verstehe ich nicht so ganz die Schreibweise, die dort im Beispiel angeben ist.

W(x)1 soll so viel wie x=1 heißen?

Aber was soll R(x)1 heißen? Sowas wie "lies x". Aber ob da 1 drinsteht, kann ich mir ja nicht aussuchen.

Konkret am Beispiel interessiert mich diese Grafik. Sie soll ja PRAM Konsistenz demonstrieren. Jeder Prozess hat also eine kleine FIFO, in der seine Schreiboperationen drin sind. Jeder Prozess sieht also die Schreiboperationen eines anderen Prozesses so, wie sie in der entsprechenden FIFO sind. Warum kann dann P4 erst 2 und dann 1 lesen? Das widerspricht doch der Schreibreihenfolge?!

Thx