This is a follow up of #34. Roughly after commit 93333a623a0f1a316e880fc2b3d94d106b77d2cc, we make our scheduler schedule one-thread-at-a-time. However, there're several downside (beside PRO being more deterministic):
It should be a safe assumption a task is deterministic unless it enters syscalls. hence we can allow parallel execution, upon entry of syscalls, which is serialized.
This is a follow up of #34. Roughly after commit 93333a623a0f1a316e880fc2b3d94d106b77d2cc, we make our scheduler schedule one-thread-at-a-time. However, there're several downside (beside PRO being more deterministic):
It should be a safe assumption a task is deterministic unless it enters syscalls. hence we can allow parallel execution, upon entry of syscalls, which is serialized.