x86版DRACULAのバグ修復と予備評価

摘要

DRACULAはシグナルによるデータ競合の検出を可能としたが，実装はSPARCSolarisのみで，特定のCPUとOSに依存していた．そこで，DRACULAをx86 Linuxでデバッグレジスタを用いて実装し，このツルをx86プラットフォームでも使用できるようにした．しかし，Bash-3．0を対象に検査を行った際に，一部シグナルで実装上の問題から検査が正しく最後まで行えず，結果が得られなかった．よって，本論文では再びDRACUをx86上で実装しなおし，オリジナルのDRACULAと同様にバグを検出し，また新たにバグを発見することに成功た．これにより，DRACULAアルゴリズムがx86でも実現可能であることを示した．