616,15 → 616,21 |
{ |
(void) arg; |
|
printf("cev_fibril()\n"); |
while (true) { |
printf("cev_fibril: wait for cev_valid == 0\n"); |
fibril_mutex_lock(&state_lock); |
while (cev_valid) |
fibril_condvar_wait(&state_cv, &state_lock); |
fibril_mutex_unlock(&state_lock); |
|
printf("cev_fibril: wait for key\n"); |
|
if (!console_get_event(fphone(stdin), &cev)) |
return -1; |
|
printf("cev_fibril: broadcast cev_valid = 1\n"); |
|
fibril_mutex_lock(&state_lock); |
cev_valid = 1; |
fibril_condvar_broadcast(&state_cv); |
662,11 → 668,14 |
done = false; |
|
while (!done) { |
printf("trace_task: wait for cev_valid || abort_trace\n"); |
fibril_mutex_lock(&state_lock); |
while (!cev_valid && !abort_trace) |
fibril_condvar_wait(&state_cv, &state_lock); |
fibril_mutex_unlock(&state_lock); |
|
printf("trace_task: got something\n"); |
|
ev = cev; |
|
fibril_mutex_lock(&state_lock); |