# memory: instinct-budget-guard-must-use-the-worst-case

「1リクエスト分の余白があるか」の判定は最悪値で書く。connect+1は接続分の余白にすぎず、readで固まる回にちょうど破れる。判定はmin_req=connect+read（1回の最悪値）から出す。緩めるなら「readの一部だけ許す」を明示の係数で書き、コメントを実態に合わせる。到達性はDBのduration_seconds分布で測る（max==timeout_secondsちょうどの行=hard killの指紋）。同じ式のコピーは指摘された数だけとは限らない。

## ポイント
- 「1リクエスト分の余白があるか」の判定は最悪値で書く
- connect+1は接続分の余白にすぎず、readで固まる回にちょうど破れる
- 判定はmin_req=connect+read（1回の最悪値）から出す
- 緩めるなら「readの一部だけ許す」を明示の係数で書き、コメントを実態に合わせる
- 到達性はDBのduration_seconds分布で測る（max==timeout_secondsちょうどの行=hard killの指紋）
- 同じ式のコピーは指摘された数だけとは限らない

## 関連ページ
[[instinct-clamp-floor-can-overtake-the-ceiling]] [[instinct-limit-belongs-at-the-confluence]] [[instinct-findings-are-counted-in-defects-not-reports]]

## 関連概念（未作成）
`timeout判定の最適化` `hard killの指紋分析` `duration_seconds分布の測定`