31. Teffen der .NET User Group Rhein-Neckar mit Robin Sedlaczek - SpeakRoslyn

Robin Sedlaczek | Chief Technical Officer at Fairmas GmbH
robinsedlaczek
robinsedlaczek.wordpress.com

Über mich
 CTO der Fairmas GmbH in Berlin
 Community Leader
(DNUG Berlin, The Berlin Microsoft Connection)
 Blogger / .NET Code Geek
 Sprecher
 MSDN Moderator
 Freier Autor
(Heise, Windows Developer)
 Open Source
(SharpGL, Roslyn, FxCopAnalyzers)
RobinSedlaczek
RobinSedlaczek.wordpress.com
Robin Sedlaczek
RobinSedlaczek@live.de
TheBerlinMicrosoftConnection

 #SpeakRoslyn bald in der MVA!
 Microsoft Virtual Academy
Kostenlose Online-Trainings für Entwickler und IT Professionals
Mehr als 2.3 Millionen registrierte Nutzer
Regelmäßig neue Trainings zu aktuellen Microsoft Produkten und Technologien
Live- und on-demand-Kurse
Join the MVA Community! robinsedlaczek

#SpeakRoslyn – Mach mit!
 Kommentaren, Feedback, Kritiken
 Foto #SpeakRoslyn
Über Tweets mit…
würde ich mich sehr freuen!
robinsedlaczek

#SpeakRoslyn
Warum ???
robinsedlaczek

01 | Überblick
robinsedlaczek

Die Compiler-Blackbox
 Compiler sind klassisch gesehen Blackboxes
 Geschlossene Softwarekomponenten
 Übersetzen Quellcode in etwas Ausführbares (Binärdateien)
Compiler
/// <summary>
/// This is the base class for all
/// shaders (vertex and fragment). It
/// offers functionality which is core
/// to all shaders, such as file
/// loading and binding.
/// </summary>
public class Shader
{
public void Create(OpenGL gl, uint shaderType,
string source)
{
// Create the OpenGL shader object.
shaderObject = gl.CreateShader(shaderType);
// Set the shader source.
gl.ShaderSource(shaderObject, source);
// Compile the shader object.
gl.CompileShader(shaderObject);
// Now that we've compiled the shader, check
// it's compilation status. If it's not
// compiled properly, we're going to throw
// an exception.
if (GetCompileStatus(gl) == false)
{
throw new ShaderCompilationException(
string.Format(
"Failed to compile shader {0}.",
shaderObject), GetInfoLog(gl));
}
}
Code File
1 1 0 0 1
0 1 1
1 1 0 1 0
1 1 1
0 1 1 1 1 0 0 1
1 0 1 0 1
1 1 0 0 1 0 1 1
0 1 1 1 0 1
1 1 0 1 0 0 0 1
1 0 1 0 1
0 1 1 1 1 0 0 1
1 0 1 0 1
1 1 0 0 1 0 1 1
0 1 1 0 1
1 0 1 0 1
Binary File
robinsedlaczek

Das Problem mit der Blackbox
 tiefes Verständnis des Codes während Übersetzung
 Wissen, dass von IDEs und Werkzeugen genutzt werden könnte
 Problem: Wissen steht nach Kompilierung nicht mehr zur Verfügung
 Devs/Toolhersteller müssen ggf. Code selbst analysieren
Compiler
robinsedlaczek

Lösung des Problems
 Aufbrechen der Blackbox
 Bereitstellung einer API-Schicht über dem Compiler
 Bereitstellung der Compiler-Ergebnisse über Objektmodelle
Phase 1 Phase 2 Phase 3 Phase 4
Blackbox wird zur Plattform:
.NET Compiler Platform
robinsedlaczek

Vorteile/Nutzen
 Zugriff auf Compiler-Wissen zu jeder Zeit
 Code-bezogenen Aufgaben in eigenen Anwendungen
 Codetransformation und Codegenerierung
 Interaktivität (VS Immediate Window, C# Script, REPL)
 Einbettung C#/VB in DSLs
 Metaprogrammierung
robinsedlaczek

Open Source
 Roslyn ist Open Source!
https://github.com/dotnet/roslyn
 Verwaltet von der .NET Foundation
http://www.dotnetfoundation.org/projects
 Erlaubt Einblicke und Debugging des Codes
 Mitwirkung bei Entwicklung durch Community
 Repository kann geforkt werden
robinsedlaczek

Visual Studio
 Auf Roslyn basierte C#/VB-Sprachfeatures und IDE-Features ab Visual
Studio 2015 enthalten
 Projektvorlagen: SDK Templates VSIX package
 Bibliotheken: NuGet Roslyn compiler package
 Syntax Visualizer: Syntax Visualizer VSIX package
robinsedlaczek

02 | Grundlagen
robinsedlaczek

Was tut ein Compiler?
 Übersetzt z.B. VB.NET, C# nach IL Code, C# nach Maschinencode (.NET Native),
C/C++ in Maschinencode...
Compiler
/// <summary>
/// </summary>
public class Shader
{
string source)
{
// an exception.
{
string.Format(
}
}
Code File
1 1 0 0 1
0 1 1
1 1 0 1 0
1 1 1
0 1 1 1 1 0 0 1
1 0 1 0 1
1 1 0 0 1 0 1 1
0 1 1 1 0 1
1 1 0 1 0 0 0 1
1 0 1 0 1
0 1 1 1 1 0 0 1
1 0 1 0 1
1 1 0 0 1 0 1 1
0 1 1 0 1
1 0 1 0 1
Binary File
 Allgemein: übersetzt Programm aus formaler Quellsprache in semantisch äquivalente
formale Zielsprache
robinsedlaczek

Fragen
 Aber wie genau macht der Compiler das?
 Wie kann der Compiler eine einfache Textdatei inhaltlich verstehen?
 Wie verwandelt er den Text in ausführbare Bits und Bytes?
robinsedlaczek

Aufbau eines Compilers
Vorweg, ein kleiner Exkurs…
Aufbau der Blackbox…
robinsedlaczek

Natürliche vs. Formale Sprachen
 Komplexität
 Ständiger Fluss
 Mehrdeutigkeit
 Fehlertoleranz
robinsedlaczek

Was sind formale Sprachen?
 Mathematische Beschreibung einer Sprache
 Alphabet + Wortbildungsregeln
 Werden durch Zustandsautomaten erkannt
 Klassifiziert in Chomsky-Hierarchie
„Menge von Wörtern, die über einem
bestimmten Alphabet und nach definierten
Regeln gebildet werden können.“
robinsedlaczek

Definition formale Sprache
 Mathematische Beschreibung = formale Grammatik
V = nicht-terminale Zeichen
Σ = terminale Zeichen (Alphabet)
R = Produktionen (Regeln)
S = Startsymbol (aus V)
robinsedlaczek

Beispiel formale Sprache
Die Sprache beinhaltet Bedingungsanweisungen. Diese können verschachtelt sein.
Bedingungsanweisungen können etwas auf wahr oder falsch testen.
V = { expr, condition, left, right }
Σ = { id, if, (, ), {, }, true, false, == }
R = {
expr  if (condition) { expr },
condition  left == right,
left  id,
left  true,
left  false,
right  id,
right  true,
right  false
}
S = expr
robinsedlaczek

V = { expr, condition, left, right }
Σ = { id, if, (, ), {, }, true, false, == }
R = {
expr  if (condition) { expr },
condition  left == right,
left  id,
left  true,
left  false,
right  id,
right  true,
right  false
}
S = expr
Ist der folgende Ausdruck Teil der Sprache?
if (id == true)
{
if (false == id)
{
}
}
Start: expr
(1)  if (condition) { expr }
(1)  if (condition) { if (condition) { } }
(2)  if (left == right) { if (condition) { } }
(2)  if (left == right) { if (left == right) { } }
(3)  if (id == right) { if (left == right) { } }
(7)  if (id == true) { if (left == right) { } }
(5)  if (id == true) { if (false == right) { } }
(6)  if (id == true) { if (false == id) { } }
(1)
(2)
(3)
(4)
(5)
(6)
(7)
(8)
Ausdruck ist Teil der Sprache!
robinsedlaczek

 Formales Beschreiben von Textstrukturen (Grammatik)
 Programmiersprachen
 Textstrukturen können mit Algorithmus erkannt werden (Parsen)
 Einlesen, Syntaxüberprüfung
Was bedeutet das für einen Compiler?
robinsedlaczek

expr
conditionif (
AST
(Abstract Syntax Tree)
) { }expr
Start: expr
 if (condition) { expr }
 if (condition) { if (condition) { } }
 if (left == right) { if (condition) { } }
 if (left == right) { if (left == right) { } }
 if (id == right) { if (left == right) { } }
 if (id == true) { if (left == right) { } }
 if (id == true) { if (false == right) { } }
 if (id == true) { if (false == id) { } }
conditionif ( ) { }
left == right
left == right
id
true
false
id
nicht-terminal
terminal
robinsedlaczek

 Textstrukturen (Syntax) als Baumstruktur darstellbar
 Analyse und Auswertung des Baums
 Syntaxanalyse
 Tiefes Verständnis der Textstruktur
Was bedeutet das für einen Compiler?
robinsedlaczek

Zerlegen des
Quelltextes in Tokens
Parsen der Tokens in
die Syntax, die von
der Grammatik
vorgegeben ist (AST)
Tokenizer/
Lexer
Parser
Lexikalische
Analyse
Syntaktische
Analyse
robinsedlaczek

 Aufbau des Codes
 Strukturen, Klassen, Aufzählungen
 Methoden, Eigenschaften, Variablen
 Bedingungen, Schleifen
 …
Syntaxanalyse
Was weiß der Compiler?
robinsedlaczek

Syntaxanalyse
Was weiß der Compiler bisher nicht?
public virtual void Initialize(int count)
{
particles.Clear();
for (int i = 0; i < count; i++)
{
Particle particle = new BasicParticle();
particle.Intialize(rand);
particles.Add(particle);
}
}
Von welchem Typ sind die
Parameter?
Welche Member dürfen
aufgerufen werden?
Welche Variablen sind hier
gültig?
Semantik!
robinsedlaczek

Symboltabelle
 Deklarationen analysieren
Symbole
/// <summary>
/// </summary>
public class Shader
{
string source)
{
// an exception.
{
string.Format( "Failed to compile shader {0}.",
}
}
Code File
Assemblies
 Benannte Symbole bilden
 Symboltabelle aufbauen
 Typen und Typsignaturen bekannt machen
Referenz
robinsedlaczek

Binder
Symboltabelle
/// <summary>
/// </summary>
public class Shader
{
string source)
{
// an exception.
{
string.Format(
}
}
Code File
var my = new MyType();
public void DoSomething(MyType my) { … }
public event EventHandler MyEvent;
 Identifier im Code zu Symbolen zuordnen
 Bedeutung des Codes
 Semantische Analyse
robinsedlaczek

Zerlegen des
die Syntax, die von
der Grammatik
Typdeklarationen aus
Code und Metadaten
zu benannten
Symbolen
(Symboltabelle)
Identifier in Code
abstimmen/verbinden
mit benannten
Symbolen
Tokenizer/
Lexer
Parser Symbols Binder
Lexikalische
Analyse
Syntaktische
Analyse
Semantische
Analyse
robinsedlaczek

Zerlegen des
die Syntax, die von
der Grammatik
Typdeklarationen aus
Code und Metadaten
zu benannten
Symbolen
(Symboltabelle)
Identifier in Code
abstimmen/verbinden
mit benannten
Symbolen
Plattformunabhängige
Optimierungen
Plattformabhängige
Optimierungen
All gesammelten
Informationen werden in
Binary/Assembly
ausgegeben
Tokenizer/
Lexer
Parser Symbols Binder
CodeGen
Preprocessor
Code Generator
CodeGen
Postprocessor
Lexikalische
Analyse
Syntaktische
Analyse
Semantische
Analyse
Synthese-
Phase
robinsedlaczek

03 | APIs

APIs
 Compiler APIs
 Workspace APIs
robinsedlaczek

APIs – Compiler Services robinsedlaczek

APIs – Compiler Services
 Compiler API
- Sprachspezifische Objektmodelle für alle Phasen der Kompilierung
- Unveränderlicher Snapshot eines Compiler-Aufrufes
- Keine Abhängigkeiten zu Visual Studio
 Diagnostics API
- Erweiterbare API (Analyzers)
- Hängt sich direkt in Analysephase
- Fehler, Warnungen, Informationen
robinsedlaczek

APIs - Workspaces robinsedlaczek

APIs – Workspaces robinsedlaczek

APIs – Workspaces
 Objektmodell zur Darstellung einer Solution
 Einstiegspunkt für Solution-weite Analysen und Refactorings
 Zugriff auf Compiler Services
robinsedlaczek

APIs - Namespaces
 Microsoft.CodeAnalysis.dll
 Microsoft.CodeAnalysis.Workspaces.dll
 Microsoft.CodeAnalysis.CSharp.dll
 Microsoft.CodeAnalysis.CSharp.Workspaces.dll
 Microsoft.CodeAnalysis.VisualBasic.dll
 Microsoft.CodeAnalysis.VisualBasic.Workspaces.dll
robinsedlaczek

04 | Syntax- und Symbolanalyse
robinsedlaczek

Syntaxanalyse
var tree = CSharpSyntaxTree.ParseText(sourceCode);
var node = tree.GetRoot();
 SyntaxTree ist abstrakt
 Parsing über sprachspezifische Ableitung
 SyntaxTree ist immutable
robinsedlaczek

Syntaxanalyse
node.ChildNodes()
node.ChildTokens()
node.GetLeadingTrivia()
node.GetTrailingTrivia()
node.DescendantNodes()
node.DescendantTokens()
node.DescendantTrivia()
token.LeadingTrivia
token.TrailingTrivia
trivia.GetStructure()
trivia.GetStructure()
Traversierung des Syntaxbaums
robinsedlaczek

public.void.Do(string.what).
{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what).
........DontDo();.
}.
Syntax Node
 SyntaxNode (Declarations, Statements, Clauses, Expressions)
robinsedlaczek

public void Do(string what)
{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
........DontDo();.
}.
Syntax Node
robinsedlaczek

{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what)).
........DontDo();.
}.
Syntax Node
robinsedlaczek

{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what)
........DontDo();.
}.
Syntax Node
robinsedlaczek

Syntax Node
{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what)
........DontDo();.
}.
robinsedlaczek

