Safe Concurrent Programming In Java with CSP

5/1/02

Click here to start

Table of Contents

Safe Concurrent Programming In Java with CSP

Why Concurrent Programming?

Concurrent Threads in Java

Example Problem: ìunidirectional TSPî (Hartley)

Example Problem: ìunidirectional TSPî (Hartley)

Example Problem: ìunidirectional TSPî (Hartley)

unidirectional TSPparallel control

unidirectional TSPNo Control -- Race Condition

Monitors in Java

Example: Barrier Synchronization

Alternate Solution

Classic Problem:Producer-Consumers with Buffer

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

Problems with Java Monitors

Communicating Sequential Processes

Communicating Sequential Processes

Java with CSP (JCSP) (University of Kent)

ëLegolandí Catalog

ëLegolandí Catalog

A Blocking FIFO Buffer

Java with CSP (JCSP) (University of Kent)

JCSP constructs

Unidirectional TSPUsing JCSP

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

Author: Kim Bruce

Email: kim@cs.williams.edu

Home Page: http://www.cs.williams.edu/~kim/cs334/s02

Download presentation source