Objects in Oz
Overview
1. Some issues in concurrent objects
Example 1: A Concurrent Counter
Concurrent Counter
Example 2: Buffer
Buffer
Example 3: Dining Philosophers
Dining Philosophers
Example 4: Freight Transportation
Freight Transportation
Observation
Synchronization Code
Separation of Concerns
2. Concurrent Constraint Programming
Memory Model of Constraint Programming
Random Access Memory
PPT Slide
Constraint Store
Threads
Flow Control through Constraint Store
First-class Procedures
Atoms and Records
Records are Labelled Feature Trees
Lists as Records
Cells: Random Access through the Back Door
Concepts of Oz
Streams
Stream-based Objects
Email: henz@iscs.nus.edu.sg
Home Page: http://www.iscs.nus.edu.sg/~henz