Posted by Adrian von Bidder on February 13, 2001 at 11:42:43:
Heyho!
Diesmal eine echte (ontopic) Frage:
Was für einen Sinn machen starke Ordungen als Inputbedingungen? Der Effekt einer Ausführung in schwacher Ordnung muss ja (definition) derselbe sein, wie bei einer sequentiellen (stark geordneten) Ausführung. Also: Als Server: was verbietet mir, zwei Aktionen (die als stark geordnet vorgegeben sind) zu parallelisieren, wenn die Semantik am Schluss richtig ist?
Antwort bitte per Mail.