| Proposed a novel metasynchronization technique to create a
distributed discrete clock, functionally similar to the clock in
synchronous hardware systems, but scalable to systems with many
independent oscillators. This clock enables deterministic
scheduling of distributed resources, which in turn enables system
correctness reasoning similar to that used in synchronous hardware.
Metasynchronization is completely decentralized, unlike
consensus-based synchronization techniques, and is robust even in
the face of Byzantine failures. Furthermore, metasynchronization
enables lightweight and flexible process isolation, basically
processor TDM, potentially simplifying operating system design. |
