Skip to content
Projects
Groups
Snippets
Help
Loading...
Help
Support
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
N
nebula
Project
Project
Details
Activity
Releases
Cycle Analytics
Repository
Repository
Files
Commits
Branches
Tags
Contributors
Graph
Compare
Charts
Issues
0
Issues
0
List
Boards
Labels
Milestones
Merge Requests
0
Merge Requests
0
CI / CD
CI / CD
Pipelines
Jobs
Schedules
Charts
Wiki
Wiki
Snippets
Snippets
Members
Members
Collapse sidebar
Close sidebar
Activity
Graph
Charts
Create a new issue
Jobs
Commits
Issue Boards
Open sidebar
exchain
nebula
Commits
5a9ac9f7
Unverified
Commit
5a9ac9f7
authored
Jul 14, 2023
by
inphi
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
clarify heap vm state
parent
12f3c6eb
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
2 additions
and
2 deletions
+2
-2
cannon-fault-proof-vm.md
specs/cannon-fault-proof-vm.md
+2
-2
No files found.
specs/cannon-fault-proof-vm.md
View file @
5a9ac9f7
...
@@ -46,7 +46,7 @@ It consists of the following fields:
...
@@ -46,7 +46,7 @@ It consists of the following fields:
when executing a branch/jump delay slot.
when executing a branch/jump delay slot.
6.
`lo`
- 32-bit MIPS LO special register.
6.
`lo`
- 32-bit MIPS LO special register.
7.
`hi`
- 32-bit MIPS HI special register.
7.
`hi`
- 32-bit MIPS HI special register.
8.
`heap`
- 32-bit base address of the most recent
ly allocated page in the free store
.
8.
`heap`
- 32-bit base address of the most recent
memory allocation via mmap
.
9.
`exitCode`
- 8-bit exit code.
9.
`exitCode`
- 8-bit exit code.
10.
`exited`
- 1-bit indicator that the VM has exited.
10.
`exited`
- 1-bit indicator that the VM has exited.
11.
`registers`
- General-purpose MIPS32 registers. Each register is a 32-bit value.
11.
`registers`
- General-purpose MIPS32 registers. Each register is a 32-bit value.
...
@@ -65,7 +65,7 @@ location as the entire address space is unprotected.
...
@@ -65,7 +65,7 @@ location as the entire address space is unprotected.
### Heap
### Heap
FPVM state contains a
`heap`
that tracks the
current address of the free store used for
memory allocation.
FPVM state contains a
`heap`
that tracks the
base address of the most recent
memory allocation.
Heap pages are bump allocated at the page boundary, per
`mmap`
syscall. The page size is 4096.
Heap pages are bump allocated at the page boundary, per
`mmap`
syscall. The page size is 4096.
The FPVM has a fixed program break at
`0x40000000`
. However, the FPVM is permitted to extend the
The FPVM has a fixed program break at
`0x40000000`
. However, the FPVM is permitted to extend the
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment