You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Feb 13, 2025. It is now read-only.
Originally reported by: Anselm Kruis (Bitbucket: akruis, GitHub: akruis)
The current implementation of the schedule callback between the schedule decision and the actual switch is not clean and can cause problems. See issue #42 for details.
Original comment byAnselm Kruis (Bitbucket: akruis, GitHub: akruis):
In c5cac8a05d68 I documented the current limitations of the schedule callback.
Albeit the current implementation of the callback is not optimal and issue #42 proposes a good alternative, it is sufficient for its main purpose: to monitor tasklet scheduling. After we fixed #42 we got a good debugger support (Pydev).
Because our resources are limited and there is no pressing need, I close this issue.
Originally reported by: Anselm Kruis (Bitbucket: akruis, GitHub: akruis)
The current implementation of the schedule callback between the schedule decision and the actual switch is not clean and can cause problems. See issue #42 for details.
The text was updated successfully, but these errors were encountered: