andr3/distributed_system_coursework
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity

simplified function on paxos
All checks were successful
continuous-integration/drone/push Build is passing
Details

Browse Source
This commit is contained in:
Andre Henriques 2024-01-09 19:34:26 +00:00
parent 6d929a347f
commit f2c4e10542
1 changed files with 13 additions and 25 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

38
lib/paxos.ex
View File

@ -455,25 +455,13 @@ defmodule Paxos do
def propose_loop(inInst) do def propose_loop(inInst) do
receive do receive do
{:timeout, inst} -> {:timeout, inst} ->
if inInst == inst do check_and_apply({:timeout}, inst, inInst, &propose_loop/1)
{:timeout}
else
propose_loop(inInst)
end
{:abort, inst} -> {:abort, inst} ->
if inInst == inst do check_and_apply({:abort}, inst, inInst, &propose_loop/1)
{:abort}
else
propose_loop(inInst)
end
{:decision, inst, d} -> {:decision, inst, d} ->
if inInst == inst do check_and_apply({:decision, d}, inst, inInst, &propose_loop/1)
{:decision, d}
else
propose_loop(inInst)
end
x -> x ->
Process.send_after(self(), x, 500) Process.send_after(self(), x, 500)
@ -489,22 +477,22 @@ defmodule Paxos do
def get_decision_loop(inInst) do def get_decision_loop(inInst) do
receive do receive do
{:get_value_res, inst} -> {:get_value_res, inst} ->
if inst == inInst do check_and_apply(nil, inst, inInst, &get_decision_loop/1)
nil
else
get_decision_loop(inInst)
end
{:get_value_res_actual, inst, v} -> {:get_value_res_actual, inst, v} ->
if inst == inInst do check_and_apply(v, inst, inInst, &get_decision_loop/1)
v
else
get_decision_loop(inInst)
end
x -> x ->
Process.send_after(self(), x, 500) Process.send_after(self(), x, 500)
get_decision_loop(inInst) get_decision_loop(inInst)
end end
end end
def check_and_apply(v, inst, inInst, fun) do
if inst == inInst do
v
else
fun.(inInst)
end
end
end end