5 |
MPF detectedへの変更の再検討 (9) |
MPF detectedへの変更の再計算した結果を表を用いてまとめます。
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $(1-K_\text{IF,RF})\lambda_\text{IF}-(1-K_\text{IF,RF})\alpha$(369.6) | $(1-K_\text{IF,RF})\alpha$ (370.5) |
$K_{\text{IF,RF}}\color{red}{K_\text{IF,det}}\alpha\\\ +K_\text{IF,RF}\color{red}{(1-K_\text{IF,det})}\beta$(371.6) | $K_\text{IF,RF}\color{red}{(1-K_\text{IF,det})}\beta$ (372.5) |
SPF/DPF統合 | $(1-K_\text{IF,RF})\lambda_\text{IF}$ | $K_{\text{IF,RF}}\color{red}{K_\text{IF,det}}\alpha+2K_\text{IF,RF}\color{red}{(1-K_\text{IF,det})}\beta$ | ||
規格式1$\dagger\text{SM1}⇒\text{IF}$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\color{red}{K_\text{IF,det}}\alpha+K_{\mathrm{IF,RF}}\color{red}{(1-K_\text{IF,det})}\beta$ | |||
規格式3$\dagger$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\color{red}{K_\text{IF,det}}\alpha+2K_{\mathrm{IF,RF}}\color{red}{(1-K_\text{IF,det})}\beta$ |
$$ \text{ただし、} \begin{cases} \alpha:=\frac{1}{2}\lambda_{\mathrm{IF}}\lambda_{\mathrm{SM}}[(1-K_{\mathrm{SM,MPF}})T_\text{lifetime}+K_{\mathrm{SM,MPF}}\tau]\\ \beta:=\frac{1}{2}\lambda_\text{IF}\lambda_\text{SM}\left[(1-K_\text{MPF})T_\text{lifetime}+K_\text{MPF}\tau\right]\\ K_\text{MPF}:=K_\text{IF,MPF}+K_\text{SM,MPF}-K_\text{IF,MPF}K_\text{SM,MPF} \end{cases}\\ \begin{cases} \begin{eqnarray} 非冗長系の時は\color{red}{K_\text{IF,det}}&=&1\\ 冗長系の時は\color{red}{K_\text{IF,det}}&=&0, K_\text{IF,RF}=1\\ \end{eqnarray} \end{cases} $$
表374.1に対して、非冗長系、冗長系のKパラメータを上記に示すとおり代入した表を表374.2及び表374.3に示します。
非冗長系
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $(1-K_\text{IF,RF})\lambda_\text{IF}-(1-K_\text{IF,RF})\alpha$ | $(1-K_\text{IF,RF})\alpha$ | $K_{\text{IF,RF}}\alpha$ | $0$ |
SPF/DPF統合 | $(1-K_\text{IF,RF})\lambda_\text{IF}$ | $K_{\text{IF,RF}}\alpha$ | ||
規格式1$\dagger\text{SM1}⇒\text{IF}$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\alpha$ | |||
規格式3$\dagger$ | $(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\alpha$ |
$$ M_\text{PMHF,NRD}=\bbox[#ccffff,2pt]{(1-K_\text{IF,RF})\lambda_\text{IF}+K_{\text{IF,RF}}\alpha}\\ =(1-K_\text{IF,RF})\lambda_\text{IF}+\frac{1}{2}K_{\text{IF,RF}}\lambda_{\mathrm{IF}}\lambda_{\mathrm{SM}}[(1-K_{\mathrm{SM,MPF}})T_\text{lifetime}+K_{\mathrm{SM,MPF}}\tau] \tag{374.1}$$
冗長系
(a)SPF | (b)SPF | (c)DPF | (d)DPF | |
---|---|---|---|---|
LAT2分離 | $0$ | $0$ | $\beta$ | $\beta$ |
SPF/DPF統合 | $0$ | $2\beta$ | ||
規格式1$\dagger$ | $\beta$ | |||
規格式3$\dagger$ | $2\beta$ |
$$M_\text{PMHF,RD}=\bbox[#ccffff,2pt]{2\beta}=\lambda_\text{IF}\lambda_\text{SM}\left[(1-K_\text{MPF})T_\text{lifetime}+K_\text{MPF}\tau\right]\tag{374.2}$$
$\dagger$規格式1: 規格第1版 Part 10-8.3.3の第1式の条件。ブログの図367.1)において、IFが後にフォールトする場合=(a)SPF、(b)SPF及び(c)DPF。(d)DPFはSMが後にフォールトする場合なので対象外
$\dagger$規格式3: 規格第1版 Part 10-8.3.3の第3式の条件。ブログの図367.1)において、IF, SMのフォールトの順を問わない場合=(a)SPF、(b)SPF、(c)DPF及び(d)DPF。
RAMS 2022においてMPF detectedの再考に基づくPMHF式の論文発表が終了したため、秘匿部分を開示します。