Skip to content

Split up tasks in system and pure tasks to ensure more safety in distributed operation

Mart Lubbers requested to merge pureTasks into master

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

Merge request reports