__USER_TEXT
void *pong_thread(void *arg)
{
L4_MsgTag_t tag;
L4_Msg_t msg;
while (1) {
tag = L4_Receive_Timeout(threads[PING_THREAD],
L4_TimePeriod(1000 * 1000));
L4_MsgStore(tag, &msg);
if (!L4_IpcSucceeded(tag)) {
printf("%p: recv ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
/* FIXME: workaround solution to avoid scheduler starvation */
L4_Sleep(L4_TimePeriod(500 * 1000));
}
}
int main(int argc, char *argv[])
{
char buf[1024];
L4_Sleep(L4_TimePeriod(4 * SEKUNDA));
printf("Pozdrav, ja sam %s!\nTko ste vi: ", argv[0]);
fgets(buf, 1023, stdin);
printf("Pozdrav, %s\n", buf);
return 0;
}
__USER_TEXT
void *pong_thread(void *arg)
{
L4_MsgTag_t tag;
L4_Msg_t msg;
while (1) {
tag = L4_Receive_Timeout(threads[PING_THREAD],
L4_TimePeriod(1000 * 1000));
L4_MsgStore(tag, &msg);
if (!L4_IpcSucceeded(tag)) {
printf("%p: recv ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
}
}
__USER_TEXT
void *ping_thread(void *arg)
{
L4_Msg_t msg;
L4_MsgTag_t tag;
L4_MsgClear(&msg);
L4_MsgLoad(&msg);
while (1) {
tag = L4_Send_Timeout(threads[PONG_THREAD],
L4_TimePeriod(1000 * 1000));
if (!L4_IpcSucceeded(tag)) {
printf("%p: send ipc fails\n", L4_MyGlobalId());
printf("%p: ErrorCode = 0x%x\n", L4_MyGlobalId(), L4_ErrorCode());
}
}
}
