Kapitel 15 Die CLI und Kellermaschinen

Transkript

1 Kapitel 15 Die CLI und Kellermaschinen Korbinian Molitorisz IPD Tichy Lehrstuhl für Programmiersysteme KIT die Kooperation von Forschungszentrum Karlsruhe GmbH und Universität Karlsruhe (TH)

2 Agenda Ausführungsmodell von.net Interoperabilität Die CLI und ihre Bestandteile Die CLR als Kellermaschine Definition wichtiger Begriffe 1

3 Traditionelle Ausführung C++ Code Nicht-verwaltete Anwendungen C++ Übersetzer ASM Code (Linker) Dynamisches Laden gemeinsamer Module Betriebssystem (Windows, Linux, Unix,...) Klassen und alle Funktionen werden vom Übersetzer in Maschinencode übersetzt. Klassenstrukturen nach der Übersetzung nicht mehr erkennbar. Das Programm ist selbst zuständig für die Speicherverwaltung, Zeiger, Sicherheit und etc. 2

4 Ausführung unter.net-architektur Verwalteter Code ( Managed Code ) Nicht-verwaltete Anwendungen Klassenbibliothek ( Framework Class Library, FCL) Sämtlicher Code wird unter Aufsicht der Laufzeitumgebung CLR ausgeführt Laufzeitumgebung Sicherheit, Speicherbereinigung, Versionierung,... Klassenbibliothek GUI, Collections, Threads, Netzwerk, Reflection, XML,... Verwalteter Code Verwaltete Daten: Laufzeitumgebung ( Common Language Runtime, CLR) Betriebssystem (Windows, Linux, Unix,...) Code unter Kontrolle der CLR Daten, die von der CLR während des Programmablaufs verwendet werden (Anlegen, Verwenden, Zerstören) 3

5 Einheitliches Ausführungsmodell C# C# C++ VB... if (a>b) max=a; else max=b; Übersetzer Übersetzer Übersetzer Übersetzer Sprachintegration erfolgt auf Ebene der CIL Interoperabilität CIL-Code (+ Metadaten) Lader Verifizierer JIT-Übersetzer Maschinencode Ausgabe ist von CPU und Betriebssystemversion abhängig Protabilität IL_0004: ldloc.0 IL_0005: ldloc.1 IL_0006: ble.s IL_0008: ldloc.0 IL_0009: stloc.2 IL_000a: br.s IL_000c: ldloc.1 IL_000d: stloc.2 mov ebx,[-4] mov edx,[-8] cmp ebx,edx jle 17 mov ebx,[-4] mov [-12],ebx... CIL IL_000c IL_000e Intel-Code 4

6 Interoperabilität Interoperabilität auf Codeebene Sprachen werden gleichwertig, da alle Übersetzer CIL-Code erzeugen Eine C# Klasse kann von einer VB.NET Klasse abgeleitet sein Einheitliche Fehlerbehandlung 5

7 Beispiel: Interoperabilität auf Codeebene VB.NET Code (Datei BasicDog.vb): Namespace DogClone Public Class BasicDog Public Sub Bark(ByVal strname as System.String) End Sub End Class End Namespace System.Console.WriteLine("Hello, {0}!",strName) C# Code (Datei ExtDog.cs): namespace DogClone { } public class ExtendedDog : BasicDog { } public void Growl(string strname) { } System.Console.WriteLine("Hello, {0}. I will bite you!",strname); Vollständiger Quellcode: Demo 1 6

