java中证明++操作是非原子的

最新推荐文章于 2024-04-22 21:36:30 发布

原创最新推荐文章于 2024-04-22 21:36:30 发布 · 318 阅读

0 ·

CC 4.0 BY-SA版权

android 专栏收录该内容

37 篇文章

订阅专栏

本文通过一个示例程序展示了如何使用线程池和循环集合来检测并发环境下产生的重复序列号。通过循环集合存储最近产生的序列号，并在线程中检查每个新生成的序列号是否已经存在，以此验证系统的并发安全性。

class SerialNumberGenerator{
	private static volatile int i=0;
	//不是同步的，多个线程操作可能会冲突
	public static int nextSerialNumber(){
		return i++;
	}
}
class CircularSet{
	private int[] array;
	private int len;
	private int index=0;
	public CircularSet(int size){
		this.len=size;
		array=new int[len];
		for(int i=0;i<len;i++){
			array[i]=-1;
		}
	}
	public synchronized void add(int n){
		array[index]=n;
		index=++index%len;
	}
	public synchronized boolean contains(int n){
		for(int i=0;i<len;i++){
			if(array[i]==n){
				return true;
			}
		}
		return false;
	}
}
public class Test {
	private static final int SIZE=100;
	private static CircularSet mCircularSet=new CircularSet(1000);
	private static ExecutorService mExecutorService=Executors.newCachedThreadPool();
	public static void main(String[] args) throws InterruptedException {
		for(int i=0;i<SIZE;i++){
			mExecutorService.execute(new SerialChecker());
		}
		TimeUnit.SECONDS.sleep(5);
	}
	static class SerialChecker implements Runnable{
		@Override
		public void run() {
			while(true){
				int serial=SerialNumberGenerator.nextSerialNumber();
				if(mCircularSet.contains(serial)){
					System.out.println("Duplicate:"+serial);
					System.exit(0);
				}
				mCircularSet.add(serial);
			}
		}
	}
}