Skip to content

bpo-45256: Remove the usage of the C stack in Python to Python calls #28488

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
pablogsal merged 17 commits into from
Oct 9, 2021
Merged

bpo-45256: Remove the usage of the C stack in Python to Python calls #28488

Changes from 1 commit
Commits
Show all changes
17 commits
Select commit Hold shift + click to select a range
8a88fd3
Remove the usage of the cstack in Python to Python calls
pablogsal Sep 17, 2021
799e366
Fix gdb
pablogsal Sep 17, 2021
306e29f
Move depth to frame structure for easier retrieval in debugging tools
pablogsal Sep 17, 2021
fc36be1
Refactor and simplifications
pablogsal Sep 17, 2021
e1091e0
Fix existing bug in the PREDICT() macro for the codepath without comp…
pablogsal Sep 21, 2021
d7a99c1
Apply suggestions from code review
pablogsal Sep 21, 2021
0721cea
Tracing of Python functions is handled at entry not call.
markshannon Sep 23, 2021
a2c0994
Inline creation of coroutines.
markshannon Sep 23, 2021
832bccf
Merge remote-tracking branch 'upstream/main' into simple_cframe
pablogsal Sep 23, 2021
9a63ee1
Reorder flow in CALL_FUNCTION to make it a bit clearer.
markshannon Sep 23, 2021
919b741
Merge pull request #16 from markshannon/simple_cframe
pablogsal Sep 23, 2021
9210541
Update Python/ceval.c
pablogsal Sep 23, 2021
9ce9e63
Fix reference counting when creating a new interpreter frame fails.
markshannon Sep 24, 2021
9a0ceab
Remove _PyEval_FrameFromPyFunctionAndArgs forwarding function.
markshannon Sep 24, 2021
65219b2
Merge pull request #17 from markshannon/simple_cframe
pablogsal Sep 24, 2021
1de88f6
Fix reference leaks (needs cleanup)
pablogsal Sep 29, 2021
f313e8c
Merge branch 'main' into simple_cframe
pablogsal Oct 7, 2021
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Reorder flow in CALL_FUNCTION to make it a bit clearer.
  • Loading branch information
@markshannon
markshannon committed Sep 23, 2021
commit 9a63ee11a0e2fb74d81446aabbf00e337cc96126
30 changes: 13 additions & 17 deletions Python/ceval.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4646,19 +4646,7 @@ _PyEval_EvalFrameDefault(PyThreadState *tstate, InterpreterFrame *frame, int thr
if (Py_TYPE(function) == &PyFunction_Type) {
PyCodeObject *code = (PyCodeObject*)PyFunction_GET_CODE(function);
STACK_SHRINK(oparg + 1);
if (code->co_flags & (CO_GENERATOR | CO_COROUTINE | CO_ASYNC_GENERATOR)) {
PyObject *locals = code->co_flags & CO_OPTIMIZED ? NULL : PyFunction_GET_GLOBALS(function);
res = make_coro(
tstate, PyFunction_AS_FRAME_CONSTRUCTOR(function), locals, stack_pointer+1, oparg, NULL);
for (int i = 0; i < oparg+1; i++) {
Py_DECREF(stack_pointer[i]);
}
PUSH(res);
if (res == NULL) {
goto error;
}
}
else {
if ((code->co_flags & (CO_GENERATOR | CO_COROUTINE | CO_ASYNC_GENERATOR)) == 0) {
InterpreterFrame *new_frame = _PyEval_FrameFromPyFunctionAndArgs(tstate, stack_pointer+1, oparg, function);
if (new_frame == NULL) {
// When we exit here, we own all variables in the stack (the frame creation has not stolen
Comment thread
Fidget-Spinner marked this conversation as resolved.
Expand All @@ -4673,15 +4661,23 @@ _PyEval_EvalFrameDefault(PyThreadState *tstate, InterpreterFrame *frame, int thr
tstate->frame = frame = new_frame;
goto start_frame;
}
else {
/* Callable is a generator or coroutine function: create coroutine or generator. */
PyObject *locals = code->co_flags & CO_OPTIMIZED ? NULL : PyFunction_GET_GLOBALS(function);
res = make_coro(tstate, PyFunction_AS_FRAME_CONSTRUCTOR(function), locals, stack_pointer+1, oparg, NULL);
for (int i = 0; i < oparg+1; i++) {
Py_DECREF(stack_pointer[i]);
}
}
}
else {
PyObject **sp = stack_pointer;
res = call_function(tstate, &sp, oparg, NULL, cframe.use_tracing);
Comment thread
pablogsal marked this conversation as resolved.
stack_pointer = sp;
PUSH(res);
if (res == NULL) {
goto error;
}
}
PUSH(res);
if (res == NULL) {
goto error;
}
CHECK_EVAL_BREAKER();
DISPATCH();
Expand Down