IN9170 – Modeller for parallellitet

Timeplan, pensum og eksamensdato

Velg semester

Endringer på grunn av koronaviruset

Høsten 2020 vil eksamen i de fleste emner ved MN gjennomføres digitalt, enten som hjemmeeksamen eller som muntlig eksamen, med normal karakterskala. Følg med på semestersiden for oppdatert informasjon om eksamensformen i ditt emne.

Se felles retningslinjer for eksamen ved MN-fakultetet høsten 2020.

Kort om emnet

Emnet gir et innblikk i noen grunnleggende begreper og teknikker for spesifikasjon og resonnering om parallelle prosesser, med henblikk på tett samarbeidende 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.

Emnet bygger på IN2010 – Algoritmer og datastrukturer/INF2220 – Algoritmer og datastrukturer (videreført)/INF1020 – Algoritmer og datastrukturer (nedlagt)

Overlappende emner

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 samarbeid 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.

Tilrettelagt eksamen, kildebruk, begrunnelse og klage

Se mer om eksamen ved UiO

Sist hentet fra Felles Studentsystem (FS) 27. nov. 2020 01:17:33

Fakta om emnet

Studiepoeng
10
Nivå
Ph.d.
Undervisning
Høst
Eksamen
Høst
Undervisningsspråk
Engelsk