Hoare Semantics

state

ready

to enter

waiting

wait()

(exit)

(enter)

Hoare semantics: the signaled thread immediately takes over the monitor, and the signaler is suspended.

signal()

(Hoare)

Hoare semantics allow the signaled thread to assume that the state has not changed since the signal that woke it up.

Suppose purple signals, and a waiting blue is selected to wake up.

suspended

signal()

(Hoare)

The signaler does not continue in the monitor until the signaled thread exits or waits again.

Previous slide

Next slide

Back to first slide

View graphic version