コグノスケ

動かぬ自作エミュレータ

目次: Linux

自作ARMエミュレータ、Linux起動してinitramfs上の /initをexecveするところで必ず失敗するので調べてたら、
do_execve_common() → load_elf_binary() → padzero() → clear_user() → access_ok() → __range_ok()
ときて失敗し、結果的にEFAULTが返っていました。

range_okは常に失敗するわけでもないのが不思議で、さらに調べたらsbc, rsc命令のキャリーフラグ（Cフラグ）のエミュレーションが間違っていて、本来は成功なのに失敗を返す場合があることがわかりました。

ARMの仕様

a - b - cでボローが発生したらキャリーフラグを0

ミスった実装

a - bと(a + b) - c双方でボローが発生したらキャリーフラグを0

修正した実装

a - bか(a - b) - cのどちらかでボローが発生したらキャリーフラグを0

いきさつ

• ボロー判定の関数は2項しか取れないから3項は渡せないけど、2回に分けて処理すれば3項でも判定できる！
  → a - bまたはb - cではなく、a - b「かつ」b - cと実装する過ちが発生
• 引き算は足し算とほぼ処理が同じ！
  → a - bではなく、a + bと実装する過ちが発生

うーん、パッと見ではわからん…。けど、これで2日間も悩んでいた俺って一体…。

メモ: 技術系？の話はFacebookから転記しておくことにした。