Beskjeder
Takk for i år og god sommer. Her er løsningsforslaget på eksamen.
Jeg ble bedt om gjennomgå konfluens 12/5. I den anledning fant jeg tidligere eksamensoppgaver om konfluens. Den 12/5 gjennomgår vi derfor disse eksamensoppgavene. Vi gjør selvsagt også ferdig lpo/mpo-delene av termineringsoppgavesettet. Deretter kan dere jobbe med flere eksamenssett; tenker at neste er eksamen 2016. Deretter 2024, 2019, 2018 (4000-varianten), 2022 og 2025. Settet fra 2003 er også meget bra. I tillegg til de temaene dere ønsker at vi tar opp. Det er bare å sette igang og løse tidligere eksamensoppgaver!
Som nevnt skal professor Ralf Sasse fra ETH holde forelesningen 12:15 tirsdag 5. mai om bruk av Maude-lignende metoder til å knekke VISA og MasterCard-betalinger, 5G-standarden (?) og kanskje også bruk av Maude til å finne til da ukjente nye sikkerhetshull i Internet Explorer. Lenken skal være https://uio.zoom.us/j/63610395972
Meeting ID: 636 1039 5972
Jeg anbefaler alle å se videosnutten lagd av VG-TV i anledningen: https://www.vgtv.no/video/205022/ny-svindelmetode-slik-kan-de-kopiere-kortet-ditt-i-koeen Forelesningen er selvsagt pensum. Dette er også et trip back memory lane hvor vi husker på trivelige covid-stunder ved at vi ikke møtes i fellesskap. Vær vennlig å vise respekt for stjerneforeleseren, som gjør dette gratis, ved å ha kameraet slått på, og still gjerne gode spørsmål.
- Jeg har frigjort nesten en tredjedel av løsningsforslagene til eksamensoppgavene (de jeg ikke skal gjennomgå, og som ikke er oblig).
- Husk at tirsdagens (5/5) forelesning er på zoom! Alle sitter for seg selv som i gamle gode covid-dager! Lenke kommer snart! Forelesningen er i høyeste grad pensum. Opptak vil ikke bli tatt, men slides vil være tilgjengelige (regner jeg med).
- Neste uke begynner vi også å snakke om temaer dere ønsker tatt opp, og å løse eksamensoppgaver om de temaene. Torsdag 7/5 snakker jeg om terminering ved vektfunksjoner/lpo/mpo. Oppgavene som gjennomgås da er noen tidligere eksamensoppgaver.
Det var faktisk noen som ønsket å jobbe med obligatorisk oppgave 3 denne uken, før studentenes påskeferie starter på torsdag. Oblig 3 inneholder deler av eksamen 2015 og 2018, og er fin trening. Innleveringsfrist 30. april. De kan løses allerede nå (selv om invarianter i prinsippet kun gjennomgås 14/4 kan man gjøre det meste nå).
(Dette er ikke pensum, men har noen tanker om formelle metoder i AI-genererte programmers tidsalder.) Interessant fra Leonardo de Moura (tidligere Microsoft og nå på AWS): When AI Writes the World’s Software, Who Verifies It?
Siden halvparten av første forelesning går med til å introdusere emnet, blir det ikke nok oppgaver til to dager etterpå. Derfor kjører vi også forelesning på torsdagen. Kanskje tar vi først 15 minutters oppgavegjennomgang? Uansett, mest forelesning på torsdag den første undervisninguken.
Jeg har satt opp en tentativ timeplan, bl a basert på fjoråret. Denne planen er veldig tentativ/foreløpig, og det vil helt sikkert komme masse endringer, så man bør sjekke timeplanen ofte.
Hva er poenget med IN2100?
Poenget med emnet er å modellere og analysere distribuerte datasystemer. Distribuerte systemer er systemer hvor flere noder/maskiner samarbeider for å få til noe, typisk ved å sende meldinger. Alle dagens større datasystemer er distribuerte systemer.
Det viser seg at det er veldig mye vanskeligere å forstå og designe distribuerte systemer enn vanlige "sekvensielle" systemer. Akkurat som en arkitekt lager modeller av større bygninger før man begynner å bygge dem, og analyserer modellene før bygging, på samme måte må vi først designe og modellere et komplekst datasystem, *før* designet implementeres. Det er design av slike systemer som er vanskelig; ikke å implementere dem. Men for at et design skal kunne analyseres på en seriøs måte, må det være en klar og éntydig modell, og det må finnes analysemetoder som lar oss analysere et design (i stedet for å bare ni-stirre på et design...