• Studier
• Emner
• Matematikk og naturvitenskap
• Informatikk
  • INF4140

INF4140 - Modeller for parallellitet

Kort om emnet

Kurset 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?

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 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/INF1020.

Overlapping

10 studiepoeng mot INF3140 - Modeller for parallellitet og 3 studiepoeng mot IN 305.

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.

Vurdering og eksamen

4 timers skriftlig eller muntlig eksamen ved semesterets slutt (avhengig av antall studenter). Alle obligatoriske oppgaver må være bestått for å kunne gå opp til eksamen. Generelle opplysninger om eksamen.

Sensur

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

Tilsynssensor for emnet er Rune Steinberg.

Emnet har en tilsynssensor som vurderer den helhetlige faglige kvaliteten på emnet, inkludert vurderingsordningene.

Adgang til utsatt eller ny eksamen/vurdering

Dette emnet tilbyr ikke ny eksamen i begynnelsen av påfølgende semester til kandidater som stryker eller trekker seg under ordinær eksamen. For generelle opplysninger om ny og utsatt eksamen, se http://www.mn.uio.no/studier/admin/eksamen/utsatt-og-ny-eksamen/index.html

Trekk fra eksamen og antall eksamensforsøk

Ved praktisering av 3-gangers regelen skal emnet sees i sammenheng med INF3140.

En student kan fremstille seg til eksamen i dette emnet inntil tre ganger. Studenten anses å ha fremstilt seg til eksamen dersom hun/han ikke har trukket eksamensmeldingen sin i StudentWeb innen en gitt frist.

Annet

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

Kontakt oss