際際滷

際際滷Share a Scribd company logo
Salomone - Allocazione e Scheduling per la progettazione di sistemi embedded riconfigurabili-  27 Luglio, 2006 Milano Marco Maggioni  Matricola 653729 - zactarus@libero.it
Outline Obiettivi Allocazione e Ordinamento Test su specifiche reali  Riconfigurazione dinamica Allocazione e Ordinamento Progettazione di sistemi riconfigurabili Analisi specifica Validazione e sintesi su FPGA Salomone Grafo dei conflitti Colorazione del grafo Ordinamento Flusso per specifiche reali PandA Partizionamento Calcolo latenze Benchmarks BB - Jpeg Ricorrenze - Jpeg Conclusioni Sviluppi futuri
Obiettivi Sviluppo di uno strumento per la risoluzione dei problemi di allocazione (placement) e ordinamento (scheduling) inerenti allesecuzione di un sistema dinamicamente riconfigurabile. Creazione di un flusso automatico di lavoro per fornire in ingresso a tale strumento specifiche di sistema reali.  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi
Riconfigurazione Dinamica Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Logiche riconfigurabili = circuiti in grado di cambiare la loro funzionalit   Partial +  Dynamic Riconfigurazione Parziale Dinamica
Allocazione e Ordinamento Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Problemi dellesecuzione riconfigurabile Le configurazioni saranno eseguite  su quale parte dellarea...?  con quale ordine?  Allocazione Ordinamento
Progettazione di sistemi riconfigurabili  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Metodologia dalla specifica al sistema implementato su logica riconfigurabile Specification Dynamic Reconfiguration Tree Structure Graph Partitioning Analysis Placement Scheduling Salomone Validation Simulation Modules  Description Synthesis Synthesis
Fase di analisi  Fase di analisi della specifica Compilazione e produzione della struttura tree Costruzione del grafo DFG a livello di statement Partizionamento del sistema e produzione del grafo delle partizioni o TDG  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi
Fase di validazione e sintesi  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Fase di validazione Validazione del sistema attraverso la simulazione Fase di sintesi Descrizione delle partizioni in linguaggio sintetizzabile Sintesi e implementazione su FPGA del sistema riconfigurabile
Salomone  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Unapplicazione che si occupa di adattare il sistema al reconfigurable computing Allocazione Ordinamento
Salomone  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Metodologia dal grafo delle partizioni alle SCoNo ( S ame  Co lored  No de) Calcolo Mobilit Grafo dei Conflitti  Merge Grafo TDG/CG Colorazione Grafo  Ordinamento
Grafo dei Conflitti  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Fase di analisi grafo per raccolta informazioni utili allallocazione e allordinamento  Calcolo ASAP e ALAP Scoperta dei cammini critici e  dei nodi di mobilit Calcolo del grafo dei conflitti minimo 0 0 2 3 3 2 2 4 4 2 5 8 8 4 6 4 0 1 3 5 4 2 6 2 1 3 1 4 2 3
Colorazione del grafo  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Il problema di allocazione si risolve con lutilizzo la colorazione del grafo Possibilit di BackTracking 0 1 3 5 4 2 6 Merging tra grafo TDG e CG Colorazione del grafo con algoritmo ADJ Coloring
Ordinamento  Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Ordinamento dei nodi contenuti nelle SCoNo utilizzando un algoritmo specifico Nelle valutazioni si tiene conto delle tempistiche e del data path Si privilegiano i nodi nel cammino critico I restanti nodi vengono ordinati cercando di non modificare la latenza Problemi principali anticipo nodo non critico e nodi paralleli In uscita le SCoNo ordinate 1 2 2 1 3 1 3 2 0 6 1 5 2 4
Flusso di lavoro per specifiche reali Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Flusso di lavoro per la produzione di grafi partizionati delle specifiche di sistema Compilatore GCC PandA Partizionatore BB / Ricorrenze C/C++/SystemC
Panda Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Strumento che analizza la specifica del sistema e ricava informazioni utili
Partizionatore Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Raggruppa operazioni elementari del grafo DFG secondo metriche opportune Metriche orientate al Basic Block Metriche orientate alle ricorrenze In uscita, un grafo che rappresenta il sistema partizionato
Calcolo latenze Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Latenza delle configurazioni non direttamente disponibili Si utilizzano informazioni sulla tecnologia per ricavare la latenza delle operazioni elementari Si computa la latenza del cammino critico contenuto nel sottografo della partizione
Benchmarks Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Specifica del sistema di compressione JPEG con diversi tipi di partizionamento Basic Blocks Ricorrenze Gupta
Conclusioni Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Salomone permette di adattare lesecuzione di un sistema alla riconfigurazione dinamica Limplementazione del flusso di lavoro per il test di Salomone su specifiche reali fornisce indizi positivi sulla realizzabili t del flusso di progettazione
Sviluppi Futuri Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Inserimento di valutazioni sulloccupazione darea Valutazione limiti FPGA Allocazioni precise Latenze Tempi di riconfigurazione Sfruttamento del concetto di ricorrenza
禽看馨温稼糸艶?

