This repository was archived by the owner on Feb 13, 2025. It is now read-only.
This repository was archived by the owner on Feb 13, 2025. It is now read-only.
Unify and fix tasklet.kill(), tasklet.throw() and tasklet.raise_exception() #93
Description
Originally reported by: Anselm Kruis (Bitbucket: akruis, GitHub: akruis)
The implementations of all three methods differ in their error handling. And they contain bugs in corner cases, especially if a tasklet has no thread state (various assertion violations).
I created a unified implementation of all three methods.