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