homepage

This issue tracker has been migrated to GitHub , and is currently read-only.
For more information, see the GitHub FAQs in the Python's Developer Guide.

Author cortesi
Recipients cortesi
Date 2007年11月17日.07:28:57
SpamBayes Score 0.00083091314
Marked as misclassified No
Message-id <1195284538.89.0.627172491986.issue1454@psf.upfronthosting.co.za>
In-reply-to
Content
I rely heavily on a code coverage analysis engine I developed, and a bug
in Python's trace functionality has been bothering me for years. Today I
snapped, and finally tracked it down to a minimal test case. To see the
problem, play with the following code:
import sys
def run(): yield 1
def trace(frame, event, arg):
 try:
 for i in []: pass
 except Exception, e:
 pass
sys.settrace(trace)
x = run()
del x
Remove the try clause, and re-run with a debug build of the interpreter
for a different symptom. Add a print statement at the end to verify that
the problem occurs when the generator object is deleted.
The problem occurs due to an interaction between generators and the
trace functionality. When a generator is deleted, the gen_del function
calls gen_close, which then sets a GeneratorExit exception. Eventually,
PyEval_EvalFrameEx is called, with the throwflag set. At this point the
trace function is called, the GeneratorExit exception which is set
causes problems with the FOR_ITER opcode, which then fails.
The attached patch against trunk fixes this by storing exceptions before
the call trace function is called, and restoring the exception
afterwards. All regression tests pass for me with this patch applied.
Files
File name Uploaded
generator-trace.patch cortesi, 2007年11月17日.07:28:57
History
Date User Action Args
2007年11月17日 07:28:59cortesisetspambayes_score: 0.000830913 -> 0.00083091314
recipients: + cortesi
2007年11月17日 07:28:58cortesisetspambayes_score: 0.000830913 -> 0.000830913
messageid: <1195284538.89.0.627172491986.issue1454@psf.upfronthosting.co.za>
2007年11月17日 07:28:58cortesilinkissue1454 messages
2007年11月17日 07:28:57cortesicreate

AltStyle によって変換されたページ (->オリジナル) /