Abstract
This disclosure makes the mechanisms of the SISO programming model and its compiler, sisoc 18.1.6, publicly available as prior art. It describes each one in enough detail to reproduce it: rejecting order-dependent programs at compile time, bounding every propagation and sizing every buffer before the program runs, proving array indexes in range, confining transient values to one propagation, generating the contract between a program and its hardware layer, and partitioning one unchanged program across processor cores. The reference embodiment is a bare-metal HTTP and TLS 1.3 server on x86.
Creative Commons License
This work is licensed under a Creative Commons Attribution-Share Alike 4.0 License.
Recommended Citation
Bailey, Jonathan, "Publication Open Technical Disclosure: Compiler-Verified Pure-Gate Event Programs, Their Generated Hardware Boundary, and Partitioned Bare-Metal Execution", Technical Disclosure Commons, ()
https://www.tdcommons.org/dpubs_series/12939