デバッガーで .NET 言語ステップを正しく実行するには質問する

注記：デバッガーがメソッド全体を単純に強調表示しないようにするために、メソッドのエントリ ポイントを 1 列の幅にします。

ご覧のとおり、各式は行に正しくマッピングされます。

次に、ステップ実行に関する問題を示します (VS2010 でテストしましたが、VS2008 でも同じ/類似の問題が発生します)。

これらはIgnoreSymbolStoreSequencePoints適用されません。

1. null 引数で baz を呼び出すと、正常に動作します。(null? x) の後に x が続きます。
2. Cons 引数を使用して baz を呼び出すと、正常に動作します。(null? x)、次に (pair? x)、次に (car x)。
3. 他の引数で baz を呼び出すと失敗します。(null? x)、次に (pair? x)、次に (car x)、次に (assertion-violation ...)。

適用する場合IgnoreSymbolStoreSequencePoints（推奨）：

1. null 引数で baz を呼び出すと、正常に動作します。(null? x) の後に x が続きます。
2. Cons 引数で baz を呼び出すと失敗します。(null? x) の次に (pair? x)。
3. 他の引数で baz を呼び出すと失敗します。(null? x)、次に (pair? x)、次に (car x)、次に (assertion-violation ...)。

また、このモードでは、一部の行 (ここには表示されていません) が誤って強調表示され、1 行ずれていることがわかります。

原因として考えられるものをいくつか挙げます。

• 末尾呼び出しはデバッガーを混乱させる
• 重複した場所（ここでは示されていない）はデバッガーを混乱させます（ブレークポイントを設定するときに非常によく起こります）
• ????

2 番目ですが、これも深刻な問題は、デバッガーがブレークポイントをブレーク/ヒットできない場合があることです。

デバッガーを正しく (そして一貫して) 中断できる唯一の場所は、メソッドのエントリ ポイントです。

IgnoreSymbolStoreSequencePoints適用しないと状況は少し良くなります。

結論

VS デバッガーにバグがあるだけかもしれません :(

参考文献:

1. CLR/.NET 言語をデバッグ可能にする

アップデート1:

Mdbg は 64 ビット アセンブリでは動作しません。そのため、これは不可能です。テストできる 32 ビット マシンがもうありません。アップデート：これは大きな問題ではないと思いますが、修正方法を知っている人はいますか?編集：はい、私は愚かです。x64 コマンド プロンプトで mdbg を起動するだけです :)

アップデート2:

C# アプリを作成し、行情報を分析してみました。

私の発見:

• 命令の後にはbrXXXシーケンス ポイントが必要です (有効でない場合、つまり '#line hidden' の場合は を出力しますnop)。
• あらゆるbrXXX命令の前に、「#line hidden」と を出力しますnop。

ただし、これを適用しても問題は解決されません (単独では?)。

しかし、以下を追加すると、望ましい結果が得られます :)

• の後にret、「#line hidden」と を出力しますnop。

これは、が適用されていないモードを使用していますIgnoreSymbolStoreSequencePoints。適用すると、いくつかの手順はまだスキップされます:(

上記を適用した場合の IL 出力は次のとおりです。

  .method public static object  '::baz'(object x) cil managed
  {
    // Code size       63 (0x3f)
    .maxstack  6
    .line 15,15 : 1,2 ''
    IL_0000:  nop
    .line 17,17 : 6,15 ''
    IL_0001:  ldarg.0
    .line 16707566,16707566 : 0,0 ''
    IL_0002:  nop
    IL_0003:  brtrue     IL_000c

    .line 16707566,16707566 : 0,0 ''
    IL_0008:  nop
    .line 18,18 : 7,8 ''
    IL_0009:  ldarg.0
    IL_000a:  ret

    .line 16707566,16707566 : 0,0 ''
    IL_000b:  nop
    .line 19,19 : 6,15 ''
    .line 19,19 : 6,15 ''
    IL_000c:  ldarg.0
    IL_000d:  isinst     [IronScheme]IronScheme.Runtime.Cons
    IL_0012:  ldnull
    IL_0013:  cgt.un
    .line 16707566,16707566 : 0,0 ''
    IL_0015:  nop
    IL_0016:  brfalse    IL_0026

    .line 16707566,16707566 : 0,0 ''
    IL_001b:  nop
    IL_001c:  ldarg.0
    .line 20,20 : 7,14 ''
    IL_001d:  tail.
    IL_001f:  call object [IronScheme]IronScheme.Runtime.Builtins::Car(object)
    IL_0024:  ret

    .line 16707566,16707566 : 0,0 ''
    IL_0025:  nop
    IL_0026:  ldsfld object 
      [Microsoft.Scripting]Microsoft.Scripting.RuntimeHelpers::False
    IL_002b:  ldstr      "nooo"
    IL_0030:  ldarg.0
    IL_0031:  call object [IronScheme]IronScheme.Runtime.Builtins::List(object)
    .line 22,22 : 7,40 ''
    IL_0036:  tail.
    IL_0038:  call object [ironscheme.boot]#::
      'ironscheme.exceptions::assertion-violation+'(object,object,object)
    IL_003d:  ret

    .line 16707566,16707566 : 0,0 ''
    IL_003e:  nop
  } // end of method 'eval-core(033)'::'::baz'