Java多线程分析 (二)---- 高并发内存模型和线程安全

1.原子性：

原子性指一个操作不可中断的CPU操作是原子性：i++不是原子性：分为读取---i++--写入的操作，在类Java.concurrent.atomic类中，这样将操作分解成原子性的操作

2.有序性

当指令分解多个小小步骤：分解成流水线型操作：在每个时钟周期，从编译原理上理解：当执行到MEM过程放在缓存中，指令重排过程进行优化代码

3.可见性问题：没有后面进行加锁等操作，直接运行，有可能会发生指令重排（计算机自己出现一些不同结果）

一个线程修改一个共享资源，其他线程是否能够立马得知

4.Happen-Before规则：

5.CAS操作（无锁操作）：采用AtomicstampedReferencej解决一个经典的ＡＢＡ问题

package AtomicTest;

import java.util.concurrent.atomic.AtomicStampedReference;

public class AtomicStampedReferenceDemo {
   static AtomicStampedReference<Integer> moneny=new AtomicStampedReference<Integer>(19,0);
    public static void main(String[] args) {
        // TODO Auto-generated method stub
            //三个充值程序在这里监控，一个消费程序
        for(int i=0;i<3;i++)//执行三个充值消费监控
        {    final int timestamp=moneny.getStamp();//第一个参数表示先有余额，第二个参数表示充值次数
            new Thread()
            {
                //每一个进程有自己的run方法
                public void run()
                {
                    while (true)
                    {
                        Integer    m=moneny.getReference();
                        if(m<20)
                        {
                            if(moneny.compareAndSet(m,m+20,timestamp,timestamp+1))
                            {
                                System.out.println("余额不足，自动充值20元,现有余额  "+moneny.getReference());
                                break;
                            }
                            else
                            {
                                System.out.println("以帮你充值一次，无法在送");
                                break;
                            }
                            
                        }
                        else
                        {
                            break;
                        }
                    }
                }
            }.start();;
        }
        //用户模式
        new Thread(){
            public void run(){
                 for(int i=0;i<100;i++)
                 {
                     while(true)
                     {
                         Integer m=moneny.getReference();
                         int timestamp=moneny.getStamp();
                         if(m>10)
                         {
                             System.out.println("钱大于10元"+m);
                             if(moneny.compareAndSet(m,m-10,timestamp,timestamp+1));
                             {
                                 System.out.println("消费大于10元 "+moneny.getReference());
                                    break;
                             }
                            
                         }
                         else
                         {//为啥*。getReference会在cas被修改
                             System.out.println("没有足够的余额");
                             break;
                         }
                     }
                 }
            }
        }.start();
    }
    
}