8 Beispiel: Interoperabilität auf Codeebene Verwendung beider Klassen (C# Code): using DogClone; class DogDemo { public static void Main() { ExtendedDog Beagle = new ExtendedDog(); Beagle.Bark("Michael"); Beagle.Growl("Simon"); System.Console.ReadLine(); } } 7

9 CLI Common Language Infrastructure CLI = Grundgerüst der.net-architektur Ziel : Entwicklung von Anwendungen in beliebigen Sprache und Ausführung in verschiedenen Umgebungen. Erweiterung bestehender Anwendungen ohne Neuentwicklung oder Anpassung. Wird im ECMA-Standard 335 definiert (4th Edition, June 2006) ISO : Information technology. Office machines 060 : Languages used in information technology CLI ähnelt in vielen Punkten CORBA von der Object Management Group (OMG) COM/Distributed COM (DCOM) Java 8

10 CLI Common Language Infrastructure (ECMA-335) Schicht I: Architektur und Konzepte Beschreibt die grundlegende Architektur der CLR Definiert das gemeinsame Typsystem (Common Type System, CTS) Definiert das virtuelle Ausführungssystem (Virtual Execution System, VES), Enthält die Common Language Specification (CLS). 9

11 CLI Common Language Infrastructure (ECMA-335) Schicht II: Metadaten und Semantik Stellt die Beschreibung der Metadaten zur Verfügung: physikalische Anordnung (als Dateiformat) logischer Inhalt (als Menge von Tabellen und Beziehungen) Semantik (aus der Sicht eines hypothetischen Assemblers namens ilasm ). Schicht III: CIL-Befehlssatz Detaillierte Beschreibung des Common Intermediate Language (CIL)-Befehlssatzes. 10

12 CLI Common Language Infrastructure (ECMA-335) Schicht IV: Profile und Bibliotheken Stellt eine Übersicht der CLI-Bibliotheken und eine detaillierte Beschreibung der Klassen, Schnittstellen- und Werttypen im XML- Format zur Verfügung. Schicht V: Annexe Enthält einige in CIL implementierte Beispielprogramme, Informationen über spezifische Implementierung eines Assemblers, eine Maschinen-lesbare Beschreibung des CIL-Befehlssatzes und Werkzeuge zur CIL-Manipulation. 11

13 CLI Implementierungen Microsoft Windows (2000, XP, Vista, 7...): Microsoft.NET-Framework (+Compact Framework), Microsofts Implementierung des CLI-Standards (CLR und FCL) Microsoft Windows XP, FreeBSD, Mac OS X 10.2: SSCLI (Rotor): Shared Source Common Language Infrastructure (Rotor Community Site) Linux, Unix (Solaris): Project Mono by Ximian (Gnome) und Novell: DotGNU (Webservices und C#) : 12

14 Quelle: Stutz, Neward, Shilling: Shared Source CLI Essentials, O'Reilly, 2003 Komponenten der SSCLI VS.NET C# JScript VB VC/MC++ Debugger Designers SDK Tools CorDBG ILAsm ILDAsm ILDbDump SN MetaInfo PEVerify System web (ASP.NET) Session State UI Caching HtmlControls Security WebControls Configuration Simple web services Protocols Discovery Description XSLT Collections Configuration Diagnostics System.XML XPath Memory mgmt Stacks & Threads Globalization IO Net Serialization System Reflection Resources Security System.WinForms Design ComponentModel Drawing2D Imaging System.Drawing System.Data (ADO.NET) ADO SQL Design ServiceProcess Text Threading Printing Text Adapters Runtime InteropServices Remoting Serialization Common Language Infrastructure Metadata mgmt Domains & Loaders CTS JIT-Compiler Boot Loader Platform Adaption Layer (PAL) Threads Sync Timers Filesystem ECMA Standard zusätzlich in Rotor enthalten in kommerzieller CLR enthalten 13

15 CLI Common Language Infrastructure Die CLI enthält zwei Hauptbestandteile: Common Language Runtime (CLR) Eine verwaltete Ausführungsumgebung, welche von verschiedenen Sprachen verwendet werden kann. Framework Class Libraries (FCL) Services und Strukturen um komplexe Anwendungen zu entwickeln. Framework Class Libraries Collections Text Security System Threading IO Diagnostics Reflection Runtime Globalization XML Network Common Language Runtime Common Type System Metadata System Virtual Execution System 14

16 CLR Common Language Runtime Gemeinsames Typsystem (CTS): Kern der CLR Beschreibt Datentypen von.net und ihr Verhalten Definiert einen Mechanismus, damit die Programme in unterschiedlichen Sprachen miteinander kommunizieren können Typverwaltung Verifikation Konversion Metadatensystem: Typen beschreiben sich selbst Sprachunabhängig Metadaten können auch von andren Werkzeugen verwendet werden Virtuelles Ausführungssystem: Implementiert das CTS-Modell Lädt.NET Programme und führt diese aus Späte Bindung 15

17 CLR Virtuelle Maschine Was ist eine virtuelle Maschine (VM)? Eine in Software implementierte CPU. VM hat eigenen Befehlssatz unabhängig von Host-System. VM hat normalerweise seine eigene Speicherverwaltung und kann z.b eigene Primitive für Nebenläufigkeit anbieten. Befehle werden interpretiert / JIT-übersetzt. andere Beispiele: Java-VM, Smalltalk-VM, Pascal P-Code Programme (F#, C#, C++,...) CLR z.b. x86 Maschinencode 16

18 CLR Virtuelle Maschine Warum eine Virtuelle Maschine (VM)? Eine VM überbrückt die Lücke zwischen Hochsprache und niedrigen Aspekten einer realen Maschine. Zugriffe auf das Host-Betriebssystem sind beschränkt und geschehen durch die VM. Es ist relativ einfach, eine VM zu implementieren und einfacher, für eine VM zu kompilieren als zu einer realen Maschine. Programme (F#, C#, C++,...) CLR z.b. x86 Maschinencode 17

19 Warum eine virtuelle Maschine? Einfachere Portierbarkeit (Plattform- und Sprachunabhängigkeit) ohne VM: je ein Übersetzer pro Sprache und Plattform (z.b. 4 4=16) C# VB.NET Oberon Eiffel... Übersetzer Windows MacOS Linux PalmOS mit VM: Übersetzung in Zwischensprache (unter.net: CIL) ein Übersetzer pro Sprache und eine CLR (JIT-Übersetzer) pro Plattform (z.b. 4+4=8) C# VB.NET Oberon Eiffel CIL Windows MacOS Linux PalmOS 18

20 Warum eine virtuelle Maschine? Kompaktheit des Zwischencodes Kompakter als Quellcode Kompakter als nativer Code Optimierter Code Mehr Möglichkeiten zur Optimierung des Maschinencodes Analysierung der Zielmaschinenkonfiguration vom JIT-Übersetzer Laufzeitoptimierung Ressourcenverbrauch Sicherheitsfunktionen können von der VM verifiziert werden. Profiling und Debugging sind einfach zu implementieren. 19

21 Kellermaschine vs. Registermaschine Kellermaschine Alle Argumente einer Funktion liegen auf dem Keller Jeder Form der Kommunikation erfolgt über den Keller Beispiel: add(17,25) 3 Kelleranweisungen für add-befehl 20

22 Kellermaschine vs. Registermaschine Registermaschine Register: Eine nummerierte Speicherzelle, um die Daten zu halten. Die Werte im Register werden addiert und das Ergebnis in einem anderen Register gespeichert. Beispiel: add(17,25) 1 Registeranweisung für add-befehl Registerbasierte VMs: Parrot-VM (Perl6) und PHP 21

23 Kellermaschine vs. Registermaschine Warum definiert man die Zwischensprache auf einer Keller- und nicht auf einer Registermaschine? Portabilität: Von jeglicher Architektur abstrahiert Problem bei Registermaschinen: Zuordnung von VM-Registern zu Hardwareregistern, verschiedene Anzahl und Größe der Register. Interoperabilität: Die Zwischensprache CIL ist nur ein kompakter, einfacher, kellerbasierter Bytecode und einfach zu produzieren. Verifikation: Während der statischen Analyse kennt der Compiler alle Argumente, ihre Typen und weiß, wo sie herkommen Änderung von Werten: In einer Registermaschine muss der ganze Code einer Methode geprüft werden, um ein Wertänderung im Register zu erkennen. In einer Kellermaschine wird das Ergebnis nur einmal zugewiesen. 22

24 Kellermaschine vs. Registermaschine Was ist mit der Instruktionsabarbeitung? Die Instruktionsabarbeitung bei Kellermaschinen ist schwerfällig Beim Interpretieren (nicht beim JITten) entsteht zusätzlicher Aufwand beim Zuordnen von virtuellen zu nativen Instruktionen. Mit einem JIT-Übersetzer kann man eine sehr gute Performanz erreichen: Nach dem JITten schrumpf die Anzahl an tatsächlich auszuführenden Operationen um die Hälfte. 23

25 Wichtige Begriffe Assembly Modul (engl. module) Metadaten Manifest Lader und JIT-Übersetzer Ladezyklus 27

26 Assembly Prog.cs class A {... } class B {... } Lib.cs class C {... } Assembly csc Prog.cs,Lib.cs Prog.exe Manifest Metadaten CIL-Code für A CIL-Code für B CIL-Code für C Kein Eintrag in der Windows-Registry Nachfolger von COM-Komponenten Lader 28

27 Assembly Logische Einheit für: Auslieferung, Kapselung, Laden, Versionierung und Sicherheit.NET-Komponente im Sinne der komponentenorientierten Softwareentwicklung Fasst Module und Ressourcendateien zusammen Als ausführbare Datei (.exe) oder als Bibliotheksbaustein (.dll) Wird vom Übersetzer oder Assembly Linker (al.exe) erzeugt Mehrstufige Versionsnummer Container für verwaltete Module 29

28 Modul Physische Einheit: 1.NET-Modul = 1.NET-PE-Datei Enthält Typdefinitionen mit Metadaten und CIL-Code der Methoden wird vom Übersetzer erzeugt 30

29 Metadaten Die Beschreibung von Typen wird als Metadaten bezeichnet Der Übersetzer erstellt Metadaten bei Bedarf Enthalten: Schnittstellenbeschreibung von: Klassen, Methoden, Variablen Parametern, Typen, Versionsnummer und öffentlichen Schlüssel (asymmetrische Verschlüsselung für Code-Signatur) Ermöglichen: Zugriff auf Typinformationen zur Laufzeit (Reflection) Dynamisches Laden Versionsprüfung 31

30 Assembly und Modul Eine Assembly kann aus mehreren Modulen bestehen Single module-assembly Multi module-assembly Jede Assembly enthält ein primäres Modul mit Manifest: Metadaten Lader IL-Code JIT-Übersetzer Primäres Modul Manifest Metadaten IL Code Metadaten Metadaten IL Code Modul 1 Metadaten IL Code IL Code Modul 3 Modul 2 32

31 Manifest Inhaltverzeichnis einer Assembly Identität einer Assembly Speichert Informationen über die Bestandteile einer Assembly Name der Assembly Landes- und Sprachinformation Prozessorinformationen (32-/64-bit) Welche Module gehören dazu, wo sind diese zu finden Attribute zum Ausführungskontext (Debug/Release) Externe und lokale Typen Versionsinformation Strong Name und etc. 33

32 Lader Liest die Metadaten und legt im Hauptspeicher eine interne Repräsentation der Klassen und ihrer Mitglieder an Eine Klasse wird nur dann geladen, wenn sie auch referenziert wird Die Konsistenz der Metadaten wird geprüft 34

33 JIT-Übersetzer Basiert auf Ergebnissen des Laders (Konsistenzprüfung) Der IL-Code wird zu nativem Code übersetzt und anschließend ausgeführt. Eine Methode wird genau dann übersetzt, wenn Sie das erste mal aufgerufen wird Die kompilierte Methode bleibt im Hauptspeicher, wenn es keine Speicherbeschränkungen gibt. Nur ein JIT-Vorgang pro Methode Bei Geräten mit wenig Speicher neu-jitten möglich (Smartphones/Embedded). 35

34 Der Ladezyklus Vorkompilieren Ein verwaltetes Modul kann von IL nach nativem Code vorkompiliert werden Spart Zeit für JIT-Übersetzer, wenn das Modul wiederholt ausgeführt werden soll z. B. Übersetzung während der Installation Bei der Ausführung des vorkompilierten Moduls muss die Original IL-Version vorhanden sein, da der native Code keine Metadaten enthält. 36

35 Der Ladezyklus Anlegen und Ausführen einer verwalteten.net-anwendung (engl. assembly): Datenübertragung Anfragen und Kontrollfluss Quelltext Übersetzer Laufzeitumgebung (CLR) Metadaten IL-Code Modul Lader JIT-Übersetzer Interne Datenstrukturen Nativer Code Ausführungseinheit 37