Vmmap unit tests #465

Shounak-Ghosh · 2025-10-14T15:43:43Z

This PR creates unit tests for vmmap.rs and closes #400. Documentation of the unit tests and the key findings have been added as part of the cage lib README.

These are the results when running the tests:

failures:
memory::vmmap::tests::test_change_prot_end_of_region
memory::vmmap::tests::test_change_prot_exact_boundaries
memory::vmmap::tests::test_change_prot_middle_of_region
memory::vmmap::tests::test_change_prot_multiple_times
memory::vmmap::tests::test_change_prot_spanning_multiple_regions
memory::vmmap::tests::test_change_prot_to_none
memory::vmmap::tests::test_change_prot_to_same_value
memory::vmmap::tests::test_find_map_space_with_hint_alignment_in_pages

test result: FAILED. 14 passed; 8 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.00s

…unctions

github-actions · 2025-10-14T15:57:29Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	33
Number of Successes	33
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
Config Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
File Tests
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
printf.c	Success	None	Hello, World!
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
makepipe.c	Success	None
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
function-ptr.c	Success	None	Hello, World!
hello.c	Success	None	wark
noforkfiles.c	Success	None
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	20
Number of Successes	20
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
Config Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
sysconf.c	Success	None	calling sysconf(sysconf())
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 4465 clock ticks End time: 6713 clock ticks Elapsed CPU time: 0.002248 seconds
clock_gettime_simple.c	Success	None	Current time: 1760457206 seconds and 796969046 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Error in open() : No such file or directory
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Error in statfs : No such file or directory
Memory Tests
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
Networking Tests
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
Process Tests
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2

github-actions · 2025-10-14T16:19:06Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	33
Number of Successes	33
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
Config Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
File Tests
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
printf.c	Success	None	Hello, World!
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
makepipe.c	Success	None
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
function-ptr.c	Success	None	Hello, World!
hello.c	Success	None	wark
noforkfiles.c	Success	None
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	20
Number of Successes	20
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
Config Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
sysconf.c	Success	None	calling sysconf(sysconf())
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 4371 clock ticks End time: 6646 clock ticks Elapsed CPU time: 0.002275 seconds
clock_gettime_simple.c	Success	None	Current time: 1760458555 seconds and 716958867 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Error in open() : No such file or directory
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Error in statfs : No such file or directory
Memory Tests
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
Networking Tests
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
Process Tests
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2

Yaxuan-w

Thanks for adding this! Left a minor suggestion, and one place I'm a bit confused, would love to get more clarification:

I ran cargo test --lib memory::vmmap and met:

running 22 tests
test memory::vmmap::tests::test_add_entry_strict_no_overlap ... ok
test memory::vmmap::tests::test_add_entry_with_overwrite_partial_overlap ... ok
test memory::vmmap::tests::test_add_entry_with_overwrite_replaces_existing_full_overlap ... ok
test memory::vmmap::tests::test_change_prot_beginning_of_region ... ok
test memory::vmmap::tests::test_change_prot_end_of_region ... FAILED
test memory::vmmap::tests::test_change_prot_exact_boundaries ... FAILED
test memory::vmmap::tests::test_add_entry_with_overwrite_exact_boundaries ... ok
test memory::vmmap::tests::test_change_prot_entire_region ... ok
test memory::vmmap::tests::test_change_prot_multiple_times ... FAILED
test memory::vmmap::tests::test_change_prot_preserves_backing_type ... ok
test memory::vmmap::tests::test_change_prot_preserves_maxprot ... ok
test memory::vmmap::tests::test_change_prot_spanning_multiple_regions ... FAILED
test memory::vmmap::tests::test_change_prot_to_none ... FAILED
test memory::vmmap::tests::test_change_prot_middle_of_region ... FAILED
test memory::vmmap::tests::test_change_prot_to_same_value ... ok
test memory::vmmap::tests::test_find_map_space_with_hint_alignment_in_pages ... FAILED
test memory::vmmap::tests::test_find_map_space_with_hint_large_page_number ... ok
test memory::vmmap::tests::test_find_map_space_with_hint_searches_from_hint_page ... ok
test memory::vmmap::tests::test_find_map_space_with_hint_uses_page_number ... ok
test memory::vmmap::tests::test_find_map_space_with_hint_zero_hint ... ok
test memory::vmmap::tests::test_find_space_returns_none_when_full ... ok
test memory::vmmap::tests::test_add_entry_with_overwrite_removes_completely_covered_entries ... ok

We only consider adding tests in this PR, and bug fixes will be included in another PR, right?

Yaxuan-w · 2025-10-14T16:28:41Z

src/cage/README.md

