blob: 174803a348182ca32ca7d27b5c3fbf72cec0f3bd (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
diff --git a/src/heap/sharedMem.ml b/src/heap/sharedMem.ml
index 600e272..511b724 100644
--- a/src/heap/sharedMem.ml
+++ b/src/heap/sharedMem.ml
@@ -521,7 +521,7 @@ end = struct
let stack: t option ref = ref None
- let has_local_changes () = Core_kernel.Option.is_some (!stack)
+ let has_local_changes () = Core.Option.is_some (!stack)
let rec mem stack_opt key =
match stack_opt with
diff --git a/src/interface/memory.ml b/src/interface/memory.ml
index 3554b17..09aa1f5 100644
--- a/src/interface/memory.ml
+++ b/src/interface/memory.ml
@@ -66,10 +66,10 @@ let get_heap_handle () =
let heap_use_ratio () =
- Core_kernel.Float.of_int (SharedMemory.heap_size ()) /.
- Core_kernel.Float.of_int initial_heap_size
+ Core.Float.of_int (SharedMemory.heap_size ()) /.
+ Core.Float.of_int initial_heap_size
let slot_use_ratio () =
let { SharedMemory.used_slots; slots; _ } = SharedMemory.hash_stats () in
- Core_kernel.Float.of_int used_slots /. Core_kernel.Float.of_int slots
+ Core.Float.of_int used_slots /. Core.Float.of_int slots
diff --git a/src/interface/scheduler.ml b/src/interface/scheduler.ml
index 9b8282a..b5d41b5 100644
--- a/src/interface/scheduler.ml
+++ b/src/interface/scheduler.ml
@@ -48,7 +48,7 @@ let map_reduce
| Some exact_size when exact_size > 0 ->
(List.length work / exact_size) + 1
| _ ->
- let bucket_multiplier = Core_kernel.Int.min bucket_multiplier (1 + (List.length work / 400)) in
+ let bucket_multiplier = Core.Int.min bucket_multiplier (1 + (List.length work / 400)) in
number_of_workers * bucket_multiplier
in
MultiWorker.call
diff --git a/src/utils/dune b/src/utils/dune
index 50a4c42..45e4a5a 100644
--- a/src/utils/dune
+++ b/src/utils/dune
@@ -15,6 +15,7 @@
sysinfo)
(libraries
core
+ core_unix
str
hack_parallel.collections
hack_parallel.disk
diff --git a/src/utils/hh_logger.ml b/src/utils/hh_logger.ml
index 4c99f05..8075ed5 100644
--- a/src/utils/hh_logger.ml
+++ b/src/utils/hh_logger.ml
@@ -9,6 +9,7 @@
*)
open Core
+module Unix = Core_unix
let timestamp_string () =
let open Unix in
|