{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what)
........DontDo();.
}.
Syntax Token
 SyntaxToken (Keyword, Identifier, Operator, Punctuation)
robinsedlaczek

Syntax Token
 SyntaxToken (Keyword, Identifier, Operator, Punctuation)
{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
....if.(so.==.what)
........DontDo();.
}.
robinsedlaczek

{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
........DontDo();.
}.
Syntax Trivia
 SyntaxTrivia (Leerzeichen, Kommentare, Pre-processor Direktiven)
robinsedlaczek

Syntax Kinds
 Kind()-Erweiterungsmethode identifiziert exaktes Syntaxelement für
Node, Token und Trivia
 Enum: Microsoft.CodeAnalysis.CSharp.SyntaxKind (463 Werte)
 Enum: Microsoft.CodeAnalysis.VisualBasic.SyntaxKind (642 Werte)
public enum SyntaxKind : ushort
{
None,
List,
Argument,
ArgumentList,
ClassDeclaration,
MethodDeclaration,
NewKeyword,
DollarToken,
PercentToken,
OpenBracketToken,
CloseBracketToken,
…
}
robinsedlaczek

Syntax Types
 Syntaxtypen für alle Syntaxelemente (sprachspezifisch)
 Namespace: Microsoft.CodeAnalysis.CSharp.Syntax (214 Klassen)
 Namespace: Microsoft.CodeAnalysis.VisualBasic.Syntax (275 Klassen)
{.
....var.so.=.true;.
.
#if.DEBUG.
....so.=.false;.
#endif.
.
........DontDo();.
}.
2
3
1
4
1 – MethodDeclarationSyntax
2 – ParameterListSyntax
3 – VariableDeclarationSyntax
4 – IfStatementSyntax
robinsedlaczek

