]> https://gitweb.dealii.org/ - dealii-svn.git/commitdiff
Increase wait time even more...
authorbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 15 Dec 2010 15:48:16 +0000 (15:48 +0000)
committerbangerth <bangerth@0785d39b-7218-0410-832d-ea1e28bc413d>
Wed, 15 Dec 2010 15:48:16 +0000 (15:48 +0000)
git-svn-id: https://svn.dealii.org/trunk@22972 0785d39b-7218-0410-832d-ea1e28bc413d

tests/tests.h

index 51ff270dd30b033bcf80343f6a4aaf444fc3632f..4427d4087ec1b10f6b46ac37b496834854dd59f1 100644 (file)
@@ -115,13 +115,17 @@ set_grain_sizes;
 
 
 
-// spawn a thread that terminates the program after a certain time given by
-// the environment variable WALLTIME (times a factor to account for the fact
-// that we run on multicore systems where things may take longer). this makes
+// spawn a thread that terminates the program after a certain time
+// given by the environment variable WALLTIME (times a factor to
+// account for the fact that we run on multicore systems where things
+// may take longer -- let's take 4*n_cpus as a factor). this makes
 // sure we don't let jobs that deadlock on some mutex hang around
-// forever. note that this is orthogonal to using "ulimit" in Makefile.rules,
-// which only affects CPU time and consequently works on infinite loops but
-// not deadlocks
+// forever. note that this is orthogonal to using "ulimit" in
+// Makefile.rules, which only affects CPU time and consequently works
+// on infinite loops but not deadlocks
+//
+// the actual sleep time isn't all that important. the point is that
+// we need to kill deadlocked threads at one point, whenever that is
 #ifdef DEAL_II_USE_MT
 
 struct DeadlockKiller
@@ -138,7 +142,7 @@ struct DeadlockKiller
            conv >> delay;
            if (conv)
              {
-               sleep (delay*multithread_info.n_cpus);
+               sleep (delay*multithread_info.n_cpus*4);
                std::cerr << "Time's up: Killing job because it overran its allowed walltime"
                          << std::endl;
                std::abort ();

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.