The Transterpreter: A Transputer Interpreter
نویسندگان
چکیده
This paper reports on the Transterpreter: a virtual machine for executing the Transputer instruction set. This interpreter is a small, portable, efficient and extensible run-time. It is intended to be easily ported to handheld computers, mobile phones, and other embedded contexts. In striving for this level of portability, occam programs compiled to Transputer byte-code can currently be run on desktop computers, handhelds, and even the LEGO Mindstorms robotics kit.
منابع مشابه
Native Code Generation Using the Transterpreter
We are interested in languages that provide powerful abstractions for concurrency and parallelism that execute everywhere, efficiently. Currently, the existing runtime environments for the occam-π programming language provide either one of these features (portability) or some semblance of the other (performance). We believe that both can be achieved through the careful generation of C from occa...
متن کاملA process oriented approach to solving problems of parallel decomposition and distribution
This thesis argues that there is a modern, broad and growing need for programming languages and tools supporting highly concurrent complex systems. It claims traditional approaches based on threads and locks, are non-compositional and do not scale. Instead, it focuses on occam-pi, a derivative from classical Transputer occam whose process oriented concurrency model is based on a combination of ...
متن کاملAn Approach to Veriiable Compiling Speciication and Prototyping
A compiler may be speciied as a set of theorems, each describing how a construct in the programming language is translated into a sequence of machine instructions. The machine may be speciied as an interpreter written in the programming language itself. Using reenement algebra, it can then be veriied that interpreting a compiled program is the same or better than executing the original source p...
متن کاملVirtual Machine Based Debugging for occam-π
While we strive to create robust language constructs and design patterns which prevent the introduction of faults during software development, an inevitable element of human error still remains. We must therefore endeavor to ease and accelerate the process of diagnosing and fixing software faults, commonly known as debugging. Current support for debugging occam-π programs is fairly limited. At ...
متن کاملAn Approach to Veri able Compiling Speci cation and Prototyping
A compiler may be speci ed as a set of theorems, each describing how a construct in the programming language is translated into a sequence of machine instructions. The machine may be speci ed as an interpreter written in the programming language itself. Using re nement algebra, it can then be veri ed that interpreting a compiled program is the same or better than executing the original source p...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004