diff options
author | BarryBo <barrybo@microsoft.com> | 2016-08-12 17:03:01 -0700 |
---|---|---|
committer | BarryBo <barrybo@microsoft.com> | 2016-08-12 17:03:01 -0700 |
commit | 032e256aa5fd566b14c231bc5d794eaaec9c1dae (patch) | |
tree | d4053ed98fb53fa54bb1f105b4833ef2bb6e76a2 /Source/Core/Makefile | |
parent | 2edc4a4e70b9dcf6fc91ddcc07fd500b705de5d2 (diff) |
Fix deadlock in the new thread scheduler
Fix deadlock where a Boogie task schedules a task and waits on it. The
.NET threadpool creates more threads than cores, up to a limit, which
hides the issue. The new policy did not account for recursion and
caused the newly-created tasks to wait forever for the earlier ones to
complete.
Diffstat (limited to 'Source/Core/Makefile')
0 files changed, 0 insertions, 0 deletions