TOWARDS HUME SIMD VECTORISATION

摘要

Hume is a novel formally-motivated programming language oriented to developing software where strong assurance of resource use is paramount, in particular embedded systems. In this paper, we explore the use of Hume in a context of heterogeneous platforms where resource knowledge may guide the mapping of activities to different platform components. We present an overview of the Hume language design and methodology, and discuss its deployment in the exploitation of SIMD vectorisation of a simple low-level image processing routine.