Changeset 029cbc0 for doc

Timestamp:

Jun 16, 2021, 2:30:32 PM (4 years ago)

Author:

Andrew Beach <ajbeach@…>

Branches:

ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, new-ast-unique-expr, pthread-emulation, qualifiedEnum

Children:

5a4f1a8

Parents:

edebbf7

Message:

Andrew MMath: Performance feedback is a bit stranger as the content is still unknown. (5/6 files done.)

File:

• doc/theses/andrew_beach_MMath/performance.tex (modified) (6 diffs)

doc/theses/andrew_beach_MMath/performance.tex

@@ -4 +4 @@
 \textbf{Just because of the stage of testing there are design notes for
 the tests as well as commentary on them.}
+\todo{Revisit organization of the performance chapter once tests are chosen.}
+% What are good tests for resumption?
 
 Performance has been of secondary importance for most of this project.
-The driving for has been to get the features working, the only performance
-requirements were to make sure the tests for correctness rain in a reasonable
+Instead, the focus has been to get the features working. The only performance
+requirements is to ensure the tests for correctness run in a reasonable
 amount of time.
-Still this is an implementation others could use for similar prototypes and
-so the results still have some use.
 
+%\section{Termination Comparison}
 \section{Test Set-Up}
 Tests will be run on \CFA, C++ and Java.
@@ -17 +18 @@
 C++ is the most comparable language because both it and \CFA use the same
 framework, libunwind.
-In fact the comparison is almost entirely a quality of implementation
+In fact, the comparison is almost entirely a quality of implementation
 comparison. \CFA's EHM has had significantly less time to be optimized and
 does not generate its own assembly. It does have a slight advantage in that
 there are some features it does not handle.
 
-% Some languages I left out:
-% Python: Its a scripting language, different
-% uC++: Not well known and should the same results as C++, except for
-%   resumption which should be the same.
-\todo{Can we find a good language to compare resumptions in.}
+Java is another very popular language with similar termination semantics.
+It is implemented in a very different environment, a virtual machine with
+garbage collection.
+It also implements the finally clause on try blocks allowing for a direct
+feature-to-feature comparison.
 
-All tests will be run inside a main loop which will perform the test
-repeatedly. This is to avoid letting and start-up or tear-down time from
+All tests are run inside a main loop which will perform the test
+repeatedly. This is to avoids start-up or tear-down time from
 affecting the timing results.
-This also means that tests cannot terminate the program, which does limit
-how tests can be implemented. There are catch-alls to keep unhandled
-exceptions from terminating the program.
+A consequence of this is that tests cannot terminate the program,
+which does limit how tests can be implemented.
+There are catch-alls to keep unhandled
+exceptions from terminating tests.
 
-The exceptions used in this test will always be a new exception based off of
-the base exception. This should minimize and preformance differences based
+The exceptions used in these tests will always be a exception based off of
+the base exception. This requirement minimizes performance differences based
 on the object model.
-Catch-alls will be done by catching the root exception type (not using \Cpp's
+Catch-alls are done by catching the root exception type (not using \Cpp's
 \code{C++}{catch(...)}).
 
@@ -45 +47 @@
 
 \section{Tests}
+The following tests were selected to test the performance of different
+components of the exception system.
+The should provide a guide as to where the EHM's costs can be found.
+
 \paragraph{Raise/Handle}
 What is the basic cost to raise and handle an exception?
 
-There are a number of factors that can effect this, for \CFA this includes
-the type of raise,
+There are a number of factors that can effect this.
+For \CFA this includes the type of raise,
 
 Main loop, pass through a catch-all, call through some empty helper functions
@@ -67 +73 @@
 is thrown?
 
-This is the simplist pattern to test as it is a simple matter of entering
+This test is a simple pattern of entering
 and leaving a try statement.
 
@@ -74 +80 @@
 
 \paragraph{Re-throw and Conditional-Catch}
-How expencive it is to run a non-exception type check for a handler?
+How expensive it is to run a non-exception type check for a handler?
 
 In this case different languages approach this problem differently, either
@@ -100 +106 @@
 %(I haven't actually figured out how to compare this, probably using something
 %related to -fexceptions.)
+
+% Some languages I left out:
+% Python: Its a scripting language, different
+% uC++: Not well known and should the same results as C++, except for
+%   resumption which should be the same.
+
+%\section{Resumption Comparison}
+\todo{Can we find a good language to compare resumptions in.}