Change default GC_time_limit value from 50 to 15 ms

* alloc.c [(!GC_TIME_LIMIT || CPPCHECK) && !PARALLEL_MARK]
(GC_time_limit): Change value from 50 to 15.
* pthread_stop_world.c [!GC_OPENBSD_UTHREADS && !NACL
&& GC_ENABLE_SUSPEND_THREAD && (!GC_TIME_LIMIT || CPPCHECK)]
(GC_brief_async_signal_safe_sleep): Likewise.
* doc/gcdescr.md (Generational Collection and Dirty Bits): Change the
default value of predetermined amount of time from 50 ms to 15 ms.

1 files changed, 1 insertions, 1 deletions

diff --git a/alloc.c b/alloc.c
index 6dbca6c4..8f0b6c35 100644
--- a/alloc.c
+++ b/alloc.c
@@ -183,7 +183,7 @@ GC_INNER int GC_CALLBACK GC_never_stop_func(void)
                         /* The parallel marker cannot be interrupted for */
                         /* now, so the time limit is absent by default.  */
 #else
-  unsigned long GC_time_limit = 50;
+  unsigned long GC_time_limit = 15;
 #endif
 
 #ifndef NO_CLOCK