At belyse problemstillinger og metoder til brug ved konstruktion og analyse af systemer af sammenkoblede datamater.
Læringsmål:
En studerende, der fuldt ud har opfyldt kursets mål, vil kunne:
Beskrive vigtige karakteristika af distribuerede systemer og de væsentlige arkitekturmæssige kendetegn ved sådanne systemer.
Beskrive egenskaber ved og anvendelserne for vigtige standardprotokoller, som benyttes i distribuerede systemer.
Karakterisere forskellige klasser af distribuerede algoritmer.
Karakterisere forskellige implementeringsparadigmaer for distribuerede systemer.
Forklare virkemåden af en distribueret algoritme.
Beskrive et systems virkemåde på en forståelig måde ud fra en formaliseret beskrivelse af systemet.
Udføre simple beviser for systemegenskaber på basis af en formaliseret beskrivelse af et system.
Konstruere en formaliseret beskrivelse af et distribueret system eller dets komponenter, ud fra en sproglig beskrivelse.
Vælge en passende distribueret algoritme, der opfylder givne designkrav til et distribueret system.
Kursusindhold:
Klassifikation af distribuerede systemer: løst- og tætkoblede systemer. Systemarkitekturer: upålidelige netværk og programmer som realiseringer af perfekte abstrakte processer, der kommunikerer gennem tabsfrie kanaler. Tjenester og protokoller. Principper for protokolkonstruktion. Standarder for protokoller og tjenester. Lagdelte arkitekturer.
Specifikation af distribuerede aktiviteter. Beviser for systemers egenskaber. Distribuerede algoritmer og egenskaber for disse. Realisering af distribuerede systemer. Datasikkerhed.
Bemærkninger:
Forudsætninger: Grundlæggende kendskab til parallelle systemer og til de problemstillinger, der gør sig gældende i systemer med samtidige aktiviteter. Grundlæggende kendskab til datanet, simple kommunikationsprotokoller såsom TCP og IP, samt klient/server applikationer. Kan opnås gennem kursus 02220/02152 Parallelle systemer.
