CS318 - Pintos
Pintos source browser for JHU CS318 course
multi-child-fd.c
Go to the documentation of this file.
1 /** Opens a file and then runs a subprocess that tries to close
2  the file. (Pintos does not have inheritance of file handles,
3  so this must fail.) The parent process then attempts to use
4  the file handle, which must succeed. */
5 
6 #include <stdio.h>
7 #include <syscall.h>
8 #include "tests/userprog/sample.inc"
9 #include "tests/lib.h"
10 #include "tests/main.h"
11 
12 void
13 test_main (void)
14 {
15  char child_cmd[128];
16  int handle;
17 
18  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");
19 
20  snprintf (child_cmd, sizeof child_cmd, "child-close %d", handle);
21 
22  msg ("wait(exec()) = %d", wait (exec (child_cmd)));
23 
24  check_file_handle (handle, "sample.txt", sample, sizeof sample - 1);
25 }
lib.h
snprintf
int snprintf(char *buffer, size_t buf_size, const char *format,...)
Like printf(), except that output is stored into BUFFER, which must have space for BUF_SIZE character...
Definition: stdio.c:62
CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29
exec
pid_t exec(const char *file)
Definition: syscall.c:79
open
int open(const char *file)
Definition: syscall.c:103
test_main
void test_main(void)
Opens a file and then runs a subprocess that tries to close the file.
Definition: multi-child-fd.c:13
wait
static void wait(struct intq *q, struct thread **waiter)
main.h
msg
void msg(const char *format,...)
Definition: lib.c:28
check_file_handle
void check_file_handle(int fd, const char *file_name, const void *buf_, size_t size)
Definition: lib.c:108
Generated on Thu Aug 22 2019 10:19:15 for CS318 - Pintos by   doxygen 1.8.16