专利摘要

本发明公开了一种自适应的检查点间隔动态设置方法，属于处理器容错技术领域。所述方法使用软错误间隔历史表SEIHT和模式历史表PHT对下一个软错误间隔进行预测，并根据预测的软错误间隔与设定的阈值之间的比较结果增大或减小检查点间隔，从而实现对检查点的设置间隔的适应性调整。所述方法能够同时根据软错误历史的长期特征和短期特征对软错误间隔进行更为准确的预测即时性好、准确度高；所述方法能够快速学会预测任意的重复模式，进而能够应对软错误分布复杂、未知的情况，普适性强。

权利要求

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

所述方法包括：

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

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

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

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

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

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

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

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

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

执行步骤八；

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

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

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

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

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

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

3.根据权利要求2所述的方法，其特征在于，所述软错误间隔历史表SEIHT具有k项，每一项由两部分组成：1位的软错误间隔标志FLAG以及与之对应的XLen位时间戳，软错误间隔标志FLAG用于指示软错误间隔是否大于阈值T，软错误标志SEIHT.FLAG为k位的移位寄存器，其中SEIHT.FLAG用于表示k项中所有1位软错误间隔标志FLAG的集合，时间戳表示的是对应于软错误间隔标志的、最近的一次软错误发生的时刻。

4.根据权利要求3所述的方法，其特征在于，所述模式历史表PHT为SEIHT.FLAG所有的模式创建一个两位饱和计数器，SEIHT.FLAG共有2k种模式，用“00”表示“强短间隔”、“01”表示“弱短间隔”、“10”表示“弱长间隔”、“11”表示“强长间隔”。

5.根据权利要求4所述的方法，其特征在于，所述软错误间隔历史表SEIHT的软错误间隔标志FLAG用于指示软错误间隔是否大于阈值T，包括：

如果大于等于，将SEIHT.FLAG左移一位，同时将1写入SEIHT.FLAG.LSB，表示此间隔为“长间隔”；

如果小于，将SEIHT.FLAG左移一位，同时将0写入SEIHT.FLAG.LSB，表示此间隔为“短间隔”。

6.根据权利要求5所述的方法，其特征在于，如果SEIHT.FLAG的最低位为1，则存在两种情况：如果当前状态不为“11”，则饱和计数器的状态向“10”、“11”的方向转换；如果当前状态是“11”，则状态不变。

7.根据权利要求6所述的方法，其特征在于，如果SEIHT.FLAG的最低位为0，则存在两种情况：如果当前状态不为“00”，则饱和计数器的状态向“01”、“00”的方向转换；如果当前状态是“00”，则状态不变。

8.根据权利要求7所述的方法，其特征在于，所述方法根据SEIHT和PHT动态地预测下一个软错误间隔，包括：

以SEIHT.FLAG的模式作为索引，查询PHT中对应的二位计数器的状态值，如果状态值为“00”、“01”，则预测下一个软错误间隔为短间隔；

如果状态值为“10”、“11”，则预测下一个软错误间隔为长间隔；

检查点间隔的调整方法为：如果预测下一个软错误间隔为短间隔，则将检查点的设置间隔Tc赋值为Ts；反之，则将检查点的设置间隔Tc赋值为Tl。

9.一种微处理器软错误容错系统，其特征在于，所述系统采用权利要求1-8任一所述的检查点间隔的动态设置方法进行检查点间隔的设置。

一种自适应的检查点间隔动态设置方法专利购买费用说明

Q：办理专利转让的流程及所需资料

A：专利权人变更需要办理著录项目变更手续，有代理机构的，变更手续应当由代理机构办理。

1：专利变更应当使用专利局统一制作的“著录项目变更申报书”提出。

2：按规定缴纳著录项目变更手续费。

3：同时提交相关证明文件原件。

4：专利权转移的，变更后的专利权人委托新专利代理机构的，应当提交变更后的全体专利申请人签字或者盖章的委托书。

Q:专利著录项目变更费用如何缴交

A：（1）直接到国家知识产权局受理大厅收费窗口缴纳,（2）通过代办处缴纳，（3）通过邮局或者银行汇款,更多缴纳方式

Q：专利转让变更，多久能出结果

A：著录项目变更请求书递交后，一般1-2个月左右就会收到通知，国家知识产权局会下达《转让手续合格通知书》。