+## Test Categories
+
+### 1. Memory Protection Change Tests (`change_prot`)
+
+These tests verify that the `change_prot` function correctly modifies memory protection flags while preserving other entry attributes.
+
+#### Key Tests:
+- **`test_change_prot_entire_region`** - Verifies that changing protection on an entire region doesn't fragment it
+- **`test_change_prot_middle_of_region`** - Confirms proper splitting into 3 parts when modifying middle pages
+- **`test_change_prot_beginning_of_region`** - Tests splitting into 2 parts when modifying start pages
+- **`test_change_prot_end_of_region`** - Tests splitting into 2 parts when modifying end pages
+- **`test_change_prot_spanning_multiple_regions`** - Verifies correct handling across multiple non-contiguous regions
+- **`test_change_prot_to_same_value`** - Ensures no fragmentation when protection doesn't actually change
+- **`test_change_prot_exact_boundaries`** - Tests single-page modifications and precise boundary handling
+- **`test_change_prot_multiple_times`** - Verifies correct state after successive protection changes
+- **`test_change_prot_to_none`** - Tests setting protection to `PROT_NONE`
+- **`test_change_prot_preserves_backing_type`** - Confirms backing type (Anonymous, SharedMemory, etc.) is preserved
+- **`test_change_prot_preserves_maxprot`** - Ensures `maxprot` field remains unchanged
+
+**Key Insight**: `change_prot` only modifies the `prot` field while preserving all other entry attributes including `maxprot`, `backing`, `flags`, etc.
+
+### 2. Entry Overwrite Behavior Tests (`add_entry_with_overwrite`)
+
+These tests clarify what "overwrite" actually means in the context of adding memory entries.
+
+#### Key Tests:
+- **`test_add_entry_with_overwrite_replaces_existing_full_overlap`** - Demonstrates that overlapping entries are completely replaced, not merged
+- **`test_add_entry_with_overwrite_partial_overlap`** - Shows how partial overlaps cause existing entries to be split
+- **`test_add_entry_with_overwrite_removes_completely_covered_entries`** - Verifies that entries fully covered by new entry are removed
+- **`test_add_entry_with_overwrite_exact_boundaries`** - Tests behavior at exact boundaries (adjacent but non-overlapping)
+
+**Key Insight**: "Overwrite" means existing overlapping entries are replaced or split, not merged. The new entry's attributes completely replace the old entry's attributes in the overlapping region.
+
+### 3. Address Space Allocation Tests (`find_map_space_with_hint`)
+
+These tests clarify parameter expectations and search behavior for finding available address space.
+
+#### Key Tests:
+- **`test_find_map_space_with_hint_uses_page_number`** - **CRITICAL**: Confirms hint parameter is a PAGE NUMBER, not a byte address
+- **`test_find_map_space_with_hint_searches_from_hint_page`** - Verifies search begins at the hint page
+- **`test_find_map_space_with_hint_zero_hint`** - Shows that hint=0 searches from the beginning
+- **`test_find_map_space_with_hint_large_page_number`** - Confirms page-based behavior with large page numbers
+- **`test_find_map_space_with_hint_alignment_in_pages`** - Verifies alignment (`pages_per_map`) is also in pages
+
+**Key Insight**: All parameters to `find_map_space_with_hint` are in PAGE UNITS, not byte addresses. This includes:
+- `hint`: starting page number for search
+- `npages`: number of pages needed
+- `pages_per_map`: alignment requirement in pages
+- Return value: interval of page numbers
+
+### 4. Additional Function Behavior Tests
+
+#### Key Tests:
+- **`test_add_entry_strict_no_overlap`** - Demonstrates that `add_entry` (without overwrite) uses strict insertion and rejects overlaps
+- **`test_find_space_returns_none_when_full`** - Verifies proper `None` return when no space is available
+
+## Important Clarifications from Tests
+
+1. **Page Numbers vs Addresses**: All vmmap operations use page numbers internally, not byte addresses
+2. **Entry Splitting**: Operations that modify part of an entry create new entries for unchanged portions
+3. **Attribute Preservation**: Protection changes preserve maxprot, backing type, and other metadata
+4. **Overwrite Semantics**: "Overwrite" means replace, not merge - new entry attributes completely override old ones
+5. **Strict vs Overwrite**: `add_entry` rejects overlaps; `add_entry_with_overwrite` handles them by splitting/replacing
+


Could we put these into vmmap.rs? (after implementation, before tests)

yeah i think this probably needs to be paired down a bunch though, a lot of this is overwhelming/unescessary

yeah i think this probably needs to be paired down a bunch though, a lot of this is overwhelming/unescessary

The tests themselves look good. Do you mean there shouldn't be such an extensive (and seemingly AI generated) README addition? I agree, that the doc here could be summarized in a few sentences.

However, a brief comment before each test about its purpose, etc. seems reasonable, so maybe those comments should move there.

github-actions · 2025-10-18T23:49:02Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	45
Number of Successes	45
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
filetest.c	Success	None
filetest1000.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
printf.c	Success	None	Hello, World!
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv.c	Success	None
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	41
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6502 clock ticks End time: 8802 clock ticks Elapsed CPU time: 0.0023 seconds
clock_gettime_simple.c	Success	None	Current time: 1760831228 seconds and 524398281 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Error in open() : No such file or directory
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Error in statfs : No such file or directory
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	2�1d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Success	None	SERVER: New socket bound and listen SERVER: NEW CONNECTION CLIENT: Hello message sent Hello from client Message Received CLIENT: sending followup Did you get my message? CLIENT: Closed connection Closed connection on descriptor 6 read error: Connection reset by peer
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Parent: Testing open in parent: pid 2! Child: Testing open in child: pid 0! Parent: Pid 2 opened fd -1 Child: Pid 0 opened fd -1
forkfiles.c	Success	None	read -1 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the child I'm the PARENT all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=3 parent in loop, pid=1
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 Caught signal 10 start of signal handler child ready to send SIGUSR1 again child done kill Caught signal 10 start of signal handler end of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

rennergade · 2025-10-19T03:38:09Z

src/cage/README.md

+- Return value: interval of page numbers
+
+
+## Important Clarifications from Unit Tests


this section is a bit weirdly phrased. we do want to know how this is structured but its phrased like we just found this out?

perhaps cross-reference the docs that talks about memory and make sure its consistent

