Title

Partial Program Admission

Authors

Michael Wilson, Washington University in St Louis
Ron Cytron, Washington University in St LouisFollow
Jon Turner, Washington University in St LouisFollow

Document Type

Technical Report

Department

Computer Science and Engineering

Publication Date

2009

Filename

wucse-2009-1.pdf

DOI:

10.7936/K7445JR7

Technical Report Number

WUCSE-2009-1

Abstract

Real-time systems on non-preemptive platforms require a means of bounding the execution time of programs for admission purposes. Worst-Case Execution Time (WCET) is most commonly used to bound program execution time. While bounding a program’s WCET statically is possible, computing its true WCET is difficult.We present a new technique we call partial program admission, a means of statically enforcing an otherwise untrusted assertion of WCET without adding runtime overhead, by means of code duplication. We apply this technique to real programs from the virtual networking arena and present the results.

Comments

Permanent URL: http://dx.doi.org/10.7936/K7445JR7

Recommended Citation

Wilson, Michael; Cytron, Ron; and Turner, Jon, "Partial Program Admission" Report Number: WUCSE-2009-1 (2009). All Computer Science and Engineering Research.
https://openscholarship.wustl.edu/cse_research/2