--- Comment #9 from Mark Millard <> ---
(In reply to Mark Millard from comment #8)

I should also have said:

The Windows 10 Task Manager Performance
tab display of CPU usage on threads/cores
suggested a possible live-lock instead
of a dead-lock: 7 of 8 "processors"
(in virtualbox terms) fairly busy but
not any 8th one being noticeably busy.

(Windows 10 Pro was not otherwise busy
in any sustained way.)

But technically I can not prove which of:

lack of overall progress
very slow overall progress

off my evidence.

You are receiving this mail because:
You are the assignee for the bug.
_______________________________________________ mailing list
To unsubscribe, send any mail to ""

Reply via email to