[发明专利]服务于操作系统核心层的容错计算机系统数据比较方法

权利要求书

1.服务于容错计算机的操作系统核心层系统数据比较方法，其特征在 于，首先在Linux操作系统内核中创建内核态守护进程ft_syner，其作用为 执行比较器逻辑，为冗余进程提供数据比较服务；其次当冗余进程在执行写 操作过程中分别准备好待写数据后，主进程将这些待写数据封装为消息包并 将消息包添加入冗余进程和数据比较器通信通道里，同时主动唤醒数据比较 器进行数据比较；最后数据比较器完成数据比较，冗余进程通过检测消息包 中的比较结果字段获得比较结果；所述的通信通道，实现方式如下：在Linux 操作系统内核中创建事件链表ft_syner_event_list，冗余进程和数据比较器通 过事件链表ft_syner_event_list实现通信；数据比较器和冗余进程以生存者- 消费者方式工作，冗余进程将待比较的数据按协议格式整理为消息包后挂接 在事件链表ft_syner_event_list中，比较器从该事件链表ft_syner_event_list 中取下消息包并从中提取数据信息进行比较；所述的数据比较器，是在Linux 操作系统内核中创建的一个内核态守护进程ft_syner，它常驻操作系统内核， 执行比较器逻辑，为冗余进程提供数据比较服务，内核态守护进程ft_syner 空闲时处于等待状态，有任务时被冗余进程唤醒，或自身周期性唤醒，内核 态守护进程ft_syner每次被唤醒后，遍历事件链表ft_syner_event_list，取下 链表中的每一个消息包进行解析，并对数据进行比较，解析完当前事件链表 中的所有消息包后，内核态守护进程ft_syner调用函数sleep_on_timeout进 入等待状态，在此函数中设置等待周期为5秒，等待时间用完后唤醒内核态 守护进程ft_syner进入下一轮遍历；所述的冗余进程需要增加主从属性，冗 余进程在执行写操作时，分别准备好待写数据，再由主进程将待写数据封装 为消息包，通过函数list_add将消息包添加入事件链表ft_syner_event_list， 并主动唤醒内核态守护进程ft_syner，在内核态守护进程ft_syner完成数据 比较后，冗余进程通过检测msg的值获得比较结果。