asyncio.StreamReader raises BufferError with active memoryview
まだ誰も着手していません。
- 主要言語
- Python
- スター
- 77.2k
- フォーク
- 35.9k
- PR マージ指標
- PR 指標を取得中
説明
Bug report
Bug description:
Summary
When StreamReader has an active memoryview export of its internal buffer, methods that mutate the buffer in place can raise:
BufferError: Existing exports of data: object cannot be re-sized
This appears in real workloads with async database drivers, but the root cause is in StreamReader buffer mutation behavior.
Steps to reproduce
import asyncio
async def main():
r = asyncio.StreamReader()
r.feed_data(b"AABBCCDD")
# Simulate a consumer that keeps a memoryview alive
mv = memoryview(r._buffer)
# Triggers BufferError in current implementation
await r.readexactly(4)
mv.release()
asyncio.run(main())
Expected behavior
readexactly(4) should return b"AABB" without raising BufferError.
Actual behavior
BufferError: Existing exports of data: object cannot be re-sized
Why this happens
Some StreamReader paths mutate bytearray in place, for example slice deletion and clear operations. In-place resize is not allowed while a memoryview export exists.
Affected methods
readreadlinereaduntilreadexactly
Environment
- Python: 3.13.x, 3.14.x (also reproducible in local tests with newer builds)
- OS: macOS (also observed in Linux server workloads)
- Third-party context where this is frequently hit: async DB drivers using memoryview over packet buffers
Possible fix direction
Replace in-place buffer mutations with non-mutating replacement assignments, for example:
- replace slice delete with reassignment to remaining bytes
- replace clear with assigning a new empty bytearray
If useful, I can open a PR with tests covering the regression paths.
CPython versions tested on:
3.13
Operating systems tested on:
macOS
Linked PRs
- gh-146380
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
asyncio.StreamReader と、レポートに記載されている read、readline、readuntil、readexactly のパスから始めます。提供された再現手順を実行し、アクティブな memoryview がある状態での BufferError を確認します。完了の条件は、これらのメソッドが例外を発生させずに期待されるデータを返し、影響を受けるバッファー変更パスに対する回帰テストのカバレッジが追加されていることです。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- backend
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100