At give deltagerne et begrebsmæssigt og praktisk grundlag for konstruktion af systemer med flere selvstændige, parallelle aktiviteter afviklet på en eller flere maskiner.
Kursusindhold:
Parallelprogrammering: Processer, synkronisering, kommunikation. Procesmodeller, atomare aktioner. Sikkerheds- og aktivitetsegenskaber, verifikationsteknikker og -værktøjer. Kritiske regioner, semaforer, monitorer, synkron og asynkron meddelelsesoverførsel, kaldmekanismer, distribuerede objekter, tuppelrum. Parallelle datastrukturer.