Master’s Thesis Presentation • Programming Languages • High Level Concurrency in C∀Export this event to calendar

Friday, September 8, 2023 — 2:00 PM to 3:00 PM EDT

Please note: This master’s thesis presentation will take place in DC 3317.

Colby Parsons, Master’s candidate
David R. Cheriton School of Computer Science

Supervisor: Professor Peter Buhr

Concurrent programs are notoriously hard to program 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, 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.

Location 
DC - William G. Davis Computer Research Centre
DC 3317
200 University Avenue West

Waterloo, ON N2L 3G1
Canada
Event tags 

S M T W T F S
28
29
30
31
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
1
2
  1. 2024 (52)
    1. April (2)
    2. March (1)
    3. February (24)
    4. January (25)
  2. 2023 (296)
    1. December (20)
    2. November (28)
    3. October (15)
    4. September (25)
    5. August (30)
    6. July (30)
    7. June (22)
    8. May (23)
    9. April (32)
    10. March (31)
    11. February (18)
    12. January (22)
  3. 2022 (245)
  4. 2021 (210)
  5. 2020 (217)
  6. 2019 (255)
  7. 2018 (217)
  8. 2017 (36)
  9. 2016 (21)
  10. 2015 (36)
  11. 2014 (33)
  12. 2013 (23)
  13. 2012 (4)
  14. 2011 (1)
  15. 2010 (1)
  16. 2009 (1)
  17. 2008 (1)