More Related Content

What's hot (18)

Thesis Ardemagni Sangalli 際際滷 It
Thesis Ardemagni Sangalli 際際滷 ItThesis Ardemagni Sangalli 際際滷 It
Thesis Ardemagni Sangalli 際際滷 It
Marco Santambrogio
Thesis Sandionigi 際際滷 IT
Thesis Sandionigi 際際滷 ITThesis Sandionigi 際際滷 IT
Thesis Sandionigi 際際滷 IT
Marco Santambrogio
Thesis Maggioni 際際滷 it
Thesis Maggioni 際際滷 itThesis Maggioni 際際滷 it
Thesis Maggioni 際際滷 it
Marco Santambrogio
Thesis Morandi Novati 際際滷 IT
Thesis Morandi Novati 際際滷 ITThesis Morandi Novati 際際滷 IT
Thesis Morandi Novati 際際滷 IT
Marco Santambrogio
Thesis Bosisio Beretta 際際滷 IT
Thesis Bosisio Beretta 際際滷 ITThesis Bosisio Beretta 際際滷 IT
Thesis Bosisio Beretta 際際滷 IT
Marco Santambrogio
Thesis Corbetta 際際滷 IT
Thesis Corbetta 際際滷 ITThesis Corbetta 際際滷 IT
Thesis Corbetta 際際滷 IT
Marco Santambrogio
Thesis Murgida Panella 際際滷 it
Thesis Murgida Panella 際際滷 itThesis Murgida Panella 際際滷 it
Thesis Murgida Panella 際際滷 it
Marco Santambrogio
Thesis Magnone 際際滷s IT
Thesis Magnone 際際滷s ITThesis Magnone 際際滷s IT
Thesis Magnone 際際滷s IT
Marco Santambrogio
Thesis Redaelli Sacchi 際際滷 IT
Thesis Redaelli Sacchi 際際滷 ITThesis Redaelli Sacchi 際際滷 IT
Thesis Redaelli Sacchi 際際滷 IT
Marco Santambrogio
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-FuzzySviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Stefano Ficcadenti
Monitoraggio di applicazioni software mediante modelli di Markov - slides
Monitoraggio di applicazioni software mediante modelli di Markov - slidesMonitoraggio di applicazioni software mediante modelli di Markov - slides
Monitoraggio di applicazioni software mediante modelli di Markov - slides
rkjp
Semi-Active Replication Protocol
Semi-Active Replication ProtocolSemi-Active Replication Protocol
Semi-Active Replication Protocol
Paolo Maresca
Introduzione a Matlab
Introduzione a MatlabIntroduzione a Matlab
Introduzione a Matlab
Marco Suma
Thesis Ardemagni Sangalli 際際滷 It
Thesis Ardemagni Sangalli 際際滷 ItThesis Ardemagni Sangalli 際際滷 It
Thesis Ardemagni Sangalli 際際滷 It
Marco Santambrogio
Thesis Sandionigi 際際滷 IT
Thesis Sandionigi 際際滷 ITThesis Sandionigi 際際滷 IT
Thesis Sandionigi 際際滷 IT
Marco Santambrogio
Thesis Maggioni 際際滷 it
Thesis Maggioni 際際滷 itThesis Maggioni 際際滷 it
Thesis Maggioni 際際滷 it
Marco Santambrogio
Thesis Morandi Novati 際際滷 IT
Thesis Morandi Novati 際際滷 ITThesis Morandi Novati 際際滷 IT
Thesis Morandi Novati 際際滷 IT
Marco Santambrogio
Thesis Bosisio Beretta 際際滷 IT
Thesis Bosisio Beretta 際際滷 ITThesis Bosisio Beretta 際際滷 IT
Thesis Bosisio Beretta 際際滷 IT
Marco Santambrogio
Thesis Corbetta 際際滷 IT
Thesis Corbetta 際際滷 ITThesis Corbetta 際際滷 IT
Thesis Corbetta 際際滷 IT
Marco Santambrogio
Thesis Murgida Panella 際際滷 it
Thesis Murgida Panella 際際滷 itThesis Murgida Panella 際際滷 it
Thesis Murgida Panella 際際滷 it
Marco Santambrogio
Thesis Magnone 際際滷s IT
Thesis Magnone 際際滷s ITThesis Magnone 際際滷s IT
Thesis Magnone 際際滷s IT
Marco Santambrogio
Thesis Redaelli Sacchi 際際滷 IT
Thesis Redaelli Sacchi 際際滷 ITThesis Redaelli Sacchi 際際滷 IT
Thesis Redaelli Sacchi 際際滷 IT
Marco Santambrogio
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-FuzzySviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Sviluppo di tool di gestione ed analisi di un simulatore Neuro-Fuzzy
Stefano Ficcadenti
Monitoraggio di applicazioni software mediante modelli di Markov - slides
Monitoraggio di applicazioni software mediante modelli di Markov - slidesMonitoraggio di applicazioni software mediante modelli di Markov - slides
Monitoraggio di applicazioni software mediante modelli di Markov - slides
rkjp
Semi-Active Replication Protocol
Semi-Active Replication ProtocolSemi-Active Replication Protocol
Semi-Active Replication Protocol
Paolo Maresca
Introduzione a Matlab
Introduzione a MatlabIntroduzione a Matlab
Introduzione a Matlab
Marco Suma

