Java 崩溃一致性算法

我在实现崩溃共识算法时遇到问题。 下面是一些伪代码。有人能给我解释一下这是什么意思吗

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]和值[m]是什么意思，因为m在这里表示消息？在大多数编程语言中，方括号表示一个值数组，在您的例子中是一个已知消息数组或要发送的消息数组。我不确定这在伪代码中是否也是正确的，但我认为可能在所有情况下都可以帮助您。

不要发布文本信息的屏幕截图！无论这本书是哪本书（也许在你的问题中提到过？）的开头都可能有一个“语法约定”部分。这可能会提供一些指导。我本来打算打它，但我不知道如何打三角形。截图有什么问题？