今天学习了java的加锁机制,介绍了关键词synchronized;课上说使用这个关键字词可以将一段代码原子化,在多线程的程序执行中使这段代码无法被拆分。 对于synchronized后面接同样的对象(同样的锁)的语句块,毫无疑问,其后的语句块是原子的,不可被拆分,相当于被线性的执行。 但是对于synchronized后面接不通的对象时(不通的锁),后面的语句块是否还是原子的,不可被拆分的?
所以写了如下的代码:
import java.util.ArrayList;
import java.util.regex.Matcher;
import java.util.regex.Pattern;
public class test1
{
public static void main(String[] args) {
Object oj1=new Object();
Object oj2=new Object();
Thread t1=new Thread(new run1(oj1));
Thread t2=new Thread(new run1(oj2));
t1.start();
t2.start();
}
}
class testx
{
static int x=1;
public static void minu(Object obj)
{
x--;
}
}
class run1 implements Runnable{
private Object obj;
public run1(Object obj)
{
super();
this.obj=obj;
}
@Override
public void run()
{
synchronized(obj)
{
testx.minu(obj);
System.out.println(testx.x);
}
}
}
这里将testx.minu(obj); System.out.println(testx.x)//testx中的静态变量-1,并输出x;
使用synchronized包含标记,在构造run1时,传入对象,作为锁。接着在主程序中,构造2个对象oj1、oj2分别作为2个锁,再构造2个线程构造2个锁为oj1、oj2的run1对象传递给线程,开始这2个线程。多次执行程序,得到的结果是:
-1,-1;
-1,-1;
0,-1;
-1,-1;
可以发现,如果这2个不同锁的语句块仍是原子的,则输出应该一直是“0,-1”;但结果很多是“-1,-1”;所以可以断定这2个不同锁的语句块不是原子的。
结论:使用synchronized标记的语句块,只是对于具有相同锁的语句块之间,将语句块原子化,将语句块的执行线性化。