[发明专利]非易失处理器备份容量设定、内存备份方法及系统

摘要

本发明公开了非易失处理器备份容量设定、内存备份方法及系统；将原二进制程序反汇编成反汇编程序，依据反汇编程序中指令的先后关系建立程序控制流程图CFG；CFG是control flow graph的缩写；依据控制流程图CFG建立整个程序的拓扑序列表Seq，依据拓扑序列表Seq的拓扑顺序对每一条指令进行栈版本分析；输出存储整个程序的栈版本表SL和每条指令的栈的版本集合SVS；建立剩余能量分配模型；依据剩余能量分配模型进行可行备份点选择；设计栈备份所需的非易失存储器NVM空间；利用启发式算法来确定备份标签的位置：备份标签的作用是为了接收到能量警告信号后，先让程序继续执行，直到遇到标签再触发备份操作。

主权项

1.非易失处理器内存备份方法，其特征是，包括如下步骤：步骤(1)：将原二进制程序反汇编成反汇编程序，依据反汇编程序中指令的先后关系建立程序控制流程图CFG；CFG是control flow graph的缩写；步骤(2)：依据控制流程图CFG建立整个程序的拓扑序列表Seq，依据拓扑序列表Seq的拓扑顺序对每一条指令进行栈版本分析；输出存储整个程序的栈版本表SL和每条指令的栈的版本集合SVS；步骤(3)：建立剩余能量分配模型；依据剩余能量分配模型进行可行备份点选择；步骤(4)：设计栈备份所需的非易失存储器NVM空间；步骤(5)：利用启发式算法来确定备份标签的位置：备份标签的作用是为了接收到能量警告信号后，先让程序继续执行，直到遇到标签再触发备份操作。