• Netty中ByteBuf的引用计数线程安全的实现原理


    原文链接 Netty中ByteBuf的引用计数线程安全的实现原理
    代码仓库地址

    ByteBuf 实现了ReferenceCounted 接口,实现了引用计数接口,该接口的retain(int) 方法为了保证线程安全使用了自旋锁来确保操作安全,那么选择了比较重要的实现类AbstractReferenceCountedByteBuf 来查看这一特性.

    在JDK 1.5 之后,JDK的并发包提供了Atomic* 的相关类,来帮助开发者更好的完成并发操作,这里我们学习使用CAS来实现线程安全,CAS就是ComposeAndSet,中文含义,比较And更新,我们来看一个例子,具体的说明在注释中!

    static class Increment {
    
        // volatile 保证了线程可见性,但是没有保证按成安全性
        private volatile int i;
    
        // 声明CAS的抽象类
        private static AtomicIntegerFieldUpdater<Increment> updater;
    
        static {
          // 通过静态方法创建CAS的具体实例
          // 第一个参数表示维护的Integer所在的类的class
          // 第二个参数表示维护的Integer变量的名称
          updater = AtomicIntegerFieldUpdater.newUpdater(Increment.class, "i");
        }
    
        /**
         * 构造初始化函数
         *
         * @param i
         */
        public Increment(int i) {
          this.i = i;
        }
    
        /** 自增一个 */
        public void increment() {
          increment(1);
        }
    
        /**
         * 重载自增方法
         *
         * <p>该方法具体实现了CAS的代码逻辑,重在均在下面的for循环中
         *
         * @param increment
         */
        public void increment(int increment) {
          // 创建一个死循环,compareAndSet检查不通过的时候,重新获取新的值尝试更新
          for (; ; ) {
            // 保存当前线程更新的值的状态
            int oldI = this.i;
            final int newValue = oldI + increment;
            // 校验值是否更新完成
            if (newValue <= increment) {
              throw new IllegalArgumentException("非法的参数异常");
            }
            // 如果CAS更新完成,则退出循环,否则打印重试日志
            if (updater.compareAndSet(this, oldI, newValue)) {
              break;
            }
            System.out.println("发生多线程并发,CAS正常重新尝试");
          }
        }
      }
    

    实现了自增的CAS代码之后,我们创建一个MyRunnable 继承Runnable 在run() 方法中实现Increment 实例的自增,具体代码如下:

      static class MyRunnable implements Runnable {
    
        private Increment increment;
        
        public MyRunnable(Increment increment) {
          this.increment = increment;
        }
    
        @Override
        public void run() {
          increment.increment();
        }
      }
    
    

    在main() 方法中我们创建一个Increment 示例对象,构造参数传1,然后创建50个线程,同时启动,观察最终的结果, 多次运行观察是否能实现线程安全.

      public static void main(String[] args) throws InterruptedException {
        Increment increment = new Increment(1);
        for (int i = 0; i < 50; i++) {
          new Thread(new MyRunnable(increment)).start();
        }
        // 延时4s, 等待所有线程执完成后,输出i
        TimeUnit.SECONDS.sleep(4);
        System.out.println(increment.i);
      }
    

    最后输出结果为51,可见CAS 能够实现多线程安全的问题,相对于RelockCount和重量级的synchronized 各有各的适合场景,下面回到Netty的自旋锁的问题上来,可以看到下面的代码和上面的示例是类似的,Netty依靠这个方法来完成ByteBuf的引用计数,确保多线程操作ByteBuf的时候引用计数不会出现多线程的问题,

    下面的代码是引用了Netty5 的 io.netty.buffer.AbstractReferenceCountedByteBuf 类的部分代码,有兴趣的朋友可以下载该框架的源码,找到该文件看一下。

        private static final AtomicIntegerFieldUpdater<AbstractReferenceCountedByteBuf> refCntUpdater;
        static {
            AtomicIntegerFieldUpdater<AbstractReferenceCountedByteBuf> updater =
                    PlatformDependent.newAtomicIntegerFieldUpdater(AbstractReferenceCountedByteBuf.class, "refCnt");
            if (updater == null) {
                updater = AtomicIntegerFieldUpdater.newUpdater(AbstractReferenceCountedByteBuf.class, "refCnt");
            }
            refCntUpdater = updater;
        }
    
        @Override
        public ByteBuf retain(int increment) {
            if (increment <= 0) {
                throw new IllegalArgumentException("increment: " + increment + " (expected: > 0)");
            }
            for (;;) {
                int refCnt = this.refCnt;
                if (refCnt == 0) {
                    throw new IllegalReferenceCountException(0, increment);
                }
                if (refCnt > Integer.MAX_VALUE - increment) {
                    throw new IllegalReferenceCountException(refCnt, increment);
                }
                if (refCntUpdater.compareAndSet(this, refCnt, refCnt + increment)) {
                    break;
                }
            }
            return this;
        }
    
  • 相关阅读:
    StrBlobPtr类——weak_ptr访问vector元素
    StrBlob类——智能指针作为成员
    关于智能指针类型shared_ptr的计数问题
    桌面计算器——可调用对象练习
    union
    虚析构函数
    条款04 确定对象被使用前已先被初始化
    条款03 尽可能使用const
    Bugku-CTF之web8(txt????)
    Bugku-CTF之各种绕过
  • 原文地址:https://www.cnblogs.com/zhoutao825638/p/10660295.html
Copyright © 2020-2023  润新知