Oracle的本征锁和同步教程说:
Intrinsic [Monitor]锁在同步的两个方面都起作用:强制对对象状态的独占访问
我假设如果一个线程正在执行“同步”方法,则一个对象中的任何值都不能同时由两个线程操纵。
因此,当以下代码具有以下输出时,我感到很惊讶(尽管出于我想要做的目的而松了一口气)。我不太确定会发生什么,但是我发现有错误或可能会发生某些情况。
据我了解,如果另一个线程正在请求该对象的监视状态,则“同步”仅用于限制对该对象的访问-但如果另一个线程正在更改一个值,则不是。它是否正确?
public class HelloWorld implements Runnable{
Thread t1;
Thread t2;
int val1 = 0;
int val2 = 0;
public static void main(String[] args) {
HelloWorld h1 = new HelloWorld();
h1.t1 = new Thread(h1);
h1.t2 = new Thread(h1);
h1.t1.start();
h1.t2.start();
}
@Override
public void run() {
System.out.println("STARTED");
System.gc();
Thread currentThread = Thread.currentThread();
if (currentThread == this.t1) {
this.locker(); //This is a synchronized method, incrementing val1
}
if (currentThread == this.t2) {
this.adder(); //This is a non-synchronized method, incrementing val2
}
}
private synchronized void locker() {
for(int i = 0; i < 3; i++){
val1++;
System.out.println("LOCKER: " + this.val1);
}
}
private void adder() {
while(this.val2 < 3) {
this.val2++;
System.out.println("ADDER: " + this.val2);
}
synchronized(this) {
//Synchronize for final output
System.out.println("FINAL");
System.out.println(val1);
System.out.println(val2);
}
}
}
STARTED
STARTED
ADDER: 1
LOCKER: 1
LOCKER: 2
ADDER: 2
LOCKER: 3
ADDER: 3
FINAL
3
3
措辞“强制对对象状态的专有访问”可能会引起误解。同步代码可用于实现对对象状态的互斥访问,但是(a)并不强制这样做,并且(b)受保护状态不一定是被锁定对象的状态。在该教程后面的示例中对此进行了演示,其中两个对象lock1
和lock2
用于保护字段,c1
而c2
这两个字段都不属于其自身状态。
什么synchronized
强制执行是独占访问代码-这是一个中的任何代码synchronized
在同一个显示器上块只能由拥有该监视器线程跑出。这可以用于确保对状态的独占访问-但前提是您正确编写了代码(即,将对状态的所有访问都放在synchronized
块中)。
没有什么可以阻止您编写从不受保护的代码访问字段的程序,在这种情况下,将不强制执行独占访问。
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句