pintos-doxygen/html/syn-remove_8c_source.html

/** Verifies that a deleted file may still be written to and read

   from. */


#include <random.h>

#include <string.h>

#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


char buf1[1234];

char buf2[1234];


void

test_main (void)

{

  const char *file_name = "deleteme";

  int fd;


  CHECK (create (file_name, sizeof buf1), "create \"%s\"", file_name);

  CHECK ((fd = open (file_name)) > 1, "open \"%s\"", file_name);

  CHECK (remove (file_name), "remove \"%s\"", file_name);

  random_bytes (buf1, sizeof buf1);

  CHECK (write (fd, buf1, sizeof buf1) > 0, "write \"%s\"", file_name);

  msg ("seek \"%s\" to 0", file_name);

  seek (fd, 0);

  CHECK (read (fd, buf2, sizeof buf2) > 0, "read \"%s\"", file_name);

  compare_bytes (buf2, buf1, sizeof buf1, 0, file_name);

  msg ("close \"%s\"", file_name);

  close (fd);

}

create
bool create(const char *file, unsigned initial_size)
Definition: syscall.c:91

close
void close(int fd)
Definition: syscall.c:139

open
int open(const char *file)
Definition: syscall.c:103

remove
bool remove(const char *file)
Definition: syscall.c:97

write
int write(int fd, const void *buffer, unsigned size)
Definition: syscall.c:121

seek
void seek(int fd, unsigned position)
Definition: syscall.c:127

read
int read(int fd, void *buffer, unsigned size)
Definition: syscall.c:115

compare_bytes
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

msg
void msg(const char *format,...)
Definition: lib.c:28

lib.h

CHECK
#define CHECK(SUCCESS,...)
Takes an expression to test for SUCCESS and a message, which may include printf-style arguments.
Definition: lib.h:29

main.h

random_bytes
void random_bytes(void *buf_, size_t size)
Writes SIZE random bytes into BUF.
Definition: random.c:54

random.h

string.h

file_name
static const char file_name[]
tests/filesys/base/syn-read.h
Definition: syn-read.h:5

test_main
void test_main(void)
tests/main.h
Definition: syn-remove.c:14

buf1
char buf1[1234]
Verifies that a deleted file may still be written to and read from.
Definition: syn-remove.c:10

buf2
char buf2[1234]
Definition: syn-remove.c:11