p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

Async OnException #397

Open akashlal opened 5 years ago

akashlal commented 5 years ago

Currently the OnException callback isn't async. It cannot be because it is called in a when clause, as the thrown exception is being propagated up the call stack. An alternative solution is to have another (async) callback that is invoked when the user decide to handle the exception. This is prototyped on the branch AsyncOnException (needs more tests).

akashlal commented 5 years ago

Alternative is to use throw instead of "throw ex". Page 1 and Page 2