java 多线程中synchronized的使用

对于进程和线程，操作系统设计者的目的是从概念上简化编程模型，使编程显得更自然，更符合思维习惯。操作系统设计者为使用进程和线程来编程提供了一个假设条件，即进程和线程各自的执行流是连贯的，没有任何断续执行的现象。但是实际上（以单CPU系统为例），从系统实现的底层看起来，这些进程和线程的执行流是支离破碎的，并且这些破碎的执行流片断被CPU以某种方式（即操作系统的调度程序）组合成一个串行的、混合在一起的执行流，以此推动操作系统不断运行。问题就在这里，同步问题的根源就在于看起来连贯的执行流实际上是破碎的。破碎的执行流会造成什么问题呢？比如有两个执行流A和B，A对现在需要对一个数据进行操作，但是这个操作被分割成了相连的两块执行流碎片，而另外一个执行流B本来需要在A完成这个数据操作之后才能取到这个数据然后进行它自己的计算，可是由于A对数据本应完整的操作被分割成了相连的两部分，然后CPU在A的碎片之间插入了B的取数这样一个执行流片断。这样一来，程序的行为就不符合我们原本所设想的那样，程序运行的结果就会出错。同步的本质就是让CPU不要把A的数据操作分割开，不让B有机会错误的横插一杠进来扰乱A，以保证正确的执行顺序，这样才能得到正确的我们想要的结果。不管你看起来执行得多么快的操作，都有可能被操作系统打断，从而形成碎片，导致无法预料的结果。所以，应该在需要精确时序的地方使用同步，而不是根据这个操作快不快来判断。所谓需要精确时序场合，其实就是数据的使用或操作的执行存在依赖性的地方，对于代码来说，就是完成某项操作时对参与的进程或线程执行顺序存在依赖性的代码块。

1.多线程中有主内存和工作内存之分， 在JVM中，有一个主内存，专门负责所有线程共享数据；而每个线程都有他自己私有的工作内存， 主内存和工作内存分贝在JVM的stack区和heap区。

2.线程的状态有'Ready', 'Running', 'Sleeping', 'Blocked', 和 'Waiting'几个状态，
'Ready' 表示线程正在等待CPU分配允许运行的时间。

3.线程运行次序并不是按照我们创建他们时的顺序来运行的，CPU处理线程的顺序是不确定的，如果需要确定，那么必须手工介入，使用setPriority()方法设置优先级。

4.我们无从知道一个线程什么时候运行，两个或多个线程在访问同一个资源时，需要synchronized

5. 每个线程会注册自己，实际某处存在着对它的引用，因此，垃圾回收机制对它就“束手无策”了。

6. Daemon线程区别一般线程之处是：主程序一旦结束，Daemon线程就会结束。

7. 一个对象中的所有synchronized方法都共享一把锁，这把锁能够防止多个方法对通用内存同时进行的写操作。synchronized static方法可在一个类范围内被相互间锁定起来。

8. 对于访问某个关键共享资源的所有方法，都必须把它们设为synchronized，否则就不能正常工作。

9. 假设已知一个方法不会造成冲突，最明智的方法是不要使用synchronized，能提高些性能。

10. 如果一个"同步"方法修改了一个变量，而我们的方法要用到这个变量(可能是只读),最好将自己的这个方法也设为 synchronized。

11. synchronized不能继承，　父类的方法是synchronized，那么其子类重载方法中就不会继承“同步”。

12. 线程堵塞Blocked有几个原因造成：

(1)线程在等候一些IO操作
(2)线程试图调用另外一个对象的“同步”方法，但那个对象处于锁定状态，暂时无法使用。

13.原子型操作(atomic), 对原始型变量(primitive)的操作是原子型的atomic. 意味着这些操作是线程安全的， 但是大部分情况下，我们并不能正确使用，来看看 i = i + 1 , i是int型，属于原始型变量：

(1)从主内存中读取i值到本地内存.
(2)将值从本地内存装载到线程工作拷贝中.
(3)装载变量1.
(4)将i 加 1.
(5)将结果给变量i.
(6)将i保存到线程本地工作拷贝中.
(7)写回主内存.

注意原子型操作只限于第1步到第2步的读取以及第6到第7步的写, i的值还是可能被同时执行i=i+1的多线程中断打扰(在第4步)。

double 和long 变量是非原子型的(non-atomic)。数组是object 非原子型。

14. 由于13条的原因，我们解决办法是：

class xxx extends Thread{

//i会被经常修改
private int i;

public synchronized int read(){ return i;}

public synchronized void update(){ i = i + 1;}

..........

}

15. Volatile变量， volatile变量表示保证它必须是与主内存保持一致，它实际是"变量的同步", 也就是说对于volatile变量的操作是原子型的，如用在long 或 double变量前。

16. 使用yield()会自动放弃CPU，有时比sleep更能提升性能。

17. sleep()和wait()的区别是：wait()方法被调用时会解除锁定，但是我们能使用它的地方只是在一个同步的方法或代码块内。

18. 通过制造缩小同步范围，尽可能的实现代码块同步，wait(毫秒数)可在指定的毫秒数可退出wait；对于wait()需要被notisfy()或notifyAll()踢醒。

19. 构造两个线程之间实时通信的方法分几步：
(1). 创建一个PipedWriter和一个PipedReader和它们之间的管道;
PipedReader in = new PipedReader(new PipedWriter())
(2). 在需要发送信息的线程开始之前，将外部的PipedWriter导向给其内部的Writer实例out
(3). 在需要接受信息的线程开始之前，将外部的PipedReader导向给其内部的Reader实例in
(4). 这样放入out的所有东西度可从in中提取出来。

