ProcessPoolExecutor fails to construct when os.sysconf("SC_SEM_NSEMS_MAX") raises PermissionError
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 77.2k
- フォーク
- 35.9k
- PR マージ指標
- PR 指標を取得中
説明
Bug report
Bug description:
concurrent.futures.ProcessPoolExecutor cannot be constructed on macOS under
any sandbox profile that denies sysctl reads, even though every primitive it
depends on is fully functional in that environment.
_check_system_limits() in Lib/concurrent/futures/process.py reads the
semaphore limit like this:
try:
nsems_max = os.sysconf("SC_SEM_NSEMS_MAX")
except (AttributeError, ValueError):
# sysconf not available or setting not available
return
The handler catches AttributeError and ValueError. It does not catch
OSError. On macOS, SC_SEM_NSEMS_MAX is backed by a sysctl, so a sandbox that
denies sysctl reads makes this call raise PermissionError (an OSError
subclass). The exception propagates out of ProcessPoolExecutor.__init__ before
any worker is created.
The inconsistency is with the function's own stated intent. The existing
except clause already treats "the limit cannot be determined" as benign and
returns — as does the nsems_max == -1 branch immediately below, commented
"indetermined limit, assume that limit is determined by available memory only".
A denied read is the same condition as an unavailable one, arriving as a
different exception type, but it is handled as a fatal error instead.
The practical result is that ProcessPoolExecutor becomes unavailable while
multiprocessing.Pool — same platform, same named semaphores, same spawn
machinery — works correctly. multiprocessing.Pool differs only in that it
never calls _check_system_limits.
This is a robustness bug, not a security issue. The sandbox behaves correctly by
denying the sysctl; the reproduction below denies it explicitly.
Reproduction
repro.py (attached) is standalone, has no third-party dependencies, and does
no monkeypatching. deny_sysctl.sb is a minimal profile that allows everything
except sysctl reads, so the outcome cannot be attributed to any other
restriction:
(version 1)
(allow default)
(deny sysctl-read)
$ python3 repro.py # baseline
$ sandbox-exec -f deny_sysctl.sb python3 repro.py # one capability denied
Actual behaviour
Under (deny sysctl-read) on macOS 26.5.2 (Darwin 25.5.0), CPython 3.13.12:
introspection (queries about a capability)
os.sysconf(SC_SEM_NSEMS_MAX) FAIL PermissionError: [Errno 1] Operation not permitted (errno=1)
_check_system_limits() FAIL PermissionError: [Errno 1] Operation not permitted (errno=1)
direct (exercises the capability)
multiprocessing.Semaphore OK acquire/release
multiprocessing.Process(spawn) OK spawn/join exit=0
multiprocessing.Pool(spawn) OK [1, 4, 9, 16]
concurrent.futures.ProcessPool FAIL PermissionError: [Errno 1] Operation not permitted (errno=1)
Traceback:
File "concurrent/futures/process.py", line ..., in __init__
_check_system_limits()
File "concurrent/futures/process.py", line ..., in _check_system_limits
nsems_max = os.sysconf("SC_SEM_NSEMS_MAX")
PermissionError: [Errno 1] Operation not permitted
Baseline run with no sandbox: all six checks pass.
Expected behaviour
ProcessPoolExecutor should construct and run. An unreadable semaphore limit is
already treated as benign when the read fails for other reasons; a denied read
should be treated the same way.
Suggested fix
Add OSError to the caught exceptions:
try:
nsems_max = os.sysconf("SC_SEM_NSEMS_MAX")
except (AttributeError, ValueError, OSError):
# sysconf not available, setting not available, or the read was denied
# (e.g. a sandbox profile that denies sysctl reads on macOS)
return
This preserves the genuine "too few semaphores" check, which raises
NotImplementedError with an explanatory message and is unaffected. It only
extends the existing "limit cannot be determined" path to cover denial.
If the narrower change is preferred, catching PermissionError alone fixes the
observed case, though any denied sysconf read raises some OSError and the
broader catch matches the comment's intent.
A regression test could patch os.sysconf to raise PermissionError and assert
that ProcessPoolExecutor still constructs — no sandbox required in CI.
Environment
- macOS 26.5.2 (Darwin 25.5.0), arm64
Verified on three interpreters on the same host, all with identical results —
sysconf denied, ProcessPoolExecutor unconstructible, multiprocessing.Pool
working:
| Interpreter | Result |
|---|---|
CPython 3.9.6 (/usr/bin/python3, Apple system Python) |
reproduces |
| CPython 3.12.13 | reproduces |
| CPython 3.13.12 (python.org framework build) | reproduces |
The handler predates all three, so this is longstanding rather than a
regression. Note that the version shipped with macOS is affected.
CPython versions tested on:
3.12, 3.13
Operating systems tested on:
macOS
Linked PRs
- gh-155955
- gh-156303
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
Lib/concurrent/futures/process.py と _check_system_limits() から始め、その後、既存の concurrent.futures のプロセステストを確認します。sysconf の読み取りが拒否されても ProcessPoolExecutor の構築が妨げられなくなり、PermissionError のリグレッションテストが追加されていれば完了です。リンクされた PR gh-155955 と gh-156303 は、その作業がすでに進行中であることを示しています。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- operating-systems
- issue の種類
- バグ
- 難易度
- 2/5
- 見積もり時間
- 1〜3時間
- 活発さ
- 停滞
- 明瞭さ
- 明確に書かれている
- 初心者へのやさしさ
- 25/100