2 个仓库
Queues that defer action notifications to prevent recursive call overflows during execution.
Distinct from Message Queues: Specifically addresses the prevention of recursive stack overflows in smart contracts via deferred execution, not general message sequencing.
Explore 2 awesome GitHub repositories matching devops & infrastructure · Deferred Notification Queues. Refine with filters or upvote what's useful.
EOS is a Layer 1 blockchain infrastructure and high-throughput transaction engine. It serves as a WebAssembly smart contract platform that manages state transitions and network consensus across a peer-to-peer network. The system utilizes a sandboxed virtual machine for executing smart contract logic and employs a Byzantine Fault Tolerant delegated proof-of-stake consensus mechanism to finalize the global ledger state. It features a resource-based stake model for CPU and memory allocation and an asynchronous messaging system for inter-contract communication to prevent recursive call overflows.
Triggers inter-contract actions using an asynchronous queue to prevent recursive call overflows.
seL4 is a formally verified microkernel whose C implementation is backed by machine-checked mathematical proofs of correctness, confidentiality, integrity, and availability. It enforces strict isolation between processes through hardware-enforced address space separation and a capability-based access control system, where each process holds explicit rights only to the resources it has been granted. The kernel exposes hardware resources through a minimal API of system calls that manage threads, address spaces, and inter-process communication, with synchronous IPC supporting sender-identifying b
Provides kernel mechanism to defer interrupt acknowledgements and notifications until after entry point return.