Typing assembly programs with explicit forwarding

Lennart Beringer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

We consider processor architectures where communication of values is achieved through operand queues instead of registers. Explicit forwarding tags in an instruction's code denote the source of its operands and the destination of its result. We give operational models for sequential and distributed execution, where no assumptions are made about the relative speed of functional units. We introduce type systems which ensure that programs use the forwarding mechanism in a coordinated way, ruling out various run time hazards. Deadlocks due to operand starvation, operand queue mismatches, non-determinism due to race conditions and deadlock due to the finite length of operand queues are eliminated. Types are based on the shape of operand queue configurations, abstracting from the value of an operand and from the order of items in operand queues. Extending ideas from the literature relating program fragments adjacent in the control flow graph, the type system is generalised to forwarding across basic blocks.

Original languageEnglish (US)
Title of host publicationTheoretical Aspects of Computer Software - 4th International Symposium, TACS 2001, Proceedings
EditorsNaoki Kobayashi, Benjamin C. Pierce
PublisherSpringer Verlag
Pages514-534
Number of pages21
ISBN (Print)3540427368, 9783540427360
DOIs
StatePublished - 2001
Externally publishedYes
Event4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001 - Sendai, Japan
Duration: Oct 29 2001Oct 31 2001

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume2215
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference4th International Symposium on Theoretical Aspects of Computer Software, TACS 2001
Country/TerritoryJapan
CitySendai
Period10/29/0110/31/01

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Typing assembly programs with explicit forwarding'. Together they form a unique fingerprint.

Cite this