apache / apache/datasketches-java
Question: How do we ensure `TDigest::merge` never causes numCentroids over centroidsCapacity and thus index out of bound?
クローズ
- 主要言語
- Java
- スター
- 958
- フォーク
- 226
- 平均マージ
- 3日 9時間
- マージ済み PR（30日）
- 8
説明
https://github.com/apache/datasketches-java/blob/37edd8c9898f8f073aaafad7097cb0949eb84c85/src/main/java/org/apache/datasketches/tdigest/TDigestDouble.java#L571-L602
I don't find any constraint that `numCentroids` will never exceed `centroidsCapacity` here.
コントリビューションガイド
このリポジトリのコントリビューションガイドは索引されていません
調査の方向性
まず TDigestDouble.java の571～602行目を読み、merge が numCentroids をどのように更新し、centroidsCapacity をどのように使用するかを追跡します。コードが必要な上限を確立しているかどうかを判断します。完了とは、不変条件を文書化するか、確立していない場合は必要な正確な変更を特定することです。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- java
- 領域
- data
- issue の種類
- バグ
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 活発さ
- 停滞
- 明瞭さ
- 説明が足りない
- 初心者へのやさしさ
- 25/100