Name
Abstract | ||
|---|---|---|
Porting software to different platforms can require modifications of the application. One of the issues is that the targeted hardware supports another memory consistency model. As a consequence, the completion order of reads and writes in a multi-threaded application can change, which may result in improper synchronization. For example, a processor with out-of-order execution could break synchronization if proper fence instructions are missing. Such a bug can cause sporadic errors, which are hard to debug. This paper presents an approach that makes applications independent of the memory model of the hardware, hence they can be compiled to hardware with any memory architecture. The key is having a memory model that only guarantees the most fundamental orderings of reads and writes, and annotations to specify additional ordering constraints. As a result, tooling can transparently and properly implement fences, cache flushes, etc. when appropriate, without losing flexibility of the hardware design. In a case study, several SPLASH-2 applications are run on a 32-core software cache coherent Micro Blaze system in FPGA. Moreover, this approach also allows mapping to scratch-pad memories and a distributed shared memory architecture. |
Year | DOI | Venue |
|---|---|---|
2013 | 10.1109/IPDPSW.2013.14 | Parallel and Distributed Processing Symposium Workshops & PhD Forum |
Keywords | Field | DocType |
32-core software cache,cache flush,memory model,hardware design,memory architecture,portable memory consistency,improper synchronization,splash-2 application,many-core soc,targeted hardware,porting software,memory consistency model,synchronization,hardware,mathematical model,fpga,multi threading,system on chip,memory management,out of order execution | Interleaved memory,Uniform memory access,Shared memory,Computer science,Distributed memory,Cache-only memory architecture,Memory map,Distributed shared memory,Operating system,Memory architecture | Conference |
ISBN | Citations | PageRank |
978-0-7695-4979-8 | 1 | 0.35 |
References | Authors | |
11 | 3 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jochem H. Rutgers | 1 | 25 | 2.63 |
| marco j g bekooij | 2 | 161 | 9.00 |
| Gerard J. M. Smit | 3 | 888 | 89.18 |