Split up tasks in system and pure tasks to ensure more safety in distributed operation
What does this MR do?
Split up tasks in pure and core tasks (see #545 for the rationale)
Related issues
Closes #545 and #546 (closed)
Changes to public APIs
Most importantly, Task a
is now Task t a
where t
is Core
or Pure
.
Once the MR converges into a finished one, this description will be updated (and the CHANGELOG.md
accordingly).
Author's checklist (required)
See CONTRIBUTING.md for the rationale behind these items:
-
The commit history does not contain merges (use git rebase -i master
if it does) -
Intermediate commits compile (use git rebase -i master
if not) -
Newly added code follows the Platform code style -
Newly added code is documented -
If bugs have been solved, tests have been added -
Appropriate types have been used, especially in APIs -
If efficiency is part of the acceptance criteria of the issue, a benchmark is provided -
A changelog entry has been added if required. See CONTRIBUTING.md