It sounds analogous to the question of deterministic memory usage (vs GC), but at a hardware level and for runtime instead of memory