[发明专利]对用于录入和重放确定性事件序列的指令进行计数的方法

权利要求书

1.一种用于在计算机处理器中在计算机系统内在称为活动时段(SchJ，SchR)的给定执行时段期间管理称为目标任务的计算机任务的方法，所述计算机处理器具有监视或者估计性能的装置并且包括具有加上或者减去称为相对误差的给定可能误差的计数器(PMC)，这一过程包括：

在一方面使用所述计数器来评估直至所述活动时段的至少一个给定点所执行的指令的数目(NR，NJ)；以及

在另一方面生成从所述处理器或者计算机系统的状态中读取或者计算的并且与所述活动时段的至少一个给定点相对应的称为签名(SGJ，SGR)的数据。

2.根据权利要求1所述的方法，其特征在于对于从受管理的时段的开始起执行的指令的数目(NJ，NR)的评估结合所述计数器(PMC)而使用了至少一个系统调用指令作为同步障。

3.根据权利要求1或2之一所述的方法，其特征在于它在由两个非确定性操作之间的一连串确定性操作组成的活动时段期间管理任务。

4.根据权利要求1至3之一所述的方法，其特征在于它管理在称为录入处理器(μProX)的处理器中录入的任务(TJ)，以及它包括存储与称为录入时段(Sch3，SchJ)的所述任务的这一活动时段相对应的录入数据，这一录入数据包括所执行指令的数目的至少一个假设值(NJ)以及与所述录入时段的结束相对应的称为录入签名的所述签名(SGJ)。

5.根据权利要求1至4之一所述的方法，其特征在于它通过在称为处理器日志(JμProX)的至少一个文件中以有序的方式存储代表了在处理器(μProX)中执行的多个任务(TA，TB，TA)的一连串活动时段(Sch1，Sch2，Sch3)的录入的录入数据来录入所述处理器(μProX)的使用，所述录入数据包括针对这些时段中的各时段的标识所述所执行任务(TJ)的数据(idJ)。

6.根据权利要求5所述的方法，其特征在于它根据所述录入数据，从与所述录入处理器或者所述录入系统在所述录入时段开始时的状态相对应的状态开始，通过在重放计算机系统内管理由称为重放(μProZ)处理器的处理器执行的称为重放(TR)任务的任务来进行所述录入时段(SchJ)的重放，所述方法也包括：

-受监视的执行阶段，从所述重放时段的开始起执行所述计数器(PMC)所评估的数目(NR)的指令，所述数目小于或者等于所述录入时段的所述指令的数目的所述假设值(NJ)减去所述计数器的所述相对误差；

-确认阶段，包括如下步骤的重复：

-在所述重放中的给定点(TRI0，TRI2，TRI4)处中断(46)所述重放任务的执行；

-在所述录入签名(SGJ)和与重放中断点相对应的签名(SGR)之间进行比较(47)测试。

7.根据权利要求6所述的方法，其特征在于所述录入签名(SGJ)包括称为录入指针的数据(IPJ)，该数据代表了在所述录入时段(SchJ)结束时所述录入任务的指令指针的值(IPJX3)，

所述方法也包括在与所述录入指针数据(IPJ)相对应的所述重放指令(BKI)上设置(42)断点(BK)。

8.根据权利要求6或7之一所述的方法，其特征在于对所述重放任务(TR)的执行的所述监视特别地包括所述计数器(PMC)的溢出，所述计数器被预先初始化以便确定必须从所述重放时段的开始起执行的指令的数目(NR)，并且所述计数器的所述溢出引起了所述重放任务的中断(41)。

9.根据权利要求8所述的方法，其特征在于以某一裕度在所述重放时段开始时初始化所述计数器(PMC)以便足够早地溢出(41)，从而在所述计数器的所述溢出与已经引起所述溢出的任务的中断之间存在延时时段的情况下，所述重放任务(TR)所执行的指令的数目(NR)小于或者等于所述录入时段的所述指令的数目的所述假设值(NJ)减去所述计数器的所述相对误差。

10.根据权利要求6至9之一所述的方法，其特征在于所述确认阶段包括：安全步骤，如果所述重放指令的数目(NR)超过所述录入指令的数目的所述假设值(NJ)加上给定的指令数目则发送错误信号。