A Theory of Computer Instructions
Journal of the ACM (JACM)
Communication and Concurrency
Introduction to Process Algebra
Introduction to Process Algebra
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
A survey of processors with explicit multithreading
ACM Computing Surveys (CSUR)
Micro-Threading: A New Approach to Future RISC
ACAC '00 Proceedings of the 5th Australasian Computer Architecture Conference
A theory of computer instructions
Science of Computer Programming
IWANN'11 Proceedings of the 11th international conference on Artificial neural networks conference on Advances in computational intelligence - Volume Part II
Hi-index | 0.00 |
The SANE Virtual Processor (SVP) is a fine-grain, thread-based model of concurrent program composition developed and used at the University of Amsterdam as a basis for designing and programming many-core chips. Its design goal was to support dynamic concurrency and hence support self-adaptive systems within the AETHER collaborative European project. It provides an effective solution for programming chip multiprocessor systems [1,2,3]. In this paper, we take thread algebra [4], a semantics for recent object-oriented programming languages such as C# and Java, as a theoretical framework to the verification and evaluation of SVP. We show how a SVP program behavior can be determined in TAsvp , an extension of thread algebra with the features of SVP, and prove that SVP programs satisfy the determinism property, i.e. the programs always give the same result, a key property of the sequential paradigm that SVP will replace.