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 | |
---|
4 | In 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 |
---|
6 | techniques developed for other programming languages but they were adapted to |
---|
7 | better fit \CFA's feature set and add a few features that do not exist in other |
---|
8 | EHMs, like conditional catch, default handlers, implicitly changing resumption |
---|
9 | into termination in the resumption default handler, and cancellation through |
---|
10 | coroutines and threads back to program main. |
---|
11 | |
---|
12 | The resulting features cover all of the major use cases of the most popular |
---|
13 | termination EHMs of today, along with reintroducing resumption exceptions and |
---|
14 | creating some new features that fit with \CFA's larger programming patterns, |
---|
15 | such as virtuals independent of traditional objects. |
---|
16 | |
---|
17 | The implementation has been tested through a set of small but interesting micro-benchmarks |
---|
18 | and compared to other implementations. |
---|
19 | The results, while not cutting edge, are good enough for prototyping, which |
---|
20 | is \CFA's current stage of development. |
---|
21 | |
---|
22 | This initial EHM is a valuable new feature for \CFA in its own right but also serves |
---|
23 | as a tool and motivation for other developments in the language. |
---|
Note: See
TracBrowser
for help on using the repository browser.