Thread extraction for polyadic instruction sequences

Abstract

In this paper, we study the phenomenon that instruction sequences are split into fragments which somehow produce a joint behaviour. In order to bring this phenomenon better into the picture, we formalize a simple mechanism by which several instruction sequence fragments can produce a joint behaviour. We also show that, even in the case of this simple mechanism, it is a non-trivial matter to explain by means of a translation into a single instruction sequence what takes place on execution of a collection of instruction sequence fragments.

21 pages; error corrected; presentation improved

References in corpus (5)

• Instruction sequences with indirect jumps
• Projection semantics for rigid loops
• Interface groups and financial transfer architectures
• Program algebra with a jump-shift instruction
• Instruction sequences with dynamically instantiated instructions

Cited by in corpus (12)

• Instruction sequences and non-uniform complexity theory
• On the expressiveness of single-pass instruction sequences
• Tuplix Calculus Specifications of Financial Transfer Networks
• Short-circuit logic
• Transmission protocols for instruction streams
• Instruction sequence notations with probabilistic instructions
• Meadow enriched ACP process algebras
• A process calculus with finitary comprehended terms
• About Instruction Sequence Testing
• Four Conceptions of Instruction Sequence Faults
• Instruction sequences for the production of processes
• A protocol for instruction stream processing