jehanne/qa/kern/memoryisolation.c
Giacomo Tesio e70feee4a3 libc: introduce "jehanne_" namespace
With this commit all functions declared in libc.h have been renamed
with the "jehanne_" prefix. This is done for several reason:

- it removes conflicts during symbol resolution when linking
  standard C libraries like newlib or musl
- it allows programs depending on a standard C library to directly
  link to a library depending on our non standard libc (eg libsec).

To ease transiction two files are provided:

- sys/include/lib9.h that can be included instead of <libc.h> to use
  the old names (via a simple set of macros)
- sys/src/lib/c/lib9.c that can be compiled with a program where the
  macro provided by lib9.h are too dumb (see for example rc or grep).

In the kernel port/lib.h has been modified accordingly and some of
the functions it directly provides has been renamed too (eg malloc
in qmalloc.c and print in devcons.c).
2017-04-19 23:48:21 +02:00

91 lines
2.0 KiB
C

/*
* This file is part of Jehanne.
*
* Copyright (C) 2015 Giacomo Tesio <giacomo@tesio.it>
*
* Jehanne is free software: you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
* the Free Software Foundation, version 2 of the License.
*
* Jehanne is distributed in the hope that it will be useful,
* but WITHOUT ANY WARRANTY; without even the implied warranty of
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
* GNU General Public License for more details.
*
* You should have received a copy of the GNU General Public License
* along with Jehanne. If not, see <http://www.gnu.org/licenses/>.
*/
#include <u.h>
#include <lib9.h>
#define MSGTPL "Hello from %d!"
int verbose = 1;
int
passOnReadFault(void *v, char *s)
{
if(strncmp(s, "sys: trap: fault read ", 4) == 0){
if(verbose)
print("%d: noted: %s\n", getpid(), s);
print("PASS\n");
exits("PASS");
}
return 0;
}
void
main(void)
{
int p[2], pid, i;
char *msg, buf[128];
if (!atnotify(passOnReadFault, 1)){
fprint(2, "%r\n");
exits("atnotify fails");
}
pipe(p);
memset(buf, 0, sizeof buf);
switch((pid = rfork(RFPROC))){
case -1:
fprint(2, "FAIL: rfork: %r\n");
exits("FAIL");
break;
case 0:
msg = smprint(MSGTPL, getpid());
i = sprint(buf, "%p", msg);
if(verbose){
fprint(2, "address %p, msg %s\n", msg, msg);
fprint(2, "sending %s\n", buf);
}
if(write(p[0], buf, i) < 0){
fprint(2, "FAIL: write: %r\n");
exits("FAIL");
}
exits("PASS");
break;
default:
buf[0] = '0';
buf[1] = 'x';
if((i = read(p[1], buf+2, (sizeof buf) - 2)) <= 0){
fprint(2, "FAIL: read: %r\n");
exits("FAIL");
}
msg = (char*)atoll(buf);
if(verbose){
fprint(2, "received %s\n", buf);
fprint(2, "address %p\n", msg);
}
i = sprint(buf, MSGTPL, pid);
if(strncmp(msg, buf, i) == 0){
fprint(2, "FAIL: no memory isolation: read '%s' from child address space\n", msg);
exits("FAIL");
}
print("PASS\n");
exits("PASS");
break;
}
}