On Sun, 2013-12-22 at 09:57 +0100, Mike Galbraith wrote: 
> I'll let the box give
> RCU something to do for a couple days.  No news is good news.

Ho ho hum, merry christmas, gift attached.

I'll beat on virgin -rt7, see if it survives, then re-apply RCU patch
and retest.  This kernel had nohz_full enabled, along with Sebastian's
pending -rt fix for same, so RCU patch was not only not running solo,
box was running a known somewhat buggy config as well.  Box was doing
endless tbench 64 when it started stalling fwiw.

-Mike