在ArrayBlockingQueue,所有需要锁的方法final在调用之前将其复制到局部变量lock().
public boolean offer(E e) {
if (e == null) throw new NullPointerException();
final ReentrantLock lock = this.lock;
lock.lock();
try {
if (count == items.length)
return false;
else {
insert(e);
return true;
}
} finally {
lock.unlock();
}
}
Run Code Online (Sandbox Code Playgroud)
当字段是什么时,有没有理由复制this.lock到局部变量?lockthis.lockfinal
此外,它还在使用E[]之前使用本地副本:
private E extract() {
final E[] items = this.items;
E x = items[takeIndex];
items[takeIndex] = null;
takeIndex = inc(takeIndex);
--count;
notFull.signal();
return x;
}
Run Code Online (Sandbox Code Playgroud)
有没有理由将最终字段复制到本地最终变量?
请解释为什么忙碌等待通常不赞成,而旋转通常被认为是好的.据我所知,它们都无限循环,直到满足某些条件.
根据Wiki,CAS 做这样的事情:
function cas(p : pointer to int, old : int, new : int) returns bool {
if *p ? old {
return false
}
*p ? new
return true
}
Run Code Online (Sandbox Code Playgroud)
好吧,在我看来,如果多个处理器将尝试使用相同的参数执行 CAS 指令,则可能会同时进行多次写入尝试,因此无论如何这样做都不安全。
我哪里错了?