More investigation on this problem yields that enabling CONFIG_RCU_FAST_NO_HZ seems to be at the source of the problem. When the config isn't set the problem can't be observed.
Moreover, the problem can be reproduced on snowball using a stock 3.8-rc4 kernel but it takes much, much more time.
More investigation on this problem yields that enabling CONFIG_ RCU_FAST_ NO_HZ seems to be at the source of the problem. When the config isn't set the problem can't be observed.
Moreover, the problem can be reproduced on snowball using a stock 3.8-rc4 kernel but it takes much, much more time.