source: doc/theses/andrew_beach_MMath/conclusion.tex @ c2a9d88

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
Last change on this file since c2a9d88 was c2a9d88, checked in by Andrew Beach <ajbeach@…>, 3 years ago

Andrew MMath: Folded in Peter's changes to conclusion.

  • Property mode set to 100644
File size: 1.3 KB
RevLine 
[d89d150]1\chapter{Conclusion}
[c2a9d88]2\label{c:conclusion}
[d89d150]3% Just a little knot to tie the paper together.
4
[7372065]5In the previous chapters this thesis presents the design and implementation
6of \CFA's exception handling mechanism (EHM).
[c2a9d88]7Both the design and implementation are based off of tools and
8techniques developed for other programming languages but they were adapted to
9better fit \CFA's feature set and add a few features that do not exist in
10other EHMs;
11including conditional matching, default handlers for unhandled exceptions
12and cancellation though coroutines and threads back to the program main stack.
[d89d150]13
14The resulting features cover all of the major use cases of the most popular
15termination EHMs of today, along with reintroducing resumption exceptions and
[c2a9d88]16creating some new features that fit with \CFA's larger programming patterns,
17such as virtuals independent of traditional objects.
[d89d150]18
[c2a9d88]19The \CFA project's test suite has been expanded to test the EHM.
20The implementation's performance has also been
21compared to other implementations with a small set of targeted
22micro-benchmarks.
[d89d150]23The results, while not cutting edge, are good enough for prototyping, which
[c2a9d88]24is \CFA's current stage of development.
[d89d150]25
[c2a9d88]26This initial EHM will bring valuable new features to \CFA in its own right
27but also serves as a tool and motivation for other developments in the
28language.
Note: See TracBrowser for help on using the repository browser.