Synchronization - Monitors

Question

Op welke manier wordt met een monitor-constructie deadlock voorkomen?

Answer 1

Een belangrijke eigenschap van de monitor is dat een proces binnen een monitor kan wachten (op een condition), terwijl de monitor weer toegankelijk wordt voor andere processen. Dit voorkomt het ontstaan van deadlock-situaties.

Answer 2

Condition-variabelen bieden aanvullende synchronisatiemogelijkheden voor een monitor.

Via een conditie-variabele kan een proces het exclusieve gebruik van de monitor opgeven zodat een ander proces toegang kan krijgen tot de monitor.

Answer 3

De actuele waarden van zijn variabelen.

De monitorsynchronisatie zorgt ervoor dat de status van de monitor consistent blijft.

Answer 4

Een monitorconstructie is minder gevoelig voor programmeerfouten omdat deze constructie niet expliciet geprogrammeerd hoeft te worden. De implementatie is daardoor minder complex en overzichtelijker.

Answer 5

De volgorde van de operaties wait en signal wordt omgekeerd, zodat wederzijdse uitsluiting niet gegarandeerd is
De signal-operatie wordt vervangen door een wait-operatie, zodat deadlock optreedt
De signal-operatie wordt weggelaten, zodat deadlock optreedt
De wait-operatie wordt weggelaten, zodat wederzijdse uitsluiting niet gegarandeerd is

Answer 6

Signal-and-wait: het signalerende proces wordt entry-queue geplaatst en het gesignaleerde proces wordt hervat;
Signal-and-continue: de uitvoering van het signalerende proces gaat door en het gesignaleerde proces wordt in de entry-queue geplaatst;
Signal-and-exit: het gesignaleerde proces wordt hervat en het signalerende proces verlaat de monitor.

Answer 7

Het gesignaleerde proces kan ervan uitgaan dat de status van monitor zoals die was ten tijde van de signal-operatie niet is gewijzigd. Het gesignaleerde proces hoeft de status van de monitor dus niet te controleren.

Answer 8

De entryset is gekoppeld aan de lock van het object, terwijl de waitset gekoppeld is aan het object zelf.

Answer 9

Een conditievariabele heeft een wachtrij;
Op een conditievariabele kunnen slechts twee operaties worden uitgevoerd: wait en signal.

Answer 10

Bij een conditievariabele heeft de signal-operatie alleen effect als er een of meer wachtende processen zijn. Bij een semafoor heeft de signal-operatie altijd effect.

Answer 11

De publieke methoden worden onder wederzijdse uitsluiting uitgevoerd
De private variabelen vormen de gedeelde variabelen van de monitor
De private variabelen zijn alleen toegankelijk via de publieke methoden (dit garandeert uitsluiting)
Met behulp van conditievariabelen kan op gestructureerde wijze synchronisatie tussen processen worden geprogrammeerd
Een proces heeft het exclusief gebruik van de monitor
Als een proces op een conditie geblokkeerd raakt, verliest het proces het exclusieve monitorgebruik