Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/fchauvel/rasp-machine
Random Access Stored Procedure machine as proposed by Cook & Reckow in 1973
https://github.com/fchauvel/rasp-machine
Last synced: 13 days ago
JSON representation
Random Access Stored Procedure machine as proposed by Cook & Reckow in 1973
- Host: GitHub
- URL: https://github.com/fchauvel/rasp-machine
- Owner: fchauvel
- License: mit
- Created: 2021-05-07T19:49:07.000Z (over 3 years ago)
- Default Branch: main
- Last Pushed: 2021-05-22T08:58:48.000Z (over 3 years ago)
- Last Synced: 2024-10-05T21:06:51.213Z (3 months ago)
- Language: Python
- Size: 104 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- Changelog: CHANGELOG.md
- License: LICENSE
Awesome Lists containing this project
README
# RASP Machines
[](https://pypi.python.org/pypi/RASP-Machine)
[](https://en.wikipedia.org/wiki/MIT_License)
[](https://github.com/fchauvel/rasp-achine/actions)
[](https://codecov.io/gh/fchauvel/rasp-machine)
[](https://www.codacy.com/app/fchauvel/rasp-machine/dashboard)
[](https://pypistats.org/packages/rasp-machine)
This is a small Python 3 emulator for the random access stored
procedure machine (RASP) designed by Cook & Reckhow in 1973 below. I
developed this as a companion tool for a course in algorithms & data
structures, where it helps (I hope) to with understanding computation
models, growth orders and the applicability of the Big-O notation.
* Cook, Stephen A., and Robert A. Reckhow. "Time bounded random access
machines." Journal of Computer and System Sciences 7, no. 4 (1973):
354–375. [DOI](https://doi.org/10.1016/S0022-0000(73)80029-7)
In a nutshell, the RASP machine is a mini computer with eight
instructions, two registers (an accumulator and instruction pointer),
and an I/O device. As a computation model, it closely resembles an
actual computer, as opposed to a Turing machine for instance.
## How to install RASP?
The simplest way to install the latest version is to use PyPI as
follows:
```shell
$ pip install rasp-machine
```
Please, refer to the [documentation](https://fchauvel.github.io/rasp-machine)
for a more comprehensive help!
## How to use the RASP machine?
### A Simple Program: Adding Two Integers
Let us consider a tiny program for the rasp machine. To simplify
writing programs, RASP provides a simple assembly language, as shown
below, with the code needed to read two integers from the I/O device
and to print their sum back onto it.
```
segment: data
left 1 0
right 1 0
result 1 0
segment: code
read left ;; left = user_input()
read right ;; right = user_input()
load 0
add left
add right
store result ;; result = left + right
print result
halt -1
```
Provided we save the code above into a file named `addition.asm`, we
can get the associated machine code, using the following command
```shell-session
$ rasp assemble addition.asm
Machine code saved in 'addition.rx'
```
Note that the option `--debug` will yield machine code that contains
debugging information, useful when using the debugger.
### Debugging & Executing RASP
Now we have the machine code, we can execute it using the following commands:
```shell-session
$ rasp execute addition.rx
rasp? 10
rasp? 20
30
```
Note that you can extract some performance measure (CPU cycle, read,
writes, etc.) using the `--use-profiler` option.
Should there be any problem with the execution, we can start the
associated debugger with the command:
```shell-session
$ rasp debug addition.rx
RASP-Machine 0.1.0
┼ debug >
```