1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
|
/* COVERAGE: mmap2 munmap msync mlock mlockall munlock munlockall fstat open close */
#include <sys/types.h>
#include <sys/stat.h>
#include <sys/mman.h>
#include <fcntl.h>
#include <unistd.h>
int main()
{
int fd, ret;
struct stat fs;
void * r;
/* create a file with something in it */
fd = open("foobar",O_WRONLY|O_CREAT|O_TRUNC, 0600);
//staptest// open ("foobar", O_WRONLY|O_CREAT|O_TRUNC, 0600) = NNNN
lseek(fd, 1024, SEEK_SET);
write(fd, "abcdef", 6);
close(fd);
//staptest// close (NNNN) = 0
fd = open("foobar", O_RDONLY);
//staptest// open ("foobar", O_RDONLY) = NNNN
/* stat for file size */
ret = fstat(fd, &fs);
//staptest// fstat (NNNN, XXXX) = 0
r = mmap(NULL, fs.st_size, PROT_READ, MAP_SHARED, fd, 0);
//staptest// mmap[2]* (XXXX, 1030, PROT_READ, MAP_SHARED, NNNN, XXXX) = XXXX
close(fd);
mlock(r, fs.st_size);
//staptest// mlock (XXXX, 1030) = 0
msync(r, fs.st_size, MS_SYNC);
//staptest// msync (XXXX, 1030, MS_SYNC) = 0
munlock(r, fs.st_size);
//staptest// munlock (XXXX, 1030) = 0
mlockall(MCL_CURRENT);
//staptest// mlockall (MCL_CURRENT) =
munlockall();
//staptest// munlockall () = 0
munmap(r, fs.st_size);
//staptest// munmap (XXXX, 1030) = 0
return 0;
}
|
