Section outline

  • Lecture 9, due on Monday, 25 October, follows on from where lecture 8 ended, continuing the exploration of the ways in which synchronous communication between threads may occur. The core of the activity in class will be the autopsy of the example problem whose material is tagged "in-class exercise" in the lecture schedule

    Lecture 10, due on Wednesday, 27 October, begins to explore the virtues and challenges of a concrete implementation of a state-of-the-art version of the monitor we discussed in Lecture 7 (direct link to the lecture material). The lecture activity includes the specification of homework that the students are required to carry out before attending Lecture 11 (direct link here).