Changes in src/tests/sched-int-block.c [9fe39530:83a071f9]

File:

• src/tests/sched-int-block.c (modified) (3 diffs)

src/tests/sched-int-block.c

@@ -1 @@
-//---------------------------------------------------------
-// Barging test
-// Ensures that no barging can occur between :
-//   - the frontend of the signal_block and the signaled thread
-//   - the signaled  threadand the backend of the signal_block
-//---------------------------------------------------------
-
-
 #include <fstream>
 #include <kernel>
@@ -13 +5 @@
 #include <thread>
 
-#include <time.h>
-
-static const unsigned long N = 5_000ul;
-
-#ifndef PREEMPTION_RATE
-#define PREEMPTION_RATE 10_000ul
+#ifndef N
+#define N 10_000
 #endif
-
-unsigned int default_preemption() {
-        return PREEMPTION_RATE;
-}
 
 enum state_t { WAITED, SIGNAL, BARGE };
@@ -118 +102 @@
 
 int main(int argc, char* argv[]) {
-        rand48seed( time( NULL ) );
+        rand48seed(0);
         done = false;
         processor p;