Safe Concurrent Programming In Java with CSP

5/8/00

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 TSP - parallel control

unidirectional TSP - No 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 TSP - Using 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/

Download presentation source