liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation
Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska fakulteten.
2018 (engelsk)Doktoravhandling, monografi (Annet vitenskapelig)
Abstract [en]

The move from single-core processor systems to multi-core and manyprocessor systems comes with the requirement of implementing computations in a way that can utilize these multiple computational units efficiently. This task of writing efficient parallel algorithms will not be possible without improving programming languages and compilers to provide the supporting mechanisms. Computer aided mathematical modelling and simulation is one of the most computationally intensive areas of computer science. Even simplified models of physical systems can impose a considerable computational load on the processors at hand. Being able to take advantage of the potential computational power provided by multi-core systems is vital in this area of application. This thesis tries to address how to take advantage of the potential computational power provided by these modern processors in order to improve the performance of simulations, especially for models in the Modelica modelling language compiled and simulated using the OpenModelica compiler and run-time environment.

Two approaches of utilizing the computational power provided by modern multi-core architectures for simulation of Mathematical models are presented in this thesis: Automatic and Explicit parallelization respectively. The Automatic approach presents the process of extracting and utilizing potential parallelism from equation systems in an automatic way without any need for extra effort from the modellers/programmers. This thesis explains new and improved methods together with improvements made to the OpenModelica compiler and a new accompanying task systems library for efficient representation, clustering, scheduling, profiling, and executing complex equation/ task systems with heavy dependencies. The Explicit parallelization approach allows utilizing parallelism with the help of the modeller or programmer. New programming constructs have been introduced to the Modelica language in order to enable modellers to express parallelized algorithms to take advantage of the computational capabilities provided by modern multicore CPUs and GPUs. The OpenModelica compiler has been improved accordingly to recognize and utilize the information from these new algorithmic constructs and to generate parallel code for enhanced computational performance, portable to a range of parallel architectures through the OpenCL standard.

Abstract [sv]

Övergången från datorer med en processor till datorer med flera processorkärnor ställer krav på att implementera beräkningar på ett sådant sätt att dessa multipla beräkningsenheter kan användas effektivt. Skrivande av effektiva parallella algoritmer är mycket arbetskrävande och en stor källa till fel om inte programmeringsspråk och tillhörande kompilatorer kan förbättras till att erbjuda bättre stödmekanismer. Datorstödd matematisk modellering och simulering är ett av de mest beräkningsintensiva områdena inom datavetenskap. Även simuleringar av förenklade modeller av fysikaliska system kan vara mycket beräkningstungt med användning av standardprocessorer. Att kunna dra nytta av den beräkningskraft som erbjuds av moderna flerkärniga arkitekturer är mycket viktigt inom detta tillämpningsområde. Denna avhandling syftar till att ge bidrag till hur beräkningskraften hos moderna flerkärniga processor kan utnyttja för att öka prestanda för simuleringar, speciellt för modeller uttryckta i det ekvationsbaserade högnivåmodelleringsspråket Modelica, kompilerade och simulerade med användning av OpenModelica’s modellkompilator och beräkningsmiljö.

Denna avhandling presenterar två metoder för att simulera matematiska modeller på ett sådant sätt att beräkningskraften hos moderna flerkärniga datorer kan utnyttjas: automatisk respektive explicit parallellisering. Den automatiska metoden utför automatiskt processen att extrahera och använda potentiell parallelism i ekvationssystem från den matematiska modellen utan att programmeraren eller modelleraren behöver göra någon extra ansträngning. I denna avhandling presenteras nya och förbättrade metoder tillsammans med förbättringar i OpenModelicakompilatorn samt ett nytt programbibliotek som stödjer effektiv representation, gruppering, planering, prestandamätning och exekvering av komplexa system av ekvationer och beräkningar, där dessa ofta är beroende av varandra. Den explicita parallelliseringsmetoden utnyttjar parallellism som uttrycks explicit med hjälp av programmeraren eller modelleraren. Nya språkkonstruktioner i Modelicaspråket har introduceras för att göra det möjligt för modellerare att på ett bekvämt sätt uttrycka parallelliserad algoritmer som kan utnyttja beräkningskraften som erbjuds av moderna flerkärniga standardprocessorer och grafikprocessorer. OpenModelicakompilatorn har utökats för att kunna hantera och utnyttja informationen från dessa nya språkkonstruktioner samt att generera parallell kod med ökad beräkningsprestanda. Den genererade koden är portabel till ett antal parallella datorarkitekturer genom OpenCL standarden. Dessutom presenteras prestandamätningar av testmodeller med användning av båda metoderna.

