IN9170 – 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?
Etter ? ha fullf?rt emnet:
- kjenner du til ulike mekanismer for parallellitet, inklusive systemer basert p? bruk av felles variable og systemer basert p? kommunikasjon
- har du god innsikt i typiske problemer ved parallelle systemer, som deadlock ("vrangl?s"), fairness og starvation
- kan du spesifisere, utforme og analysere et parallelt system slik at det oppfyller ?nskede egenskaper
- kan du resonnere om egenskapene til et parallelt system
- kan du sammenligne forskjellige semantikker for ulike mekanismer for parallellitet.
Opptak til emnet
Ph.d.-kandidater ved UiO s?ker plass p? undervisningen og melder seg til eksamen i?Studentweb.
Hvis emnet har begrenset kapasitet, vil ph.d.-kandidater som har emnet i sin utdanningsplan ved UiO bli prioritert. Noen nasjonale forskerskoler kan ha egne regler for rangering av s?kere til emner med begrenset kapasitet.
Ph.d.-kandidater som har opptak ved andre utdanningsinstitusjoner m? innen angitt frist?s?ke om hospitantplass.
Anbefalte forkunnskaper
Emnet bygger p??IN2010 – Algoritmer og datastrukturer/INF2220 – Algoritmer og datastrukturer (videref?rt)/INF1020 – Algoritmer og datastrukturer (nedlagt)
Overlappende emner
- 10 studiepoeng overlapp med IN5170 – Modeller for parallellitet.
- 10 studiepoeng overlapp med INF4140 – Modeller for parallellitet (videref?rt).
- 10 studiepoeng overlapp med INF9145 – Models of concurrency (videref?rt).
Undervisning
4 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.
Det er sterkt anbefalt ? m?te p? f?rste forelesning fordi det vil bli gitt viktig informasjon.
Eksamen
4 timers skriftlig eller muntlig eksamen (avhengig av antall oppmeldt) ved semesterets slutt. Alle obligatoriske oppgaver m? v?re godkjente for ? kunne g? opp til eksamen.
Som eksamensfors?k i dette emnet teller ogs? fors?k i f?lgende tilsvarende emner:?IN5170 – Modeller for parallellitet, INF4140 – Modeller for parallellitet (videref?rt), INF9145 – Models of concurrency (videref?rt)
Hjelpemidler til eksamen
Ingen hjelpemidler tillatt.
Eksamensspr?k
Du kan besvare eksamen p? norsk, svensk, dansk eller engelsk.
Karakterskala
Emnet bruker karakterskala best?tt/ikke best?tt. Les mer om karakterskalaen.
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.
Mer om eksamen ved UiO
- Kildebruk og referanser
- Tilrettelegging p? eksamen
- Trekk fra eksamen
- Syk p? eksamen / utsatt eksamen
- Begrunnelse og klage
- Ta eksamen p? nytt
- Fusk/fors?k p? fusk
Andre veiledninger og ressurser finner du p? fellessiden om eksamen ved UiO.