クラッシュコンセンサスアルゴリズムの実装に問題があります。これがいくつかの擬似コードです。誰かがそれが何を意味するのか説明してくれませんか。
Crash-Consensus-Receive-Message(m)
if m is proposal message then
▷add the received values to set of all known proposed values
add[knownValues,values[m]]
note that sender[m]has not crashed during this round
else ▷ordinary message received
process message m
Crash-Consensus-Reach-Consensus()
knownValues←{ownValue} ▷start with just own proposed value
sentValues←0 ▷no values sent yet
for i←0 to f do ▷f+1 rounds of multicasts
▷determine which known values have not yet been sent
newValues←knownValues -ssentValues
multicast proposal message with newValues to alive processes
wait until next round
use pre-agreed strategy with knownValues to get consensus value
ここでmはメッセージを意味するので、sender[m]とvalues[m]はどういう意味ですか?また、knownValuesとはどういう意味ですか。