anchor.diff:  -spec round_inc(pr:pr(), any()) -> pr:pr().
   round_inc(Round, ID) ->
       pr:new(pr:get_r(Round)+1, ID).
  +
  +-spec next_read_batching_interval() -> non_neg_integer().
  +next_read_batching_interval() ->
  +    Div = randoms:rand_uniform(0, ?READ_BATCHING_INTERVAL_DIVERGENCE*2 + 1),
  +    ?READ_BATCHING_INTERVAL - ?READ_BATCHING_INTERVAL_DIVERGENCE + Div.
  
positive.code: 
  -spec read(pid_groups:pidname(), comm:erl_local_pid(), ?RT:key(), module(), crdt:query_fun()) -> ok.
  read(CSeqPidName, Client, Key, DataType, QueryFun) ->
      start_request(CSeqPidName, {req_start, {read, strong, Client, Key, DataType, QueryFun, none}}).
  
  -spec read_eventual(pid_groups:pidname(), comm:erl_local_pid(), ?RT:key(), module(), crdt:query_fun()) -> ok.
  read_eventual(CSeqPidName, Client, Key, DataType, QueryFun) ->
  
negative.code: -author('skrzypczak.de').
  
  -define(PDB, pdb).
  %-define(TRACE(X,Y), ct:pal(X,Y)).
  -define(TRACE(X,Y), ok).
  
  -define(READ_BATCHING, false).
  -define(READ_BATCHING_INTERVAL, 10).
  -define(READ_BATCHING_INTERVAL_DIVERGENCE, 2).
  
  -include("scalaris.hrl").
  
  