(*************************************************************************)
(*                                                                       *)
(*                                OCaml                                  *)
(*                                                                       *)
                    , Jane Street Group , LLC                
(*                                                                       *)
    Copyright 2015 Institut National de Recherche en Informatique et    
(*   en Automatique.  All rights reserved.  This file is distributed     *)
    under the terms of the Q Public License version 1.0 .                
(*                                                                       *)
(*************************************************************************)

Random.init 12345;;

let size = 1000;;

type block = int array;;

type objdata =
  | Present of block
  GC count at time of erase
;;

type bunch = {
  objs : objdata array;
  wp : block Weak.t;
};;

let data =
  Array.init size (fun i ->
    let n = 1 + Random.int size in
    {
      objs = Array.make n (Absent 0);
      wp = Weak.create n;
    }
  )
;;

let gccount () = (Gc.quick_stat ()).Gc.major_collections;;

  Check the correctness condition on the data at ( i , j ): 
    1 . if the block is present , the weak pointer must be full 
    2 . if the block was removed at GC n , and the weak pointer is still 
       full , then the current GC must be at most n+1 . 

    Then modify the data in one of the following ways : 
    1 . if the block and weak pointer are absent , fill them 
    2 . if the block and weak pointer are present , randomly erase the block 

   1. if the block is present, the weak pointer must be full
   2. if the block was removed at GC n, and the weak pointer is still
      full, then the current GC must be at most n+1.

   Then modify the data in one of the following ways:
   1. if the block and weak pointer are absent, fill them
   2. if the block and weak pointer are present, randomly erase the block
*)
let check_and_change i j =
  let gc1 = gccount () in
  match data.(i).objs.(j), Weak.check data.(i).wp j with
  | Present x, false -> assert false
  | Absent n, true -> assert (gc1 <= n+1)
  | Absent _, false ->
    let x = Array.make (1 + Random.int 10) 42 in
    data.(i).objs.(j) <- Present x;
    Weak.set data.(i).wp j (Some x);
  | Present _, true ->
    if Random.int 10 = 0 then begin
      data.(i).objs.(j) <- Absent gc1;
      let gc2 = gccount () in
      if gc1 <> gc2 then data.(i).objs.(j) <- Absent gc2;
    end
;;

let dummy = ref [||];;

while gccount () < 20 do
  dummy := Array.make (Random.int 300) 0;
  let i = Random.int size in
  let j = Random.int (Array.length data.(i).objs) in
  check_and_change i j;
done

***********************************************************************
                                                                       
                                OCaml                                  
                                                                       
                                                                       
   en Automatique.  All rights reserved.  This file is distributed     
                                                                       
***********************************************************************
                    , Jane Street Group , LLC                
    Copyright 2015 Institut National de Recherche en Informatique et    
    under the terms of the Q Public License version 1.0 .                

Random.init 12345;;

let size = 1000;;

type block = int array;;

type objdata =
  | Present of block
  GC count at time of erase
;;

type bunch = {
  objs : objdata array;
  wp : block Weak.t;
};;

let data =
  Array.init size (fun i ->
    let n = 1 + Random.int size in
    {
      objs = Array.make n (Absent 0);
      wp = Weak.create n;
    }
  )
;;

let gccount () = (Gc.quick_stat ()).Gc.major_collections;;

  Check the correctness condition on the data at ( i , j ): 
    1 . if the block is present , the weak pointer must be full 
    2 . if the block was removed at GC n , and the weak pointer is still 
       full , then the current GC must be at most n+1 . 

    Then modify the data in one of the following ways : 
    1 . if the block and weak pointer are absent , fill them 
    2 . if the block and weak pointer are present , randomly erase the block 

   1. if the block is present, the weak pointer must be full
   2. if the block was removed at GC n, and the weak pointer is still
      full, then the current GC must be at most n+1.

   Then modify the data in one of the following ways:
   1. if the block and weak pointer are absent, fill them
   2. if the block and weak pointer are present, randomly erase the block
*)
let check_and_change i j =
  let gc1 = gccount () in
  match data.(i).objs.(j), Weak.check data.(i).wp j with
  | Present x, false -> assert false
  | Absent n, true -> assert (gc1 <= n+1)
  | Absent _, false ->
    let x = Array.make (1 + Random.int 10) 42 in
    data.(i).objs.(j) <- Present x;
    Weak.set data.(i).wp j (Some x);
  | Present _, true ->
    if Random.int 10 = 0 then begin
      data.(i).objs.(j) <- Absent gc1;
      let gc2 = gccount () in
      if gc1 <> gc2 then data.(i).objs.(j) <- Absent gc2;
    end
;;

let dummy = ref [||];;

while gccount () < 20 do
  dummy := Array.make (Random.int 300) 0;
  let i = Random.int size in
  let j = Random.int (Array.length data.(i).objs) in
  check_and_change i j;
done
