列假設故障
假設某電力範圍故障會令其中所有副本不可用。C1、C2用P,C3用Q,其他條件皆可用,沒有另設依賴。本例要求P或Q任一失效後仍有至少一份;只是條件模型。
| 副本 | 電力範圍 | 何種故障移除 |
|---|---|---|
| C1 | P | P |
| C2 | P | P |
| C3 | Q | Q |
按範圍分副本
- 選一個故障範圍
- 移除其中所有副本
- 逐個假設範圍重做
未知範圍的副本不能證明獨立存活。
各故障剩幾份?整組通過嗎?
查看參考答案
P失效餘C3一份,Q失效餘C1、C2兩份;全組符合至少一份。若只有C1、C2,P故障後為0。
計剩餘而非名稱
| 個案 | 決定 | 理由 |
|---|---|---|
| 只有C1及C2 | 不通過 | P會移除兩者 |
| 三份齊 | 模型通過 | 最少剩1份 |
真正核環境時要找電力範圍依據;三個副本名稱不等於三個故障範圍。