dc.contributor.author | Delisle, Thierry | |
dc.date.accessioned | 2018-01-18 19:44:53 (GMT) | |
dc.date.available | 2018-01-18 19:44:53 (GMT) | |
dc.date.issued | 2018-01-18 | |
dc.date.submitted | 2017-12-19 | |
dc.identifier.uri | http://hdl.handle.net/10012/12888 | |
dc.description.abstract | C∀ is a modern, non-object-oriented extension of the C programming language. This thesis
serves as a definition and an implementation for the concurrency and parallelism C∀ offers. These
features are created from scratch due to the lack of concurrency in ISO C. Lightweight threads
are introduced into the language. In addition, monitors are introduced as a high-level tool for
control-flow based synchronization and mutual-exclusion. The main contributions of this thesis
are two-fold: it extends the existing semantics of monitors introduce by [37] to handle monitors in
groups and also details the engineering effort needed to introduce these features as core language
features. Indeed, these features are added with respect to expectations of C programmers, and
integrate with the C∀ type-system and other language features. | en |
dc.language.iso | en | en |
dc.publisher | University of Waterloo | en |
dc.subject | programming language | en |
dc.subject | concurrency and parallelism | en |
dc.subject | threading | en |
dc.subject | C∀ | en |
dc.title | Concurrency in C∀ | en |
dc.type | Master Thesis | en |
dc.pending | false | |
uws-etd.degree.department | David R. Cheriton School of Computer Science | en |
uws-etd.degree.discipline | Computer Science | en |
uws-etd.degree.grantor | University of Waterloo | en |
uws-etd.degree | Master of Mathematics | en |
uws.contributor.advisor | Buhr, Peter | |
uws.contributor.affiliation1 | Faculty of Mathematics | en |
uws.published.city | Waterloo | en |
uws.published.country | Canada | en |
uws.published.province | Ontario | en |
uws.typeOfResource | Text | en |
uws.peerReviewStatus | Unreviewed | en |
uws.scholarLevel | Graduate | en |