Renaming and refactoring lockfree to accept domain safe data structure that are not lock free.

Author: lyrm

src/lockfree.ml

@@ -25,10 +25,11 @@
 Copyright (c) 2017, Nicolas ASSOUAD <nicolas.assouad@ens.fr>
 ########
 *)
-module Ws_deque = Ws_deque
-module Spsc_queue = Spsc_queue
-module Mpsc_queue = Mpsc_queue
-module Treiber_stack = Treiber_stack
-module Michael_scott_queue = Michael_scott_queue
+
+module Queue = Michael_scott_queue
+module Stack = Treiber_stack
+module Work_stealing_deque = Ws_deque
+module One_prod_one_cons_queue = Spsc_queue
+module One_consumer_queue = Mpsc_queue
+module Relaxed_queue = Mpmc_relaxed_queue
 module Backoff = Backoff
-module Mpmc_relaxed_queue = Mpmc_relaxed_queue

src/lockfree.mli

@@ -4,9 +4,9 @@
    %%NAME%% %%VERSION%%
   ---------------------------------------------------------------------------*)
 
-(** Lock-free data structures for Multicore OCaml *)
+(** Domain-safe data structures for Multicore OCaml *)
 
-(** {1 Lockfree} *)
+(** {1 Lockfree data structures} *)
 
 (*---------------------------------------------------------------------------
    Copyright (c) 2016 KC Sivaramakrishnan
@@ -30,10 +30,13 @@ Copyright (c) 2017, Nicolas ASSOUAD <nicolas.assouad@ens.fr>
 ########
 *)
 
-module Ws_deque = Ws_deque
-module Spsc_queue = Spsc_queue
-module Mpsc_queue = Mpsc_queue
-module Treiber_stack = Treiber_stack
-module Michael_scott_queue = Michael_scott_queue
-module Mpmc_relaxed_queue = Mpmc_relaxed_queue
+module Queue = Michael_scott_queue
+module Stack = Treiber_stack
+module Work_stealing_deque = Ws_deque
+module One_prod_one_cons_queue = Spsc_queue
+module One_consumer_queue = Mpsc_queue
+module Relaxed_queue = Mpmc_relaxed_queue
+
+(** {2 Other} *)
+
 module Backoff = Backoff