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 澳门葡京手机版app下载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 澳门葡京手机版app下载 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.