Övergången från datorer med en processor till datorer med flera processorkärnor ställer krav på att implementera beräkningar på ett sådant sätt att dessa multipla beräkningsenheter kan användas effektivt. Skrivande av effektiva parallella algoritmer är mycket arbetskrävande och en stor källa till fel om inte programmeringsspråk och tillhörande kompilatorer kan förbättras till att erbjuda bättre stödmekanismer. Datorstödd matematisk modellering och simulering är ett av de mest beräkningsintensiva områdena inom datavetenskap. Även simuleringar av förenklade modeller av fysikaliska system kan vara mycket beräkningstungt med användning av standardprocessorer. Att kunna dra nytta av den beräkningskraft som erbjuds av moderna flerkärniga arkitekturer är mycket viktigt inom detta tillämpningsområde. Denna avhandling syftar till att ge bidrag till hur beräkningskraften hos moderna flerkärniga processor kan utnyttja för att öka prestanda för simuleringar, speciellt för modeller uttryckta i det ekvationsbaserade högnivåmodelleringsspråket Modelica, kompilerade och simulerade med användning av OpenModelica’s modellkompilator och beräkningsmiljö.

Denna avhandling presenterar två metoder för att simulera matematiska modeller på ett sådant sätt att beräkningskraften hos moderna flerkärniga datorer kan utnyttjas: automatisk respektive explicit parallellisering. Den automatiska metoden utför automatiskt processen att extrahera och använda potentiell parallelism i ekvationssystem från den matematiska modellen utan att programmeraren eller modelleraren behöver göra någon extra ansträngning. I denna avhandling presenteras nya och förbättrade metoder tillsammans med förbättringar i OpenModelicakompilatorn samt ett nytt programbibliotek som stödjer effektiv representation, gruppering, planering, prestandamätning och exekvering av komplexa system av ekvationer och beräkningar, där dessa ofta är beroende av varandra. Den explicita parallelliseringsmetoden utnyttjar parallellism som uttrycks explicit med hjälp av programmeraren eller modelleraren. Nya språkkonstruktioner i Modelicaspråket har introduceras för att göra det möjligt för modellerare att på ett bekvämt sätt uttrycka parallelliserad algoritmer som kan utnyttja beräkningskraften som erbjuds av moderna flerkärniga standardprocessorer och grafikprocessorer. OpenModelicakompilatorn har utökats för att kunna hantera och utnyttja informationen från dessa nya språkkonstruktioner samt att generera parallell kod med ökad beräkningsprestanda. Den genererade koden är portabel till ett antal parallella datorarkitekturer genom OpenCL standarden. Dessutom presenteras prestandamätningar av testmodeller med användning av båda metoderna.

sted, utgiver, år, opplag, sider
Linköping: Linköping University Electronic Press, 2018. , s. 210
Serie
Linköping Studies in Science and Technology. Dissertations, ISSN 0345-7524 ; 1967
Emneord [en]
Modelling, Simulation, Multi-core, Automatic Parallelization, Clustering, Scheduling, Explicit Parallelization, ParModelica, Task Systems, GPGPU
HSV kategori
Identifikatorer
URN: urn:nbn:se:liu:diva-152789DOI: 10.3384/diss.diva-152789ISBN: 9789176851630 (tryckt)OAI: oai:DiVA.org:liu-152789DiVA, id: diva2:1265975
Disputas
2019-01-24, Ada Lovelace, B-huset, Campus Valla, Linköping, 10:15 (engelsk)
Opponent
Veileder
Tilgjengelig fra: 2019-01-07 Laget: 2018-11-26 Sist oppdatert: 2019-09-30bibliografisk kontrollert

Open Access i DiVA

Automatic and Explicit Parallelization Approaches for Equation Based Mathematical Modeling and Simulation(1294 kB)247 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 1294 kBChecksum SHA-512
649faf3fb7e591b5cc7e5987a223c6ee62d1e8b39850c67a1a99debb7043d6326009179a9ef7bb4a05115bc9e94974148b4d18c4c156e7a48a1f84995aa4b783
Type fulltextMimetype application/pdf
Bestill online >>

Andre lenker

Forlagets fulltekst

Personposter BETA

Gebremedhin, Mahder

Søk i DiVA

Av forfatter/redaktør
Gebremedhin, Mahder
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 247 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

doi
isbn
urn-nbn
Totalt: 707 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf