source: doc/theses/andrew_beach_MMath/conclusion.tex @ 3a3f396

ADTast-experimentalenumforall-pointer-decayjacob/cs343-translationpthread-emulationqualifiedEnum
Last change on this file since 3a3f396 was 3a3f396, checked in by Peter A. Buhr <pabuhr@…>, 3 years ago

added more to conclusion

  • Property mode set to 100644
File size: 1.2 KB
Line 
1\chapter{Conclusion}
2% Just a little knot to tie the paper together.
3
4In the previous chapters this thesis presents the design and implementation of
5\CFA's EHM.  Both the design and implementation are based off of tools and
6techniques developed for other programming languages but they were adapted to
7better fit \CFA's feature set and add a few features that do not exist in other
8EHMs, like conditional catch, default handlers, implicitly changing resumption
9into termination in the resumption default handler, and cancellation through
10coroutines and threads back to program main.
11
12The resulting features cover all of the major use cases of the most popular
13termination EHMs of today, along with reintroducing resumption exceptions and
14creating some new features that fit with \CFA's larger programming patterns,
15such as virtuals independent of traditional objects.
16
17The implementation has been tested through a set of small but interesting micro-benchmarks
18and compared to other implementations.
19The results, while not cutting edge, are good enough for prototyping, which
20is \CFA's current stage of development.
21
22This initial EHM is a valuable new feature for \CFA in its own right but also serves
23as a tool and motivation for other developments in the language.
Note: See TracBrowser for help on using the repository browser.