diff options
| -rw-r--r-- | tests/fork/check.mk | 4 | ||||
| -rw-r--r-- | tests/fork/init.c | 27 | ||||
| -rw-r--r-- | tests/fork/source.mk | 2 |
3 files changed, 33 insertions, 0 deletions
diff --git a/tests/fork/check.mk b/tests/fork/check.mk new file mode 100644 index 0000000..272c5ab --- /dev/null +++ b/tests/fork/check.mk @@ -0,0 +1,4 @@ +fork: do-fork + @grep 'BUG' reports/fork/log \ + && echo 'BUG' > reports/fork/OK \ + || tail -n1 reports/fork/log | tr -d '\r' > reports/fork/OK diff --git a/tests/fork/init.c b/tests/fork/init.c new file mode 100644 index 0000000..c64af93 --- /dev/null +++ b/tests/fork/init.c @@ -0,0 +1,27 @@ +#include <common/test.h> + +START(pid, tid, d0, d1, d2, d3) +{ + UNUSED(pid); + UNUSED(tid); + UNUSED(d0); + UNUSED(d1); + UNUSED(d2); + UNUSED(d3); + + /** @todo fork until we run out of memory? */ + check(pid == 0, "illegal pid for init\n"); + id_t our_id = 0; + printf("forking\n"); + id_t new_id = sys_fork(&our_id); + check(new_id >= 0, "error from fork\n"); + + if (new_id == 0) { + printf("hello from child with pid %ld\n", (long int)our_id); + ok(); + } + + printf("hello from parent\n"); + sys_swap(new_id); + check(0, "failed swapping to child\n"); +} diff --git a/tests/fork/source.mk b/tests/fork/source.mk new file mode 100644 index 0000000..47572e6 --- /dev/null +++ b/tests/fork/source.mk @@ -0,0 +1,2 @@ +DO != ./scripts/gen-prog -n fork -p init init.c +DO != ./scripts/gen-simple -n fork -p init |