OBET: On-the-Fly Byte-Level Error Tracking for Correcting and Detecting Faults in Unreliable DRAM Systems

. 2021 Dec 10;21(24):8271. doi: 10.3390/s21248271

Algorithm 2 Diagnostic and repair of faults from the OS

1:
functionOS_MFM_diagnostic_fixing_errors()
2:
$e n a b l e_r e q u e s t_f o r_d i a g_f i x_e r r ()$
3:
while $(a d d r \leftarrow u n k n o w n_f a u l t y_l i s t . p o p ()) \neq n u l l$ do
4:
$S e n d_t o_E D F (a d d r)$
5:
$d i s a b l e_r e q u e s t_f o r_d i a g_f i x_e r r ()$
6:
procedureEDF_diagnostic_fixing_err()
7:
while $O S_t r i g g e r_r e q u e s t_f o r_d i a g_r e p a i r ()$ do
8:
$a d d r \leftarrow g e t_e r r_p o s_f r o m_O S ()$
9:
$d a t a \leftarrow R E A D (a d d r)$
10:
$t y p e_f l a g \leftarrow r e a d_e r r o r_f l a g ()$
11:
switch $t y p e_f l a g$ do
12:
case $0 \times 0000$ ▹ Intermittent Error
13:
$S e n d_f a u l t y_p o s (P E R M A N E N T, a d d r)$
14:
case $0 \times 00 F F$ ▹≥2 bit errors
15:
$A l e r t_m u l t i p l e_e r r o r s (a d d r)$
16:
case $0 \times F F F F$ ▹ Parity has single error
17:
$P a r i t y_e r r_c o r r e c t i o n (a d d r, d a t a)$ ▹ Algorithm 3
18:
case $d e f a u l t$ ▹ Original data have a single error
19:
$D a t a_e r r_c o r r e c t i o n (a d d r, d a t a)$ ▹ Algorithm 3