Viewers also liked (7)

Rio + 20 : le conclusioni del Vertice
Rio + 20 : le conclusioni del VerticeRio + 20 : le conclusioni del Vertice
Rio + 20 : le conclusioni del Vertice
WWF ITALIA
Gli Ingredienti Della Professione Corso OSS Macerata
Gli Ingredienti Della Professione Corso OSS MacerataGli Ingredienti Della Professione Corso OSS Macerata
Gli Ingredienti Della Professione Corso OSS Macerata
Elisa Speciale
Om08 Giuliano Noci School Of Management Politecnico Di Milano
Om08 Giuliano Noci School Of Management Politecnico Di MilanoOm08 Giuliano Noci School Of Management Politecnico Di Milano
Om08 Giuliano Noci School Of Management Politecnico Di Milano
Stefano Cucchi
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Federica Scarrione
Reti di calcolatori Fabiano dalla piazza
Reti di calcolatori   Fabiano dalla piazzaReti di calcolatori   Fabiano dalla piazza
Reti di calcolatori Fabiano dalla piazza
Fabiano Dalla Piazza
Rio + 20 : le conclusioni del Vertice
Rio + 20 : le conclusioni del VerticeRio + 20 : le conclusioni del Vertice
Rio + 20 : le conclusioni del Vertice
WWF ITALIA
Gli Ingredienti Della Professione Corso OSS Macerata
Gli Ingredienti Della Professione Corso OSS MacerataGli Ingredienti Della Professione Corso OSS Macerata
Gli Ingredienti Della Professione Corso OSS Macerata
Elisa Speciale
Om08 Giuliano Noci School Of Management Politecnico Di Milano
Om08 Giuliano Noci School Of Management Politecnico Di MilanoOm08 Giuliano Noci School Of Management Politecnico Di Milano
Om08 Giuliano Noci School Of Management Politecnico Di Milano
Stefano Cucchi
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Social media behaviour: una sfida educativa? Catepol & Fescarr alla Giornata ...
Federica Scarrione
Reti di calcolatori Fabiano dalla piazza
Reti di calcolatori   Fabiano dalla piazzaReti di calcolatori   Fabiano dalla piazza
Reti di calcolatori Fabiano dalla piazza
Fabiano Dalla Piazza

Similar to 3DD 1e Salomone (20)

