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 /.gitattributes | |
| 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 '.gitattributes')
0 files changed, 0 insertions, 0 deletions