TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére technológiák kidolgozására és piaci bevezetésére
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
I.3 ELOSZTOTT FOLYAMATSZINTÉZIS BERTÓK BOTOND Témavezetői beszámoló Pannon Egyetem 2015. január 7.
A KUTATÁSI TERÜLET RÖVID MEGFOGALMAZÁSA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Rendszer- és folyamatszintézis számos műszaki, üzleti, logisztikai rendszer tervezésére és optimalizálására alkalmas • A kutatás tervezett célja, az eljárások elosztott megvalósításának kidolgozása felhő számítástechnikai rendszerek számára
2
3. FÉLÉVRE TERVEZETT FELADATOK
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Különböző párhuzamos stratégiák megvalósítása • Funkcionális tesztelés • Nagyméretű folyamatszintézis feladat modellezése és megoldása
3
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
SZEMÉLYEK-FELADATOK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Név
Feladat
Időszak
Bárány Máté
VRP -> PNS
november - december
Bartos Anikó
Elosztott keresési stratégiák tesztelése megoldó paraméterek optimalizálása
augusztus - december
Bertók Botond
Témavezetés, implementáció
augusztus - december
Horváth Ádám
Több gépes elosztott implementáció
augusztus - december
Szili László
Időkorlátos PNS megoldó tervezése és implementálása
augusztus - december
Szlama Adrián
Layout optimalizálás
augusztus - december
4
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
EREDMÉNYEK ÁTTEKINTÉSE
• • • •
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Kooperatívan elosztott PNS megoldó Hangolható paraméterek Tesztelés Paraméter optimalizálás
5
PÁRHUZAMOS MEGVALÓSÍTÁS: OSZTOTT MEMÓRIA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
5
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PARALLEL IMPLEMENTATION: CONTROL LOGIC
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
6
PÁRHUZAMOS MEGVALÓSÍTÁS: ELOSZTOTT SZÁMÍTÁS
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
27
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FUTÁSI EREDMÉNYEK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Futási idő csökkenése több szálon futtatva
28
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FUTÁSI EREDMÉNYEK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Futási idő csökkenése több szálon futtatva a10 legjobb megoldást keresve
29
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FUTÁSI EREDMÉNYEK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
30
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
TESZT KÉSZLET
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
solution Original 4 threads number Time (s) Time (s) 1 ? ? Denmark 3.in 10 ? ? 100 ? ? 1 ? ? route_vp_307_2auto.in 10 ? ? 100 ? ? 1 ? ? SNS2_v4.in 10 ? ? 100 ? ? 1 ? ? Example72.in 10 ? ? 100 ? ? average: Problems name
Acceleration (%) ? ? ? ? ? ? ? ? ? ? ? ? 10
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
HANGOLHATÓ PARAMÉTEREK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Mikor osszunk meg munkát: – Minimum remaining subproblem
• Mit osszunk meg: – Local or GlobalNext?
11
FUTÁSI EREDMÉNYEK: PARAMÉTER TEST
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Minimum remaining subproblem paraméter
12
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
13
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
15
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
14
FUTÁSI EREDMÉNYEK: PARAMÉTER TESZT
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Részprobléma megosztási stratégia
16
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FUTÁSI EREDMÉNYEK: PARAMÉTER TEST
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
140,00 120,00
time (sec)
100,00 80,00 60,00 40,00 20,00 0,00 worse
better
average 18
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
FUTÁSI EREDMÉNYEK solution number 1 Denmark 3.in 10 100 1 route_vp_307_2auto.in 10 100 1 SNS2_v4.in 10 100 1 Example72.in 10 100 Problem name
Average:
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
Original 4 threads Time (s) Time (s) 0,0 0,0 0,1 0,1 0,3 0,2 98,3 41,8 169,2 101,0 884,2 418,3 0,0 0,0 8,2 1,9 133,3 48,6 1,5 0,6 7,5 4,2 39,0 28,9
Acceleration (%) 0,000 0,000 33,333 57,477 40,307 52,692 0,000 76,829 63,541 60,000 44,000 25,897
37,840 19
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
ÖSSZEFOGLALÁS
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Kooperatívan elosztott PNS megoldó • Hangolható paraméterek • Tesztelés • Paraméter optimalizálás
40
TÁMOP-4.2.2.C-11/1/KONV-2012-0004
HÁTRALEVŐ FELADATOK
Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Több gépen elosztott PNS megoldó paraméter optimalizálás • Publikálás • Rendszerekbe építés
41
IDŐSZAKBAN TELJESÍTETT INDIKÁTOROK
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
• Konferencia kiadvány teljes cikk: – Anikó Bartos and Botond Bertok: Analysis of Search Strategies for Parallel Implementation of a ProcessNetwork Synthesis Solver, ASCONIKK 2014. – Marton Frits and Botond Ber5ok: Time Constrained Process-Network Synthesis: Solving Production Scheduling Problems, ASCONIKK 2014. – László Szili, Botond Bertok, and Márton Frits: Developing Tailored MILP Solver for Process Network Syntheses with Time Constraints, ASCONIKK 2014.
42
TÁMOP-4.2.2.C-11/1/KONV-2012-0004 Nemzeti kutatóközpont fejlett infokommunikációs technológiák kidolgozására és piaci bevezetésére
KÖSZÖNÖM A FIGYELMET!