| [487198c] | 1 | Synchronous Programming with User-Level Threads in C∀
|
|---|
| 2 |
|
|---|
| 3 | When computations cannot be satisfied immediately, programmers must use
|
|---|
| 4 | one of two paradigms, Synchronous Programming and Asynchronous Programming.
|
|---|
| 5 | This presentation discusses the benefits Synchronous Programming over
|
|---|
| 6 | Asynchronous Programming and what requirements exist to use this paradigm.
|
|---|
| 7 | It also discusses how C∀, a concurrent and backwards-compatible extension
|
|---|
| 8 | of the C programming language, has powerful tools available for simple and
|
|---|
| 9 | efficient Synchronous Programming. These tools include user-level threads
|
|---|
| 10 | and high-level locking mechanisms which simply solve common problems.
|
|---|
| 11 | Finally, the presentation shows different techniques to combine these
|
|---|
| 12 | features with existing code to either uses blocking operations provided by
|
|---|
| 13 | the kernel or is built according to an asynchronous paradigm.
|
|---|
| 14 |
|
|---|
| 15 |
|
|---|
| 16 |
|
|---|
| 17 |
|
|---|
| 18 |
|
|---|
| 19 |
|
|---|
| 20 |
|
|---|
| 21 |
|
|---|
| 22 |
|
|---|
| 23 | C∀ is a polymorphic, non-object-oriented, concurrent, backwards-compatible
|
|---|
| 24 | extension of the C programming language. This paper discusses the design
|
|---|
| 25 | philosophy and implementation of its advanced control-flow and concurrent/parallel
|
|---|
| 26 | features, along with the supporting runtime written in C∀. These features
|
|---|
| 27 | are created from scratch as ISO C has only low-level and/or unimplemented
|
|---|
| 28 | concurrency, so C programmers continue to rely on library features like pthreads.
|
|---|
| 29 | C∀ introduces modern language-level control-flow mechanisms, like generators,
|
|---|
| 30 | coroutines, user-level threading, and monitors for mutual exclusion and
|
|---|
| 31 | synchronization. The runtime provides significant programmer simplification
|
|---|
| 32 | and safety by eliminating spurious wakeup and monitor barging. The runtime
|
|---|
| 33 | also ensures multiple monitors can be safely acquired simultaneously (deadlock free),
|
|---|
| 34 | and this feature is fully integrated with all monitor synchronization mechanisms.
|
|---|
| 35 | All control-flow features integrate with the C∀ polymorphic type-system and
|
|---|
| 36 | exception handling, while respecting the expectations and style of C programmers.
|
|---|
| 37 | Experimental results show comparable performance of the new features with similar
|
|---|
| 38 | mechanisms in other concurrent programming languages.
|
|---|
| 39 | KEYWORDS
|
|---|
| 40 | generator, coroutine, concurrency, parallelism, thread, monitor, runtime, C, C∀ (Cforall)
|
|---|
