良い事象 ÷ 有効な事象 — 1本のログから4つの可用性

この回で決めるのは分母です。 同じログの同じ行を、SLI の対象に入れるか外すか。外した行は良いにも悪いにも数えられず、バジェットの件数も変わります。

SRE Book 第4章は SLI を a carefully defined quantitative measure と定義します。第15期では「測って出てきた値」の側を見ました。この期は carefully defined の側、何を数えるかを決める作業を、実際に数えて確かめます。

The Art of SLOs(Google のワークショップ教材)のハンドブックは、SLI の式をこう書きます。

The proportion of valid events that were good.

続けて、ある事象をバジェットに数えさせない道を2つ挙げます。

Events can be prevented from counting against an error budget either by including them in the numerator or by excluding them from the denominator. The former is achieved by classifying some events good, the latter by classifying some events invalid.

分子に入れる(良いに分類する)か、分母から外す(対象外に分類する)か。どちらでも「悪い」には数えられませんが、分母の大きさが違ってきます。

分母の呼び名は文書ごとに違います。SRE Workbook 第2章は the number of good events divided by the total number of events、Google Cloud は eligible events。この期では「有効な事象」と呼びます。

原典の実例は、4xx をどちらに置いているでしょうか。

SRE Workbook 第2章は 5XX responses count against SLO, while all other requests are considered successful.、付録A は Any HTTP status other than 500–599 is considered successful. です。4xx は分母に残り、良いに入ります。

The Art of SLOs の Facilitator Handbook も同じ向きで、treat 4xx responses as successes と書き、理由を利用者の誤りや偽のクライアントが 5xx の兆候を埋もれさせるからだとしています。スライドの例は 2XX, 3XX or 4XX (excl. 429) です。

では「分母から外す」は何に使われているか。ハンドブックは validity is determined by request parameters such as hostname or request path と書き、Facilitator Handbook は外から確かめるために自分で送る要求を UserAgent で見分けて ignore those requests as invalid としています。対象外にするのは「この SLI が見る要求か」で決まる事柄で、4xx ではありません。

語についての注意も1つ。SRE Workbook 第2章と付録A の保存原文を全文検索した範囲では、分母を指す valid の語はありません。第3章・第5章は確かめていません。