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
|
#include <common/test.h>
static int data = 0;
void callback(id_t tid, int d0, int d1, int d2, int d3)
{
UNUSED(tid);
printf("hello from new thread\n");
check(d0 == 1, "wrong d0\n");
check(d1 == 2, "wrond d1\n");
check(d2 == 3, "wrong d2\n");
check(d3 == 4, "wrong d3\n");
check(data == 16, "wrong data\n");
printf("returning to old thread\n");
sys_swap(1);
check(0, "swap to old thread failed\n");
}
START(pid, tid, d0, d1, d2, d3)
{
UNUSED(pid);
UNUSED(tid);
UNUSED(d0);
UNUSED(d1);
UNUSED(d2);
UNUSED(d3);
printf("setting data to non-zero value\n");
data = 16;
printf("creating new thread\n");
id_t new_thread = sys_create((uintptr_t)callback, 1, 2, 3, 4);
check(new_thread > 0, "create failed\n");
printf("swapping to new thread\n");
enum sys_status r = sys_swap(new_thread);
check(r == OK, "swap to new thread failed\n");
ok();
}
|
