并发编程(三)原子性(1)

【认识原子性】:

一个小程序认识原子性:

package T05_YuanZiXing;

import java.util.concurrent.CountDownLatch;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

public class T00_00_IPlusPlus {
    private static long n = 0L;

    public static void main(String[] args) throws Exception {

        //Lock lock = new ReentrantLock();

        Thread[] threads = new Thread[100];
        CountDownLatch latch = new CountDownLatch(threads.length);

        for (int i = 0; i < threads.length; i++) {
            threads[i] = new Thread(() -> {
                for (int j = 0; j < 10000; j++) {
                    n++;
                }
                latch.countDown();
            });
        }

        for (Thread t : threads) {
            t.start();
        }

        latch.await();

        System.out.println(n);

    }
}

【最终输出】:
在这里插入图片描述
//启动了100个线程 , 每个线程将数字加到1W , 最后应该是100W。
【问题所在】:

在这里插入图片描述
多个线程同时拿到了变量,同时++,然后同时写回去。

【一些概念】:
race condition => 竞争条件 , 指的是多个线程访问共享数据的时候产生竞争———上述程序中变量n即是共享数据。

数据的不一致(unconsistency),并发访问之下产生的不期望出现的结果

如何保障数据一致呢?–> 线程同步(线程执行的顺序安排好),

monitor (管程) —> 锁

critical section -> 临界区

如果临界区执行时间长,语句多,叫做 锁的粒度比较粗,反之,就是锁的粒度比较细。

【修改程序】:

        for (int i = 0; i < threads.length; i++) {
            threads[i] = new Thread(() -> {
                for (int j = 0; j < 10000; j++) {
                    synchronized (T00_01_IPlusPlus.class) {
                        //lock.lock();
                        n++;
                        //lock.unlock();
                    }
                }
                latch.countDown();
            });
        }

【原子操作】:

原子操作的意思就是不能够中间被打断 , 只能作为一个整体 , 不能并发执行 。

【什么样的语句是原子性的,什么样的语句不是原子性的呢?】:

不管是Java、C、C++、高级语言、低级语言 最终一定都是要搞成机器语言的。机器语言翻译过来就是汇编语言。即便是汇编语言,它执行的任何一条指令都有可能被其他的线程所打断。
【得查汇编手册】:

CPU级别汇编,需要查询汇编手册!

Java中的8大原子操作:(了解即可,无需背过)

  1. lock:主内存,标识变量为线程独占
  2. unlock:主内存,解锁线程独占变量
  3. read:主内存,读取内存到线程缓存(工作内存)
  4. load:工作内存,read后的值放入线程本地变量副本
  5. use:工作内存,传值给执行引擎
  6. assign:工作内存,执行引擎结果赋值给线程本地变量
  7. store:工作内存,存值到主内存给write备用
  8. write:主内存,写变量值

【为何不用背呢?】:

//正常的情况下 , 你判断不了的情况下。这句话到底是否具备原子性呢?——你给它上锁就可以了。

【n++翻译成汇编指令】:

在这里插入图片描述
在这里插入图片描述
1——将static的值给拿过来;
2——扔到栈空间里面;
3——将这个值++;
4——将值放回去;
5——返回。

【 用上锁保证原子性 】:

synchronized (T00_01_IPlusPlus.class) {
      n++;
}

//大括号里面的所有操作都被当作了一个整体——不可打断。

【上锁的本质(一)】:

一句高级语言翻译成机器语言可能有好多句。需要保证这些操作不被打断。

【上锁的本质(二)】:

上锁的本质就是把并发编程序列化。
【程序解释】:

package T05_YuanZiXing;

import Utils.SleepHelper;

public class T00_01_WhatIsLock {
    private static Object o = new Object();
    
    public static void main(String[] args) {
        Runnable r = () -> {
                System.out.println(Thread.currentThread().getName() + " start!");
                SleepHelper.sleepSeconds(2);
                System.out.println(Thread.currentThread().getName() + " end!");
        };

        for (int i = 0; i < 3; i++) {
            new Thread(r).start();
        }
    }
}

【最终输出】:
在这里插入图片描述
//基本上是同时启动 , 2秒之后同时结束。

【进行改进】:

package T05_YuanZiXing;

import Utils.SleepHelper;

public class T00_01_WhatIsLock_02 {
    private static Object o = new Object();


    public static void main(String[] args) {
        Runnable r = () -> {
            synchronized (o) {
                System.out.println(Thread.currentThread().getName() + " start!");
                SleepHelper.sleepSeconds(2);
                System.out.println(Thread.currentThread().getName() + " end!");
            }
        };

        for (int i = 0; i < 3; i++) {
            new Thread(r).start();
        }
    }
}

【最终输出】:
在这里插入图片描述
//红线处会等待2S , 一共执行完需要6S的时间。

【理解序列化】:


原先上厕所,三个人同时一起完成,现在要排队一个一个完成了。

【上锁的本质(三)】:

【程序演示】:

package T05_YuanZiXing;

import Utils.SleepHelper;

public class T00_02_SingleLockVSMultiLock {
    private static Object o1 = new Object();
    private static Object o2 = new Object();
    private static Object o3 = new Object();

    public static void main(String[] args) {
        Runnable r1 = () -> {
            synchronized (o1) {
                System.out.println(Thread.currentThread().getName() + " start!");
                SleepHelper.sleepSeconds(2);
                System.out.println(Thread.currentThread().getName() + " end!");
            }
        };

        Runnable r2 = () -> {
            synchronized (o2) {
                System.out.println(Thread.currentThread().getName() + " start!");
                SleepHelper.sleepSeconds(2);
                System.out.println(Thread.currentThread().getName() + " end!");
            }
        };

        Runnable r3 = () -> {
            synchronized (o3) {
                System.out.println(Thread.currentThread().getName() + " start!");
                SleepHelper.sleepSeconds(2);
                System.out.println(Thread.currentThread().getName() + " end!");
            }
        };

        new Thread(r1).start();
        new Thread(r2).start();
        new Thread(r3).start();
    }
}

【最终输出】:
//一共花了2秒。

【上锁的本质(四)】:

synchronized是可以保障可见性的,一个线程结束了,会向主内存中做同步;
synchronized保障了原子性。
但是synchronized无法保障有序性。

sync操作中的绿色区域部分的执行顺序是完全可以发生变化的。

【有序性】:

单线程保障最终一致性 , 它和锁没有关系。

【 一些同步的基本概念_锁的粒度 】:

【 monitor(管程) 】:

在这里插入图片描述
//后面跟的那一部分叫做monitor。
在这里插入图片描述
// o 即 monitor。

【 critical section( 临界区 )】:

当我持有这把锁的时候,我所执行的代码 , 它是临界区 , 是不能够两个同时在一起的,是必须顺序的,按照序列化执行的。
【实际例子解释临界区】:

在这里插入图片描述
sync大括号所包含的叫做临界区——(图中的红色区域)。
如果临界区执行的时间比较长,语句比较多 , 那我们就说锁的粒度比较粗 , 反之,就是锁的粒度比较细。

【阶段小结】:

【如何保障临界区操作的原子性呢?】:

1)乐观锁
2)悲观锁

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值