• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

Scheduling Performance of Compute-Intensive Concurrent Code Developed Using Event-B

Fredrik Degerlund, Scheduling Performance of Compute-Intensive Concurrent Code Developed Using Event-B. TUCS Technical Reports 1051, Turku Centre for Computer Science, 2012.

Abstract:

Event-B is a tool-supported specification language that can be used e.g. for the modelling of concurrent programs. This calls for code generation and a means of executing the resulting code. One approach is to preserve the original event-based nature of the model and use a run-time scheduler and message passing to execute the translated events on different computational nodes. While constituting a straightforward method, it involves considerable communication overhead, a problem aggravated by the fine-grained nature of events in Event-B. In this paper, we consider the efficiency of such a solution when applied to a compute-intensive model. In order to mitigate overhead, we also use a method allowing computational nodes to repeat event execution without the involvement of the scheduler. To find out under what circumstances the approach performs most efficiently, we perform an empirical study with different parameters.

Files:

Full publication in PDF-format

BibTeX entry:

@TECHREPORT{tDegerlund_Fredrik12a,
  title = {Scheduling Performance of Compute-Intensive Concurrent Code Developed Using Event-B},
  author = {Degerlund, Fredrik},
  number = {1051},
  series = {TUCS Technical Reports},
  publisher = {Turku Centre for Computer Science},
  year = {2012},
  keywords = {Parallel computing, Event-B, Scheduling, Message passing, Efficiency},
  ISBN = {978-952-12-2765-3},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Edit publication