我尝试在工具箱( TLA+ Toolbox,)中建模Paxos ()。我应该在模型中输入几个数字才能使其正常工作?或者在这个工具箱中还有其他方法来确认这个算法吗?CONSTANT Value, \* The set of choosable values. Quorum \* The set of "quorums", where a quorum" is a
\*
我想用自己的PHP代码直接访问,因为Google的API库很慢,但我不知道如何获得授权才能工作。请参阅下面的代码。我也尝试过使用,特别是方法,但是发现它仍然很慢,虽然没有那么糟糕,比如0.5秒左右。奇怪的是,当我给它计时时,实际的"Objects()“调用是快速的,它正在进入循环("foreach ($objects as $object)”--