PKUOS - Pintos
Pintos source browser for PKU Operating System 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
12void
13test_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}
static void wait(struct intq *q, struct thread **waiter)
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
int open(const char *file)
Definition: syscall.c:103
pid_t exec(const char *file)
Definition: syscall.c:79
void msg(const char *format,...)
Definition: lib.c:28
void check_file_handle(int fd, const char *file_name, const void *buf_, size_t size)
Definition: lib.c:108
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29
void test_main(void)
Opens a file and then runs a subprocess that tries to close the file.