Name
Abstract | ||
|---|---|---|
Programming concurrent systems is substantially more difficult than programming sequential systems, yet most embedded systems need concurrency. We believe this should be addressed through higher-level models of concurrency that eliminate many of the usual challenges, such as nondeterminism arising from races.The shim model of computation provides deterministic concurrency, and there already exist ways of implementing it in hardware and software. In this work, we describe how to produce more efficient C code from shim systems.We propose two techniques: a largely mechanical one that produces tail-recursive code for simulating concurrency, and a more clever one that statically analyzes the communication pattern of multiple processes to produce code with far less overhead. Experimentally, we find our tail-recursive technique produces code that runs roughly twice as fast as a baseline; our statically-scheduled code can run up to twelve times faster. |
Year | DOI | Venue |
|---|---|---|
2006 | 10.1145/1134650.1134669 | Proceedings of the 2006 ACM SIGPLAN/SIGBED conference on Language, compilers, and tool support for embedded systems |
Keywords | Field | DocType |
embedded systems,model of computation,computer science,load balance,code generation,concurrency,embedded system | Unreachable code,Isolation (database systems),Programming language,Concurrency,Computer science,Parallel computing,Real-time computing,Code generation,Redundant code,Model of computation,Concurrent object-oriented programming,Dead code | Conference |
Volume | Issue | ISSN |
41 | 7 | 0362-1340 |
ISBN | Citations | PageRank |
1-59593-362-X | 8 | 0.52 |
References | Authors | |
13 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Stephen A. Edwards | 1 | 1443 | 109.65 |
| Olivier Tardieu | 2 | 462 | 32.13 |