Design and implementation of virtual machines, interpreters, automata, Turing machines. **DO NOT** use this tag for virtualized computers (VirtualBox, VMWare, ...), unless the question address the implementation of such tools.
Questions tagged [vm-implementation]
294 questions
-1
votes
1 answer
What does depth refer to in Isar Virtual Machine output?
Here is a proof:
theory Example
imports Main
begin
datatype natural = Zero | Succ natural
lemma "⋀ n. n = Succ m ⟹ n ≠ Zero"
proof -
fix n
assume "n = Succ m"
from this show "n ≠ Zero" by (metis natural.distinct(2))
qed
end
The depth value…
Gergely
- 6,879
- 6
- 25
- 35
-1
votes
1 answer
Decode a word instruction in java
I'm trying to to write a program that simulates a virtual machine in Java for an assignment. It will be a register-based VM that will, obviously, store and execute numerous instructions. I'm having a problem with how to decode the machine…
rjw0924
- 19
- 1
- 3
-1
votes
2 answers
Are all interpreters virtual machines?
When I first read about interpreters I was under the impression they took the source language and, one statement at a time, translated it into machine language and fed it to the CPU to be executed.
However, I just learned interpreters execute the…
user4540080
- 17
- 6
-1
votes
1 answer
What's an efficient way to store variables? (Home-Built Virtual Machine)
Me and a friend of mine are thinking about writing our own Programming Language, using just-in-time compilation. We agreed about the Assembly we are going to use but one thing we aren't quite sure on is how to store variables. What we did agree on…
Jeroen
- 15,257
- 12
- 59
- 102
-1
votes
1 answer
Dalvik virtual machine instruction set and architecture
How does the Dalvik virtual machine compare to a real hardware platform such as X86 or ARM?
How many registers does Dalvik have?
8 like the X86
16 like most common CPUs
Infinity with register window like Parrot VM
What type of instruction is…
zeitue
- 1,674
- 2
- 20
- 45
-1
votes
2 answers
how to write a simple VM in java in a similar fashion to c/c++ and LLVM
I want to create a very minimalistic virtual machine with limited set of instructions in java.
I know how to do it in c/c++ with combination of LLVM but I want to try it in java as well how can I do it in java since I don't have access to LLVM how…
Vahid Hashemi
- 5,182
- 10
- 58
- 88
-2
votes
1 answer
Encoding a .json file for a bytecode vm
I'm trying to make a Bytecode VM in python just for fun, as a hobby project, but i have a problem, how i can encode a json file like this:
{
"code": [["0xf2", "Hello"], ["0xf3", 1]],
"constants": []
}
into some file format, something like…
Isaac Vinícius
- 21
- 1
- 11
-3
votes
1 answer
My C++ compiles in Clang but not GCC
I'm writing a virtual machine in C++ and it compiles in Clang but it just gives loads of errors when I compile it in GCC. Can anyone tell me why? I don't see how my code will compile in one compiler but it won't compile in another compiler. Should…
user3566150
- 233
- 1
- 3
- 10
-4
votes
3 answers
How to create binaries for virtual machines?
Recently I have been extremely interested in language development, I've got multiple working front ends and have had various systems for executing the code. I've decided I would like to try to develop a virtual machines type system. (Kind of like…
APott
- 318
- 4
- 11