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

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>
@@ -5 +13 @@
 #include <thread>
 
-#ifndef N
-#define N 10_000
+#include <time.h>
+
+static const unsigned long N = 5_000ul;
+
+#ifndef PREEMPTION_RATE
+#define PREEMPTION_RATE 10_000ul
 #endif
+
+unsigned int default_preemption() {
+        return PREEMPTION_RATE;
+}
 
 enum state_t { WAITED, SIGNAL, BARGE };
@@ -102 +118 @@
 
 int main(int argc, char* argv[]) {
-        rand48seed(0);
+        rand48seed( time( NULL ) );
         done = false;
         processor p;