Do Not Allow Static Objects to be Deallocated

オープン

#101,265 2023年1月23日に作成コメント 6 件リアクション 2 件担当者 0 名 GitHub で見る

まだ誰も着手していません。

評価

難易度: 5/5
見積もり時間: 1週間以上
初心者へのやさしさ: 30/100

issue の種類: バグ
明瞭さ: おおむね明確
活発さ: 停滞
技術スタック: c, python
領域: backend

調査の方向性

まず Include/internal/pycore_global_objects.h から始めて静的に定義されたオブジェクトを一覧化し、次に影響を受ける型の tp_dealloc 実装を調べます。許容できないデアロケーションオーバーヘッドなしに各型が静的オブジェクトを識別する方法を決定します。静的オブジェクトを解放できず、refcount 関連のクラッシュも引き起こさない状態になれば完了です。

索引モデルが issue の本文から書いたものです。

説明

3.12 interpreter-core type-feature

The runtime currently has many objects that are statically defined. See Include/internal/pycore_global_objects.h. For the singletons, all instances of the type are statically defined. Otherwise only some instances are.

(affected types)

The following types are those that have only some statically defined instances (not counting deep-frozen objects):

int
bytes
str
tuple

Deepfreeze adds the following:

float
complex
~~slice~~ [actually not added]
code
(more bytes, int, tuple, & str objects)

The problem is that if tp_dealloc() for one of the affected types tries to free a static object then it will crash. We've set the refcount for such objects to a really high number to avoid this, but it is still possible. The risk rises a bit for immortal objects (see PEP 683).

For all types with static objects, we need to add a check in tp_dealloc() to either fail or reset the refcount to the really high number. We already have a check like this for the singletons and for str. For the other types we need to identify if the object is static and respond accordingly. The catch is that identifying that can be expensive, which is problematic for types that are deallocated frequently.

主要言語: Python
スター: 77.2k
フォーク: 36k
平均マージ: 1日 9時間
マージ済み PR（30日）: 558

コントリビューションガイド

コントリビューションガイドを開く

はじめの一歩

issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
リポジトリをフォークし、ブランチを切って変更します。
issue 番号を参照したプルリクエストを送ります。

python/cpython のほかの issue

docs: Zipfile contains a 13-years outdated warning regarding path sanitization オープン

docs pending

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

python/cpython#157339 · コメント 10 件 · 2026年9月11日に作成
pydoc HTML output is not responsive and has no viewport meta in released versions オープン

stdlib type-feature

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

python/cpython#155601 · コメント 2 件 · 2026年8月12日に作成
`zipfile.ZipFile.writestr()` raises `AttributeError` instead of accepting `os.PathLike` objects (e.g. `pathlib.Path`) オープン

stdlib type-feature

難易度 2/5 1〜3時間初心者へのやさしさ 72/100

python/cpython#153771 · コメント 5 件 · 2026年7月15日に作成
BOLT-WARNING: specifying numeric value "1" for option -icf is deprecated オープン

build type-bug

難易度 2/5 1〜3時間初心者へのやさしさ 76/100

python/cpython#149708 · コメント 1 件 · 2026年5月12日に作成
Expose message ID list from `ReferencesHeader` オープン

stdlib topic-email type-feature

難易度 2/5 1〜3時間初心者へのやさしさ 70/100

python/cpython#148797 · コメント 3 件 · 2026年4月20日に作成

python/cpython の issue をすべて見る

似ている issue

Schema regression: derivation conversion_failure reverted オープン

難易度 1/5 1時間未満初心者へのやさしさ 90/100

elong0527/yamaa#708 · 2026年9月21日に作成
RadioSelectButtonGroup does not render as a button group through bootstrap_field オープン

bug

難易度 2/5 1〜3時間初心者へのやさしさ 86/100

zostera/django-bootstrap4#894 · 2026年9月21日に作成
[Bug]: control_ui.show_thinking = false does not stop the live reasoning stream, so thinking events and done.reasoning_content still reach the web UI オープン

難易度 2/5 1〜3時間初心者へのやさしさ 78/100

use-agent-os/agent-os#3276 · 2026年9月21日に作成
Build fails with LTO enabled: conflicting types for z_shared_sw_isr_table between isr_tables.c and sw_isr_table.h オープン

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

zephyrproject-rtos/zephyr#119726 · 2026年9月21日に作成
[Bug]: redact_sensitive_text does not recognise Discord bot tokens オープン

area/auth bug comp/agent P3 platform/discord type/security

難易度 2/5 1〜3時間初心者へのやさしさ 88/100

NousResearch/hermes-agent#117848 · 2026年9月21日に作成

Python の issue をもっと見る