02152 Concurrent Systems        Fall 2008
Thursday, September 4

Home

Plan

Material

<-prev

next->

Building 308, Auditorium 12

13.00-15.00	Discussion of Exercise Petri.1 (try to solve it before the lecture) Variants of Petri Nets
	Implementation of processes Processes and threads in OS Java threads - creation and termination

E-databar, Building 341, Rooms 003+ 015

15.00-17.00

CP Lab 1: Dynamic Java Thread Creation/Cancellation

Texts and exercises

Today	Processes in general: [Andrews 2-2.3] with emphasis on 2.1, 2.3 Processes and Java threads: [Proc 1,2,4] about Java threads. You may optionally skim through [Andrews 2.6] if you like to know the notion of (Hoare) triples and proof outlines. You may optionally read [Andrew 6-6.1] to get an idea how a kernel works.
Coming	Transitions systems: [Basic 2]
Exercises	1. Write the mathematical model for Figure 1 in [Basic] 2. Do Exercise Petri.3 (in [Aux p.1])
Mini-labs	Try out Mini Lab 1

Hans Henrik Løvengreen, Sep 4, 2008