AMD K10 シリーズの不具合
Dragonfly BSD の開発者である Matthew Dillon 氏が、AMD K10 シリーズの CPU のバグを見つけたという記事が The Register の DragonFly BSD developer stung by Opteron bug に掲載されています。
非常に簡単に要約すると、あるパターンでスタックへ積んだデータを pop すると、スタック・ポインターが正しくない値となるもので、結果としてプログラムはクラッシュします。x86 系ではスタックにアクセスする命令が多数あるため、スタックを高速に操作するための回路が実装されていることが多いのですが、これが特定条件で悪影響を与えているのだろうと推測します。