用于在可控运行时环境中进行基于硬件的动态逸出检测的方法和装置

摘要

描述了一种用于在可控运行时环境中进行基于硬件的动态逸出检测的方法和装置。在一个实施例中，所述方法包括检测具有全局范围的第一对象的指针更新。在一个实施例中，发出单个指令，以断言与指针更新的目标对象关联的范围属性标识全局范围。如果与第二对象关联的范围属性将第二对象的范围标识为局部，则所述单个指令返回失败。验证可以包括读取第二对象的对象描述符，以确定对象描述符的范围属性是否指示第二对象的范围为局部。在一个实施例中，一旦已经验证，就将第二对象和从第二对象可达的每个对象转换为全局对象。描述并要求保护了其它实施例。

主权项

一种用于在可控运行时环境中进行基于硬件的动态逸出检测的方法，所述方法包括：检测具有全局范围的第一对象的指针更新，所述指针更新用于将所述第一对象的链接更新为指向第二对象；发出单个指令，以断言与所述第二对象关联的范围属性将所述第二对象的范围标识为全局；当与所述第二对象关联的范围属性将所述第二对象的范围标识为局部时，由所述单个指令返回失败；以及响应于返回所述失败，通过所述单个指令来调用处理程序例程，所述处理程序例程用于当所述单个指令检测出与所述第二对象关联的所述范围属性将所述第二对象的范围标识为局部时验证所述第二对象的范围为局部，其中，如果与所述第二对象关联的范围属性将所述第二对象的范围标识为全局，则用于动态逸出检测的写屏障被减小为所述单个指令。