bpo-17799: Explain real behaviour of sys.settrace and sys.setprofile (GH-4056). (#5299)
(cherry picked from commit 131fd7f96c619bc7eaea956e45c6337175f4b27f)
diff --git a/Doc/c-api/init.rst b/Doc/c-api/init.rst
index 7643a37..eade412 100644
--- a/Doc/c-api/init.rst
+++ b/Doc/c-api/init.rst
@@ -1057,15 +1057,19 @@
function as its first parameter, and may be any Python object, or *NULL*. If
the profile function needs to maintain state, using a different value for *obj*
for each thread provides a convenient and thread-safe place to store it. The
- profile function is called for all monitored events except the line-number
- events.
+ profile function is called for all monitored events except :const:`PyTrace_LINE`
+ and :const:`PyTrace_EXCEPTION`.
.. c:function:: void PyEval_SetTrace(Py_tracefunc func, PyObject *obj)
Set the tracing function to *func*. This is similar to
:c:func:`PyEval_SetProfile`, except the tracing function does receive line-number
- events.
+ events and does not receive any event related to C function objects being called. Any
+ trace function registered using :c:func:`PyEval_SetTrace` will not receive
+ :const:`PyTrace_C_CALL`, :const:`PyTrace_C_EXCEPTION` or :const:`PyTrace_C_RETURN`
+ as a value for the *what* parameter.
+
.. c:function:: PyObject* PyEval_GetCallStats(PyObject *self)
diff --git a/Doc/library/sys.rst b/Doc/library/sys.rst
index 31e644e..5a7647b 100644
--- a/Doc/library/sys.rst
+++ b/Doc/library/sys.rst
@@ -857,13 +857,38 @@
Set the system's profile function, which allows you to implement a Python source
code profiler in Python. See chapter :ref:`profile` for more information on the
Python profiler. The system's profile function is called similarly to the
- system's trace function (see :func:`settrace`), but it isn't called for each
- executed line of code (only on call and return, but the return event is reported
- even when an exception has been set). The function is thread-specific, but
- there is no way for the profiler to know about context switches between threads,
- so it does not make sense to use this in the presence of multiple threads. Also,
+ system's trace function (see :func:`settrace`), but it is called with different events,
+ for example it isn't called for each executed line of code (only on call and return,
+ but the return event is reported even when an exception has been set). The function is
+ thread-specific, but there is no way for the profiler to know about context switches between
+ threads, so it does not make sense to use this in the presence of multiple threads. Also,
its return value is not used, so it can simply return ``None``.
+ Profile functions should have three arguments: *frame*, *event*, and
+ *arg*. *frame* is the current stack frame. *event* is a string: ``'call'``,
+ ``'return'``, ``'c_call'``, ``'c_return'``, or ``'c_exception'``. *arg* depends
+ on the event type.
+
+ The events have the following meaning:
+
+ ``'call'``
+ A function is called (or some other code block entered). The
+ profile function is called; *arg* is ``None``.
+
+ ``'return'``
+ A function (or other code block) is about to return. The profile
+ function is called; *arg* is the value that will be returned, or ``None``
+ if the event is caused by an exception being raised.
+
+ ``'c_call'``
+ A C function is about to be called. This may be an extension function or
+ a built-in. *arg* is the C function object.
+
+ ``'c_return'``
+ A C function has returned. *arg* is the C function object.
+
+ ``'c_exception'``
+ A C function has raised an exception. *arg* is the C function object.
.. function:: setrecursionlimit(limit)
@@ -890,8 +915,8 @@
Trace functions should have three arguments: *frame*, *event*, and
*arg*. *frame* is the current stack frame. *event* is a string: ``'call'``,
- ``'line'``, ``'return'``, ``'exception'``, ``'c_call'``, ``'c_return'``, or
- ``'c_exception'``. *arg* depends on the event type.
+ ``'line'``, ``'return'`` or ``'exception'``. *arg* depends on
+ the event type.
The trace function is invoked (with *event* set to ``'call'``) whenever a new
local scope is entered; it should return a reference to a local trace
@@ -926,16 +951,6 @@
tuple ``(exception, value, traceback)``; the return value specifies the
new local trace function.
- ``'c_call'``
- A C function is about to be called. This may be an extension function or
- a built-in. *arg* is the C function object.
-
- ``'c_return'``
- A C function has returned. *arg* is the C function object.
-
- ``'c_exception'``
- A C function has raised an exception. *arg* is the C function object.
-
Note that as an exception is propagated down the chain of callers, an
``'exception'`` event is generated at each level.
@@ -1078,4 +1093,3 @@
.. rubric:: Citations
.. [C99] ISO/IEC 9899:1999. "Programming languages -- C." A public draft of this standard is available at http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1256.pdf\ .
-