Hardware support for memory safety with an overflow table
A method, system and apparatus for protecting from out of bounds memory references, including establishing a threshold number of active objects for examination for an out of bounds memory reference, determining whether a number of active objects for an application exceeds the threshold, and when the number of active objects exceeds the threshold, storing at least part of information about the active objects in an overflow table in a memory.
1. A method of protecting from out of bounds memory references, the method comprising:
establishing a threshold number of active objects for examination for an out of bounds memory reference;
determining whether a number of active objects for an application exceeds the threshold; and
when the number of active objects exceeds the threshold, storing at least part of information about the active objects in an overflow table in a memory.
2. The method according to claim 1 , further comprising when the number of active objects is at the threshold or below the threshold, using a set of unused bits in a pointer to store an index into a bounds information table in the memory.
3. The method according to claim 1 , further comprising responsive to using a pointer in a load or store operation, determining if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference.
4. The method according to claim 1 , further comprising linking in the overflow table entries that correspond to the same buffer.
5. The method according to claim 1 , further comprising when the number of active objects is at the threshold or below the threshold, storing an index into a bounds information table in the memory,
wherein the overflow table comprises a hash table, and
wherein the overflow table is separate from the bounds information table in the memory.
6. The method according to claim 1 , further comprising:
when the number of active objects is at the threshold or below the threshold, using a set of unused bits in a pointer to store an index; and
responsive to using the pointer in a load or store operation, determining if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference.
7. The method of claim 1 , further comprising:
determining whether a pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference,
wherein index bits for objects that are stored in the overflow table all have a same reserved value.
8. A system for protecting from out of bounds memory references, comprising:
a memory storing computer instructions; and
a processor configured to execute the computer instructions to:
establish a threshold number of active objects for examination for an out of bounds memory reference;
determine whether a number of active objects for an application exceeds the threshold; and
when the number of active objects exceeds the threshold, store at least part of information about the active objects in an overflow table in a memory.
9. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to when the number of active objects is at the threshold or below the threshold, use a set of unused bits in a pointer to store an index into a bounds information table in the memory.
10. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to responsive to using a pointer in a load or store operation, determine if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference.
11. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to link in the overflow table entries that correspond to the same buffer.
12. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to when the number of active objects is at the threshold or below the threshold, store an index into a bounds information table in the memory,
wherein the overflow table comprises a hash table, and
wherein the overflow table is separate from the bounds information table in the memory.
13. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to:
when the number of active objects is at the threshold or below the threshold, use a set of unused bits in a pointer to store an index; and
responsive to using the pointer in a load or store operation, determine if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference.
14. The system according to claim 8 , further comprising the processor configured to execute the computer instructions to determine whether the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference,
wherein index bits for objects that are stored in the overflow table all have a same reserved value.
15. A computer program product comprising a computer readable storage medium having program instructions embodied therewith, the program instructions readable and executable by a computer to cause the computer to perform a method for protecting from bounds memory references, comprising:
establishing a threshold number of active objects for examination for an out of bounds memory reference;
determining whether a number of active objects for an application exceeds the threshold; and
when the number of active objects exceeds the threshold, storing at least part of information about the active objects in an overflow table in a memory.
16. The computer program product according to claim 15 , further comprising when the number of active objects is at the threshold or below the threshold, using a set of unused bits in a pointer to store an index into a bounds information table in the memory.
17. The computer program product according to claim 15 , further comprising responsive to using a pointer in a load or store operation, determining if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference.
18. The computer program product according to claim 15 , further comprising linking in the overflow table entries that correspond to a single buffer.
19. The computer program product according to claim 15 , further comprising when the number of active objects is at the threshold or below the threshold, storing an index into a bounds information table in the memory,
wherein the overflow table comprises a hash table, and
wherein the overflow table is separate from the bounds information table in the memory.
20. The computer program product according to claim 15 , further comprising:
when the number of active objects is at the threshold or below the threshold, using a set of unused bits in a pointer to store an index; and
responsive to using the pointer in a load or store operation, determining if the pointer reference is an in-bounds memory reference, or out-of-bounds memory reference, or another form of invalid memory reference, and
wherein index bits for objects that are stored in the overflow table all have a same reserved value.