Safe Concurrent Programming In Java with CSP

5/1/02


Click here to start


Table of Contents

Safe Concurrent Programming In Java with CSP

Overview

Why Concurrent Programming?

Concurrent Threads in Java

Thread States

Thread States

Example Problem: ìunidirectional TSPî (Hartley)

Example Problem: ìunidirectional TSPî (Hartley)

Example Problem: ìunidirectional TSPî (Hartley)

unidirectional TSP parallel control

PPT Slide

PPT Slide

PPT Slide

unidirectional TSP No Control -- Race Condition

Monitors in Java

Example: Barrier Synchronization

PPT Slide

PPT Slide

Alternate Solution

Classic Problem: Producer-Consumers with Buffer

ìWot, No Chickens!î

ìWot, No Chickens!î

PPT Slide

PPT Slide

PPT Slide

PPT Slide

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

Problems with Java Monitors

Communicating Sequential Processes

Communicating Sequential Processes

Occam 2

Java with CSP (JCSP) (University of Kent)

PPT Slide

PPT Slide

ëLegolandí Catalog

ëLegolandí Catalog

PPT Slide

PPT Slide

A Blocking FIFO Buffer

PPT Slide

Java with CSP (JCSP) (University of Kent)

JCSP constructs

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

Unidirectional TSP Using JCSP

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

JCSP Selection

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

ìWot, No Chickens!î

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

CSP, Theory

CSP

Author: Kim Bruce

Email: kim@cs.williams.edu

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

Download presentation source