Bad Behaviors and Monitors

Bad Behaviors and Monitors

• Want to see if a design can have bad behavior.
• Example of undesired behavior: “Clients B and C are in the BUSY state at the same time.”Mutual exclusion is violated.
• A monitor is a module that watches for bad behavior.Example: Mutual exclusion.  assign error = (B.state == BUSY) && (C.state == BUSY)
• Monitor can satisfy its fairness constraint 

Fairness Constraint:

Finf {Bad}

iff

System can generate

undesired behavior

Previous slide

Next slide

Back to the first slide

View Graphic Version