Velkommen til INF2100 Jeg er Dag Langmyhr

Transkript

1 Velkommen til Jeg er Dag Langmyhr Bakgrunn for I INF har dere lært å rammere, men bare små rammer (< 1000 linjer). Hensikten med er å gi mer rammeringstrening Dagens tema: Hva går kurset ut på? Bakgrunn for kurset Hvordan gjennomføres kurset? Godkjennelse av kurset Pause (med registrering av fremmøte) forstå mekanismene man trenger i større rammer (som objektorientering) Prosjektet Prosjektet er valgt for det har en nytteverdi i seg selv: Skriv en kompilator for rammeringsspråket Minila. Programmeringsspråket Minila En kort oversikt Syntaks Fire eksempler Dette gir forståelse for hvordan en kompilator fungerer kjennskap til maskin- og assemblerspråk hvordan et rammeringsspråk er definert og bygget opp Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 1 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 2 av 23 Hva gjør en kompilator? En kompilator oversetter et ram til en annen kode, som maskin- eller assemblerkode. C-ram if (a == 0) ++a; Java-kompilatoren Noen kompilatorer oversetter til en intern kode som tolkes av en interpret. Java-ram Bil a = new Bil(); Kompilator gcc Kompilator javac Assemblerspråk IncI Arr* Java byte-kode CAFE BABE 7501 Assembler gas Java-simulator java Maskinkode Det finnes også Java-kompilatorer som lager maskinkode, men de er ikke så vanlige. Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 3 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 4 av 23

2 Minila-systemet Dette ligner mye på Java-systemet. Minila-ram Kompilator Flok-kode Flink-simulator call P with a; Inc var* Flass-kode Flass-assembler Ulike språk I dette kurset skal vi innom flere språk: Java benyttes til all implementasjon. Minila er målet for prosjektet. Flok er maskinkoden til datamaskinen vår Flink. Flass er assemblerspråket til Flok. Oppgaven deres er å skrive denne kompilatoren. Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 5 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 6 av 23 Oppbyggingen av kurset Kurset har fem hovedkomponenter: Forelesningnen holdes i utgangspunktet hver uke. Godkjenningen Kurset har ikke karakterer, men bare bestått/ikke bestått. Det er tre obligatoriske oppgaver. Når de er godkjent, er kurset godkjent. Gruppeøvelsene er 2 timer hver uke. Gruppearbeid for å løse oppgavene. Man jobber to og to (eller alene om man vil). Man kan velge partner selv, eller la gruppelæreren plukke ut par. Men Mot slutten av semesteret vil noen bli plukket ut til en samtale om rammet de har laget. Dette kan man stryke på. Siden man normalt jobber i lag, forventes at Kompendiet gir en grundig innføring i Minila og prosjektet. Det vil komme etter hvert gjennom semesteret. Nettsidene er også en viktig informasjonskanal. begge har kjennskap til hovedstrukturen i rammet begge kan identifisere sin del av rammet (som skal være rundt halvparten) der de kan forklare nøye hvorfor koden er blitt slik den er. Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 7 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 8 av 23

3 Annet Kvalitetskontroll Alle kurs ved UiO skal nå kvalitetskontrolleres hver gang de går. Dette innebærer det skal være en form for studentevaluering midtveis i kurset (for eksempel et spørreskjema) en tilsynssensor skal se på kursopplegget det skal utarbeides en rapport når kurset er over Dessuten er plukket ut til spesiell evaluering. Ingen vet ennå hva det innebærer. Eksempel 1 Det minste rammet one.min skriver kun ut tallet 1. beg outint(1) 1; outline; end Kompilering Programmet kan kompileres med følgende kommando > minilac one.min Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 10 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 9 av 23 Grammatikk Vi skal beskrive grammatikken ved hjelp av jernbanediagrammer: Program beg ; Setning end Setning outint ( Konstant ) outline Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 12 av 23 Da er det enkelt å kjøre rammet på Flink-simulatoren: > flink one.flok 1 Total execution time: 103 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 11 av 23

4 Eksempel 2 Dette rammet leser inn et tall og regner ut en formel: var n; beg n := inint; outint(10) 2+n*3; outline; end Slik går kjøringen: > flink formel Inint: 7 27 Total execution time: 217 Hvorfor er ikke svaret 23? Grammatikken vår er nå utvidet litt: Program ; Deklarasjon beg ; Setning end Deklarasjon var, Setning := outint ( outline Konstant ) Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 14 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 13 av 23 Konstant inint + - * / Vi ser: Lovlige operatorer er +,, * og /. De har samme presedens. Vi har ikke parenteser i uttrykkene. Konklusjon: Vi må bruke flere lokale variable enn vi er vant til. Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 15 av 23 Eksempel 3 Dette rammet gcd.min finner største felles divisor: var a, b; beg a := inint; b := inint; while a <> b do if a < b then b := b-a; else a := a-b; endif; outint(1) a; outline; end Slik forløper kjøringen: > flink gcd Inint: 52 Inint: Total execution time: 496 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 16 av 23

5 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 17 av 23 ; Setning while Betingelse do endwhile While ; Setning else endif ; Setning if Betingelse then If Nytt er tester og løkker: Betingelse = <> =/= < <= > >= Merk! Kun veldig enkle betingelser er lov! Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 18 av 23 Eksempel 4 Siste utvidelse (foreløbig): prosedyrer (kjent som metoder i Java) med følgende spesialiteter: Vi kan ha prosedyrer deklarert lokalt inne i andre prosedyrer. Minila-prosedyrer kan ha inntil én parameter. Prosedyrene kan ikke kalles rekursivt. og vektorer (kjent som array-er). proc fakultet in n out fak; var i; begproc fak := 1; i := 1; while i <= n do fak := fak * i; endproc; var farr[15]; i := i+1; proc skrivfak in n; var i; begproc i := 1; while i <= n do outint(5) i; outint(10) farr[i]; outline; i := i+1; endproc; var grense, i; beg grense := inint; if grense > 12 then grense := 12; else if grense < 0 then grense := 0; endif; endif; i := 1; while i <= grense do call fakultet with i into farr[i]; i := i+1; call skrivfak with grense; end Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 19 av 23 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 20 av 23

6 Deklarasjon var Prosedyre [, Konstant ] Prosedyre proc begproc in ; Setning out endproc ; ; Deklarasjon Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 22 av 23 Slik går kjøringen: > flink fak Inint: Total execution time: 511 Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 21 av 23 Setning call [ with Konstant ] into Dag Langmyhr,Ifi,UiO: Forelesning 23. august 2005 Ark 23 av 23