source: src/tests/preempt_longrun/enter.c @ 85b1deb

ADTaaron-thesisarm-ehast-experimentalcleanup-dtorsdeferred_resndemanglerenumforall-pointer-decayjacob/cs343-translationjenkins-sandboxnew-astnew-ast-unique-exprnew-envno_listpersistent-indexerpthread-emulationqualifiedEnumwith_gc
Last change on this file since 85b1deb was 85b1deb, checked in by Thierry Delisle <tdelisle@…>, 6 years ago

Fix processor halting

  • Property mode set to 100644
File size: 510 bytes
RevLine 
[8ee50281]1#include <kernel>
2#include <monitor>
3#include <thread>
[b9da9585]4#include <time>
[8ee50281]5
6#ifndef PREEMPTION_RATE
[b9da9585]7#error PREEMPTION_RATE not defined in makefile
[8ee50281]8#endif
9
[8ad6533]10Duration default_preemption() {
[8ee50281]11        return PREEMPTION_RATE;
12}
13
[b9da9585]14static const unsigned long N  = 2_100_000ul;
15
[8ee50281]16monitor mon_t {};
[1449d83]17void foo( mon_t & mutex this ) {}
[8ee50281]18
[85b1deb]19mon_t mon;
[8ee50281]20thread worker_t {};
[1449d83]21void main( worker_t & this ) {
[8ee50281]22        for( unsigned long i = 0; i < N; i++ ) {
[1449d83]23                foo( mon );
[8ee50281]24        }
25}
26
27int main(int argc, char * argv[] ) {
28        processor p;
29        {
30                worker_t w[7];
31        }
[1449d83]32}
Note: See TracBrowser for help on using the repository browser.