WIP: zerf_find_last_common() fix, eunit passes & very basic len=3 converge demo works
This commit is contained in:
parent
0b8de235a9
commit
d4275e5460
1 changed files with 20 additions and 39 deletions
|
@ -972,7 +972,7 @@ do_react_to_env(S) ->
|
||||||
catch
|
catch
|
||||||
throw:{zerf,_}=_Throw ->
|
throw:{zerf,_}=_Throw ->
|
||||||
Proj = S#ch_mgr.proj,
|
Proj = S#ch_mgr.proj,
|
||||||
io:format(user, "\n\nzerf ~p throw ~p\n", [S#ch_mgr.name, _Throw]),
|
%%io:format(user, "\n\nzerf ~p throw ~p\n", [S#ch_mgr.name, _Throw]),
|
||||||
{{no_change, [], Proj#projection_v1.epoch_number}, S}
|
{{no_change, [], Proj#projection_v1.epoch_number}, S}
|
||||||
end.
|
end.
|
||||||
|
|
||||||
|
@ -1425,7 +1425,7 @@ react_to_env_A50(P_latest, FinalProps, S) ->
|
||||||
?REACT({a50, ?LINE, [{latest_epoch, P_latest#projection_v1.epoch_number},
|
?REACT({a50, ?LINE, [{latest_epoch, P_latest#projection_v1.epoch_number},
|
||||||
{final_props, FinalProps}]}),
|
{final_props, FinalProps}]}),
|
||||||
%% io:format(user, "A50: ~p: ~W\n", [S#ch_mgr.name, get(react), 60]),
|
%% io:format(user, "A50: ~p: ~W\n", [S#ch_mgr.name, get(react), 60]),
|
||||||
if S#ch_mgr.name == a -> io:format(user, "A50: ~p: ~P\n", [S#ch_mgr.name, get(react), 60]); true -> ok end,
|
%%if S#ch_mgr.name == a -> io:format(user, "A50: ~p: ~P\n", [S#ch_mgr.name, get(react), 60]); true -> ok end,
|
||||||
{{no_change, FinalProps, P_latest#projection_v1.epoch_number}, S}.
|
{{no_change, FinalProps, P_latest#projection_v1.epoch_number}, S}.
|
||||||
|
|
||||||
react_to_env_B10(Retries, P_newprop, P_latest, LatestUnanimousP,
|
react_to_env_B10(Retries, P_newprop, P_latest, LatestUnanimousP,
|
||||||
|
@ -2593,7 +2593,6 @@ make_zerf(#projection_v1{epoch_number=OldEpochNum,
|
||||||
|
|
||||||
make_zerf2(OldEpochNum, Up, MajoritySize, MyName, AllMembers, OldWitness_list, MembersDict, S) ->
|
make_zerf2(OldEpochNum, Up, MajoritySize, MyName, AllMembers, OldWitness_list, MembersDict, S) ->
|
||||||
try
|
try
|
||||||
put(epochs, []),
|
|
||||||
Epochs = lists:reverse(
|
Epochs = lists:reverse(
|
||||||
lists:usort(
|
lists:usort(
|
||||||
lists:flatten(
|
lists:flatten(
|
||||||
|
@ -2603,57 +2602,39 @@ make_zerf2(OldEpochNum, Up, MajoritySize, MyName, AllMembers, OldWitness_list, M
|
||||||
Proxy, private, ?TO*5),
|
Proxy, private, ?TO*5),
|
||||||
[E || E <- Es]
|
[E || E <- Es]
|
||||||
end || FLU <- Up]))),
|
end || FLU <- Up]))),
|
||||||
put(epochs, Epochs),
|
|
||||||
Relation = [],
|
Relation = [],
|
||||||
zerf_find_last_common(Epochs, Relation, MajoritySize, Up, S)
|
zerf_find_last_common(Epochs, Relation, MajoritySize, Up, S)
|
||||||
catch
|
catch
|
||||||
throw:{zerf,no_common} ->
|
throw:{zerf,no_common} ->
|
||||||
case lists:usort(get(epochs)) of
|
%% Epoch 0 special case: make the "all" projection.
|
||||||
[0] ->
|
%% calc_projection2() will then filter out any FLUs that
|
||||||
%% Epoch 0 special case: make the "all" projection.
|
%% aren't currently up to create the first chain. If not
|
||||||
%% calc_projection2() will then filter out any FLUs that
|
%% enough are up now, then it will fail to create a first
|
||||||
%% aren't currently up to create the first chain. If not
|
%% chain.
|
||||||
%% enough are up now, then it will fail to create a first
|
%%
|
||||||
%% chain.
|
%% If epoch 0 isn't the only epoch that we've looked at,
|
||||||
P = make_all_projection(MyName, AllMembers, OldWitness_list,
|
%% but we still couldn't find a common projection, then
|
||||||
MembersDict),
|
%% we still need to default to the "all" projection and let
|
||||||
machi_projection:update_checksum(
|
%% subsequent chain calculations do their calculations....
|
||||||
P#projection_v1{epoch_number=OldEpochNum});
|
P = make_all_projection(MyName, AllMembers, OldWitness_list,
|
||||||
_Es ->
|
MembersDict),
|
||||||
%% TODO: This corner case needs more thought.
|
machi_projection:update_checksum(
|
||||||
%%
|
P#projection_v1{epoch_number=OldEpochNum});
|
||||||
%% Easy case: epoch 1, All=[a,b,c], UPI=[a,b],
|
|
||||||
%% Private by a is ok, then *all* crash.
|
|
||||||
%% Upon restart, we see 'partial write' for
|
|
||||||
%% epoch 1 but not unanimous. Nobody can
|
|
||||||
%% proceed because this case ends up getting
|
|
||||||
%% stuck here.
|
|
||||||
%%
|
|
||||||
%% Hard case: Is it always true that *all* possible
|
|
||||||
%% private projections are not unanimous and therefore
|
|
||||||
%% the chain has never had a single stable configuration
|
|
||||||
%% and therefore we should act like the [epoch=0] case
|
|
||||||
%% above?? I don't believe that this is correct, but I
|
|
||||||
%% need to ponder more................
|
|
||||||
throw({zerf, {undecidable, _Es, Up}})
|
|
||||||
end;
|
|
||||||
_X:_Y ->
|
_X:_Y ->
|
||||||
throw({zerf, {damn_exception, Up, _X, _Y, erlang:get_stacktrace()}})
|
throw({zerf, {damn_exception, Up, _X, _Y, erlang:get_stacktrace()}})
|
||||||
after
|
|
||||||
erase(epochs)
|
|
||||||
end.
|
end.
|
||||||
|
|
||||||
zerf_find_last_common([], _Relation, _MajoritySize, _Up, _S) ->
|
zerf_find_last_common([], _Relation, _MajoritySize, _Up, _S) ->
|
||||||
throw({zerf, no_common});
|
throw({zerf, no_common});
|
||||||
zerf_find_last_common(UnsearchedEpochs, Relation, MajoritySize, Up, S) ->
|
zerf_find_last_common(UnsearchedEpochs, Relation, MajoritySize, Up, S) ->
|
||||||
{NowEpochs, NextEpochs} = my_lists_split(5, UnsearchedEpochs),
|
{NowEpochs, NextEpochs} = my_lists_split(5, UnsearchedEpochs),
|
||||||
io:format(user, "zerf_find_last_common now_es ~p\n", [NowEpochs]),
|
%%io:format(user, "zerf_find_last_common now_es ~p\n", [NowEpochs]),
|
||||||
Rel2 = lists:foldl(
|
Rel2 = lists:foldl(
|
||||||
fun({E, FLU}, Rel) ->
|
fun({E, FLU}, Rel) ->
|
||||||
Proxy = proxy_pid(FLU, S),
|
Proxy = proxy_pid(FLU, S),
|
||||||
case ?FLU_PC:read_projection(Proxy, private, E, ?TO) of
|
case ?FLU_PC:read_projection(Proxy, private, E, ?TO) of
|
||||||
{ok, Proj} ->
|
{ok, Proj} ->
|
||||||
io:format(user, "fold ~p ~p ok\n", [E, FLU]),
|
%%io:format(user, "fold ~p ~p ok\n", [E, FLU]),
|
||||||
%% Sort order: we want inner = bigger.
|
%% Sort order: we want inner = bigger.
|
||||||
OorI = case inner_projection_exists(Proj) of
|
OorI = case inner_projection_exists(Proj) of
|
||||||
true -> z_inner;
|
true -> z_inner;
|
||||||
|
@ -2671,12 +2652,12 @@ io:format(user, "fold ~p ~p ok\n", [E, FLU]),
|
||||||
end,
|
end,
|
||||||
Rel2;
|
Rel2;
|
||||||
{error, not_written} ->
|
{error, not_written} ->
|
||||||
io:format(user, "fold ~p ~p not_written\n", [E, FLU]),
|
%%io:format(user, "fold ~p ~p not_written\n", [E, FLU]),
|
||||||
Rel
|
Rel
|
||||||
end
|
end
|
||||||
end, Relation, [{E, FLU} || E <- NowEpochs, FLU <- Up]),
|
end, Relation, [{E, FLU} || E <- NowEpochs, FLU <- Up]),
|
||||||
SortedRel = lists:reverse(lists:sort(Rel2)),
|
SortedRel = lists:reverse(lists:sort(Rel2)),
|
||||||
io:format(user, "zerf_find_last_common rel ~p\n", [SortedRel]),
|
%%io:format(user, "zerf_find_last_common rel ~p\n", [SortedRel]),
|
||||||
case [T || T={{E, OorI, Proj}, WrittenFLUs} <- SortedRel,
|
case [T || T={{E, OorI, Proj}, WrittenFLUs} <- SortedRel,
|
||||||
lists:sort(Proj#projection_v1.upi) == lists:sort(WrittenFLUs)
|
lists:sort(Proj#projection_v1.upi) == lists:sort(WrittenFLUs)
|
||||||
andalso
|
andalso
|
||||||
|
|
Loading…
Reference in a new issue