1. komponenta

Lecture type	Total
Lectures	30
Exercises	15

* Load is given in academic hour (1 academic hour = 45 minutes)

COURSE AIMS AND OBJECTIVES: Introduction to the classical problems and techniques of programming concurrent processes within a single system and distributed networked systems. Obtaining insight into current (offered in Java and C#) and more abstract experimental software support for distributed programming.

COURSE DESCRIPTION AND SYLLABUS:
1. Concurrent processes in shared memory. Basic notions. Software constructs in Java and C# (semaphores, monitors,...). Classical problems of mutual exclusion and synchronization and their classical solutions.
2. Distributed processes. Basic software support (Berkeley sockets, CORBA, Java RMI, .NET Remoting). Models of distributed time. Classical problems of distributed consensus, resource allocation, event detection.
3. A more abstract view. The experimental language "'polyphonic C#" (at the time of writing embedded in the experimental language Comega), offering a more abstract view of the listed problems, based on current theory.

Mandatory course - Regular study - Computer Science and Mathematics