java - FilterLock 锁定函数中的 java while 循环测试用例中的奇怪字符(向后 "E")

Question

好的，我正在学习并发并检查过滤器锁定代码。 lock 函数包含 while 循环，其中 E 是向后的。

我主要是一个 php 人员，具有一些基本的 c++ 知识，并且可以使用 java 做非常基本的事情，但我从未见过这样的。变量“me”已被声明为 int，即 ThreadID.get()，并且此 while 循环位于“for 循环”中，其中“i”是计数器。

它看起来像他们的 Actor ，但我什至不明白这个带有“k”的符号是如何制作的。我在键盘上看不到它。我理解这个测试的最后一部分，但不理解第一组。

“k”实际上并未定义，而是在该测试的第二组中使用。有人可以向我解释一下这个向后的大写字母“E”发生了什么吗？如果可能的话，如果它有名字的话，它叫什么？

Answer 1

∃ 在 Java 中没有任何特殊含义。一定是打印错误。我确实找到了来源here ，你指出的。

while ((∃k != me)

应该是这样

while ((k != me)