<分区>
我的学校给出了 Peterson 解决方案的实现。我有一些问题。 您可以在最后找到完整的代码。
首先；两个线程(AddOne 和 SubOne)以相同的进程值“0”进入和离开临界区是否正确。
PetersonsSolution.enter_region(0); //Both use 0 as paramater.
代码的输出是这样的:
++ finihed
-- finished
Result: 0
++ finihed
-- finished
Result: -49
-- finished
++ finihed
Result: -64
++ finihed
-- finished
Result: -54
...ans so on
我认为如果彼得森的解决方案按预期工作，结果必须等于 0。但它们都是不同的。
所以我像这样更改 AddOne 类:给一个不同的参数。
class AddOne extends Thread {
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
PetersonsSolution.enter_region(1); //give 1 as paramater.
PetersonsSolution.myValue++;
PetersonsSolution.leave_region(1); //give 1 as paramater.
}
System.out.println("++ finihed");
}
}
这给了我预期的结果:
-- finished
++ finihed
Result: 0
++ finihed
-- finished
Result: 0
但这一次，一两秒后程序进入无限循环并且不在屏幕上打印任何内容。我认为它停留在这个 while(turn == process && interested[other])
我的问题是；
- 给出不同的工艺参数以获得 预期结果(结果:0)？
- 如果它是正确的，为什么它会在一段时间后卡住？
谢谢大家!
Peterson 的解决方案实现:
public class PetersonsSolution {
static int myValue = 0;
static int turn;
static boolean interested[] = {false, false};
public static void main(String[] args) throws Exception {
while (true) {
AddOne add = new AddOne();
SubOne sub = new SubOne();
add.start();
sub.start();
add.join();
sub.join();
System.out.println("Result: " + myValue);
}
}
public static void enter_region(int process){
int other;
other = 1 - process;
interested[process] = true;
turn = process;
while(turn == process && interested[other]){
//System.out.println("waiting");
}
}
public static void leave_region(int process){
interested[process] = false;
}
}
class AddOne extends Thread {
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
PetersonsSolution.enter_region(0);
PetersonsSolution.myValue++;
PetersonsSolution.leave_region(0);
}
System.out.println("++ finihed");
}
}
class SubOne extends Thread {
@Override
public void run() {
for (int i = 0; i < 1000; i++) {
PetersonsSolution.enter_region(0);
PetersonsSolution.myValue--;
PetersonsSolution.leave_region(0);
}
System.out.println("-- finished");
}
}