Formalizing SANE virtual processor in thread algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4789 LNCS, Issue , 2007, Pages 345-365

  Vu, Thuy Duong ^a   Jesshope, Chris ^a  

^a UNIVERSITY OF AMSTERDAM   (Netherlands)

Author keywords

Microthreading; SANE virtual processor; Thread algebra

Indexed keywords

ADAPTIVE SYSTEMS; ALGEBRA; FORMAL METHODS; JAVA PROGRAMMING LANGUAGE; MICROPROCESSOR CHIPS; OBJECT ORIENTED PROGRAMMING;

MICROTHREADING; SEQUENTIAL PARADIGM; THREAD ALGEBRA; VIRTUAL PROCESSORS;

PROGRAM PROCESSORS;

EID: 38149070321     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76650-6_20     Document Type: Conference Paper

References (24)

1. Bolychevsky, A., Jesshope, C., Muchnick, V.: Dynamic sheduling in rics architectures. IEE Proceedings Computers and Digital Techniques 143(5), 309-317 (1996)
2. Bousias, K., Hasasneh, N., Jesshope, C.: Instruction-level parallelism through Microthreading-a scalable Approach to chip multiprocessors. The Computer Journal 49 (2), 211-233 (2006)
3. Jesshope, C.: Microthreading a model for distributed instruction-level concurrency. Parallel Processing Letters 16 (2), 209-228 (2006)
4. Bergstra, J., Middelburg, C.: Thread algebra for strategic interleaving. Formal Aspects of Computing. Preliminary version: Computer Science Report PRG0404: Sectie Software Engineering, University of Amsterdam (to appear, 2007)
5. Jesshope, C., Luo, B.: Micro-threading: A new approach to future rise. In: ACAC 2000, pp. 31-41. IEEE Computer Society Press, Los Alamitos (2000)
6. Jesshope, C.: Multithreaded microprocessors evolution or revolution. In: Omondi, A.R., Sedukhin, S. (eds.) ACSAC 2003. LNCS, vol. 2823, pp. 21-45. Springer, Heidelberg (2003)
7. Bergstra, J., Middelburg, C.: Maurer computers with single-thread control. Fun-damenta Informaticae (to appear, 2007)
8. Maurer, W.: A theory of computer instructions. Journal of ACM 13(2), 226-235 (1966)
9. Maurer, W.: A theory of computer instructions. Science of Computer Programming 55(1/2), 1-19 (2006)
10. Hopcroft, J., Motwani, R., Ullman, J.: Introduction to Automata Theory, Languages and Computation, 2nd edn. Addition-Wesley, Reading, MA (2001)
11. Bergstra, J., Middelburg, C.: Simulating turing machines on maurer machines. CS-Report 05-28, Department of mathematics and computer science, Technische Universiteit Eindhoven (2005)
12. Bergstra, J., Middelburg, C.: Maurer computers for pipelined instruction processing. CS-Report 06-12, Department of mathematics and computer science, Technische Universiteit Eindhoven (2006)
13. Bergstra, J., Middelburg, C.: Synchronous cooperation for explicit multi-threading. CS-Report 06-29, Department of mathematics and computer science, Technische Universiteit Eindhoven (2006)
14. Vu, T., Jesshope, C.: Thread algebra for SANE virtual processors (2007), available at http://staff.science.uva.nl/~jesshope
15. Jesshope, C.: SVP and μTC-A dynamic model of concurrency and its implementation as a compiler target (2006), http://staff.science.uva.nl/ ~jesshope/Papers/uTC-paper.pdf
16. Bergstra, J., Loots, M.: Program algebra for sequential code. J. of Logic and Algebraic Programming 51, 125-156 (2002)
17. Baeten, J., Bergstra, J.: Process algebra with signals and conditions. In: Broy, M. (ed.) Programming and Mathematical Methods. NATO ASI Series, vol. F88, pp. 1-21 (1992)
18. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
19. Bergstra, J., Klop, J.: Process algebra for synchronous communication. Inform. and Control 60 (1-3), 109-137 (1984)
20. Ungerer, T., Robič, B., Šilc, J.: A survey of processors with explicit multithreading. ACM Computing Surveys 35 (1), 29-63 (2003)
21. Fokkink, W.: Introduction to Process Algebra. EATCS Series. Springer, Heidelberg (2000)
22. Bakker, J., Zucker, J.: Processes and the denotational semantics of concurrency. Information and Control 54(1/2), 70-120 (1982)
23. Plotkin, G.: A structural approach to operational semantics. Aarhus DAIMI FN-19, Computing Science Department (1981)
24. Aceto, L., Fokkink, W., Verhoef, C.: Structural operational semantics. In: Bergstra, J., Ponse, A., Smolka, S. (eds.) Handbook of Process Algebra, pp. 197-222. Elsevier, Amsterdam (2001)