dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 11:08:25 +00:00
Code Issues Releases Wiki Activity

Update related work

Browse Source
This commit is contained in:
Daniel Hillerström
2021-02-24 22:12:50 +00:00
parent 485d02f101
commit bd3e2c8b9f
1 changed files with 7 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
thesis.tex
View File

@@ -8206,14 +8206,13 @@ using effect handlers in the Frank programming
language. \citet{Poulson20} expanded upon this work by investigating language. \citet{Poulson20} expanded upon this work by investigating
ways to handle preemptive concurrency. ways to handle preemptive concurrency.
\citet{FowlerLMD19} used effect handlers in the setting of \citet{FowlerLMD19} uses effect handlers in the setting of linearly
fault-tolerant distributed programming. They codified a distributed typed fault-tolerant distributed programming. They use effect handlers
exception handling mechanism using a single exception-operation and a to codify an exception handling mechanism, which automatically
corresponding effect handler, which automatically closes open consumes linear resources. Exceptions are implemented as operations,
resources upon handling the exception-operation by \emph{aborting} the that are handled by \emph{cancelling} their resumptions. Cancellation
resumption of the operation, which would cause resource finalisers to is a runtime primitive that gathers and closes active resources in the
run. computation represented by some resumption.
\dhil{Raising exceptions in a linear setting is not well-defined}
\citet{DolanEHMSW17} and \citet{Leijen17a} gave two widely different \citet{DolanEHMSW17} and \citet{Leijen17a} gave two widely different
implementations of the async/await idiom using effect implementations of the async/await idiom using effect