校验对数据存储器的动态生成操作

摘要

校验对数据存储器的动态生成操作包括执行用于访问数据存储器的设置动作，该设置动作至少部分地基于对将产生的动态生成操作的请求。设置动作的执行包括对部分数据存储器设置许可以建立数据存储器的受限制部分和数据存储器的未受限制部分，以及使用一种或多种其它技术来检查是否对未受限制部分作了任何非期望改变，或锁定对未受限制部分中各部分的访问。在执行动态生成操作之后，校验非期望工作未由动态生成操作执行。如果非期望工作已执行，则操作被确定为对于该请求不正确。

主权项

一种用于校验动态生成操作未执行非期望工作的方法，包括：对数据存储器设置许可以允许仅访问所述数据存储器的未受限制部分，所述数据存储器的未受限制部分排除了不应被因请求而动态生成的对所述数据存储器的一个或多个操作访问的所述数据存储器的第一部分；以及在执行所述一个或多个操作之后，检查是否对所述未受限制部分作了任何非期望改变。