Changeset 25d4e15 for doc/theses


Ignore:
Timestamp:
Sep 1, 2021, 10:59:00 AM (3 years ago)
Author:
Andrew Beach <ajbeach@…>
Branches:
ADT, ast-experimental, enum, forall-pointer-decay, jacob/cs343-translation, master, pthread-emulation, qualifiedEnum
Children:
34fcc13
Parents:
cd03b76d
Message:

Andrew MMath: That's the rest of the \todo items and everything needed for the initial submission.

Location:
doc/theses/andrew_beach_MMath
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • doc/theses/andrew_beach_MMath/implement.tex

    rcd03b76d r25d4e15  
    673673\newsavebox{\stackBox}
    674674\begin{lrbox}{\codeBox}
    675 \begin{lstlisting}[language=CFA,{moredelim=**[is][\color{red}]{@}{@}}]
     675\begin{cfa}
    676676unsigned num_exceptions = 0;
    677677void throws() {
     
    692692    throws();
    693693}
    694 \end{lstlisting}
     694\end{cfa}
    695695\end{lrbox}
    696696
    697697\begin{lrbox}{\stackBox}
    698698\begin{lstlisting}
    699 | try-finally
    700 | try-catch (Example)
     699| finally block (Example)
     700| try block
    701701throws()
    702 | try-finally
    703 | try-catch (Example)
     702| finally block (Example)
     703| try block
    704704throws()
    705 | try-finally
    706 | try-catch (Example)
     705| finally block (Example)
     706| try block
    707707throws()
    708708main()
     
    960960\caption{Resumption Marking}
    961961\label{f:ResumptionMarking}
    962 \todo*{Label Resumption Marking to aid clarity.}
    963962\end{figure}
    964963
  • doc/theses/andrew_beach_MMath/performance.tex

    rcd03b76d r25d4e15  
    350350finally clauses seem to avoid the spike that run-time destructors have.
    351351Possibly some optimization removes the cost of changing contexts.
    352 \todo{OK, I think the finally clause may have been optimized out.}
    353352
    354353\item[Other Traversal]
     
    361360but they could avoid the spike by not having the same kind of overhead for
    362361switching to the check's context.
    363 \todo{Could revisit Other Traversal, after Finally Traversal.}
    364362
    365363\item[Cross Handler]
  • doc/theses/andrew_beach_MMath/resumption-marking.fig

    rcd03b76d r25d4e15  
    32322 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    3333        1 1 1.00 60.00 120.00
    34          2205 1620 1845 1620
    35 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    36         1 1 1.00 60.00 120.00
    37          3735 2340 3375 2340
    38 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    39         1 1 1.00 60.00 120.00
    40          5445 945 5085 945
    41 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    42         1 1 1.00 60.00 120.00
    43          7065 1620 6705 1620
    44 2 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
    45         1 1 1.00 60.00 120.00
    4634         1665 1755 1665 2205
    47352 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     
    6048        1 1 1.00 60.00 120.00
    6149         6525 2475 6525 2925
    62 4 1 0 50 -1 0 12 0.0000 0 135 945 1665 3375 Initial State\001
    63 4 1 0 50 -1 0 12 0.0000 0 135 1215 3195 3375 Found Handler\001
    64 4 1 0 50 -1 0 12 0.0000 0 180 1605 6570 3375 Handling Complete\001
    65 4 0 0 50 -1 0 12 0.0000 0 135 390 3825 2385 head\001
    66 4 0 0 50 -1 0 12 0.0000 0 135 390 5535 990 head\001
    67 4 0 0 50 -1 0 12 0.0000 0 135 390 7155 1665 head\001
    68 4 2 0 50 -1 0 12 0.0000 0 135 690 1485 2385 handlers\001
    69 4 1 0 50 -1 0 12 0.0000 0 135 855 4905 3375 Handler in\001
    70 4 1 0 50 -1 0 12 0.0000 0 180 795 4905 3600 Try block\001
    71 4 0 0 50 -1 0 12 0.0000 0 135 390 2295 1665 head\001
     502 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     51        1 1 1.00 60.00 120.00
     52         1260 1620 1485 1620
     532 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     54        1 1 1.00 60.00 120.00
     55         1980 1440 1755 1440
     562 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     57        1 1 1.00 60.00 120.00
     58         2790 2340 3015 2340
     592 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     60        1 1 1.00 60.00 120.00
     61         3600 1620 3375 1620
     622 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     63        1 1 1.00 60.00 120.00
     64         4500 945 4725 945
     652 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     66        1 1 1.00 60.00 120.00
     67         5265 765 5040 765
     682 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     69        1 1 1.00 60.00 120.00
     70         6120 1620 6345 1620
     712 1 0 1 0 7 50 -1 -1 0.000 0 0 -1 1 0 2
     72        1 1 1.00 60.00 120.00
     73         6840 1440 6615 1440
     744 1 0 50 -1 0 12 0.0000 0 135 1170 1665 3375 Initial State\001
     754 1 0 50 -1 0 12 0.0000 0 135 1170 3195 3375 Found Handler\001
     764 1 0 50 -1 0 12 0.0000 0 165 1530 6570 3375 Handling Complete\001
     774 2 0 50 -1 0 12 0.0000 0 135 720 1485 2385 handlers\001
     784 1 0 50 -1 0 12 0.0000 0 135 900 4905 3375 Handler in\001
     794 1 0 50 -1 0 12 0.0000 0 165 810 4905 3600 Try block\001
     804 0 0 50 -1 0 12 0.0000 0 135 360 855 1665 head\001
     814 0 0 50 -1 0 12 0.0000 4 120 810 2025 1485 execution\001
     824 0 0 50 -1 0 12 0.0000 0 135 360 2385 2385 head\001
     834 0 0 50 -1 0 12 0.0000 4 120 810 3645 1665 execution\001
     844 0 0 50 -1 0 12 0.0000 0 135 360 4095 990 head\001
     854 0 0 50 -1 0 12 0.0000 4 120 810 5310 810 execution\001
     864 0 0 50 -1 0 12 0.0000 0 135 360 5715 1665 head\001
     874 0 0 50 -1 0 12 0.0000 4 120 810 6885 1485 execution\001
Note: See TracChangeset for help on using the changeset viewer.