48
1 Introduzione

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

Embed Size (px)

Citation preview

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