Monotonic State Machine for Tracking Concurrent Operations
AssigneeOracle International Corporation
InventorsErik Österlund, Axel Boldt-Christmas, Stefan Mats Rikard Karlsson
Life of this patent
Estimating the term…
Loading patent…
AssigneeOracle International Corporation
InventorsErik Österlund, Axel Boldt-Christmas, Stefan Mats Rikard Karlsson
Estimating the term…
Techniques are disclosed for managing the processing of pointers during a concurrent phase of operations using a monotonic state machine. The monotonic state machine defines multiple distinct state designations. During the phase of concurrent operations, the state of any given pointer may be described by a state designation defined by the monotonic state machine. The state designations defined by the state machine have stacking requirements. For example, a third state designation corresponding to a greater level of accessibility necessarily implies a second state designation corresponding to a lesser level of accessibility. The system models changes to a pointer's state during the phase of concurrent operations as monotonic transitions between state designations. If a pointer is transitioned from a former state designation to a latter state designation during the phase of concurrent operations, the pointer is not reverted backwards to the former state designation during the phase of concurrent operations.
One or more non-transitory computer-readable media comprising instructions that, when executed by one or more hardware processors, cause performance of operations comprising:
A method comprising:
A system comprising:
Dependencies are inferred from the claim text.