Lab 2 - Problem 1.4 - Grundlegendes Verständnis

[vrcomputing]

Hallo,

A writer wishing to write may not be prevented from doing so
unless another writer writes an infinite number of times.

ist das gleichbedeutend zu folgendem?:

Ein WRITER der schreiben will, kann nicht vom Schreiben abgehalten werden,
es sei denn, ein anderer WRITER schreibt gerade.

Frage:
Heißt das, dass wenn ein WRITER am Schreiben ist UND ein weiterer WRITER schreiben will, dass der wartende WRITER wartenden READERN gegenüber Priorität hat und garantiert vor den READERN schreiben darf?

Gruß Rick

[sim]

Nö, das heißt nur, dass ein Writer, der schreiben will, das auch irgendwann tun wird. Außer ein anderer Writer schreibt unendlich oft, dann kommt natürlich niemand anderes mehr an die Reihe.
Aber ob vorher noch andere Reader lesen ist recht wurscht.

[Flix1337]

Nö, das heißt nur, dass ein Writer, der schreiben will, das auch irgendwann tun wird. Außer ein anderer Writer schreibt unendlich oft, dann kommt natürlich niemand anderes mehr an die Reihe.
Aber ob vorher noch andere Reader lesen ist recht wurscht.

Könnte das von offizieller Stelle bestätigt werden?

[Nathan Wasser]

Die LTL Formel sagt im Prinzip aus, das Reader sich nicht die ganze Zeit vordrängeln können. Sie könnten theoretisch "ein bisschen" vordrängeln. Euer Modell darf gerne das Vordrängeln komplett verbieten.