Kort om emnet

Emnet gir et innblikk i noen grunnleggende begreper og teknikker for spesifikasjon og resonnering om parallelle prosesser, med henblikk p? tett 澳门葡京手机版app下载ende tr?der s? vel som distribuerte og objektorienterte systemer.

Hva l?rer du?

M?let med kurset er at studentene skal:

  • forst? ulike mekanismer for parallellitet, inklusive systemer basert p? bruk av felles variable og systemer basert p? kommunikasjon
  • forst? typiske problemer ved parallelle systemer, som deadlock ("vrangl?s"), fairness og starvation
  • vite hvordan ? spesifisere, utforme og analysere et parallelt system slik at det oppfyller ?nskede egenskaper.
  • vite hvordan man kan resonnere om egenskapene til et parallelt system

Opptak og adgangsregulering

Studenter m? hvert semester s?ke og f? plass p? undervisningen og melde seg til eksamen i Studentweb.

Dersom du ikke allerede har studieplass ved UiO, kan du s?ke opptak til v?re studieprogrammer, eller s?ke om ? bli enkeltemnestudent.

Forkunnskaper

Anbefalte forkunnskaper

Emnet bygger p? INF2220 – Algoritmer og datastrukturer (videref?rt)/INF1020.

Overlappende emner

10 studiepoeng overlapp mot INF9145 – Models of concurrency (videref?rt)

Undervisning

2 timer forelesninger og 2 timer gruppe?velser per uke. Det kreves gjennomf?ring av obligatoriske oppgaver. Les mer om krav til innlevering av oppgaver, gruppearbeid og lovlig 澳门葡京手机版app下载 under retningslinjer for obligatoriske oppgaver.

Eksamen

4 timers skriftlig eller muntlig eksamen ved semesterets slutt (avhengig av antall studenter). Alle obligatoriske oppgaver m? v?re godkjente for ? kunne g? opp til eksamen.

Karakterskala

Emnet bruker karakterskala fra A til F, der A er beste karakter og F er stryk. Les mer om karakterskalaen.

Begrunnelse og klage

Adgang til ny eller utsatt eksamen

Studenter som dokumenterer gyldig frav?r fra ordin?r eksamen, kan ta utsatt eksamen i starten av neste semester.

Det tilbys ikke ny eksamen til studenter som har trukket seg under ordin?r eksamen, eller som ikke har best?tt.

Trekk fra eksamen

Det er mulig ? ta eksamen i emnet inntil tre ganger. Dersom du trekker deg fra eksamen etter fristen eller under eksamen, bruker du et eksamensfors?k.

Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner: INF3140.

Annet

Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.

Fakta om emnet

Studiepoeng
10
Niv?
Master
Undervisning
Hver h?st

Emnet undervises siste gang h?sten 2017.

Eksamen
Hver h?st

Eksamen siste gang h?st 2018 eller h?st 2019 for de som har alle obliger godkjent fra f?r.

Undervisningsspr?k
Engelsk