[发明专利]一种自适应的检查点间隔动态设置方法

权利要求书

1.一种检查点间隔的动态设置方法，其特征在于，所述方法在软错误发生之后，根据上一次软错误到本次软错误的时间间隔Δt对软错误间隔历史表SEIHT和模式历史表PHT进行更新，并使用SEIHT和PHT对下一个软错误间隔进行预测，再将预测的本次软错误到下一次软错误的时间间隔与设定的阈值T进行比较，根据比较结果确定检查点的设置频率，从而实现对检查点设置间隔的动态调整；

所述方法包括：

步骤一：将软错误发生次数N的值加1，记录检测到软错误时处理器的周期计数器指示的时刻，执行步骤二；

步骤二：判断本次记录是否是第一条记录，结果为否，执行步骤三；结果为是，执行步骤四；

步骤三：将上一次记录的时刻记为t₀，将本次记录的时刻记为t₁，将Δt＝t₁-t₀作为上一次软错误到本次软错误的时间间隔，并将系统中最近一个软错误发生的时刻T_final赋值为t₁，执行步骤五；

步骤四：将本次记录的时刻记为t₀，并将系统中第一个软错误发生的时刻T_start以及SEIHT所记录的最早的软错误发生时刻T_start′均赋值为t₀，算法结束；

步骤五：判断软错误间隔历史表SEIHT是否已满，结果为是，执行步骤六；结果为否，执行步骤七；

步骤六：将SEIHT中的软错误间隔标志FLAG的最高位SEIHT.FLAG.HSB的时间戳赋值给T_start′，之后该时间戳所在的存储空间允许被覆盖、允许用于记录新的软错误发生时刻，计算软错误间隔阈值T代表的是SEIHT中记录的k个软错误间隔的平均软错误间隔，执行步骤七；

步骤七：将步骤三中计算的Δt与软错误间隔阈值T进行比较，并根据比较结果对SEIHT的软错误间隔标志SEIHT.FLAG及对应的时间戳SEIHT.TIMESTAMP进行更新：

若Δt≥T，认为该间隔为“长间隔”，将SEIHT.FLAG左移一位，同时将1写入SEIHT中的软错误间隔标志FLAG的最低位SEIHT.FLAG.LSB，将该FLAG位对应的XLen位的时间戳TIMESTAMP赋值为t₀；XLen是处理器记录运行周期的计时器的宽度；

若ΔtT，认为该间隔为“短间隔”，将SEIHT.FLAG左移一位，同时将0写入SEIHT中软错误间隔标志FLAG的最低位SEIHT.FLAG.LSB，将该FLAG位对应的XLen位的时间戳TIMESTAMP赋值为t₀；

执行步骤八；

步骤八：对软错误发生间隔进行预测，首先判断本次预测是否是第一次进行预测，结果为否，执行步骤九；结果为是，执行步骤十；

步骤九：根据SEIHT.FLAG.LSB和两位饱和计数器的状态转换图对上一次预测所用的模式历史表PHT项进行更新，执行步骤十；

步骤十：以k位SEIHT.FLAG的值作为索引，查询具有2^k个表项的PHT，执行步骤十一；

步骤十一：根据步骤九查询到的两位饱和计数器的值预测软错误的发生间隔，如果计数器的值为“00”或“01”，预测下一个软错误间隔是“短间隔”，将检查点的设置间隔T_c赋值为较短间隔T_s；

如果计数器的值为“10”或“11”，预测下一个软错误间隔是“长间隔”，将检查点的设置间隔T_c赋值为较长间隔T_l。

2.根据权利要求1所述的方法，其特征在于，T_lT_s，其中，较短间隔其中，C表示建立检查点的时间开销，ρ表示从系统启动到最近一次发生软错误期间的软错误发生率，其中，T_start代表的是系统中第一次发生软错误的时刻。