Opleiding INFORMATICA Programmeertaal Implementatie Taal ontwerp Vertalen.

Presentatie over: "Opleiding INFORMATICA Programmeertaal Implementatie Taal ontwerp Vertalen."— Transcript van de presentatie:

1 Opleiding INFORMATICA Programmeertaal Implementatie Taal ontwerp Vertalen

2 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 2 Componenten Programmeertaal naar eigen ontwerp Vertaler naar objectstructuur Codegenerator vanuit objectstructuur Java assembler “jasmin” Java Virtuele Machine Simulator “jvmsim” Java Virtuele Machine “java”

3 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 3 Taal ontwerpen Syntax en semantiek –Structuur in grammatica beschrijven –Betekenis ligt in semantiek Data(structuren), variabelen, typen –Namen –Geheugenplaats –Scope, name space –Waardenbereik –Structuur (arrays, records, class, object)

4 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 4 Taal ontwerpen Expressies –Te evalueren tot een waarde van een type –“berekening” –Functie Statements –Basis (o.a. assignment) –Iteratief –Conditioneel –Procedure –Block Abstractie Onderscheid Definitie en Gebruik (def versus use)

5 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 5 Type talen Imperatieve talen –Assignment is cruciaal (eigen geheigenbeheer) –Pascal, C, Fortran Functionele talen –Functie wordt als basiselement behandeld –Expressies, geen assignments –Functiedefinities –Haskel, Miranda, Lisp Object georienteerde talen –Class als definitie van object met bundeling van data en methoden in een structuur –Data hiding –Overerving –C++, Java, Python

6 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 6 Type talen Logisch etalen –Proposities en predicaten centraal –Prolog Concurrente talen –Proces centraal –Synchronisatie –Communicatie –CSP en verder vaak libraries

7 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 7 Vertalen versus vertolken Vertalen = Compileren : transformatie van programma naar semantisch equivalente code Vertolken = interpreteren: uitvoeren van programnma als uitvoerbare code

8 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 8 Fasen in opdracht Eigen programmeertaal ontwerpen –basistypen: integer, boolean, character –eendimensionale arrays van elk basistype –controlestructuren: opeenvolging keuze herhaling –expressies van elk basistype –procedures en functies met parameters

9 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 9 Taak compiler Scanner Parser Codegeneratie van objecten die programmatekst representeren Checks op –type van expressies en variabelen stemmen overeen met de context van het gebruik –arraygrenzen –aantal en type van parameters stemmen overeen in definitie en gebruik Codegeneratie vanuit gegenereerde objectstructuur voor de java-assembler “jasmin”

10 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 10 Hulpmiddelen Scannergenerator “Jlex” Parsergenerator “Cup” Object georiënteerde programmeertaal Java Assembler “jasmin” Visualisator van Java Virtuele Machine “jvmsim” Java Virtuele machine “java”

11 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 11 Fasen YLA tok C YLAtoktok objobj C/C++ PPP obj jasm C++ objjasmjasm bcbc Java PPP De groene transformators (I, II en III) worden in het practicum gebouwd III III

12 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 12 Bekende knelpunten Integratie van door Jlex en Cup gegenereerde Java-code met eigen code Generatie van de objectstructuur –ontwerpen van classes voor taalelementen –specificeren van objectcreatie binnen de grammaticaregels in de Cupfile –doorgeven van parameters in de creatie van objecten –Kortom: welke classes, wanneer creëren, welke parameters?

13 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 13 Genereren objectstructuur Voorbeeld expressie:: expressie PLUS term | term ; term:: term MAAL factor | factor ; factor:: NUMBER | MINUS factor | LHAAK expressie RHAAK ; Welke classes? Bijv. abstracte class Expr met subclasses Nullaire_expr, Unaire_expr en Binaire_expr

14 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 14 Classes Class Expr { } Class Nullaire_expr : public Expr { int number; public: Nullaire_expr(int num) {number = num;} } Class Unaire_expr : public Expr { int operator; Expr: expr; public: Unaire_expr(int op; Expr expr) {...} } Class Binaire_expr : public Expr { int operator; Expr: expr; public: Binaire_expr(Expr e1;int op; Expr e2) {...} }