github-actions · 2025-10-20T18:32:02Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	46
Number of Successes	46
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
filetest.c	Success	None
filetest1000.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
printf.c	Success	None	Hello, World!
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv.c	Success	None
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
sigprocmask.c	Success	None	blocking SIGUSR2 Sending SIGUSR2 Sleeping 1 second unblocking signal Signal Handler! Exiting program

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	41
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of GCC and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6472 clock ticks End time: 8729 clock ticks Elapsed CPU time: 0.002257 seconds
clock_gettime_simple.c	Success	None	Current time: 1760984995 seconds and 796174175 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Error in open() : No such file or directory
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Error in statfs : No such file or directory
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	2�9d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Success	None	SERVER: New socket bound and listen SERVER: NEW CONNECTION CLIENT: Hello message sent Hello from client Message Received CLIENT: sending followup Did you get my message? CLIENT: Closed connection Closed connection on descriptor 6 read error: Connection reset by peer
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Child: Testing open in child: pid 0! Parent: Testing open in parent: pid 2! Parent: Pid 2 opened fd -1 Child: Pid 0 opened fd -1
forkfiles.c	Success	None	read -1 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the PARENT I'm the child all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=1 after fork inside signal handler, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=1 after fork inside signal handler, pid=3 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 child ready to send SIGUSR1 again Caught signal 10 child done kill Caught signal 10 start of signal handler end of signal handler start of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

ChinmayShringi · 2025-10-23T22:22:45Z

src/cage/src/memory/vmmap.rs

+        vmmap.start_address = 0;
+        vmmap.end_address = 1000;
+
+        // Add entries leaving gap at pages 50-99


I think the gap is incorrect. Should be: 40-99
pages 10-39 (ends at 40)
pages 100-149 (starts at 100)

ssannkkallpp

Mostly looks ok to me, I do see the following tests failing on this branch as of now. Is the idea to fix the test errors in a subsequent PR?

memory::vmmap::tests::test_change_prot_end_of_region memory::vmmap::tests::test_change_prot_exact_boundaries memory::vmmap::tests::test_change_prot_middle_of_region memory::vmmap::tests::test_change_prot_multiple_times memory::vmmap::tests::test_change_prot_spanning_multiple_regions memory::vmmap::tests::test_change_prot_to_none memory::vmmap::tests::test_find_map_space_with_hint_alignment_in_pages

… in mkdocs.yml

