pintos-doxygen/html/grow-sparse_8c_source.html

/** Tests that seeking past the end of a file and writing will

   properly zero out the region in between. */


#include <syscall.h>

#include "tests/lib.h"

#include "tests/main.h"


static char buf[76543];


void

test_main (void)

{

  const char *file_name = "testfile";

  char zero = 0;

  int fd;


  CHECK (create (file_name, 0), "create \"%s\"", file_name);

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

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

  seek (fd, sizeof buf - 1);

  CHECK (write (fd, &zero, 1) > 0, "write \"%s\"", file_name);

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

  close (fd);

  check_file (file_name, buf, sizeof buf);

}

test_main
void test_main(void)
tests/main.h
Definition: grow-sparse.c:11

buf
static char buf[76543]
Tests that seeking past the end of a file and writing will properly zero out the region in between.
Definition: grow-sparse.c:8

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

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

check_file
void check_file(const char *file_name, const void *buf, size_t size)
Definition: lib.c:151

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

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