Diagrammi di Sequenza
Diagrammi di SequenzaDiagrammi di Sequenza
Diagrammi di Sequenza
Riccardo Cardin
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Davide Bravin
Algoritmi ed architetture per la risoluzione di problemi di visual search
Algoritmi ed architetture per la risoluzione di problemi di visual searchAlgoritmi ed architetture per la risoluzione di problemi di visual search
Algoritmi ed architetture per la risoluzione di problemi di visual search
Alessandro D'Ambrosio
Tesina di fine seminario sas ed sql
Tesina di fine seminario sas ed sqlTesina di fine seminario sas ed sql
Tesina di fine seminario sas ed sql
Marco D'Alessandro
Hadoop analyzerJR
Hadoop analyzerJRHadoop analyzerJR
Hadoop analyzerJR
Simone Romano
Thesis marco de_marco
Thesis marco de_marcoThesis marco de_marco
Thesis marco de_marco
Marco De Marco
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
Confindustria Emilia-Romagna Ricerca
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Idriss Riouak
Extended summary of code building genetic programming
Extended summary of code building genetic programmingExtended summary of code building genetic programming
Extended summary of code building genetic programming
MartinaMaione1
Anomaly detection in network traffic flows with big data analysis techniques
Anomaly detection in network traffic flows with big data analysis techniques Anomaly detection in network traffic flows with big data analysis techniques
Anomaly detection in network traffic flows with big data analysis techniques
Maurizio Cacace
Aspect Oriented Programming
Aspect Oriented ProgrammingAspect Oriented Programming
Aspect Oriented Programming
Andrea Bozzoni
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi TridimensionaliProgetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Marco Bresciani
BanovazDiego-際際滷s Prelaurea
BanovazDiego-際際滷s PrelaureaBanovazDiego-際際滷s Prelaurea
BanovazDiego-際際滷s Prelaurea
Diego Banovaz
Generazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptxGenerazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptx
GiacomoZorzin
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia
Presentazione understand
Presentazione understandPresentazione understand
Presentazione understand
Luigi La Torre
Decision Support System (DSS) per la Supply Chain
Decision Support System (DSS) per la Supply ChainDecision Support System (DSS) per la Supply Chain
Decision Support System (DSS) per la Supply Chain
Manager.it
Compas Project
Compas ProjectCompas Project
Compas Project
Alessandro Trentin
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Idriss Riouak
OrientDB & Big Data
OrientDB & Big DataOrientDB & Big Data
OrientDB & Big Data
Luca Bianconi
Diagrammi di Sequenza
Diagrammi di SequenzaDiagrammi di Sequenza
Diagrammi di Sequenza
Riccardo Cardin
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Analisi e realizzazione di uno strumento per la verifica di conformit su sis...
Davide Bravin
Algoritmi ed architetture per la risoluzione di problemi di visual search
Algoritmi ed architetture per la risoluzione di problemi di visual searchAlgoritmi ed architetture per la risoluzione di problemi di visual search
Algoritmi ed architetture per la risoluzione di problemi di visual search
Alessandro D'Ambrosio
Tesina di fine seminario sas ed sql
Tesina di fine seminario sas ed sqlTesina di fine seminario sas ed sql
Tesina di fine seminario sas ed sql
Marco D'Alessandro
Hadoop analyzerJR
Hadoop analyzerJRHadoop analyzerJR
Hadoop analyzerJR
Simone Romano
Thesis marco de_marco
Thesis marco de_marcoThesis marco de_marco
Thesis marco de_marco
Marco De Marco
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
SINERGIE: Soluzioni integrate per le macchine automatiche di prossima generaz...
Confindustria Emilia-Romagna Ricerca
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Uno studio sull'efficacia di checker automatici per la modernizzazione di cod...
Idriss Riouak
Extended summary of code building genetic programming
Extended summary of code building genetic programmingExtended summary of code building genetic programming
Extended summary of code building genetic programming
MartinaMaione1
Anomaly detection in network traffic flows with big data analysis techniques
Anomaly detection in network traffic flows with big data analysis techniques Anomaly detection in network traffic flows with big data analysis techniques
Anomaly detection in network traffic flows with big data analysis techniques
Maurizio Cacace
Aspect Oriented Programming
Aspect Oriented ProgrammingAspect Oriented Programming
Aspect Oriented Programming
Andrea Bozzoni
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi TridimensionaliProgetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Progetto e Sviluppo di un Sistema per il Gioco degli Scacchi Tridimensionali
Marco Bresciani
BanovazDiego-際際滷s Prelaurea
BanovazDiego-際際滷s PrelaureaBanovazDiego-際際滷s Prelaurea
BanovazDiego-際際滷s Prelaurea
Diego Banovaz
Generazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptxGenerazione automatica diagrammi di rete con template pptx
Generazione automatica diagrammi di rete con template pptx
GiacomoZorzin
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia MSc Thesis, awarded as Best Italian thesis in AI 2009/2010
Stefano Bragaglia
Presentazione understand
Presentazione understandPresentazione understand
Presentazione understand
Luigi La Torre
Decision Support System (DSS) per la Supply Chain
Decision Support System (DSS) per la Supply ChainDecision Support System (DSS) per la Supply Chain
Decision Support System (DSS) per la Supply Chain
Manager.it
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Presentazione: uno studio sull'efficacia di checker automatici per la moderni...
Idriss Riouak
OrientDB & Big Data
OrientDB & Big DataOrientDB & Big Data
OrientDB & Big Data
Luca Bianconi

More from Marco Santambrogio (20)

RCIM 2008 - - hArtes Atmel
RCIM 2008 - - hArtes AtmelRCIM 2008 - - hArtes Atmel
RCIM 2008 - - hArtes Atmel
Marco Santambrogio
RCIM 2008 - - UniCal
RCIM 2008 - - UniCalRCIM 2008 - - UniCal
RCIM 2008 - - UniCal
Marco Santambrogio
RCIM 2008 - - ALTERA
RCIM 2008 - - ALTERARCIM 2008 - - ALTERA
RCIM 2008 - - ALTERA
Marco Santambrogio
DHow2 - L6 VHDL
DHow2 - L6 VHDLDHow2 - L6 VHDL
DHow2 - L6 VHDL
Marco Santambrogio
RCIM 2008 - - ALaRI
RCIM 2008 - - ALaRIRCIM 2008 - - ALaRI
RCIM 2008 - - ALaRI
Marco Santambrogio
RCIM 2008 - Modello Scheduling
RCIM 2008 - Modello SchedulingRCIM 2008 - Modello Scheduling
RCIM 2008 - Modello Scheduling
Marco Santambrogio
RCIM 2008 - HLR
RCIM 2008 - HLRRCIM 2008 - HLR
RCIM 2008 - HLR
Marco Santambrogio
RCIM 2008 - Modello Generale
RCIM 2008 - Modello GeneraleRCIM 2008 - Modello Generale
RCIM 2008 - Modello Generale
Marco Santambrogio
RCIM 2008 - Allocation Relocation
RCIM 2008 - Allocation RelocationRCIM 2008 - Allocation Relocation
RCIM 2008 - Allocation Relocation
Marco Santambrogio
RCIM 2008 - - hArtes_Ferrara
RCIM 2008 - - hArtes_FerraraRCIM 2008 - - hArtes_Ferrara
RCIM 2008 - - hArtes_Ferrara
Marco Santambrogio
RCIM 2008 - Janus
RCIM 2008 - JanusRCIM 2008 - Janus
RCIM 2008 - Janus
Marco Santambrogio
RCIM 2008 - Intro
RCIM 2008 - IntroRCIM 2008 - Intro
RCIM 2008 - Intro
Marco Santambrogio
RCW@DEI - ADL
RCW@DEI - ADLRCW@DEI - ADL
RCW@DEI - ADL
Marco Santambrogio

3DD 1e Salomone

  • 1. Salomone - Allocazione e Scheduling per la progettazione di sistemi embedded riconfigurabili- 27 Luglio, 2006 Milano Marco Maggioni Matricola 653729 - zactarus@libero.it
  • 2. Outline Obiettivi Allocazione e Ordinamento Test su specifiche reali Riconfigurazione dinamica Allocazione e Ordinamento Progettazione di sistemi riconfigurabili Analisi specifica Validazione e sintesi su FPGA Salomone Grafo dei conflitti Colorazione del grafo Ordinamento Flusso per specifiche reali PandA Partizionamento Calcolo latenze Benchmarks BB - Jpeg Ricorrenze - Jpeg Conclusioni Sviluppi futuri
  • 3. Obiettivi Sviluppo di uno strumento per la risoluzione dei problemi di allocazione (placement) e ordinamento (scheduling) inerenti allesecuzione di un sistema dinamicamente riconfigurabile. Creazione di un flusso automatico di lavoro per fornire in ingresso a tale strumento specifiche di sistema reali. Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi
  • 4. Riconfigurazione Dinamica Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Logiche riconfigurabili = circuiti in grado di cambiare la loro funzionalit Partial + Dynamic Riconfigurazione Parziale Dinamica
  • 5. Allocazione e Ordinamento Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Problemi dellesecuzione riconfigurabile Le configurazioni saranno eseguite su quale parte dellarea...? con quale ordine? Allocazione Ordinamento
  • 6. Progettazione di sistemi riconfigurabili Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Metodologia dalla specifica al sistema implementato su logica riconfigurabile Specification Dynamic Reconfiguration Tree Structure Graph Partitioning Analysis Placement Scheduling Salomone Validation Simulation Modules Description Synthesis Synthesis
  • 7. Fase di analisi Fase di analisi della specifica Compilazione e produzione della struttura tree Costruzione del grafo DFG a livello di statement Partizionamento del sistema e produzione del grafo delle partizioni o TDG Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi
  • 8. Fase di validazione e sintesi Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Fase di validazione Validazione del sistema attraverso la simulazione Fase di sintesi Descrizione delle partizioni in linguaggio sintetizzabile Sintesi e implementazione su FPGA del sistema riconfigurabile
  • 9. Salomone Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Unapplicazione che si occupa di adattare il sistema al reconfigurable computing Allocazione Ordinamento
  • 10. Salomone Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Metodologia dal grafo delle partizioni alle SCoNo ( S ame Co lored No de) Calcolo Mobilit Grafo dei Conflitti Merge Grafo TDG/CG Colorazione Grafo Ordinamento
  • 11. Grafo dei Conflitti Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Fase di analisi grafo per raccolta informazioni utili allallocazione e allordinamento Calcolo ASAP e ALAP Scoperta dei cammini critici e dei nodi di mobilit Calcolo del grafo dei conflitti minimo 0 0 2 3 3 2 2 4 4 2 5 8 8 4 6 4 0 1 3 5 4 2 6 2 1 3 1 4 2 3
  • 12. Colorazione del grafo Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Il problema di allocazione si risolve con lutilizzo la colorazione del grafo Possibilit di BackTracking 0 1 3 5 4 2 6 Merging tra grafo TDG e CG Colorazione del grafo con algoritmo ADJ Coloring
  • 13. Ordinamento Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Ordinamento dei nodi contenuti nelle SCoNo utilizzando un algoritmo specifico Nelle valutazioni si tiene conto delle tempistiche e del data path Si privilegiano i nodi nel cammino critico I restanti nodi vengono ordinati cercando di non modificare la latenza Problemi principali anticipo nodo non critico e nodi paralleli In uscita le SCoNo ordinate 1 2 2 1 3 1 3 2 0 6 1 5 2 4
  • 14. Flusso di lavoro per specifiche reali Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Flusso di lavoro per la produzione di grafi partizionati delle specifiche di sistema Compilatore GCC PandA Partizionatore BB / Ricorrenze C/C++/SystemC
  • 15. Panda Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Strumento che analizza la specifica del sistema e ricava informazioni utili
  • 16. Partizionatore Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Raggruppa operazioni elementari del grafo DFG secondo metriche opportune Metriche orientate al Basic Block Metriche orientate alle ricorrenze In uscita, un grafo che rappresenta il sistema partizionato
  • 17. Calcolo latenze Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Latenza delle configurazioni non direttamente disponibili Si utilizzano informazioni sulla tecnologia per ricavare la latenza delle operazioni elementari Si computa la latenza del cammino critico contenuto nel sottografo della partizione
  • 18. Benchmarks Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Specifica del sistema di compressione JPEG con diversi tipi di partizionamento Basic Blocks Ricorrenze Gupta
  • 19. Conclusioni Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Salomone permette di adattare lesecuzione di un sistema alla riconfigurazione dinamica Limplementazione del flusso di lavoro per il test di Salomone su specifiche reali fornisce indizi positivi sulla realizzabili t del flusso di progettazione
  • 20. Sviluppi Futuri Obiettivi Ric. Dinamica ProgettazioneSistemi Ric. Salomone Flusso x Specifiche Reali Benchmarks Conclusioni Sviluppi Inserimento di valutazioni sulloccupazione darea Valutazione limiti FPGA Allocazioni precise Latenze Tempi di riconfigurazione Sfruttamento del concetto di ricorrenza