MultiCore Parallelisation for Hume

Free registration required

Executive Summary

With the emergence of commodity multicore architectures, exploiting tightly-coupled parallelism has become increasingly important. Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded architecture. Functional programming languages, such as Hume, are, in principle, well placed to take advantage of this trend, offering the ability to easily identify threads for parallelism in multicore architectures. Unfortunately, obtaining real performance benefits has often proved hard to realize in practice. This paper outlines the design and implementation of Hume for multicore architectures.

  • Format: PDF
  • Size: 240.4 KB