ADT
ast-experimental
enum
forall-pointer-decay
jacob/cs343-translation
pthread-emulation
qualifiedEnum
|
Last change
on this file since 9f5a19fa was 3a3f396, checked in by Peter A. Buhr <pabuhr@…>, 4 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.
