Název: Kompilace generátorů dynamického jazyka PHP do MSIL
Překlad názvu: Kompilace generátorů dynamického jazyka PHP do MSIL
Autoři: Houška, Petr ; Míšek, Jakub (vedoucí práce) ; Ježek, Pavel (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2017
Jazyk: eng
Abstrakt: [eng] [cze]
The goal of this thesis is to design and implement the support for generators within the Peachpie framework, a PHP to CIL compiler. Generators are the simplest form of methods that resume from the same state in which they returned earlier when called repeatedly. The reference PHP interpreter Zend engine supports generators natively. Due to that fact that generators in PHP support a number of features that are not common in other languages. CIL, on the other hand, does not have a native support for generators. Therefore, languages built on top of CIL (e.g. C#, F#) have to implement them by other means, such as by rewriting the original generator methods into state machines. In this thesis, we will design and implement the support for generators through semantic tree transformations. All this is handled with the intention of keeping the maximum possible compatibility with reference PHP generators. We will also make a comparison to generators in C#, whose main implementation also uses CIL as a backend. 1 Cílem této práce je navrhnout a implementovat podporu pro generátory v rámci Peachpie projektu, kompilátoru z PHP do CIL. Generátory jsou nejjednodušší formou metod, které při opětovném zavolání pokračují ze stejného stavu, ve kterém dříve skončily. Referenční interpretr jazyka PHP Zend Engine podporuje generátory nativně. Nejen kvůli tomu jsou generátory v PHP poměrně silné a umožňují například přerušení vykonávání prakticky na jakémkoliv místě. CIL naopak přímou pod- poru pro generátory nemá, jazyky nad ním postavené (např. C# či F#) je tedy musí implementovat kupříkladu přepisem generátorových metod na stavové au- tomaty. V práci rozebereme návrh a následnou implementaci generátorů pomocí trans- formace sémantického stromu a konkrétní CIL reprezentaci případných nových sémantických objektů s cílem zachovat maximální možnou kompatibilitu se sémantikou PHP generátorů. Také je srovnáme s generátory v jazyce C#, jehož hlavní im- plementace je taktéž postavena nad CIL. 1
Klíčová slova: kompilátor,php,msil,.net,roslyn,dynamické jazyky; compiler,php,msil,.net,roslyn,dynamic language

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/90380

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-364978


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce