infokommunikációs technológiák infokommunikációs technológiák 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 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 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
SZEMÉLYEK-FELADATOK Név Feladat Időszak Bárány Máté VRP -> PNS november - december Bartos Anikó Bertók Botond Horváth Ádám Szili László Elosztott keresési stratégiák tesztelése megoldó paraméterek optimalizálása Témavezetés, implementáció Több gépes elosztott implementáció Időkorlátos PNS megoldó tervezése és implementálása augusztus - december augusztus - december augusztus - december augusztus - december Szlama Adrián Layout optimalizálás augusztus - december 4
EREDMÉNYEK ÁTTEKINTÉSE 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 5
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PARALLEL IMPLEMENTATION: CONTROL LOGIC 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: VEZÉRLÉSI LOGIKA 6
PÁRHUZAMOS MEGVALÓSÍTÁS: ELOSZTOTT SZÁMÍTÁS 27
FUTÁSI EREDMÉNYEK Futási idő csökkenése több szálon futtatva 28
FUTÁSI EREDMÉNYEK Futási idő csökkenése több szálon futtatva a10 legjobb megoldást keresve 29
FUTÁSI EREDMÉNYEK 30
TESZT KÉSZLET Problems name Denmark 3.in route_vp_307_2auto.in SNS2_v4.in Example72.in average: solution Original 4 threads number Time (s) Time (s) Acceleration (%) 1??? 10??? 100??? 1??? 10??? 100??? 1??? 10??? 100??? 1??? 10??? 100??? 10
HANGOLHATÓ PARAMÉTEREK Mikor osszunk meg munkát: Minimum remaining subproblem Mit osszunk meg: Local or GlobalNext? 11
FUTÁSI EREDMÉNYEK: PARAMÉTER TEST Minimum remaining subproblem paraméter 12
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT 13
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT 15
MIT OSSZUNK MEG: LOCAL/GLOBAL NEXT 14
FUTÁSI EREDMÉNYEK: PARAMÉTER TESZT Részprobléma megosztási stratégia 16
FUTÁSI EREDMÉNYEK: PARAMÉTER TEST 140,00 120,00 100,00 time (sec) 80,00 60,00 40,00 20,00 0,00 worse better average 18
FUTÁSI EREDMÉNYEK Problem name solution Original 4 threads number Time (s) Time (s) Acceleration (%) 1 0,0 0,0 0,000 Denmark 3.in 10 0,1 0,1 0,000 100 0,3 0,2 33,333 1 98,3 41,8 57,477 route_vp_307_2auto.in 10 169,2 101,0 40,307 100 884,2 418,3 52,692 1 0,0 0,0 0,000 SNS2_v4.in 10 8,2 1,9 76,829 100 133,3 48,6 63,541 1 1,5 0,6 60,000 Example72.in 10 7,5 4,2 44,000 100 39,0 28,9 25,897 Average: 37,840 19
ÖSSZEFOGLALÁS Kooperatívan elosztott PNS megoldó Hangolható paraméterek Tesztelés Paraméter optimalizálás 40
HÁTRALEVŐ FELADATOK 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 Konferencia kiadvány teljes cikk: Anikó Bartos and Botond Bertok: Analysis of Search Strategies for Parallel Implementation of a Process- Network 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
infokommunikációs technológiák KÖSZÖNÖM A FIGYELMET!