UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

High Level Concurrency in C∀

Thumbnail Image

Files

Parsons_Colby.pdf (979.44 KB)

Date

2023-09-25

Authors

Parsons, Colby

Journal Title

Journal ISSN

Volume Title

Publisher

University of Waterloo

Abstract

Concurrent programs are notoriously hard to write and even harder to debug. Furthermore concurrent programs must be performant, as the introduction of concurrency into a program is often done to achieve some form of speedup. This thesis presents a suite of high-level concurrent-language features in the new programming language C∀, all of which are implemented with the aim of improving the performance, productivity, and safety of concurrent programs. C∀ is a non-object-oriented programming language that extends C. The foundation for concurrency in C∀ was laid by Thierry Delisle [15], who implemented coroutines, user-level threads, and monitors. This thesis builds upon that work and introduces a suite of new concurrent features as its main contribution. The features include a mutex statement (similar to a C++ scoped lock or Java synchronized statement), Go-like channels and select statement, and an actor system. The root ideas behind these features are not new, but the C∀ implementations extends the original ideas in performance, productivity, and safety.

Description

Keywords

concurrency, programming languages, channel, actor system, parallelism, locking, synchronization, threading, select, channels

LC Keywords

Citation

URI

http://hdl.handle.net/10012/19932

Collections

Theses
Computer Science