|
CS318 - Pintos
Pintos source browser for JHU CS318 course
|
Go to the documentation of this file.
6 #include "tests/vm/sample.inc"
13 char *actual = (
char *) 0x54321000;
18 CHECK ((handle =
open (
"sample.txt")) > 1,
"open \"sample.txt\"");
21 fail (
"read of mmap'd file reported bad data");
24 CHECK ((child =
exec (
"child-inherit")) != -1,
"exec \"child-inherit\"");
26 CHECK (
wait (child) == -1,
"wait for child (should return -1)");
31 "checking that mmap'd file still has same data");
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
pid_t exec(const char *file)
int open(const char *file)
int memcmp(const void *a_, const void *b_, size_t size)
Find the first differing byte in the two blocks of SIZE bytes at A and B.
void fail(const char *format,...)
size_t strlen(const char *string)
Returns the length of STRING.
static void wait(struct intq *q, struct thread **waiter)
int pid_t
Process identifier.
mapid_t mmap(int fd, void *addr)
Project 3 and optionally project 4.
void test_main(void)
Maps a file into memory and runs child-inherit to verify that mappings are not inherited.