github-actions · 2025-10-28T00:12:46Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	67
Number of Successes	67
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Mode changed successfully
close.c	Success	None	File opened and closed 2000 times successfully.
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
fchmod.c	Success	None	Mode changed successfully
fcntl.c	Success	None	Original FD: 3 F_DUPFD duplicated FD: 100 F_DUPFD_CLOEXEC duplicated FD: 101 Original FD flags: FD flags = 0x0 F_DUPFD duplicated FD flags: FD flags = 0x0 F_DUPFD_CLOEXEC duplicated FD flags: FD flags = 0x1 After F_SETFD on F_DUPFD duplicated FD: FD flags = 0x1 Test completed successfully.
fdatasync.c	Success	None
filetest.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
filetest1000.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
fstat.c	Success	None	running fstat("testfiles/fstatfile.txt") size: 19
fsync.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
mkdir_rmdir.c	Success	None	Created directory successfully Removed directory successfully
open.c	Success	None	File opened successfully with fd = 3
pread_pwrite.c	Success	None	[file is opened] [succeeded write(1) process] [reading(1) data] from pwrite.txt [Lind is amazing!] ----------------------------------- [succeeded write(2) process] [reading(2) data] from pwrite.txt [NYU is amazing!] [succeeded in close]
printf.c	Success	None	Hello, World!
readbytes.c	Success	None	This is a test of the wonderful fork call in lind.�
readlink.c	Success	None	=== Test Case 1: Valid symbolic link === Symbolic link points to: /src/RawPOSIX/tmp/testfiles/readlinkfile.txt === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === Symbolic link truncated result: /src/ === Test Case 4: Non-existent path === Expected failure: No such file or directory
rename.c	Success	None	SUCCESS WITH RENAMING
stat.c	Success	None	running stat("testfiles/statfile.txt") size: 18
sync_file_range.c	Success	None	sync_file_range test completed successfully.
truncate.c	Success	None	Test truncate(const char *, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success Test ftruncate(int, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success
unlinkat.c	Success	None	=== Test Case 1: Remove valid file === Test Case 1: Successfully removed testfiles/unlinkatfile.txt === Test Case 2: Remove non-existent file === Test Case 2: Expected failure: No such file or directory === Test Case 3: Remove file in a subdirectory === Test Case 3: Successfully removed file in subdirectory === Test Case 4: Remove a directory with AT_REMOVEDIR === Test Case 4: Successfully removed directory testfiles/unlinkatsubdir === Test Case 5: Remove a directory without AT_REMOVEDIR === Test Case 5: Expected failure: Is a directory
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mmap_file.c	Success	None	Data written to memory-mapped file: Hello, mmap! Data read back from memory-mapped file: Hello, mmap!
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv-arg.c	Success	None	Received argument: hello-arg
forkexecv.c	Success	None	wark
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello-arg.c	Success	None	Received argument: hello-arg
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
setsid.c	Success	None	setsid() succeeded.
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
sigprocmask.c	Success	None	blocking SIGUSR2 Sending SIGUSR2 Sleeping 1 second unblocking signal Signal Handler! Exiting program

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	40
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	1
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6536 clock ticks End time: 8810 clock ticks Elapsed CPU time: 0.002274 seconds
clock_gettime_simple.c	Success	None	Current time: 1761609974 seconds and 154135214 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Filesystem type: 794c7630
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Filesystem type: 794c7630
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	2�7d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Failure	Lind_wasm_Timeout	Timed Out (timeout: 10s)
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Parent: Testing open in parent: pid 2! Child: Testing open in child: pid 0! Parent: Pid 2 opened fd 3 Child: Pid 0 opened fd 3
forkfiles.c	Success	None	This is a test of the wonderful fork call in lind. read 51 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the PARENT I'm the child all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=1 after fork inside signal handler, pid=3 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 child ready to send SIGUSR1 again Caught signal 10 start of signal handler child done kill Caught signal 10 start of signal handler end of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

…md documentation Addressed the commenting issue with the test_find_map_space_with_hint_searches_from_hint_page function

github-actions · 2025-10-28T00:40:24Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	67
Number of Successes	67
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Mode changed successfully
close.c	Success	None	File opened and closed 2000 times successfully.
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
fchmod.c	Success	None	Mode changed successfully
fcntl.c	Success	None	Original FD: 3 F_DUPFD duplicated FD: 100 F_DUPFD_CLOEXEC duplicated FD: 101 Original FD flags: FD flags = 0x0 F_DUPFD duplicated FD flags: FD flags = 0x0 F_DUPFD_CLOEXEC duplicated FD flags: FD flags = 0x1 After F_SETFD on F_DUPFD duplicated FD: FD flags = 0x1 Test completed successfully.
fdatasync.c	Success	None
filetest.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
filetest1000.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
fstat.c	Success	None	running fstat("testfiles/fstatfile.txt") size: 19
fsync.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
mkdir_rmdir.c	Success	None	Created directory successfully Removed directory successfully
open.c	Success	None	File opened successfully with fd = 3
pread_pwrite.c	Success	None	[file is opened] [succeeded write(1) process] [reading(1) data] from pwrite.txt [Lind is amazing!] ----------------------------------- [succeeded write(2) process] [reading(2) data] from pwrite.txt [NYU is amazing!] [succeeded in close]
printf.c	Success	None	Hello, World!
readbytes.c	Success	None	This is a test of the wonderful fork call in lind.�
readlink.c	Success	None	=== Test Case 1: Valid symbolic link === Symbolic link points to: /src/RawPOSIX/tmp/testfiles/readlinkfile.txt === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === Symbolic link truncated result: /src/ === Test Case 4: Non-existent path === Expected failure: No such file or directory
rename.c	Success	None	SUCCESS WITH RENAMING
stat.c	Success	None	running stat("testfiles/statfile.txt") size: 18
sync_file_range.c	Success	None	sync_file_range test completed successfully.
truncate.c	Success	None	Test truncate(const char *, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success Test ftruncate(int, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success
unlinkat.c	Success	None	=== Test Case 1: Remove valid file === Test Case 1: Successfully removed testfiles/unlinkatfile.txt === Test Case 2: Remove non-existent file === Test Case 2: Expected failure: No such file or directory === Test Case 3: Remove file in a subdirectory === Test Case 3: Successfully removed file in subdirectory === Test Case 4: Remove a directory with AT_REMOVEDIR === Test Case 4: Successfully removed directory testfiles/unlinkatsubdir === Test Case 5: Remove a directory without AT_REMOVEDIR === Test Case 5: Expected failure: Is a directory
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mmap_file.c	Success	None	Data written to memory-mapped file: Hello, mmap! Data read back from memory-mapped file: Hello, mmap!
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv-arg.c	Success	None	Received argument: hello-arg
forkexecv.c	Success	None	wark
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello-arg.c	Success	None	Received argument: hello-arg
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
setsid.c	Success	None	setsid() succeeded.
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
sigprocmask.c	Success	None	blocking SIGUSR2 Sending SIGUSR2 Sleeping 1 second unblocking signal Signal Handler! Exiting program

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	40
Number of Failures	1
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	1
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6511 clock ticks End time: 8820 clock ticks Elapsed CPU time: 0.002309 seconds
clock_gettime_simple.c	Success	None	Current time: 1761611604 seconds and 774429180 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Filesystem type: 794c7630
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Filesystem type: 794c7630
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Failure	Lind_wasm_Timeout	Timed Out (timeout: 10s)
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	3�2d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Success	None	SERVER: New socket bound and listen SERVER: NEW CONNECTION CLIENT: Hello message sent Hello from client Message Received CLIENT: sending followup Did you get my message? CLIENT: Closed connection Closed connection on descriptor 6 read error: Connection reset by peer
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Parent: Testing open in parent: pid 2! Child: Testing open in child: pid 0! Parent: Pid 2 opened fd 3 Child: Pid 0 opened fd 3
forkfiles.c	Success	None	This is a test of the wonderful fork call in lind. read 51 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the PARENT I'm the child all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=3
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=1 after fork inside signal handler, pid=3 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 child ready to send SIGUSR1 again child done kill Caught signal 10 Caught signal 10 start of signal handler end of signal handler start of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

qianxichen233 · 2025-10-29T08:24:36Z

src/cage/src/memory/vmmap.rs

+            .unwrap();
+
+        // Change protection to the same value
+        vmmap.change_prot(100, 10, PROT_READ | PROT_WRITE);


if you want to test there is no fragmentation when protection doesn't change, I think you should use a smaller region rather than same region?

Changed protection on a smaller subrange and verify fragmentation doesn't occur

github-actions · 2025-10-30T20:27:14Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	67
Number of Successes	67
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Mode changed successfully
close.c	Success	None	File opened and closed 2000 times successfully.
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
fchmod.c	Success	None	Mode changed successfully
fcntl.c	Success	None	Original FD: 3 F_DUPFD duplicated FD: 100 F_DUPFD_CLOEXEC duplicated FD: 101 Original FD flags: FD flags = 0x0 F_DUPFD duplicated FD flags: FD flags = 0x0 F_DUPFD_CLOEXEC duplicated FD flags: FD flags = 0x1 After F_SETFD on F_DUPFD duplicated FD: FD flags = 0x1 Test completed successfully.
fdatasync.c	Success	None
filetest.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
filetest1000.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
fstat.c	Success	None	running fstat("testfiles/fstatfile.txt") size: 19
fsync.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
mkdir_rmdir.c	Success	None	Created directory successfully Removed directory successfully
open.c	Success	None	File opened successfully with fd = 3
pread_pwrite.c	Success	None	[file is opened] [succeeded write(1) process] [reading(1) data] from pwrite.txt [Lind is amazing!] ----------------------------------- [succeeded write(2) process] [reading(2) data] from pwrite.txt [NYU is amazing!] [succeeded in close]
printf.c	Success	None	Hello, World!
readbytes.c	Success	None	This is a test of the wonderful fork call in lind.�
readlink.c	Success	None	=== Test Case 1: Valid symbolic link === Symbolic link points to: /src/RawPOSIX/tmp/testfiles/readlinkfile.txt === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === Symbolic link truncated result: /src/ === Test Case 4: Non-existent path === Expected failure: No such file or directory
rename.c	Success	None	SUCCESS WITH RENAMING
stat.c	Success	None	running stat("testfiles/statfile.txt") size: 18
sync_file_range.c	Success	None	sync_file_range test completed successfully.
truncate.c	Success	None	Test truncate(const char *, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success Test ftruncate(int, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success
unlinkat.c	Success	None	=== Test Case 1: Remove valid file === Test Case 1: Successfully removed testfiles/unlinkatfile.txt === Test Case 2: Remove non-existent file === Test Case 2: Expected failure: No such file or directory === Test Case 3: Remove file in a subdirectory === Test Case 3: Successfully removed file in subdirectory === Test Case 4: Remove a directory with AT_REMOVEDIR === Test Case 4: Successfully removed directory testfiles/unlinkatsubdir === Test Case 5: Remove a directory without AT_REMOVEDIR === Test Case 5: Expected failure: Is a directory
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mmap_file.c	Success	None	Data written to memory-mapped file: Hello, mmap! Data read back from memory-mapped file: Hello, mmap!
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv-arg.c	Success	None	Received argument: hello-arg
forkexecv.c	Success	None	wark
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello-arg.c	Success	None	Received argument: hello-arg
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
setsid.c	Success	None	setsid() succeeded.
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
sigprocmask.c	Success	None	blocking SIGUSR2 Sending SIGUSR2 Sleeping 1 second unblocking signal Signal Handler! Exiting program

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	41
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6322 clock ticks End time: 8595 clock ticks Elapsed CPU time: 0.002273 seconds
clock_gettime_simple.c	Success	None	Current time: 1761855662 seconds and 433884307 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Filesystem type: 794c7630
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Filesystem type: 794c7630
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	2d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Success	None	SERVER: New socket bound and listen SERVER: NEW CONNECTION CLIENT: Hello message sent Hello from client Message Received CLIENT: sending followup Did you get my message? CLIENT: Closed connection Closed connection on descriptor 6 read error: Connection reset by peer
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Parent: Testing open in parent: pid 2! Child: Testing open in child: pid 0! Child: Pid 0 opened fd 3 Parent: Pid 2 opened fd 3
forkfiles.c	Success	None	This is a test of the wonderful fork call in lind. read 51 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the PARENT I'm the child all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=3 parent in loop, pid=3 after fork inside signal handler, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill Terminated child in loop, pid=2 Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 Caught signal 10 child ready to send SIGUSR1 again start of signal handler child done kill Caught signal 10 start of signal handler end of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

github-actions · 2025-10-30T20:29:28Z

End-to-End Test Report

Test Preview

Test Report

Deterministic Tests

Summary

Metric	Count
Total Test Cases	67
Number of Successes	67
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chmod.c	Success	None	Mode changed successfully
close.c	Success	None	File opened and closed 2000 times successfully.
doubleclose.c	Success	None
dupwrite.c	Success	None	write succeeded
fchmod.c	Success	None	Mode changed successfully
fcntl.c	Success	None	Original FD: 3 F_DUPFD duplicated FD: 100 F_DUPFD_CLOEXEC duplicated FD: 101 Original FD flags: FD flags = 0x0 F_DUPFD duplicated FD flags: FD flags = 0x0 F_DUPFD_CLOEXEC duplicated FD flags: FD flags = 0x1 After F_SETFD on F_DUPFD duplicated FD: FD flags = 0x1 Test completed successfully.
fdatasync.c	Success	None
filetest.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
filetest1000.c	Success	None	AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA
fstat.c	Success	None	running fstat("testfiles/fstatfile.txt") size: 19
fsync.c	Success	None
ioctl.c	Success	None	[For 0 = False and = True] [The answers should be F, T, F] (0) Is the socket set for non-blocking I/O?: 0 [Setting socket for non_blocking I/O] (1) Is the socket set for non-blocking I/O?: 2048 [Clearing socket for non-blocking I/O] (2) Is the socket set for non-blocking I/O?: 0
mkdir_rmdir.c	Success	None	Created directory successfully Removed directory successfully
open.c	Success	None	File opened successfully with fd = 3
pread_pwrite.c	Success	None	[file is opened] [succeeded write(1) process] [reading(1) data] from pwrite.txt [Lind is amazing!] ----------------------------------- [succeeded write(2) process] [reading(2) data] from pwrite.txt [NYU is amazing!] [succeeded in close]
printf.c	Success	None	Hello, World!
readbytes.c	Success	None	This is a test of the wonderful fork call in lind.�
readlink.c	Success	None	=== Test Case 1: Valid symbolic link === Symbolic link points to: /src/RawPOSIX/tmp/testfiles/readlinkfile.txt === Test Case 2: Path is not a symbolic link === Expected failure: Invalid argument === Test Case 3: Symbolic link with buffer too small === Symbolic link truncated result: /src/ === Test Case 4: Non-existent path === Expected failure: No such file or directory
rename.c	Success	None	SUCCESS WITH RENAMING
stat.c	Success	None	running stat("testfiles/statfile.txt") size: 18
sync_file_range.c	Success	None	sync_file_range test completed successfully.
truncate.c	Success	None	Test truncate(const char *, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success Test ftruncate(int, off_t) Truncating testfiles/truncatefile.txt from 32 to 155 Success Truncating testfiles/truncatefile.txt from 155 to 32 Success
unlinkat.c	Success	None	=== Test Case 1: Remove valid file === Test Case 1: Successfully removed testfiles/unlinkatfile.txt === Test Case 2: Remove non-existent file === Test Case 2: Expected failure: No such file or directory === Test Case 3: Remove file in a subdirectory === Test Case 3: Successfully removed file in subdirectory === Test Case 4: Remove a directory with AT_REMOVEDIR === Test Case 4: Successfully removed directory testfiles/unlinkatsubdir === Test Case 5: Remove a directory without AT_REMOVEDIR === Test Case 5: Expected failure: Is a directory
write.c	Success	None	Hello world from Coulson's WASM
writeloop.c	Success	None	write succeeded
writepartial.c	Success	None	write
Memory Tests
brk.c	Success	None	PASS
malloc.c	Success	None
memcpy.c	Success	None	Hello, World!
mmap.c	Success	None	mmap test: PASS
mmap_file.c	Success	None	Data written to memory-mapped file: Hello, mmap! Data read back from memory-mapped file: Hello, mmap!
mprotect.c	Success	None	Mprotect write test text
sbrk.c	Success	None	Content in allocated memory: Hello, sbrk memory!
shmtest.c	Success	None
Networking Tests
gethostname.c	Success	None	Hostname: buildkitsandbox
makepipe.c	Success	None
pipepong.c	Success	None	Parent sending 1 Child received 1 Child sends 2 Parent received 2 Parent sending 3 Child received 3 Child sends 4 Parent received 4 Parent sending 5 Child received 5 Child sends 6 Parent received 6 Parent sending 7 Child received 7 Child sends 8 Parent received 8 Parent sending 9 Child received 9 Child sends 10 Parent received 10 Parent sending 11 Child received 11 Child sends 12 Parent received 12 Parent sending 13 Child received 13 Child sends 14 Parent received 14 Parent sending 15 Child received 15 Child sends 16 Parent received 16 Parent sending 17 Child received 17 Child sends 18 Parent received 18 Parent sending 19 Child received 19 Child sends 20 Parent received 20 Parent sending 21 Child received 21 Child sends 22 Parent received 22 Parent sending 23 Child received 23 Child sends 24 Parent received 24 Parent sending 25 Child received 25 Child sends 26 Parent received 26 Parent sending 27 Child received 27 Child sends 28 Parent received 28 Parent sending 29 Child received 29 Child sends 30 Parent received 30 Parent sending 31 Child received 31 Child sends 32 Parent received 32 Parent sending 33 Child received 33 Child sends 34 Parent received 34 Parent sending 35 Child received 35 Child sends 36 Parent received 36 Parent sending 37 Child received 37 Child sends 38 Parent received 38 Parent sending 39 Child received 39 Child sends 40 Parent received 40 Parent sending 41 Child received 41 Child sends 42 Parent received 42 Parent sending 43 Child received 43 Child sends 44 Parent received 44 Parent sending 45 Child received 45 Child sends 46 Parent received 46 Parent sending 47 Child received 47 Child sends 48 Parent received 48 Parent sending 49 Child received 49 Child sends 50 Parent received 50 Parent sending 51 Child received 51 Child sends 52 Parent received 52 Parent sending 53 Child received 53 Child sends 54 Parent received 54 Parent sending 55 Child received 55 Child sends 56 Parent received 56 Parent sending 57 Child received 57 Child sends 58 Parent received 58 Parent sending 59 Child received 59 Child sends 60 Parent received 60 Parent sending 61 Child received 61 Child sends 62 Parent received 62 Parent sending 63 Child received 63 Child sends 64 Parent received 64 Parent sending 65 Child received 65 Child sends 66 Parent received 66 Parent sending 67 Child received 67 Child sends 68 Parent received 68 Parent sending 69 Child received 69 Child sends 70 Parent received 70 Parent sending 71 Child received 71 Child sends 72 Parent received 72 Parent sending 73 Child received 73 Child sends 74 Parent received 74 Parent sending 75 Child received 75 Child sends 76 Parent received 76 Parent sending 77 Child received 77 Child sends 78 Parent received 78 Parent sending 79 Child received 79 Child sends 80 Parent received 80 Parent sending 81 Child received 81 Child sends 82 Parent received 82 Parent sending 83 Child received 83 Child sends 84 Parent received 84 Parent sending 85 Child received 85 Child sends 86 Parent received 86 Parent sending 87 Child received 87 Child sends 88 Parent received 88 Parent sending 89 Child received 89 Child sends 90 Parent received 90 Parent sending 91 Child received 91 Child sends 92 Parent received 92 Parent sending 93 Child received 93 Child sends 94 Parent received 94 Parent sending 95 Child received 95 Child sends 96 Parent received 96 Parent sending 97 Child received 97 Child sends 98 Parent received 98 Parent sending 99 Child received 99 Child sends 100 Parent received 100 Pipe Pong complete. Final value: 100
poll.c	Success	None	stdout is ready for writing.
recvfrom-sendto.c	Success	None	Client sent: Hello recvfrom!
simple_epoll.c	Success	None	waiting for epoll event... got data: hello epoll!
socket.c	Success	None	Socket opened succesfully.
socket_cloexec.c	Success	None	SOCK_CLOEXEC is set.
socketpair.c	Success	None	-->In Xanadu, did Kublai Khan . . . -->A stately pleasure dome decree . . .
tcp_connect_single.c	Success	None
Process Tests
chain_thread.c	Success	None	Outer thread running... Inner thread running... Inner thread done. Outer thread done. Main thread done.
exit.c	Success	None	Exiting...
forkexecv-arg.c	Success	None	Received argument: hello-arg
forkexecv.c	Success	None	wark
function-ptr.c	Success	None	Hello, World!
getppid.c	Success	None	getppid() succeeded
hello-arg.c	Success	None	Received argument: hello-arg
hello.c	Success	None	wark
longjmp.c	Success	None	In main: Calling first_function... In first_function: Calling second_function... In second_function: Performing a long jump... Back in main: long jump returned with value = 42
noforkfiles.c	Success	None
sem_forks.c	Success	None
setsid.c	Success	None	setsid() succeeded.
thread-test.c	Success	None	Hello from the thread! Thread has finished execution
thread.c	Success	None	Hello from thread
wait.c	Success	None	Parent detected child finished. Child exited with status 0
waitpid_wnohang.c	Success	None
Signal Tests
alarm.c	Success	None	Setting an alarm to trigger in 1 seconds... Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14 Alarm triggered! Signal received: 14
setitimer.c	Success	None	Timer started! SIGALRM will fire every 3 seconds. Timer expired! Signal received: 14 Timer expired! Signal received: 14 Timer expired! Signal received: 14
sigalrm.c	Success	None	SIGALRM signals blocked Alarm Handled. Exiting
sigchld.c	Success	None	Signal Child Test!
signal-fork.c	Success	None	Successfully changed the signal handler for Signal 12 Killing Child Signal Handler Test! Exiting Child
signal-simple.c	Success	None	Successfully changed the signal handler for Signal 12 Signal Handler Test!
sigprocmask.c	Success	None	blocking SIGUSR2 Sending SIGUSR2 Sleeping 1 second unblocking signal Signal Handler! Exiting program

Non Deterministic Tests

Summary

Metric	Count
Total Test Cases	41
Number of Successes	41
Number of Failures	0
Number of Compilation Failure Native	0
Number of Runtime Failure Native	0
Number of Segmentation Fault Native	0
Number of Timeout During Native	0
Number of Lind Wasm Compile Failure	0
Number of Lind Wasm Runtime Failure	0
Number of Lind Wasm Segmentation Failure	0
Number of Timeout During Lind Wasm run	0
Number of Unknown Failure	0
Number of C Compiler and Wasm Output mismatch	0

Test Results by Category

Test Case	Status	Error Type	Output
File Tests
chdir_getcwd.c	Success	None	getcwd() error: Success getcwd() error: Success
clock_gettime_highlevel.c	Success	None	Running 1,000,000 iterations... Start time: 6482 clock ticks End time: 8816 clock ticks Elapsed CPU time: 0.002334 seconds
clock_gettime_simple.c	Success	None	Current time: 1761855804 seconds and 54385119 nanoseconds
dup.c	Success	None	duped fd: 3 attempting to write to dup() fd write to dup() fd succeeded write to old fd succeeded
fchdir.c	Success	None	getcwd() error: Success
fstatfs.c	Success	None	Filesystem type: 794c7630
getcwd.c	Success	None	getcwd() error: Success
read.c	Success	None	open(): No such file or directory
statfs.c	Success	None	Filesystem type: 794c7630
Memory Tests
malloc_large.c	Success	None	0xefffe010: 42
mmap_complicated.c	Success	None	Parent: Waiting for child to write. Child: Writing to shared memory. Parent: Reading from shared memory: 'Hello from the child process!' Child: Reading from shared memory: 'Hello from the parent process!' Child: Exiting. Parent: Reading modified shared memory: 'Hello from the parent process!' Parent: Exiting.
mmap_shared.c	Success	None	parent value: 1234, 4321 parent value after fork: 1234, 4321 child value after fork: 1234, 4321 parent value after modification: 2333, 3332 child value after modification: 2333, 4321
segfault.c	Success	None	pipe() ret: [3, 4] read() ret: 3 hi
shm.c	Success	None	Shared memory segment created with id: 1 Parent attached to shared memory at 0xffffe000 Parent wrote: 'Hello from parent' Child attached to shared memory at 0xffffe000 Child reads: 'Hello from parent' Child detached from shared memory Parent reads: 'Hello from child' Parent detached from shared memory Shared memory segment removed
vtable.c	Success	None	Shape 0 area: 12 Shape 1 area: 19.635
Networking Tests
dnstest.c	Success	None	is sockfd valid? yes 37 is the length sent 53 is the length recieved the dns lookup yields the ip address: 35.172.89.115
getifaddrs.c	Success	None	getifaddrs: Bad address
pipe.c	Success	None	pipe() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipe2.c	Success	None	pipe2() ret: [3, 4] write() ret: 3 read() ret: 3 hi
pipeinput.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeinput2.c	Success	None	about to write to pipe in parent I'm parent with pid: 2 Hey Nick!
pipeonestring.c	Success	None	about to write to pipe in parent I'm child with pid: 0 I'm parent with pid: 2 Hey Nick! ��
pipewrite.c	Success	None	Made pipe with write end 3 and read end 4 wrote 16 write 16 wrote 16 wrote three messages to the pipe msg 0, length 16: hello, world #1 msg 1, length 16: hello, world #2 msg 2, length 16: hello, world #3
shutdown_fork.c	Success	None	2�5d-05
simple-select.c	Success	None	[child] waiting for data... [parent] writing message [child] got data: hello select! [child] waiting for data... [child] pipe closed
socketepoll.c	Success	None	SERVER: New socket bound and listen SERVER: NEW CONNECTION CLIENT: Hello message sent Hello from client Message Received CLIENT: sending followup Did you get my message? CLIENT: Closed connection Closed connection on descriptor 6 read error: Connection reset by peer
Process Tests
fork2malloc.c	Success	None	first malloc Address of mptr1 0x30010 Contents of mptr1 deadbeef pre-fork in child Address of mptr1 0x30fc0 done
fork_simple.c	Success	None	Parent pid = 1 Child pid = 2
forkandopen.c	Success	None	Child: Testing open in child: pid 0! Parent: Testing open in parent: pid 2! Parent: Pid 2 opened fd 3 Child: Pid 0 opened fd 3
forkfiles.c	Success	None	This is a test of the wonderful fork call in lind. read 51 chars
forkmalloc.c	Success	None	in child pointer address is 0x30010 done
forknodup.c	Success	None	I'm the PARENT I'm the child all done all done
getpid.c	Success	None	printing pidSuccess
Signal Tests
signal.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 parent in loop, pid=1 Terminated
signal_SIGCHLD.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 17 Caught signal 10
signal_fork.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 2 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3 parent in loop, pid=1 parent in loop, pid=3
signal_int_thread.c	Success	None	main starts! Hello from thread thread sleep thread sleep child ready to kill child done kill child in loop, pid=2 Terminated Terminated child in loop, pid=2 child in loop, pid=2 child in loop, pid=2 child in loop, pid=2
signal_longjmp.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 after fork inside signal handler, pid=3 after fork inside signal handler, pid=1 after child longjmp (should only be printed once by parent) parent in loop, pid=1 back from setjmp: 42! pid=3 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_nodefer.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child sent SIGUSR1 child ready to send SIGUSR1 again Caught signal 10 child done kill Caught signal 10 start of signal handler end of signal handler start of signal handler end of signal handler parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1
signal_procmask.c	Success	None	Parent: Blocking SIGINT... Signal 2 is BLOCKED Parent: SIGINT is blocked. Child will send SIGINT soon... Child: Sending SIGINT to parent (PID: 1) Parent: Unblocking SIGINT now. SIGINT received! (Handled in Parent Process) Signal 2 is UNBLOCKED Parent: Waiting for SIGINT...
signal_sa_mask.c	Success	None	main starts! parent in loop, pid=1 child ready to kill child done kill Caught signal 10 signal 10 done Caught signal 12 signal 12 done parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1 parent in loop, pid=1

Shounak-Ghosh added 3 commits October 10, 2025 20:16

unit tests for changeprot functionality

bd4d946

add tests for add_entry_with_overwrite and find_map_space_with_hint f…

f092d8b

…unctions

added documentation

992fc2e

rennergade requested review from ChinmayShringi, qianxichen233 and ssannkkallpp October 14, 2025 15:54

cargo fmt changes

86d298c

rennergade requested a review from Yaxuan-w October 14, 2025 16:22

Yaxuan-w reviewed Oct 14, 2025

View reviewed changes

update vmmap comments + readme

0cfba86

rennergade reviewed Oct 19, 2025

View reviewed changes

refine wording

d9ebba3

ChinmayShringi reviewed Oct 23, 2025

View reviewed changes

ChinmayShringi previously approved these changes Oct 23, 2025

View reviewed changes

ssannkkallpp reviewed Oct 27, 2025

View reviewed changes

Update README to move clarifications to memory.md; Included memory.md…

d5b5979

… in mkdocs.yml

Shounak-Ghosh dismissed ChinmayShringi’s stale review via d5b5979 October 27, 2025 23:56

updated comments to reflect functionality and further refined memory.…

5eebe75

…md documentation Addressed the commenting issue with the test_find_map_space_with_hint_searches_from_hint_page function

rennergade mentioned this pull request Oct 28, 2025

vmmap: Fix vmmap according to failing unit tests #498

Open

qianxichen233 reviewed Oct 29, 2025

View reviewed changes

Shounak-Ghosh added 2 commits October 30, 2025 20:11

Updated test_change_prot_to_same_value() based on feedback

d7094a0

Changed protection on a smaller subrange and verify fragmentation doesn't occur

Fix linter issue

708e142

rennergade merged commit 5b436dc into main Oct 30, 2025
2 checks passed

Yaxuan-w mentioned this pull request Oct 31, 2025

Add vmmap test instruction in cage library README #464

Closed

		- Return value: interval of page numbers


		## Important Clarifications from Unit Tests

Vmmap unit tests #465

Vmmap unit tests #465

Uh oh!

Conversation

Shounak-Ghosh commented Oct 14, 2025 • edited Loading Uh oh! There was an error while loading. Please reload this page.

Uh oh!

Uh oh!

github-actions bot commented Oct 14, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

github-actions bot commented Oct 14, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

Yaxuan-w left a comment

Choose a reason for hiding this comment

Uh oh!

Yaxuan-w Oct 14, 2025

Choose a reason for hiding this comment

Uh oh!

rennergade Oct 15, 2025

Choose a reason for hiding this comment

Uh oh!

JustinCappos Oct 15, 2025

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Oct 18, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

rennergade Oct 19, 2025

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Oct 20, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

ChinmayShringi Oct 23, 2025

Choose a reason for hiding this comment

Uh oh!

ssannkkallpp left a comment

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Oct 28, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

github-actions bot commented Oct 28, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

qianxichen233 Oct 29, 2025

Choose a reason for hiding this comment

Uh oh!

github-actions bot commented Oct 30, 2025

End-to-End Test Report

Summary

Test Results by Category

Summary

Test Results by Category

Uh oh!

Shounak-Ghosh commented Oct 14, 2025 •

edited

Loading