PKUOS - Pintos
Pintos source browser for PKU Operating System course
syn-write.c
Go to the documentation of this file.
1/** Spawns several child processes to write out different parts of
2 the contents of a file and waits for them to finish. Then
3 reads back the file and verifies its contents. */
4
5#include <random.h>
6#include <stdio.h>
7#include <string.h>
8#include <syscall.h>
10#include "tests/lib.h"
11#include "tests/main.h"
12
15
16void
17test_main (void)
18{
19 pid_t children[CHILD_CNT];
20 int fd;
21
22 CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name);
23
24 exec_children ("child-syn-wrt", children, CHILD_CNT);
25 wait_children (children, CHILD_CNT);
26
27 CHECK ((fd = open (file_name)) > 1, "open \"%s\"", file_name);
28 CHECK (read (fd, buf1, sizeof buf1) > 0, "read \"%s\"", file_name);
29 random_bytes (buf2, sizeof buf2);
30 compare_bytes (buf1, buf2, sizeof buf1, 0, file_name);
31}
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91
int open(const char *file)
Definition: syscall.c:103
int read(int fd, void *buffer, unsigned size)
Definition: syscall.c:115
int pid_t
Process identifier.
Definition: syscall.h:8
void compare_bytes(const void *read_data_, const void *expected_data_, size_t size, size_t ofs, const char *file_name)
test/lib.h
Definition: lib.c:163
void wait_children(pid_t pids[], size_t child_cnt)
Definition: lib.c:94
void exec_children(const char *child_name, pid_t pids[], size_t child_cnt)
Definition: lib.c:80
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29
void random_bytes(void *buf_, size_t size)
Writes SIZE random bytes into BUF.
Definition: random.c:54
#define CHILD_CNT
Definition: syn-read.c:14
#define BUF_SIZE
Definition: syn-read.h:4
static const char file_name[]
tests/filesys/base/syn-read.h
Definition: syn-read.h:5
void test_main(void)
tests/main.h
Definition: syn-write.c:17
char buf1[BUF_SIZE]
Spawns several child processes to write out different parts of the contents of a file and waits for t...
Definition: syn-write.c:13
char buf2[BUF_SIZE]
Definition: syn-write.c:14