Mechanistic Behavior of Single-Pass Instruction Sequences
Loading...
Date
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Earlier work on program and thread algebra detailed the functional, observable behavior of programs under execution. In this article we add the modeling of unobservable, mechanistic processing, in particular processing due to jump instructions. We model mechanistic processing preceding some further behavior as a delay of that behavior; we borrow a unary delay operator from discrete time process algebra. We define a mechanistic improvement ordering on threads and observe that some threads do not have an optimal implementation.
12 pages
12 pages