PKUOS - Pintos
Pintos source browser for PKU Operating System course
|
#include <stdio.h>
#include <syscall.h>
#include "tests/userprog/sample.inc"
#include "tests/lib.h"
#include "tests/main.h"
Go to the source code of this file.
Functions | |
void | test_main (void) |
Opens a file and then runs a subprocess that tries to close the file. More... | |
void test_main | ( | void | ) |
Opens a file and then runs a subprocess that tries to close the file.
(Pintos does not have inheritance of file handles, so this must fail.) The parent process then attempts to use the file handle, which must succeed.
Definition at line 13 of file multi-child-fd.c.
References CHECK, check_file_handle(), exec(), msg(), open(), snprintf(), and wait().