Filter Lock Algorithm
问题 I'm busy looking at the filter lock algorithm for n-thread mutual exclusion and I can't seem to understand line 17 of the code. I understand that it is spinning on a condition but not entirely sure what those conditions are. More specifically what (∃k != me) entails. 1 class Filter implements Lock { 2 int[] level; 3 int[] victim; 4 public Filter(int n) { 5 level = new int[n]; 6 victim = new int[n]; // use 1..n-1 7 for (int i = 0; i < n; i++) { 8 level[i] = 0; 9 } 10 } 11 public void lock() {