2012-03-14 後日談: そもそも本件 Java HotSpot のバグであり、MySQL のバグではない可能性が出てきました。 後日談: そもそも本件 Java HotSpot のバグであり、MySQL のバグではない可能性が出てきました。