Skip navigation

Contents

Acrobats

Spaghetti Code
by George W. Hart, 2004

All lectures notes are available here. It is expected that you do attend all lectures and make your own notes. An essential part of the learning process is the formation of your notes, and the comparison of your notes with the lecture slides. The provided sound track consists of trimmed takes of the lectures - they are meant as an additional option for repetition and do by no means replace the actual lectures. Also keep in mind that some parts of the lectures might not be recorded (interactive programming sessions, discussing student code, ...).

The material is constantly reviewed and refined - so it is best to download the version which you want to use for learning, after the corresponding lectures. Also: taking your own notes from scratch instead of annotating lecture notes is always the more effective learning method.

Any usage of the material supplied below (outside the scope of this course) requires explicit permission by the course organizers.

Disclaimer for any material appearing before the lecture: consider all material as a pre-view only - until a few hours after the lecture, when the exact material used in the actual lecture appears here. So check back frequently if you want to see the latest pre-views, and load after the lectures for the final versions.

 
Chapters
Lecture slides:
pdf document (pdf)
Lecture recordings:
 Movie  Video (mp4)  -  Audio  Soundtrack only (mp3)

 

 

Complete set of slides:

(will become available towards the end of the course)

 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16

 

               
 

 

Slides & recordings by chapter:

 
 

Organization & contents

 

 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
(24. 7.)
Movie  Audio
xx'
               
 

0.

Language refresher/introduction pre-course

  • Ada
  • Chapel
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

1.

Concurrency - The basic concepts

  • Forms
  • Models
  • Processes & Threads
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

2.

Mutual Exclusion

  • Pedestrian (Atomic variables)
  • Hardware supported (e.g. Test-and-set)
  • Bare metal (Semaphores)
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
      Live programming (Pipelined Insertsort)                  
 

3.

Communication & Synchronization

  • Shared memory based
  • Message passing based
  • Data parallel operations
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
      Live programming (Protection)                  
      Live programming (Mergesort)                  
 

4.

Nondeterminism

  • Correctness under nondeterminism
  • Nondeterministic message reception
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
               
 

5.

Data Parallelism (Implicit Concurrency)

  • Vector programming
  • Implicit concurrency
  • Concurrent reductions
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
      Live programming (Game of Life)                  
 

6.

Scheduling

  • Why
  • What does it in your machine
  • Basic methods
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

7.

Safety and Liveness

  • Essential safety and liveness properties (look lively)
  • Livelocks and Deadlocks (and how not to)
  • Failure modes
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

8.

Distributed Systems

  • Networks
  • Time in ditributed systems
  • Communication in distributed systems
  • Distributed safety and liveness
  • Redundancy
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

9.

Architectures

  • Concurrent Hardware
  • Concurrent programming languages concepts
 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
 

10.

Summary

 
      pdf document
1:1
pdf document
1:4
pdf document
1:9
pdf document
1:16
                 
     
     
       
                               

 

Updated:   Wednesday 11 January, 2012 12:25 / Responsible Officer:   JavaScript must be enabled to display this email address. / Page Contact:   Course Webmaster