20. synchronized带来的问题除性能有所下降外，最大的缺点是会带来死锁DeadLock，只有通过谨慎设计来防止死锁，其他毫无办法，这也是线程难以驯服的一个原因。不要再使用stop() suspend() resume()和destory()方法

21. 在大量线程被堵塞时，最高优先级的线程先运行。但是不表示低级别线程不会运行，运行概率小而已。

22. 线程组的主要优点是：使用单个命令可完成对整个线程组的操作。很少需要用到线程组。

23. 从以下几个方面提升多线程的性能：

检查所有可能Block的地方，尽可能的多的使用sleep或yield()以及wait();

尽可能延长sleep(毫秒数)的时间;

运行的线程不用超过100个，不能太多；

不同平台linux或windows以及不同JVM运行性能差别很大。

还要注意的一点对于同步对象 不要重新分配同步对象的引用

synchronized 关键字锁定对象。对象是在 synchronized 代码内部被锁定的，这一点对此对象以及您对其对象引用所作的更改意味着什么呢？对一个对象作同步处理只锁定该对象。但是，必须注意不要重新分配被锁定对象的对象引用。那么如果这样做会发生什么情况呢？请考虑下面这段代码，它实现了一个 Stack：

class Stack
{
private int StackSize = 10;
private int[] intArr = new int[stackSize];
private int index; //Stack 中的下一个可用位置。

public void push(int val)
{
synchronized(intArr) {
//如果已满，则重新分配整数数组（即我们的 Stack）。
if (index == intArr.length)
{
stackSize *= 2;
int[] newintArr == new int[stackSize];
System.arraycopy(intArr, 0, newintArr, 0, intArr.length);
intArr = newintArr;
}
intArr[index] == val;
index++;
}
}

public int pop()
{
int retval;
synchronized(intArr) {
if (index > 0)
{
retval = intArr[index-1]; //检索值，
index--; //并使 Stack 减少 1 个值。
return retval;
}
}
throw new EmptyStackException();
}
//...
}


这段代码用数组实现了一个 Stack。创建了一个初始大小为 10 的数组来容纳整数值。此类实现了 push 和 pop 方法来模拟 Stack 的使用。在 push 方法中，如果数组中没有更多的空间来容纳压入的值，则数组被重新分配以创建更多的存储空间。（故意没有用 Vector 来实现这个类。Vector 中不能储存基本类型。）

请注意，这段代码是要由多个线程进行访问的。push 和 pop 方法每次对该类的共享实例数据的访问都是在 synchronized 块内完成的。这样就保证了多个线程不能并发访问此数组而生成不正确的结果。

这段代码有一个主要的缺点。它对整数数组对象作了同步处理，而这个数组被 Stack 类的 intArr 所引用。当 push 方法重新分配此整数数组时，这个缺点就会显露出来。当这种情况发生时，对象引用 intArr 被重新指定为引用一个新的、更大的整数数组对象。请注意，这是在 push 方法的 synchronized 块执行期间发生的。此块针对 intArr 变量引用的对象进行了同步处理。因此，在这段代码内锁定的对象不再被使用。请考虑以下的事件序列：

线程 1 调用 push 方法并获得 intArr 对象的锁。


线程 1 被线程 2 抢先。


线程 2 调用 pop 方法。此方法因试图获取当前线程 1 在 push 方法中持有的同一个锁而阻塞。


线程 1 重新获得控制并重新分配数组。intArr 变量现在引用一个不同的变量。


push 方法退出并释放它对原来的 intArr 对象的锁。


线程 1 再次调用 push 方法并获得新 intArr 对象的锁。


线程 1 被线程 2 抢先。


线程 2 获得旧 intArr 对象的对象锁并试图访问其内存。


现在线程 1 持有由 intArr 引用的新对象的锁，线程 2 持有由 intArr 引用的旧对象的锁。因为两个线程持有不同的锁，所以它们可以并发执行 synchronized push 和 pop 方法，从而导致错误。很明显，这不是所希望的结果。

这个问题是因 push 方法重新分配被锁定对象的对象引用而造成的。当某个对象被锁定时，其他线程可能在同一个对象锁上被阻塞。如果将被锁定对象的对象引用重新分配给另一个对象，其他线程的挂起锁则是针对代码中已不再相关的对象的。

您可以这样修正这段代码，去掉对 intArr 变量的同步，而对 push 和 pop 方法进行同步。通过将 synchronized 关键字添加为方法修饰符即可实现这一点。正确的代码如下所示：

class Stack
{
//与前面相同...
public synchronized void push(int val)
{
//如果为空，则重新分配整数数组（即我们的 Stack）。
if (index == intArr.length)
{
stackSize *= 2;
int[] newintArr = new int[stackSize];
System.arraycopy(intArr, 0, newintArr, 0, intArr.length);
intArr = newintArr;
}
intArr[index]= val;
index++;
}

public synchronized int pop()
{
int retval;
if (index > 0)
{
retval = intArr[index-1];
index--;
return retval;
}
throw new EmptyStackException();
}
}


这个修改更改了实际上获取的锁。获取的锁是针对为其调用方法的对象的，而不是锁定 intArr 变量所引用的对象。因为获取的锁不再针对 intArr 所引用的对象，所以允许代码重新指定 intArr 对象引用。

作者简介
Peter Haggar 是 IBM 的高级软件工程师。他目前正在研究新兴的 Java 和因特网技术，并且是 IBM 实时 Java 参考实现的项目主持人。他有丰富的编程经验，从事过开发工具、类库和操作系统等方面的工作。在许多行业研讨会上，他也经常就 Java 和其他技术作技术性发言。他于 1987 年在纽约获得 Clarkson 大学计算机科学学士学位。可以通过 haggar@us.ibm.com 与他联系。
出处 IBM DW