1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella...

48
1 Introduzione

Transcript of 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella...

Page 1: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

1

Introduzione

Page 2: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

2

Le motivazioni• In .net Framework iniziato nel 2000 rappresenta una

svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti supportati (VB, C++,J++) sia lato client che lato web (ASP) che presentavano dei limiti rispeto a tecnologie concorrenti

• Limiti del Visual Basic: compilato (non portabile) non Object Oriented (Object Based

• Limiti del C++ compilato non portabile, linguaggio complesso (ereditarietà multipla e puntatori espliciti)

• Limiti di ASP : linguaggio per il web interpretato (poco performante) e utilizzo di linguaggi di scripting (JavaScript e VBScript) deboli e non Object Oriented

Page 3: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

3

Piattaforma .NET• Caratteristiche

– Modello Servizi Web XML– Architettura per il Web rinnovata (ASP .net)– Interoperabilità interlinguaggio e portabilità– Standard riconosciuti per linguaggio e infrastruttura– XML-centrico– Nuovo modello di sicurezza e di installazione

Page 4: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

4

Piattaforma .NET e Internet

Page 5: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

5

.NET Framework

Page 6: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

6

.NET Framework• Le fondamenta dell’architettura .NET

– Sistema di sviluppo unificato e standard• C# e CLI certificati ECMA• Sviluppo in collaborazione con HP e Intel

– Supporto per linguaggi di programmazione diversi• Conservazione del know-how esistente.• Utilizzo di linguaggi specifici orientati al campo di utilizzo• Interoperabilità tra linguaggi conformi

Page 7: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

7

.NET Framework• Le fondamenta dell’architettura .NET

– Architettura “Multipiattaforma”• Accessibile a qualunque piattaforma via Web Service.• Disponibile per qualunque piattaforma Windows presente e

futura.• Scalabile• Pronto per dispositivi non strettamente informatici (cellulari,TV).• Elevato supporto per le interfacce grafiche lato client (versione

3.5 Windows Presentation Foundation)

Page 8: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

8

I componenti principali del Framework

Operating System

Common Language Runtime

.NET Framework Class Library

ADO.NET, Windows forms, ASP.NET, Globalization, Security

Programming Languages

Page 9: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

9

CLR: Common Language Runtime

CLI: Common Language Infrastructure

Page 10: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

10

Common Language Runtime

Common Language Runtime

Security

Memory Manager

Loader

Common Language Specification

Compiler

Page 11: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

11

Common Language Runtime

• Motore di esecuzione ad elevate prestazioni

• Strumento di Sviluppo

Page 12: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

12

Common Language Runtime

• Motore di esecuzione ad elevate prestazioni– Gestione della memoria e Garbage Collection– Gestione dei thread e dei servizi del sistema operativo– Gestione della sicurezza– Compilazione JIT di tutto il codice

Page 13: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

13

Common Language Runtime

• Strumento di sviluppo– Controllo sui tipi– Gestione delle eccezioni interlinguaggio– Ambiente di debug unificato per tutti i linguaggi conformi– Linguaggi Microsoft inizialmente disponibili : C#, VB.NET,

C++ [J#]

Page 14: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

14

Common Language Runtime

• Managed Code (Codice Gestito)– Tutto il codice aderente alle specifiche del CLR del quale

può sfruttare i servizi– Codice “Sicuro”

• Unmanaged Code– Tutto il resto…– Codice “Insicuro” perché scavalca il CLR

Page 15: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

15

Common Language Runtime

• Il Common Language Runtime è composto da cinque componenti che sono:– CTS - Common Type System – CLS - Common Language Specification – CIL - Common Intermediate Language – JIT- Just In Time Compiler – VES – Virtual Execution System

Page 16: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

16

Common Language Runtime

Codice VB.NET

Codice C#

Codice J#

Codice C++

Codice COBOL

Compilatore

C#Compilatore

C++Compilatore

VB.NETCompilatore

J#Compilatore

COBOL

IntermediateLanguage

CLR

Sistema Operativo

Page 17: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

17

CTS: Common Type System

Page 18: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

18

Common Type System• Sistema di Tipi unificato ed interlinguaggio• Un insieme standard di tipi di dato e di

regole necessarie per la realizzazione di nuovi tipi

• Ad esempio in C# int a; e in VB.net Dim a as Integer rappresentano lo stesso tipo Int32

• Due Categorie di Tipi disponibili:– Value Type– Reference Type

Page 19: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

19

Common Type System• Value Type

– Tipi atomici come integer e char– Divisi in built-in ed user defined– Descrivono valori che sono rappresentati come sequenze

di bit – Allocati nello Stack del Thread– Non soggetti al Garbage Collector

Page 20: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

20

Common Type System• Reference Type

– Gestiti in C# come puntatori impliciti– Allocati nell’ Heap Gestito (Managed Heap)– Soggetti al Garbage Collector

Page 21: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

21

Common Type System• Conversione tra Value e Reference

(Boxing e Unboxing) gestito dal CTS• Regole di Casting gestite dal CTS

Page 22: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

22

CLS: Common Language Specification

Page 23: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

23

Common Language Specification

• Il CLS definisce un sottoinsieme del Common Type System al quale tutti i fornitori di librerie di classi e progettisti di linguaggi che puntano al CLR, devono aderire.

Page 24: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

24

Common Language Specification• Se un componente scritto in un

linguaggio (ad esempio C#) dovrà essere utilizzato da un altro linguaggio (ad esempio VB.NET), allora chi scrive il componente dovrà aderire ai tipi e alle strutture definite dal CLS.

• Ad esempio, il tipo Int32 è compatibile con il CLS ed i linguaggi e gli strumenti possono aspettarsi che altri linguaggi e strumenti conformi al CLS sappiano come utilizzarlo correttamente

Page 25: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

25

Common Language Specification• CLS Framework

– Una libreria costituita da codice aderente al CLS • CLS Consumer

– Un linguaggio o tool di sviluppo progettato per accedere a tutte le caratteristiche fornite dai CLS Framework, ma non necessariamente in grado di produrne di nuove.

• CLS Extender– Superset del CLS Consumer

Page 26: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

26

MSIL: Microsoft Intermediate Language

CIL: Common Intermediate Language

Page 27: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

27

Intermediate Language• CIL per ECMA,MSIL o IL per Microsoft

– Tutti i compilatori che aderiscono alla struttura del CLR devono generare un rappresentazione intermedia del codice, indipendente dalla CPU, chiamata Common Intermediate Language (CIL). Il runtime utilizza questo linguaggio intermedio per generare codice nativo oppure viene eseguito al volo mediante la compilazione Just In Time

Page 28: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

28

Intermediate Language• Presenta similitudini con linguaggi ad alto

livello, ma anche con il linguaggio assembly:– Istruzioni per

• il caricamento, la memorizzazione e l’inizializzazione dei dati• richiamare metodi da oggetti• aritmetiche e logiche• gestione eccezioni di tipo “Try/Catch”• Operazioni sui registri, ma indipendente dalla piattaforma• Operazioni “atomiche”

Page 29: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

29

Intermediate Language• Permette al CLR controlli durante la

compilazione:– Codice Type Safe– Puntatori corretti– Conversioni corrette– ecc.

• Di fatto rappresenta il linguaggio a livello più basso e l’unico “eseguibile” dal CLR

Page 30: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

30

Intermediate Language• Un compilatore conforme al CLS

produce– Codice IL

• Rappresenta il programma vero e proprio– Metadati

• Descrivono i tipi specifici appartenenti al Common Language Types (CLT) utilizzati nel codice, comprendente la definizione di ogni tipo, le signature per ogni membro del tipo, i membri ai quali il codice fa riferimento e gli altri dati che il runtime usa durante l’esecuzione.

• Permettono componenti autodescrittivi

Page 31: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

31

Intermediate Language• IL e Metadati sono alla fine contenuti

in uno o più file PE (Portable Executable) nella forma tradizionale:– .exe

• Se è codice di programma eseguibile– .dll

• Se è un insieme di librerie

Page 32: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

32

JIT: Just In Time Compiler

Page 33: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

33

Just In Time Compiler• Compilatore al volo basato sul concetto

JIT:– Non tutto l’IL di un PE viene eseguito durante un

programma, solo la parte necessaria viene compilata un istante prima della sua esecuzione.

– Il codice compilato viene memorizzato per successive esecuzioni

– Tutto il codice .NET è compilato JIT, anche linguaggi di scripting come VB Script, J Script, JavaScript ecc.

Page 34: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

34

Just In Time Compiler• Solo il codice usato verrà compilato• Minore occupazione di memoria• Facile rimozione del codice inutilizzato da

tempo• Controlli sull’IL in fase di compilazione• Dati per la compilazione contenuti nello

stesso file del codice (metadati)• Compilazione ottimizzante perché conosce

lo stato preciso dell’ambiente di esecuzione

Page 35: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

35

VES: Virtual Execution System

Page 36: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

36

Virtual Execution System• E’ l’ambiente di esecuzione (macchina

virtuale) del CLR.• Il VES carica, realizza i link ed esegue i programmi scritti per il

Common Language Runtime contenuti nei file Portable Executable.

• Il VES adempie alle sue funzioni di Loader utilizzando le informazioni contenute nei metadati ed utilizza late binding per integrare moduli compilati separatamente, che possono essere anche scritti in linguaggi differenti.

Page 37: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

37

Virtual Execution System• Il VES inoltre fornisce servizi durante l’esecuzione dei codici, che

includono la gestione automatica della memoria, supporto per debugging, sandbox per la sicurezza analoghe a quelle Java e l’interoperabilità con il codice non gestito come ad esempio componenti COM.

Page 38: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

38

Application Domain

Page 39: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

39

Application Domain• Sono i processi leggeri del CLR

– Possono essere immaginati come una fusione della Sandbox di Java e del modello a Thread

– “Leggeri” perché più AD sono eseguiti in un unico processo Win32, ma con meccanismi di sicurezza ed isolamento

Page 40: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

40

Application Domain• Modello di sicurezza

– Controllo di sicurezza in fase di compilazione– Ogni applicazione può avere application domain multipli

associata con essa, ed ognuno di questi ha un file di configurazione contenente i permessi di sicurezza. Queste informazioni di configurazione sono utilizzate dal CLR per fornire un sistema di sicurezza tipo sandbox analogo a quello presente in Java.

Page 41: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

41

Application Domain• Modello di sicurezza

– Nonostante più application domain possano essere eseguiti in un unico processo, nessuna chiamata diretta è permessa tra metodi di oggetti presenti in differenti application domain. In alternativa un meccanismo di tipo proxy è utilizzato per isolare lo spazio dei codici.

Page 42: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

42

Assembly

Page 43: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

43

Assembly• È una collezione di funzionalità

sviluppate e distribuite come una singola unità applicativa (uno o più file).

• In pratica è una raccolta di codice compilato.

• Completamente autodescrittivo grazie al suo manifesto.

• Installazione di tipo XCOPY.

Page 44: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

44

Assembly• Il manifesto è un metadato che:

• Stabilisce l’identità dell’assembly in termini di nome, versione, livello di condivisione tra applicazioni diverse, firma digitale.

• Definisce quali file costituiscono l’implementazione dell’assembly. • Specifica le dipendenze in fase di compilazione da altri assembly. • Specifica i tipi e le risorse che costituiscono l’assembly, inclusi

quelli che vengono esportati dall’assembly. • Specifica l’insieme dei permessi necessari al corretto

funzionamento dell’assembly.

Page 45: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

45

Assembly• Il manifesto è parte indissolubile

dell’assembly ed è compreso nello stesso file.

• E’ il CLR che si preoccupa che le dipendenze espresse nel manifesto siano verificate ed eventualmente si occupa di “ripararle”

Page 46: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

46

Assembly• Il runtime è in grado di eseguire due

versioni diverse della stessa componente side-by-side.

• Il runtime è in grado di rendere disponibile due versioni diverse della stessa libreria

• Nessuna registrazione necessaria

Page 47: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

47

Concludendo• Sistema Operativo

– Applicazione 1 (Processo Win32 Separato)• Application Domain 1• Application Domain 2

– Assembly 1

– Assembly 2

– Assembly 3

– Applicazione 2 (Processo Win32 Separato)– Applicazione 3 (Processo Win32 Separato)

Page 48: 1 Introduzione. 2 Le motivazioni In.net Framework iniziato nel 2000 rappresenta una svolta nella tecnologia Microsoft per andare oltre ai linguaggi esistenti.

48

Bibliografia e Fonti:• Microsoft: .NET Framework Evaluation Guide

http://msdn.microsoft.com/netframework/prodinfo/frameworkevalguide.asp

• Microsoft .NET Framework SDK Documentation(Inclusa nell’installazione dell’ SDK del Framework)

• C# Help Articlehttp://www.csharphelp.com/archives/archive10.html

• MSDN Common Language Runtime overviewhttp://msdn.microsoft.com/library/default.asp?url=/library/en-us/cpguide/html/cpconcommonlanguageruntimeoverview.asp