Changeset f80ab45 for src

Timestamp:

Apr 27, 2017, 2:00:30 PM (7 years ago)

Author:

Thierry Delisle <tdelisle@…>

Branches:

ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc

Children:

9c59cd4, f3fda4e

Parents:

0c78741

Message:

Internal scheduling tests

Location:

src/tests

Files:

• .expect/concurrent/sched-int-multi.txt (added)
• .expect/concurrent/sched-int.txt (added)
• sched-int-multi.c (added)
• sched-int.c (moved) (moved from src/tests/sched_internal.c) (4 diffs)

src/tests/sched-int.c

@@ +1 @@
+#include <fstream>
 #include <kernel>
 #include <monitor>
@@ -15 +16 @@
 
 void step1( global_t * mutex this ) {
+        sout | "Step 1" | endl;
         this->value = 1;
         wait( &cond );
@@ -22 +24 @@
         if( this->value != 1) abort();
 
+        sout | "Step 2" | endl;
         this->value = 2;
         signal( &cond );
@@ -29 +32 @@
         if( this->value != 2) abort();
 
-        this->value = 2;
+        sout | "Step 3" | endl;
+        this->value = 3;
         signal( &cond );
 }