One Minute Evaluations for 17-19 June

CS 598 - Concurrent Programming

• Topic: Mutual exclusion; conditional synchronization; in terms [of] atomicity; implementing critical sections.

  Didn't get: Defining the entry and exit protocols for critical sections.

  One minute response: The entry and exit protocols are responsible for making sure that critical sections have the four properties required.

• Topic: Locking and critical sections; careful control of them; conditions and techniques to control locks; ordering; result; serialization.

• Topic: Implementing atomicity, look before leap, tie breaker, ticket takers, bakery algorithm, protecting shared state.

  Didn't get: Why in ticket taker all tickets are initialized to a negative value.

  One minute response: It's for the global invariant, which should only describe tickets being actively used in the protocol. Negative tickets are tickets that are not being used.

• Topic: Critical section properties; implement critical sections; mutual exclusion; strongly [?]; weakness.

  Didn't get: Implementing atomic execution.

  One minute response: All you have to do is pick a suitable global invariant and then implement it.

This page last modified on 16 July 2003.