This technology is a framework for verifying kernel-level system software and program accuracy on multiprocessor hardware, also referred to as relaxed memory hardware.
Both multiprocessor operating system kernels and hypervisors offer processing and power-use advantages, but are error prone and often do not execute commands as intended. Current methods to ensure accurate hardware execution of commands are designed for uniprocessor hardware or require heavy assumptions regarding the sequential execution of operations (sequentially constant, or SC) that are not generalizable.
This technology presents VRM, a generalizable, multiprocessor framework for program verifications that imposes more modest restrictions on kernel-level system software. Building off the relaxed memory operational model of Promising Arm, VRM greatly simplifies computation by allowing relaxed memory hardware models to be lifted to SC models. This system could be applicable to various cloud-based computing platforms to improve stability and accuracy while allowing for broader use of more efficient and powerful hardware.
Patent Pending
IR CU21329
Licensing Contact: Greg Maskel