greg/machi
1
0
Fork 0
Code Issues 11 Pull requests 1 Projects Releases Packages Wiki Activity Actions

See comments added by this commit for append_page() bug found, racing with epoch change

Browse source
This commit is contained in:
Scott Lystig Fritchie 2014-02-27 14:59:26 +09:00
parent 40c28b79bb
commit 6858041c7d
1 changed files with 5 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
prototype/corfurl/src/corfurl_client.erl
View file

@ -18,6 +18,11 @@
%% %%
%% ------------------------------------------------------------------- %% -------------------------------------------------------------------
%% TODO: fix this failure case with append_page(Bin) -> {ok, 2},
%% but read_page(LPN=1) can read Bin, and model believes that
%% LPN=1 was never written
%% Ca = [{2,2,1},{{[{set,{var,1},{call,corfurl_pulse,setup,[2,2,1,standard]}}],[[{set,{var,3},{call,corfurl_pulse,append,[{var,1},<<0>>]}}],[{set,{var,2},{call,corfurl_pulse,stop_sequencer,[{var,1},kill]}},{set,{var,4},{call,corfurl_pulse,trim,[{var,1},386862782]}},{set,{var,5},{call,corfurl_pulse,scan_forward,[{var,1},5412106233,1]}}]]},{24672,25300,90107}},[{events,[[{no_bad_reads,[]}]]}]].
-module(corfurl_client). -module(corfurl_client).
-export([append_page/2, read_page/2, fill_page/2, trim_page/2, scan_forward/3]). -export([append_page/2, read_page/2, fill_page/2, trim_page/2, scan_forward/3]).