Skip to content

gh-142414: Unify UNBOUND in Lib/concurrent/interpreters/_queues.py and Lib/concurrent/interpreters/_crossinterp.py.#142515

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

Open
note35 wants to merge 9 commits into
base:main
Choose a base branch
from
Open

gh-142414: Unify UNBOUND in Lib/concurrent/interpreters/_queues.py and Lib/concurrent/interpreters/_crossinterp.py. #142515

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
9 commits
Select commit Hold shift + click to select a range
d5060f7
Add register_unbound in _crossinterp.py and initialize it in _queues.py
note35 Dec 10, 2025
fb22cf6
Change to directly import UNBOUND.
note35 Dec 10, 2025
7c3245f
📜🤖 Added by blurb_it.
blurb-it[bot] Dec 10, 2025
32617a0
Update 2025-12-10-15-27-58.gh-issue-142414.zTHgP-.rst
note35 Dec 10, 2025
5730fd5
Update 2025-12-10-15-27-58.gh-issue-142414.zTHgP-.rst
note35 Dec 10, 2025
fcb3385
Add the repro test into test_queues.py.
note35 Dec 11, 2025
9a85aad
Address "./python -m test test_interpreters test_concurrent_futures.t…
note35 Dec 11, 2025
4a7e0ee
Update Misc/NEWS.d/next/Library/2025-12-10-15-27-58.gh-issue-142414.z…
note35 Dec 11, 2025
99873e8
Remove picklable functions.
note35 Dec 11, 2025
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
5 changes: 1 addition & 4 deletions Lib/concurrent/interpreters/_queues.py
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -11,7 +11,7 @@
QueueError, QueueNotFoundError,
)
from ._crossinterp import (
UNBOUND_ERROR, UNBOUND_REMOVE,
UNBOUND, UNBOUND_ERROR, UNBOUND_REMOVE,
)

__all__ = [
Expand DownExpand Up@@ -46,9 +46,6 @@ class ItemInterpreterDestroyed(QueueError,
_PICKLED = 1


UNBOUND = _crossinterp.UnboundItem.singleton('queue', __name__)


def _serialize_unbound(unbound):
if unbound is UNBOUND:
unbound = _crossinterp.UNBOUND
Expand Down
2 changes: 2 additions & 0 deletions Lib/test/test_concurrent_futures/test_interpreter_pool.py
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -427,6 +427,8 @@ def run(taskid, ready, blocker):
ready.get(timeout=1) # blocking
except interpreters.QueueEmpty:
pass
except queues.QueueEmpty:
pass
Comment on lines +430 to +431

@ZeroIntensityZeroIntensityDec 11, 2025

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

What happened here?

@note35note35Dec 11, 2025•
edited
Loading

Copy link
Copy Markdown
ContributorAuthor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more. 

./python -m test test_interpreters test_concurrent_futures.test_interpreter_pool Using random seed: 1867170309
0:00:00 load avg: 0.27 Run 2 tests sequentially in a single process
0:00:00 load avg: 0.27 [1/2] test_interpreters
0:00:24 load avg: 0.48 [1/2] test_interpreters passed
0:00:24 load avg: 0.48 [2/2] test_concurrent_futures.test_interpreter_pool
... (running forever without catching queues.QueueEmpty)

deftest_blocking_with_limited_workers(self):
ready=queues.create()
blocker=queues.create()
defrun(taskid, ready, blocker):
ready.put_nowait(taskid)
blocker.get()
numtasks=10futures= []
withself.executor_type(4) asexecutor:
foriinrange(numtasks):
fut=executor.submit(run, i, ready, blocker)
futures.append(fut)
pending=numtaskswhilepending>0:
done=0for_inrange(pending):
try:
ready.get(timeout=1)
# https://github.com/python/cpython/blob/2a820e2b9cf9e470d9f5342019fca3fe7f4ed7bc/Lib/concurrent/interpreters/_queues.py#L261C20-L261C30# test_interpreters test_concurrent_futures.test_interpreter_pool # Before: queue.get() throws interpreters.QueueEmpty# After: queue.get() throws queues.QueueEmpty# test_concurrent_futures.test_interpreter_pool # Before: queue.get() throws interpreters.QueueEmpty.# After: queue.get() throws interpreters.QueueEmptyexceptinterpreters.QueueEmpty:
passexceptqueues.QueueEmpty:
passelse:
# If the error is not caught, the loop is running forever.done+=1pending-=donefor_inrange(done):
blocker.put_nowait(None)

Why does running test_interpreters + test_concurrent_futures.test_interpreter_pool make the queue.get() throws queues.QueueEmpty after having the same UNBOUND object in _queues.py and _crossinterp.py?

FWIK, cpython/Lib/concurrent/interpreters/init.py loads queues.QueueEmpty as interpreters.QueueEmpty, and before this PR, queue.get() is expected to throw interpreters.QueueEmpty,

For some reasons, queue.get() throws _queues.QueueEmpty after running test_interpreters. This may be another thing to explore further (I think it depends on how the sub-interpreter is implemented. Do you have any knowledge about this?

Given this is a test fix, maybe it's okay to have a further dive deep separately? I think this so far can be reproduced only during a combination of test_interpreters + test_concurrent_futures.test_interpreter_pool. (which is likely rare and not reported?) I'd also like to add a TODO gh-XXX, but we don't yet have enough context to make an issue...)

else:
done += 1
pending -= done
Expand Down
9 changes: 9 additions & 0 deletions Lib/test/test_interpreters/test_queues.py
View file
Open in desktop
Original file line numberDiff line numberDiff line change
Expand Up@@ -8,6 +8,7 @@
# Raise SkipTest if subinterpreters not supported.
_queues = import_helper.import_module('_interpqueues')
from concurrent import interpreters
from concurrent.futures import InterpreterPoolExecutor
from concurrent.interpreters import _queues as queues, _crossinterp
from .utils import _run_output, TestBase as _TestBase

Expand DownExpand Up@@ -93,6 +94,14 @@ def test_bind_release(self):
with self.assertRaises(queues.QueueError):
_queues.release(qid)

def test_interpreter_pool_executor_after_reload(self):
# Regression test for gh-142414 (KeyError in serialize_unbound).
importlib.reload(queues)
code = "import struct"
with InterpreterPoolExecutor(max_workers=1) as executor:
results = executor.map(exec, [code] * 1)
self.assertEqual(list(results), [None] * 1)


class QueueTests(TestBase):

Expand Down
1 change: 1 addition & 0 deletions Misc/NEWS.d/next/Library/2025-12-10-15-27-58.gh-issue-142414.zTHgP-.rst
View file
Open in desktop
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
Fix spurious :exc:`KeyError` when :mod:`concurrent.interpreters` is reloaded after import.
Loading