DEGAS: Discrete Event Gnu Advanced Scheduler

摘要

DEGAS provides discrete-event scheduling capability to a GNATrnAda program without requiring extra calls to a simulation library.rnWe accomplish this by intercepting all calls destined for the pthreadrnlibrary and then rerouting them to the dynamically linked DEGASrnlibrary; this allows a developer to switch between real-time andrndiscrete-event modes at runtime in a non-intrusive manner. DEGASrnnarrows the separation between simulation and real timernapplications, and has significant implications for software thatrnincludes elements of concurrency, synchronization, and time. Wernforesee applications that go beyond simulations, includingrnexecutable specifications, algorithm development, and systemrnverification.