公开(公告)号：CN101311901B

公开(公告)日：2013-04-24

申请号：CN200810100529.5

申请日：2008-05-20

Applicant: 松下电器产业株式会社

Inventor： 川端辉雄 ,  大门正嗣 ,  瓶子岳人 ,  小川一

IPC: G06F9/45

CPC classification number: G06F8/4441

Abstract: 一种程序重写方法，将输入程序重写为用于处理器的程序，该处理器根据执行可否标记来可以控制处理的执行可否，所述程序重写方法包括：比较处理插入步骤，将比较处理插入到输入程序中，所述比较处理所进行的处理是，对第一地址信息和第二地址信息进行比较，而将比较结果写入到执行可否标记中，所述第一地址信息是第一存储器存取处理所存取的存储器的地址信息，所述第二地址信息是第二存储器存取处理所存取的存储器的地址信息；以及逻辑保证处理插入步骤，将带有执行可否标记的逻辑保证处理插入到输入程序中，所述逻辑保证处理是，根据执行可否标记的值执行的处理、且是用于保证与输入程序的执行时相同的处理结果的处理。

公开(公告)号：CN101311901A

公开(公告)日：2008-11-26

申请号：CN200810100529.5

申请日：2008-05-20

Applicant: 松下电器产业株式会社

Inventor： 川端辉雄 ,  大门正嗣 ,  瓶子岳人 ,  小川一

IPC: G06F9/45

CPC classification number: G06F8/4441

Abstract: 一种程序重写方法，将输入程序重写为用于处理器的程序，该处理器根据执行可否标记来可以控制处理的执行可否，所述程序重写方法包括：比较处理插入步骤，将比较处理插入到输入程序中，所述比较处理所进行的处理是，对第一地址信息和第二地址信息进行比较，而将比较结果写入到执行可否标记中，所述第一地址信息是第一存储器存取处理所存取的存储器的地址信息，所述第二地址信息是第二存储器存取处理所存取的存储器的地址信息；以及逻辑保证处理插入步骤，将带有执行可否标记的逻辑保证处理插入到输入程序中，所述逻辑保证处理是，根据执行可否标记的值执行的处理、且是用于保证与输入程序的执行时相同的处理结果的处理。