INF4140 – Modeller for parallellitet
Beskrivelse av emnet
Timeplan, pensum og eksamensdato
Kort om emnet
Emnet gir et innblikk i noen grunnleggende begreper og teknikker for spesifikasjon og resonnering om parallelle prosesser, med henblikk p? tett 亚博娱乐官网_亚博pt手机客户端登录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 亚博娱乐官网_亚博pt手机客户端登录 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.