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

Partial fix for model problem in honest write-vs-trim race

Browse source
This commit is contained in:
Scott Lystig Fritchie 2014-02-25 14:53:35 +09:00
parent eabebac6f2
commit 638a45e8cb
1 changed files with 8 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
prototype/corfurl/test/corfurl_pulse.erl
View file

@ -414,7 +414,14 @@ check_trace(Trace0, _Cmds, _Seed) ->
end, Dict1, [X || X={mod_start,_,_,_} <- StEnds]), end, Dict1, [X || X={mod_start,_,_,_} <- StEnds]),
Dict3 = lists:foldl( Dict3 = lists:foldl(
fun({mod_end, w_1, LPN, Pg}, D) -> fun({mod_end, w_1, LPN, Pg}, D) ->
orddict:store(LPN, [Pg], D); Vs1 = orddict:fetch(LPN, D),
%% We've written a page. error_unwriten is
%% now impossible; any other binary() is
%% also impossible. However, there may be
%% a trim operation that's still in flight!
Vs2 = [V || V <- Vs1, V /= error_unwritten,
not is_binary(V)],
orddict:store(LPN, [Pg|Vs2], D);
({mod_end, WType, LPN, _Pg}, D) ({mod_end, WType, LPN, _Pg}, D)
when WType == w_ft; WType == w_tt -> when WType == w_ft; WType == w_tt ->
orddict:store(LPN, [error_trimmed], D); orddict:store(LPN, [error_trimmed], D);