本文从JVM的角度探讨Java Thread的语法和编译结果。如果需要获得第一手资料,请直接访问以下的资源——Java语言规范,Java虚拟机规范中有关线程的定义说明。
本文旨在介绍这些比较重要的线程相关的规范,基本上不另作发挥。(除了提到微软的“公共语言基础构造”。:-)
Java Language Specification
http://java.sun.com/docs/books/jls/second_edition/html/classes.doc.html#30531
JVM Specification
http://java.sun.com/docs/books/vmspec/2nd-edition/html/Compiling.doc.html#6530
http://java.sun.com/docs/books/vmspec/2nd-edition/html/Instructions2.doc9.html
http://java.sun.com/docs/books/vmspec/2nd-edition/html/Threads.doc.html
Microsoft CLI -- Common Language Infrastructure (sorry, off the topic :-)
http://msdn.microsoft.com/net/ecma/
1.synchronized method 的java语言规范
详见http://java.sun.com/docs/books/jls/second_edition/html/classes.doc.html#30531。
用synchronized关键字修饰的方法,分为两种情况:(static)静态方法,和实例方法。
(static)静态方法的“锁”是这个拥有这个方法的对象的Class对象;实例方法的“锁”是this,拥有这个方法的当前对象实例。
怎么理解这段话,看一看下面的例子就明白了。
下面两段代码的效果完全相同。代码1 ==代码2。
代码1:
class Test {
int count;
synchronized void bump() { count++; }
static int classCount;
static synchronized void classBump() {
classCount++;
}
}
代码2:
class BumpTest {
int count;
void bump() {
synchronized (this) {
count++;
}
}
static int classCount;
static void classBump() {
try {
synchronized (Class.forName("BumpTest")) {
classCount++;
}
} catch (ClassNotFoundException e) {
...
}
}
}
2.synchronized关键字的编译结果
这一节,我们来看一看synchronized关键字编译之后的java虚拟机指令是什么。
如果需要第一手资料,请参见java虚拟机规范相关的部分
http://java.sun.com/docs/books/vmspec/2nd-edition/html/Compiling.doc.html#6530
这段规范里面讲到,java虚拟机规范提供两条指令,monitorenter和monitorexit,来支持线程。但是对于上一节讲到的,用synchronized修饰的方法来说,并不使用这两个方法,而只是简单地用ACC_SYNCHRONIZED标志修饰。虚拟机调用方法的时候会检查这个标志,进行同步。
synchronized语句的编译结果对应monitorenter和monitorexit两条指令。
比如,下面的代码:
void onlyMe(Foo f) {
synchronized(f) {
doSomething();
}
}
的编译结果是
Method void onlyMe(Foo)
0 aload_1 // Push f
1 astore_2 // Store it in local variable 2
2 aload_2 // Push local variable 2 (f)
3 monitorenter // Enter the monitor associated with f
4 aload_0 // Holding the monitor, pass this and...
5 invokevirtual #5 // ...call Example.doSomething()V
8 aload_2 // Push local variable 2 (f)
9 monitorexit // Exit the monitor associated with f
10 return // Return normally
11 aload_2 // In case of any throw, end up here
12 monitorexit // Be sure to exit monitor...
13 athrow // ...then rethrow the value to the invoker
3.monitorenter和monitorexit
详见http://java.sun.com/docs/books/vmspec/2nd-edition/html/Instructions2.doc9.html
monitorenter定义的一段节录:
Operation : Enter monitor for object
Operand Stack : ..., objectref ...
Description :
The objectref must be of type reference.
Each object has a monitor associated with it. The thread that executes monitorenter gains ownership of the monitor associated with objectref. If another thread already owns the monitor associated with objectref, the current thread waits until the object is unlocked, then tries again to gain ownership. If the current thread already owns the monitor associated with objectref, it increments a counter in the monitor indicating the number of times this thread has entered the monitor. If the monitor associated with objectref is not owned by any thread, the current thread becomes the owner of the monitor, setting the entry count of this monitor to 1.
这段话的意思是说,monitorenter操作的目标一定要是一个对象,类型是reference。Reference实际就是堆里的一个存放对象的地址。每个对象(reference)都有一个monitor对应,如果有其它的线程获取了这个对象的monitor,当前的线程就要一直等待,直到获得monitor的线程放弃monitor,当前的线程才有机会获得monitor。
如果monitor没有被任何线程获取,那么当前线程获取这个monitor,把monitor的entry count设置为1。表示这个monitor被1个线程占用了。
当前线程获取了monitor之后,会增加这个monitor的时间计数,来记录当前线程占用了monitor多长时间。
我们看到,monitor这个词在java虚拟机规范规定出现,但是在java语言和API文档里面并没有出现。monitor是藏在线程同步后面的原理和概念。
4.Threads and Locks
详见http://java.sun.com/docs/books/vmspec/2nd-edition/html/Threads.doc.html。
这段规范详细地介绍了thread和lock的原理。下面给出这段规范的highlight。
8.4 Nonatomic Treatment of double and long Variables (double和long类型的非原子操作。)
8.7 Rules for volatile Variables
8.10 Example: Possible Swap
8.11 Example: Out-of-Order Writes
如果对列出的这些highlight感兴趣,请访问相应的java虚拟机规范网址。
5.Why specification?
本文主要讨论java相关规范的内容。规范文档非常重要,尤其对于java,C#这种生成中间代码的语言来说。
上面说的是java的相关规范。这里顺便提一下微软.Net的相关规范。
微软的“公共语言基础构造”规范:
Microsoft CLI -- Common Language Infrastructure (sorry, off the topic :-)
http://msdn.microsoft.com/net/ecma/
这个网址上有C#语言规范,CLI规范的下载。