[发明专利]防止无效的存储器引用

说明书

促进针对堆对象的基于硬件的存储器错误减轻的技术。一种系统可以包括执行被存储在非暂时性计算机可读介质中的计算机可执行组件的处理器。计算机可执行组件包括：条目组件；以及重新利用组件。当在存储器中分配对象时，条目组件可以在表中分配条目以存储界限信息。重新利用组件可以重新利用对象地址的未使用位以存储对该表条目的索引。

背景技术

本公开涉及计算设备，并且更具体地，涉及促进针对堆对象的基于硬件的存储器错误减轻的技术。

发明内容

以下给出了概述以提供对本发明的一个或多个实施例的基本理解。本概述并不旨在标识关键或重要元素，或描绘特定实施例的任何范围或权利要求的任何范围。其唯一目的是以简化形式呈现概念，作为稍后呈现的更详细描述的序言。在本文描述的一个或多个实施例中，描述了促进针对堆对象的基于硬件的存储器错误减轻的系统、设备、计算机实现的方法和/或计算机程序产品。

根据实施例，一种系统可以包括执行被存储在非暂时性计算机可读介质中的计算机可执行组件的处理器。计算机可执行组件包括：条目组件；以及重新利用(re-purpose)组件。当在存储器中分配对象时，条目组件可以在表中分配条目以存储界限信息。重新利用组件可以重新利用对象地址的未使用位以存储对表条目的索引。

根据另一个实施例，一种计算机实现的方法可包括：当在存储器中分配对象时，使用处理器在表中分配条目以存储界限信息。计算机实现的方法还可以包括：使用处理器重新利用对象地址的未使用位以存储对表条目的索引。

根据另一个实施例，一种计算机程序产品可以包括具有程序指令的计算机可读存储介质。程序指令可由处理器执行以使处理器执行操作。所述操作包括：当分配对象时，在表中分配条目以存储界限信息。所述操作还包括重新利用对象地址的未使用位以存储对表条目的索引。

附图说明

图1示出根据本文描述的一个或多个实施例的示例非限制性的基于各自的界限元数据的位置而对基于界限检查的技术进行分组。

图2示出根据本文描述的一个或多个实施例的可促进针对堆对象的基于硬件的存储器错误减轻的示例非限制性系统的框图。

图3示出根据本文描述的一个或多个实施例的重新利用对象指针的未使用位以执行针对堆对象的空间和时间安全的示例非限制性高级概念概览。

图4示出根据本文描述的一个或多个实施例的在程序运行时期间指针的生命周期的示例非限制性高级概念概览。

图5示出根据本文描述的一个或多个实施例的界限检查框架的示例非限制性组织布局。

图6示出根据本文描述的一个或多个实施例的示例非限制性BITable。

图7示出根据本文描述的一个或多个实施例的用于程序的64位虚拟地址空间的示例非限制性布局。

图8示出根据本文描述的一个或多个实施例的用于实现基于硬件的界限检查的示例非限制性硬件组织。

图9示出根据本文描述的一个或多个实施例的用于涉及基于硬件的界限检查的减速的示例非限制性场景。

图10示出根据本文描述的一个或多个实施例的描绘其中用基于硬件的界限检查框架检测越界(out-of-bounds)访问的功能的示例非限制性图表。

图11示出根据本文描述的一个或多个实施例的描绘SPEC-CPU2017应用程序中的导致越界的指令的示例非限制性图表。

图12示出根据本文描述的一个或者多个实施例的描绘用于BITable管理的软件插桩(instrumentation)的性能影响的示例非限制性图表。

图13示出根据本文描述的一个或多个实施例的描绘硬件界限检查的性能影响的示例非限制性图表。