Capability-Based Memory Access Checks for Dynamic Range Bounds

The patent applies dynamics by making the capability bounds dynamic rather than static. The capability checking circuitry now considers both the originally defined bounds and current values of state variables (such as stack pointers) to determine whether memory accesses are permitted. This allows the system to adapt to changing memory regions while maintaining security control, resolving the contradiction between static security and dynamic adaptability.

The patent introduces dynamic checking that combines static capability bounds with dynamic state variables. The capability checking circuitry performs range checks using both the originally defined bounds and current state variable values, enabling the system to handle dynamic memory allocation while building upon the existing static capability structure. This maintains implementation simplicity while adding dynamic adaptability.

The patent enhances the capability checking operation by incorporating dynamic state variables into the range check process. The capability checking circuitry now uses both the static range constraining information and current state variable values to determine access permission. This dynamic approach maintains checking speed while significantly improving accuracy in dynamic environments where memory regions change during execution.