讨论一下下面的多线程程序问题

key

下面的程序摘自《Java Concurrency in Practice》

1. @ThreadSafe
   
2. public class PrimeGenerator implements Runnable {
   
3.      @GuardedBy("this")
   
4.      private final List<BigInteger> primes
   
5.              = new ArrayList<BigInteger>();
   
6.      private  volatile boolean cancelled;
   
7. 
   
8.      public void run() {
   
9.          BigInteger p = BigInteger.ONE;
   
10.          while (!cancelled ) {
    
11.              p = p.nextProbablePrime();
    
12.              synchronized (this) {
    
13.                  primes.add(p);
    
14.              }
    
15.          }
    
16.      }
    
17. 
    
18.      public void cancel() { cancelled = true;  }
    
19. 
    
20.      public synchronized List<BigInteger> get() {
    
21.          return new ArrayList<BigInteger>(primes);
    
22.      }
    
23. }

复制代码

按照我本来我想法，我是没有想到用volatile的，而是采用synchronized的方法来保护cancel的存取，
包括run()方法里，也采用类似getCancel()这样的方案。显然，作者提供的这种volatile的方案
的粒度更小，代价更小（volatile的代价可以看这里：http://www.javaperformancetuning.com/news/qotm030.shtml）。

不知道大家有没有其他看法。

coredump

Java本以为自己不需要volatile关键字，却遇上了多线程编程中的无解难题，只好乖乖地引入
不过总起来说Java的并发模型还是很牛的，新的C++标准也基本上clone了Java的这个并发控制模型。

key

原帖由 coredump 于 4-8-2009 22:58 发表

                               
登录/注册后可看大图

Java本以为自己不需要volatile关键字，却遇上了多线程编程中的无解难题，只好乖乖地引入
不过总起来说Java的并发模型还是很牛的，新的C++标准也基本上clone了Java的这个并发控制模型。

core同学的url没贴好。。
Java的线程控制非常简单好用，的确设计得不错。
不过，从1.5开始，为了支持hardware级的线程控制，加入了java.util.concurrent包，
这真不知道是谁在学谁了

procoder

@ThreadSafe 是什么，我的java知识只是停留在1.4，好像没见过。

FYI： .net compact framework下所有变量自动为volatile。

key

@ThreadSafe是这本书的作者弄的annotation
的确是1.5之后的语法
不过specific到这个@ThreadSafe则是作者自制的

而常用的“官方”Annotation如 @Override，@Deprecated，@SuppressWarning（这个不确定）
JPA Annotation有：@Entity, @OneToMany之类

原帖由 procoder 于 5-8-2009 08:42 发表

                               
登录/注册后可看大图

@ThreadSafe 是什么，我的java知识只是停留在1.4，好像没见过。

FYI： .net compact framework下所有变量自动为volatile。

coredump

volatile的关键是它牺牲了部分锁的特性换来了一点性能的优势。


正确使用 Volatile 变量
http://www.ibm.com/developerworks/cn/java/j-jtp06197.html

其中一个限制就是volatile变量不能用来作为对象引用计数器(不能单独使用volatile)，但是在你这个例子中cancelled 是可以的，因为cancel()函数只写入不读取。
如果是addref()这样的操作就只能加上synchronized修饰了

key

原帖由 coredump 于 5-8-2009 10:45 发表

                               
登录/注册后可看大图

volatile的关键是它牺牲了部分锁的特性换来了一点性能的优势。


正确使用 Volatile 变量
http://www.ibm.com/developerworks/cn/java/j-jtp06197.html

其中一个限制就是volatile变量不能用来作为对象引用计数 ...

你的理解应该是正确的，但表达似乎有点含糊。
volatile变量的重要条件是该变量的值变化不依赖于之前的状态，这也就是你说的“读”的情况。
不知道你同不同意我的看法

coredump

C++中的volatile概念和Java中的差不多，但是C++中的volatile麻烦更多，不同平台(cpu, compiler...)行为差异更多，所以这东西貌似对多线程编程引起的麻烦比带来的好处更多。更彻底的并发方案应该还是STM。