Please note: This master’s thesis presentation will be given online.
Andrew
Beach,
Master’s
candidate
David
R.
Cheriton
School
of
Computer
Science
Supervisor: Professor Peter Buhr
The Cforall programming language is an evolutionary refinement of the C programming language, adding modern programming features without changing the programming paradigms of C. One of these modern programming features is more powerful error handling through the addition of an exception handling mechanism (EHM).
This thesis covers the design and implementation of the Cforall EHM, along with a review of the other required Cforall features. The EHM includes common features of termination exception handling and similar support for resumption exception handling. The design of both has been adapted to utilize other tools Cforall provides, as well as fit with the assertion based interfaces of the language.
The EHM has been implemented into the Cforall compiler and run-time environment. Although it has not yet been optimized, performance testing has shown it has comparable performance to other EHM’s, which is sufficient for use in current Cforall programs.
To join this master’s thesis presentation on Zoom, please go to https://uwaterloo.zoom.us/j/99737293369?pwd=UUtrUzJ2WHVNVlp0RnFvUmhpOVpxZz09.