Syntax Kinds vs. Syntax Types
 Was passt hier nicht?
463(C#)
642(VB)
TypesKinds vs.
214 (C#)
275 (VB)
 Syntax Types sind allgemeiner als Kinds
 Ein Typ für ähnliche Syntaxelemente
 By Design
robinsedlaczek

 1 : 1 - Beziehungen zwischen Types und Kinds
 Es gibt aber ein paar Ausnahmen!
 Beispiele…
robinsedlaczek

a = 1;
a *= 2;
a += 4;
1 | 1
true && true;
true || false;
Kind für jeden binären Operator (logisch,
arithmetisch, Bit-Verschiebung, Verbundzuweisung)
Ein Syntaxtype für binäre Ausdrücke.
Binärer Ausdruck
robinsedlaczek

myObject.MyMember
myObject->MyMember
dictionary!name
Member-Zugriff
(C#)
(VB)
Kind für einfachen Member-Zugriff, Zugriff über
Zeiger und Zugriff auf Dictionary in VB.
Ein Syntaxtype für Member-Zugriffe.
robinsedlaczek

Semantische Analyse
var tree = CSharpSyntaxTree.ParseText(sourceCode);
var compilation = CSharpCompilation
.Create("HelloWrold")
.AddReferences(MetadataReference.CreateFromAssembly(typeof(object).Assembly))
.AddSyntaxTrees(tree);
var model = compilation.GetSemanticModel(tree);
 Compilation ist abstrakt
 Semantische Analyse über Ableitungen
 Symboltabelle ist immutable
robinsedlaczek

05 | Code
robinsedlaczek

#SpeakRoslyn
RobinSedlaczek
RobinSedlaczek.wordpress.com
Vielen Dank für Eure
Aufmerksamkeit!

31. Teffen der .NET User Group Rhein-Neckar mit Robin Sedlaczek - SpeakRoslyn

Weitere ähnliche Inhalte

Empfohlen (20)

31. Teffen der .NET User Group Rhein-Neckar mit Robin Sedlaczek - SpeakRoslyn

Hinweis der Redaktion