cuda.core: a second grow of a grown VMM buffer fails
まだ誰も着手していません。
- 主要言語
- Cython
- スター
- 3.4k
- フォーク
- 329
- 平均マージ
- 1日 21時間
- マージ済み PR(30日)
- 113
説明
After one grow a buffer is backed by two physical chunks. The slow path retains only the handle of the mapping at buf.handle and maps aligned_prev_size bytes from it, but cuMemMap requires the size to equal the handle's full size, so the second grow fails. On main the attempt also unmaps the old range first and cannot restore it; with #2880 the old buffer stays intact and the grow raises cleanly. Fix belongs to the ownership redesign (epic #2906).
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
issue で説明されている cuda.core VMM バッファーの grow slow path から始め、buf.handle、aligned_prev_size、cuMemMap の呼び出しに注目してください。ownership redesign epic #2906 と #2880 の動作を確認してください。完了条件は、2 回目の grow が handle とサイズの不一致で失敗しなくなり、grow に失敗した場合も古いバッファーがそのまま保持されることです。
索引モデルが issue の本文から書いたものです。
評価
- 領域
- backend
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 活発
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 35/100