From 9c61cfe53a1b6942403f563ebe2ffaec145faa0b Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 23 Sep 2015 23:14:29 +0200 Subject: [PATCH] update bench --- benchs/run_benchs.ml | 1 + src/threads/CCThread.ml | 2 +- 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/benchs/run_benchs.ml b/benchs/run_benchs.ml index 23fa0be3..10402385 100644 --- a/benchs/run_benchs.ml +++ b/benchs/run_benchs.ml @@ -935,6 +935,7 @@ module Thread = struct [100; 1_000] ) [ 2, 3, 3 ; 5, 3, 3 + ; 1, 5, 5 ; 2, 10, 10 ; 5, 10, 10 ; 20, 10, 10 diff --git a/src/threads/CCThread.ml b/src/threads/CCThread.ml index a482b030..3e1b68ed 100644 --- a/src/threads/CCThread.ml +++ b/src/threads/CCThread.ml @@ -53,7 +53,7 @@ module Barrier = struct with_lock_ b (fun () -> while not b.activated do - Condition.wait b.cond b.lock + Condition.wait b.cond b.lock done )