java - 这是“多处理器编程艺术”中的 Java 还是花哨的伪代码？

Question

我已经开始阅读“多处理器编程的艺术”。似乎是一本很棒的书。它声称有用 Java 编写的示例，而且一开始看起来确实是这样，以至于它们可以被复制并按原样运行。然而，很快我就开始看到我不知道的 Java 特性。我猜他们不是，这本书只是使用了花哨的类似 Java 的伪代码，但验证它仍然没有坏处。

我说的是这样的事情：

1. 在 while 条件下使用存在量词，例如

while(\exists k != me) (级别[k] >= i && 受害者[i] == 我)

（用实际的数学符号替换 \exists；回想一下 Haskell 有类似的东西）。

1. 使用语法中内置的元组和字典顺序，例如

(标签[k], k) << (标签[i], i)

它比较左边的组件，如果需要的话，右边的组件。

据我所知，这是伪代码而不是 Java，但我对这种语言几乎不熟悉。

Answer 1

这不是Java。我没有详细检查，但例如02~Chapter_02.zip/ch02/Mutex/src/mutex/Bakery.java来自本书网站的程序似乎是第一个代码片段源自以“真实”Java 表达的程序。