Linux scheduler bug got you down?
The desktop users are not affected by the bug.
In certain circumstances, the algorithm used by the scheduler to balance the load across cores flops.
It looks like the patches suggested by the researchers have not yet been submitted to the Linux kernel maintainers.
source: www.techworm.net