15 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 15 Op welke punten objecten creëren? Voorbeeld expressie:: expressie PLUS term { creëer Binaire_expr } | term {doorgeven attribuut } ; term:: term MAAL factor {creëer Binaire_expr } | factor {doorgeven attribuut} ; factor:: NUMBER {creëer Nullaire-expr} | MINUS factor (creëer Unaire_expr } | LHAAK expressie RHAAK {geef attribuut door } ;

16 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 16 Creatie en doorgeven in pseudo Java Voorbeeld expressie::= expressie:e PLUS term:t { RESULT = new Binaire_expr (e, PLUS, t);} | term:t {RESULT = t;} ; term:: term:t MAAL factor:f {RESULT = new Binaire_expr (t, MAAL, f);} | factor:f {RESULT = f;} ; factor:: NUMBER:n {RESULT= new Nullaire_expr (n);} | MINUS factor:f {RESULT = new Unaire_expr (MINUS,f)}; }| LHAAK expressie:e RHAAK {RESULT = e; } ;

17 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 17 Type van attributen In de Cup specificatiefile geven we bij de nonterminalen en eventueel terminalen aan van welk type hun attribuut is. In het geval van het voorbeeld moet bekend zijn: expressieExpr termExpr factorExpr Zorg voor een goede overdracht van attributen voor terminalen vanuit de door Jlex gespecificeerde scanner naar de parser

18 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 18 Vraag Tot welke objectstructuur wordt de volgende expressie omgezet? (3 + ((3 * 7 + 4) * 2)) + 5

19 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 19 Java Virtuele Machine Kleine nul-adres machine Instructieset Stack voor datamanipulatie (32 bits) Heap met garbage collection Constant Pool Interne registers –program counter –stackpointer –framepointer –pointer naar variabelen op de stack Method area

20 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 20 Instructieset uitgebreid instructies voor berekeningen, het halen uit en opbergen in geheugen zijn getypeerd Bijv. optellen add is er als iadd, ladd, fadd etc. ondersteunt object orientatie door te werken met objecten in de heap en referenties naar objecten op de stack door new-instructie door instructies om bij instantie- en classvariabelen te komen

21 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 21 Stack FrameFrame Execution environment lvar-0 lvar-1 lvar-n opval-1 opval-2 optop frame vars

22 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 22 Instructie iadd Execution environment optop frame vars 7 3 Execution environment optop frame vars 10 voorna ref-this

23 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 23 Instructie iload 2 Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 5 9 7 9 2 1 0

24 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 24 Instructie istore 1 Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 9 7 2 1 0 9

25 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 25 Instructie bipush 3 Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 7 2 1 0 5 3

26 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 26 Instructie dup Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 7 2 1 0 5 7

27 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 27 Instructie pop Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 7 2 1 0 5 3

28 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 28 Instructie swap Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 3 2 1 0 5 3 7

29 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 29 Instructie iaload Execution environment optop frame vars array-ref van rij Execution environment optop frame vars voorna ref-this 5 9 9 waarde van rij[3] 2 1 0 5 3

30 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 30 Instructie iastore Execution environment optop frame vars array-ref van rij Execution environment optop frame vars voorna ref-this 5 9 9 2 1 0 5 3 7

31 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 31 Instructie newarray int Execution environment optop frame vars 7 Execution environment optop frame vars voorna ref-this 5 9 9 2 1 0 5 25 7 Nieuwe arrayref

32 Opleiding INFORMATICA ©CII Saxion Hogeschool Enschede 32 Nog meer instructies Er zijn nog enkele categorieen instructies Control flow: Zie artikel “Under the Hood: Control flow” en teken zelf een aantal voorbeelden uit. Het effect is enerzijds zichtbaar op de stack: waarden worden gepopt. Het tweede effect zit in een eventuele wijziging sprongopdracht: wijziging van de waarde van de pc. Converteren van datatypes Aanroepen van methoden Zie hiervoor de uitgebreide opdrachtsomschrijving