Dissolve sig contexts in rm_fault and signal tests
This commit is contained in:
parent
7ab863b495
commit
0d3f5be95b
|
@ -192,6 +192,8 @@ void main_parent(Dataspace_capability elf_ds)
|
||||||
rm.detach((void *)child_virt_addr);
|
rm.detach((void *)child_virt_addr);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
fault_handler.dissolve(&signal_context);
|
||||||
|
|
||||||
printf("--- parent role of region-manager fault test finished ---\n");
|
printf("--- parent role of region-manager fault test finished ---\n");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -293,6 +293,8 @@ static void fast_sender_test()
|
||||||
if (sender->submit_cnt() != handler->receive_cnt())
|
if (sender->submit_cnt() != handler->receive_cnt())
|
||||||
throw Test_failed();
|
throw Test_failed();
|
||||||
|
|
||||||
|
receiver.dissolve(&context_123);
|
||||||
|
|
||||||
destroy(env()->heap(), sender);
|
destroy(env()->heap(), sender);
|
||||||
destroy(env()->heap(), handler);
|
destroy(env()->heap(), handler);
|
||||||
|
|
||||||
|
@ -378,6 +380,7 @@ static void multiple_handlers_test()
|
||||||
}
|
}
|
||||||
|
|
||||||
/* cleanup */
|
/* cleanup */
|
||||||
|
receiver.dissolve(&context_123);
|
||||||
destroy(env()->heap(), sender);
|
destroy(env()->heap(), sender);
|
||||||
for (int i = 0; i < NUM_HANDLERS; i++)
|
for (int i = 0; i < NUM_HANDLERS; i++)
|
||||||
destroy(env()->heap(), handler[i]);
|
destroy(env()->heap(), handler[i]);
|
||||||
|
@ -437,6 +440,7 @@ static void stress_test()
|
||||||
if (sender->submit_cnt() != handler->receive_cnt())
|
if (sender->submit_cnt() != handler->receive_cnt())
|
||||||
throw Test_failed_with_unequal_sent_and_received_signals();
|
throw Test_failed_with_unequal_sent_and_received_signals();
|
||||||
|
|
||||||
|
receiver.dissolve(&context_123);
|
||||||
destroy(env()->heap(), sender);
|
destroy(env()->heap(), sender);
|
||||||
destroy(env()->heap(), handler);
|
destroy(env()->heap(), handler);
|
||||||
|
|
||||||
|
@ -480,6 +484,9 @@ static void lazy_receivers_test()
|
||||||
printf("returned from wait_for_signal for receiver 1\n");
|
printf("returned from wait_for_signal for receiver 1\n");
|
||||||
}
|
}
|
||||||
|
|
||||||
|
rec_1.dissolve(&rec_context_1);
|
||||||
|
rec_2.dissolve(&rec_context_2);
|
||||||
|
|
||||||
printf("TEST %d FINISHED\n", test_cnt);
|
printf("TEST %d FINISHED\n", test_cnt);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue
Block a user