python什么时候在一行上有多个停止点的跟踪中停止？

Question

考虑以下两个示例：

x = 1; y = 2; z = 3

和：

for i in range(3): print(i)

在后者中，如果在像pdb这样的调试器中逐步进行调试，则它将print(i)在循环的每次迭代时停止在。

但是，在第一个示例中，它停止了一次。

进一步调查，分解多语句行，我们发现实际上第一行有两个条目co_lnotab。但是dis.dis()谎言。

至于对循环有只是在一个行lnotab，但你停在每个互为作用的地方，偏移10，是在一个跳转的目标。那么，即使行号没有更改，是什么触发了停止操作？

import dis
>>> x = compile('x = 1; y = 2; z = 3', 'foo', 'exec')
>>> x.co_lnotab
b'\x04\x00\x04\x00'
>>> dis.dis(x)
  1           0 LOAD_CONST               0 (1)
              2 STORE_NAME               0 (x)
              4 LOAD_CONST               1 (2)
              6 STORE_NAME               1 (y)
              8 LOAD_CONST               2 (3)
             10 STORE_NAME               2 (z)
             12 LOAD_CONST               3 (4)
             14 STORE_NAME               3 (a)
             16 LOAD_CONST               4 (None)
             18 RETURN_VALUE
>>> y = compile('for i in range(3): print(i)', 'foo', 'exec')
>>> y.co_lnotab
b'\x0e\x00'
>>> dis.dis(y)
  1           0 SETUP_LOOP              24 (to 26)
              2 LOAD_NAME                0 (range)
              4 LOAD_CONST               0 (3)
              6 CALL_FUNCTION            1
              8 GET_ITER
        >>   10 FOR_ITER                12 (to 24)
             12 STORE_NAME               1 (i)
             14 LOAD_NAME                2 (print)
             16 LOAD_NAME                1 (i)
             18 CALL_FUNCTION            1
             20 POP_TOP
             22 JUMP_ABSOLUTE           10
        >>   24 POP_BLOCK
        >>   26 LOAD_CONST               1 (None)
             28 RETURN_VALUE
>>>

该逻辑的源代码在哪里？我已经查看了Python C代码，但找不到了，例如在ceval.c寻找中PyTrace_LINE。

编辑：

根据user2357112的回答并阅读那里建议的代码，我能够验证是否可以停止/跟踪代码的每个语句。我使用了新的Python汇编器pyc-xasm来将字节码修改为：

  2:
            LOAD_CONST           (1)
            STORE_NAME           (x)
            JUMP_FORWARD         L2B

L2A:
  2:
            LOAD_CONST           (2)
            STORE_NAME           (y)
            JUMP_FORWARD         L2D
L2B:
            JUMP_ABSOLUTE        L2A

L2C:
  2:
            LOAD_CONST           (3)
            STORE_NAME           (z)
            JUMP_FORWARD         L3
L2D:
            JUMP_ABSOLUTE        L2C

L3:
  3:
            LOAD_NAME            (x)
            LOAD_NAME            (y)
            BINARY_ADD
            LOAD_NAME            (z)
            BINARY_ADD
            PRINT_ITEM
            PRINT_NEWLINE
            LOAD_CONST           (None)
            RETURN_VALUE

运行此命令将导致Python在每一行之前停止。

Answer 1

PDB跟踪使用通过设置的跟踪功能sys.settrace。有许多事件将触发跟踪功能，但是您要查看的都是线路事件：

'line'
解释器将要执行新的代码行或重新执行循环条件。本地跟踪函数被调用；arg是None; 返回值指定新的本地跟踪函数。有关Objects/lnotab_notes.txt的详细说明，请参见。

如文档所述，您可以在中看到有关行事件触发器的更详细的说明Objects/lnotab_notes.txt。最相关的部分是

我们仅通过在co_lnotab指示我们已跳转到行的开头（即，如果当前指令偏移量与co_lnotab为行的开头给出的偏移量匹配）时才调用行跟踪函数进行向前跳转来解决此问题。但是，对于向后跳转，我们总是调用行跟踪函数，该函数可使调试器在每次对循环保护的评估时停止（通常不会成为行中的第一个操作码）。

因此，PDB将在行的开头暂停，或者如果执行在代码中向后跳转，则PDB将暂停。

如果您想查看触发线路事件的源代码，则位于Python/ceval.c下maybe_call_line_trace。可以预见，PDB的源代码在下Lib/pdb.py。