diff options
author | Rickard Green <[email protected]> | 2016-01-27 14:45:32 +0100 |
---|---|---|
committer | Rickard Green <[email protected]> | 2016-02-15 09:55:42 +0100 |
commit | a7f48d4972be0c7984d5cb0e08e73260c0fdbe1b (patch) | |
tree | 7cd5326a18f7d4e2a0651606bd2566dab0b71bfb /bin/.gitignore | |
parent | 7cf9a621c5280a3e97967c4c63ab6ca1adde69c3 (diff) | |
download | otp-a7f48d4972be0c7984d5cb0e08e73260c0fdbe1b.tar.gz otp-a7f48d4972be0c7984d5cb0e08e73260c0fdbe1b.tar.bz2 otp-a7f48d4972be0c7984d5cb0e08e73260c0fdbe1b.zip |
Ensure that work is done on the correct type of schedulers
Only the actual call to the dirty nif is allowed to execute on
dirty schedulers. The dirty nif is not allowed to execute on
normal schedulers if dirty schedulers are available.
Arrival of exit signals and system tasks, while a process was
scheduled for execution on a dirty scheduler, could mess up the
process internal state.
Preparation for dirty system task has been made, but is currently
unused.
Diffstat (limited to 'bin/.gitignore')
0 files changed, 0 insertions, 0 deletions