| 
|
Quote: validate Eventrons at run-time before scheduling; no allocation or pointer modification; creates a data-specific call graph
Topic:
just-in-time compilation
Topic:
hard real time systems
Topic:
proving concurrent programs
Quotation Skeleton
Allocation within Eventrons is not permitted; neither is … Validation occurs at run-time … before an Eventron may be scheduled. By choosing … simple [bytecode] analysis whose restrictions are easy for … a known set of previously instantiated objects. The … real-time applications. … [p. 286] [Validation creates] a data-specific call graph … and [performs] a set of checks on the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: just-in-time compilation (20 items)
Topic: hard real time systems (64 items)
Topic: proving concurrent programs (37 items)