Springe direkt zu Inhalt

ALP IV: Nichtsequentielle und verteilte Programmierung

(L: 19322101 E: 19322102)

TypeLecture with Exercise
InstructorProf. Dr. Claudia Müller-Birn, Barry Linnert
RoomTakustr. 9 Großer Hörsaal
StartApr 20, 2020 | 02:00 PM
endJul 15, 2020 | 04:00 PM
Time

Lecture: Monday 2 PM - 4 PM + Wednesday 2 PM - 4 PM

Exercise: Monday 4 PM - 6 PM, Tuesday 12 PM - 2 PM, Thursday 8 AM - 10 AM / 10 AM - 12 PM

Since the start of the lecture period has been postponed to April 20, 2020, this course starts with the lecture on April 20, 2020.

Content

The students will learn to understand the basic concepts of non-sequential and distributed programming with shared memory and message exchange. They can then structure distributed programs with processes/threads/active objects in a suitable way and avoid undesired non-deterministic effects and jamming through suitable synchronization procedures. You will know and understand the security risks that can arise in non-sequential programs and can use methods to avoid them. The students will be shown how they can formally specify properties of processes and threads and verify them exemplarily.

Students will be able to distinguish relevant interaction paradigms such as client/server and peer-to-peer, to classify their own applications according to these paradigms and to construct distributed systems on the basis of interprocess communication and remote calls. You will learn design, structure and implement web applications, customer/service provider applications, peer-to-peer applications and develop distributed systems using suitable middleware.