Map
Index
Random
Help
th

Quote: validate Eventrons at run-time before scheduling; no allocation or pointer modification; creates a data-specific call graph

QuoteRef: spooD6_2006 , p. 284



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.


Related Topics up

Topic: just-in-time compilation (20 items)
Topic: hard real time systems (64 items)
Topic: proving concurrent programs (37 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.