https://github.com/totalverb/rebobinar
https://github.com/totalverb/rebobinar
Last synced: 5 months ago
JSON representation
- Host: GitHub
- URL: https://github.com/totalverb/rebobinar
- Owner: TotalVerb
- License: other
- Created: 2016-03-11T21:22:57.000Z (over 10 years ago)
- Default Branch: master
- Last Pushed: 2016-03-11T21:25:22.000Z (over 10 years ago)
- Last Synced: 2025-05-25T12:38:24.949Z (about 1 year ago)
- Size: 14.6 KB
- Stars: 0
- Watchers: 1
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
- License: LICENSE.md
Awesome Lists containing this project
README
# rebobinar
## What's it about?
`rebobinar` is a virtual machine that works on an persistent RAM. Instead of
changing the RAM on each operation, instead a new copy of the RAM is created.
This sounds wasteful, but through the power of tries, the amount of extra space
and time that is needed on each operation is proportional to the size of a
pointer rather than the size of the RAM.
The benefit of this approach is that as many past states as needed can be saved.
Hence, "snapshots" of state can be taken. This makes time random-access! That
is, programs running on the `rebobinar` virtual machine can be "run backwards"
in some sense, and any arbitrary state in the past revisited.
## Why the name?
`rebobinar` is Spanish for "rewind".
## What's the architecture?
While it would be nice for `rebobinar` to implement an established VM, like the
LLVM bytecode, the current architecture implemented is a simple machine language
in Julia macro-like syntax.
### Architecture Details
Currently supported operations are: none yet