不要重新分配被锁定对象的对象引用
2001-05-04 13:33
302 查看
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对象引用。
相关文章推荐
- 不要重新分配被锁定对象的对象引用
- 不要重新分配被锁定对象的对象引用(摘抄文章)
- 不要重新分配被锁定对象的对象引用
- 不要重新分配被锁定对象的对象引用
- 不要重新分配被锁定对象的对象引用
- 重新分配被锁定对象的对象引用的问题
- [翻译] Effective C++, 3rd Edition, Item 21: 当你必须返回一个 object(对象)时不要试图返回一个 reference(引用)(下)
- OC高效率52之用块引用其所属对象时不要出现保留环
- 重新组织数据之三 :Change Value to Reference(将实值对象改为引用对象)
- 读书笔记 effective c++ Item 21 当你必须返回一个对象的时候,不要尝试返回引用
- effective C++笔记之条款23:必须返回一个对象时不要试图返回一个引用
- effective C++笔记之条款31、32: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针所指对象的引用、尽可能地推迟变量的定义
- 对象引用算法、垃圾收集算法、内存分配策略
- effective c++ ------不要返回指向局部对象指针或引用,该返回对象就返回对象.
- 重新组织数据之四 :Change Reference to Value(将引用对象改为实值对象)
- Item 21:需要返回对象时,不要返回引用 Effective C++笔记
- 读书笔记 effective c++ Item 21 当你必须返回一个对象的时候,不要尝试返回引用
- 在必须返回一个对象时,不要去尝试返回一个引用
- 条款31: 千万不要返回局部对象的引用,也不要返回函数内部用new初始化的指针的引用 (转自effective c++ second edition)
- 条款 31: 千万不要返回局部对象的引用,也不要返回函数内部用 new 初始化的 指针的引用