mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Operational Semantics for PLEX: A Basis for Safe Parallelization
Mälardalen University, School of Innovation, Design and Engineering.
2008 (English)Licentiate thesis, monograph (Other scientific)
Abstract [en]

The emerge of multi-core computers implies a major challenge for existing software. Due to simpler cores, the applications will face decreased performance if not executed in parallel. The problem is that much of the software is sequential.

Central parts of the AXE telephone exchange system from Ericsson is programmed in the language PLEX. The current software is executed on a single-processor architecture, and assumes non-preemptive execution.

This thesis presents two versions of an operational semantics for PLEX; one that models execution on the current, single-processor, architecture, and one that models execution on an assumed shared-memory architecture. A formal semantics of the language is a necessity for ensuring correctness of program analysis, and program transformations.

We also report on a case study of the potential memory conflicts that may arise when the existing code is allowed to be executed in parallel. We show that simple static methods are sufficient to resolve many of the potential conflicts, thereby reducing the amount of manual work that probably still needs to be performed in order to adapt the code for parallel processing.

Place, publisher, year, edition, pages
Akademin för innovation, design och teknik , 2008.
Series
Mälardalen University Press Licentiate Theses, ISSN 1651-9256 ; 85
National Category
Computer Science
Research subject
Datavetenskap
Identifiers
URN: urn:nbn:se:mdh:diva-631ISBN: 978-91-85485-80-2 (print)OAI: oai:DiVA.org:mdh-631DiVA: diva2:121226
Presentation
2008-05-07, Kappa, Västerås, 14:00
Opponent
Supervisors
Available from: 2008-04-16 Created: 2008-04-16

Open Access in DiVA

fulltext(776 kB)33557 downloads
File information
File name FULLTEXT01.pdfFile size 776 kBChecksum MD5
a3f83777eb331cd5e55cca668896eba36850952eab9a6b9d5e5de3db5f92ce223e426b24
Type fulltextMimetype application/pdf

By organisation
School of Innovation, Design and Engineering
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
Total: 33557 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 421 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf