pintos-doxygen/html/pt-grow-stk-sc_8c_source.html

/** This test checks that the stack is properly extended even if

   the first access to a stack location occurs inside a system

   call.


   From Godmar Back. */


#include <string.h>

#include <syscall.h>

#include "tests/vm/sample.inc"

#include "tests/lib.h"

#include "tests/main.h"


void

test_main (void)

{

  int handle;

  int slen = strlen (sample);

  char buf2[65536];


  /* Write file via write(). */

  CHECK (create ("sample.txt", slen), "create \"sample.txt\"");

  CHECK ((handle = open ("sample.txt")) > 1, "open \"sample.txt\"");

  CHECK (write (handle, sample, slen) == slen, "write \"sample.txt\"");

  close (handle);


  /* Read back via read(). */

  CHECK ((handle = open ("sample.txt")) > 1, "2nd open \"sample.txt\"");

  CHECK (read (handle, buf2 + 32768, slen) == slen, "read \"sample.txt\"");


  CHECK (!memcmp (sample, buf2 + 32768, slen), "compare written data against read data");

  close (handle);

}

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

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

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

test_main
void test_main(void)
This test checks that the stack is properly extended even if the first access to a stack location occ...
Definition: pt-grow-stk-sc.c:14

memcmp
int memcmp(const void *a_, const void *b_, size_t size)
Find the first differing byte in the two blocks of SIZE bytes at A and B.
Definition: string.c:53

strlen
size_t strlen(const char *string)
Returns the length of STRING.
Definition: string.c:293

string.h

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