Moin,
eine Linearisierung ist nur eine mögliche Abfolge der Events. Die beiden Events e_1^2 und e_2^0 sind unabhängig von einander, soll heißen, man kann nicht sagen welches dieser beiden Events zuerst war. Genauso verhält es sich mit e_1^2 und e_2^1 bzw e_2^2. Das bedeutet auch, dass es in diesem Beispiel insgesamt vier Linearisierungen gibt, nämlich kann e_1^2 an einer von vier Stellen aufgetreten sein:
<e_1^0, e_1^1, HIER, e_2^0, HIER, e_2^1, HIER, e_2^2, ODER HIER, e_1^3>
(Im zugehörigen Lattice wirst du ebenfalls diese Möglichkeiten finden)
Das Beispiel darunter zeigt zwei mögliche Reihenfolgen, die keine Linearisierung darstellen, weil si die happened-before relation verletzen (e_1^1 -> e_2^0, in der Reihenfolge stehen die beiden Events aber andersherum)
Die Linearisierung legt ja eine Ordnung nach der "Happend-Before" Relation fest. Wieso folgt dann aber in der obersten Menge auf e_0^2 das Event e_2^1 und nicht e_1^2?
Da kann ich leider nicht folgen, welche Linearisierung meinst du? Und welches Event meinst du mit e_0^2?
Gruß
Björn