Netty之DefaultAttributeMap与AttributeKey的机制和原理

  为什么要分析DefaultAttributeMap和AttributeKey呢?我自己对Netty也是一个不断的学习过程,从前面几篇Netty分析的博客中,可以看出,Netty是比较博大精深的,很像java.util.concurrent.*包中的源码,如果只是看主体流程,就会觉得Netty不就是一个接收数据,并将数据封装到业务端代码,业务端处理完代码后,再将数据封装返回给客户端不? 主体代码固然不错,但这些细节代码也值得我们学习,正是因为这些细节处理得足够好,我觉得Netty的高性能,离不开这些细节代码的支持。因此今天要分析一下DefaultAttributeMap及AttributeKey的实现原理。

   在分析Netty 服务端源码中遇到一个代码块,请看下图。
在这里插入图片描述
在这里插入图片描述
  在ServerBootstrap的bind()方法调用过程中,调用了init()方法 。上图中的Channel就是NioServerSocketChannel,那NioServerSocketChannel和DefaultAttributeMap有什么关系呢?请看下图
在这里插入图片描述
  弄明白它们之间的关系,接下来进入DefaultAttributeMap和AttributeKey的原理分析 。
  既然要分析源码,那肯定还是从例子学起。 请看下面例子。

public static void main(String[] args) {
    AttributeKey<String> key = AttributeKey.newInstance("zhangsan");
    DefaultAttributeMap defaultAttributeMap = new DefaultAttributeMap();
    Attribute attr= defaultAttributeMap.attr(key);
    attr.set(10);

    System.out.println(attr.getAndRemove());
    System.out.println(attr.get());
    AttributeKey<String> key1 = AttributeKey.newInstance("zhangsan");
}

  创建一个AttributeKey对象,并为其设置值为10 , 调用getAndRemove()方法获取值为10,再调用get()方法返回空, 显然,10在getAndRemove()方法中被移除再,再次实例化name为zhangsan的AttributeKey,抛出异常。
在这里插入图片描述
  我们就围绕着上述例子来分析源码 。

AttributeKey

  首先看AttributeKey的类结构

在这里插入图片描述

public final class AttributeKey<T> extends AbstractConstant<AttributeKey<T>> {

    private static final ConstantPool<AttributeKey<Object>> pool = new ConstantPool<AttributeKey<Object>>() {
        @Override
        protected AttributeKey<Object> newConstant(int id, String name) {
            return new AttributeKey<Object>(id, name);
        }
    };

    public static <T> AttributeKey<T> valueOf(String name) {
        return (AttributeKey<T>) pool.valueOf(name);
    }


    public static boolean exists(String name) {
        return pool.exists(name);
    }

    public static <T> AttributeKey<T> newInstance(String name) {
        return (AttributeKey<T>) pool.newInstance(name);
    }

    public static <T> AttributeKey<T> valueOf(Class<?> firstNameComponent, String secondNameComponent) {
        return (AttributeKey<T>) pool.valueOf(firstNameComponent, secondNameComponent);
    }

    private AttributeKey(int id, String name) {
        super(id, name);
    }
}

  当 newInstance( name) 方法时,实际上调用的是pool.newInstance(name)方法 ,进入pool的newInstance()方法 。

private final ConcurrentMap<String, T> constants = PlatformDependent.newConcurrentHashMap();

private final AtomicInteger nextId = new AtomicInteger(1);

public T newInstance(String name) {
    checkNotNullAndNotEmpty(name);
    return createOrThrow(name);
}

private T createOrThrow(String name) {
    T constant = constants.get(name);
    if (constant == null) {
        final T tempConstant = newConstant(nextId(), name);
        // 如果name已经存在于constants中,则不会执行插入操作 
        constant = constants.putIfAbsent(name, tempConstant);
        if (constant == null) {
            return tempConstant;
        }
    }
    
    throw new IllegalArgumentException(String.format("'%s' is already in use", name));
}

public final int nextId() {
    return nextId.getAndIncrement();
}

  从上面代码中得知,最终调用的是AttributeKey中的newConstant()方法,创建了AttributeKey()对象,当然id为自增id , name 为我们传入的名字,在例子中两次调用AttributeKey.newInstance(“zhangsan”)方法, 第二次抛出IllegalArgumentException异常。
在这里插入图片描述

  原因就在于createOrThrow()方法 , 如果constants中有name相同的key时, 则无法进行插入操作。引发后面的IllegalArgumentException异常。

  接下来看DefaultAttributeMap的实现。

DefaultAttributeMap
public class DefaultAttributeMap implements AttributeMap {

	// 以原子方式更新attributes变量的引用
    private static final AtomicReferenceFieldUpdater<DefaultAttributeMap, AtomicReferenceArray> updater =
            AtomicReferenceFieldUpdater.newUpdater(DefaultAttributeMap.class, AtomicReferenceArray.class, "attributes");
	// 默认桶的大小4  
    private static final int BUCKET_SIZE = 4;
    // 掩码为3 
    private static final int MASK = BUCKET_SIZE  - 1;

    // Initialize lazily to reduce memory consumption; updated by AtomicReferenceFieldUpdater above.
    // 延迟初始化,节约内存
    private volatile AtomicReferenceArray<DefaultAttribute<?>> attributes;


    @Override
    public <T> Attribute<T> attr(AttributeKey<T> key) {
        if (key == null) {
            throw new NullPointerException("key");
        }
        AtomicReferenceArray<DefaultAttribute<?>> attributes = this.attributes;
        // 当attributes为空时则创建它,默认数组长度4
        if (attributes == null) {
            // Not using ConcurrentHashMap due to high memory consumption.
            // 没有使用ConcurrentHashMap为了节约内存
            attributes = new AtomicReferenceArray<DefaultAttribute<?>>(BUCKET_SIZE);
			
			// 原子方式更新attributes,如果attributes为null则把新创建的对象赋值,原子方式更新解决了并发赋值问题
            if (!updater.compareAndSet(this, null, attributes)) {
                attributes = this.attributes;
            }
        }

		// 计算key所在数组下标 ,相当于 key.id % 3   
        int i = index(key);
        DefaultAttribute<?> head = attributes.get(i);
        
        // 头部为空说明第一次添加,这个方法可能多个线程同时调用,因为判断head全部为null
        if (head == null) {
            // No head exists yet which means we may be able to add the attribute without synchronization and just
            // use compare and set. At worst we need to fallback to synchronization and waste two allocations.
            // 创建一个空对象为链表结构的起点
            head = new DefaultAttribute();
            // 创建一个attr对象,把head传进去 
            DefaultAttribute<T> attr = new DefaultAttribute<T>(head, key);
            // 链表头head的next = attr
            head.next = attr;
            // attr的prev = head
            attr.prev = head;
            // 给数组i位置赋值,这里用compareAndSet原子更新方法解决并发问题,只有i位置为null能够设置成功,且只有一个线程能设置成功
            if (attributes.compareAndSet(i, null, head)) {
                // we were able to add it so return the attr right away
                return attr;
            } else {
            	//设置失败的,说明数组i位置已经被其它线程赋值
            	//所以要把head重新赋值,不能用上面new出来的head,需要拿到之前线程设置进去的head
                head = attributes.get(i);
            }
        }
        
        // 对head同步加锁
        synchronized (head) {
        	//curr 赋值为head    head为链表结构的第一个变量
            DefaultAttribute<?> curr = head;
            for (;;) {
            	// 依次获取next 
                DefaultAttribute<?> next = curr.next;
                // next==null,说明curr为最后一个元素 , 
                // 将新创建的节点插入到尾节点 
                if (next == null) {
                	// 创建一个新对象传入head和key
                    DefaultAttribute<T> attr = new DefaultAttribute<T>(head, key);
                    // curr后面指向attr
                    curr.next = attr;
                    // attr的前面指向curr
                    attr.prev = curr;
                    // 返回新对象
                    return attr;
                }

				// 如果next的key等于传入的key,并且没有被移除
				// 则返回链表中的节点即可
                if (next.key == key && !next.removed) {
                	// 这直接返回next
                    return (Attribute<T>) next;
                }
                // 否则把curr变量指向下一个元素
                curr = next;
            }
        }
    }
    private static int index(AttributeKey<?> key) {
    	// 与掩码&运算,数值肯定<=mask 正好是数组下标
        return key.id() & MASK;
    }

  首先要理清DefaultAttributeMap的结构,其实是一个数组长度为4的数组链表结构 。

在这里插入图片描述

  上面代码分3种情况 。 我们用图来展示 。

  1. 第一种情况, key 对应的数组下标处没有头节点。创建头节点,并将创建next节点,再将头节点CAS操作插入到数组对应下标处。
    在这里插入图片描述

  2. 多线程并发将头节点插入到数组索引为3处,此时必然一个线程成功,一个线程失败,失败的线程继续将新创建的next节点插入到index为3的链表结尾 。
    在这里插入图片描述

  3. 如果next1的key和传入的key相等,并且next1 并没有被移除掉,则返回next1即可。
    在这里插入图片描述
      hasAttr()方法的实现原理和attr()方法的实现原理类似,这里不做过多分析 。

    @Override
    public <T> boolean hasAttr(AttributeKey<T> key) {
        if (key == null) {
            throw new NullPointerException("key");
        }
        // attributes为null直接返回false
        AtomicReferenceArray<DefaultAttribute<?>> attributes = this.attributes;
        if (attributes == null) {
            // no attribute exists
            return false;
        }
		// 计算数组下标
        int i = index(key);
        // 获取头 为空直接返回false
        DefaultAttribute<?> head = attributes.get(i);
        if (head == null) {
            // No attribute exists which point to the bucket in which the head should be located
            return false;
        }

        // We need to synchronize on the head.
       // 对head同步加锁
        synchronized (head) {
            // Start with head.next as the head itself does not store an attribute.
            // 从head的下一个开始,因为head不存储元素
            DefaultAttribute<?> curr = head.next;
            // 为null说明没有节点了
            while (curr != null) {
            	// key一致并且没有被移除则返回true
                if (curr.key == key && !curr.removed) {
                    return true;
                }
                // curr指向下一个
                curr = curr.next;
            }
            return false;
        }
    }

  从DefaultAttribute的结构得知,其实在之前的图表中,每个节点还有一条线没有画, 如果画上去太多了,不方便突出重点 。 这里补充上,实际DefaultAttribute节点之间的关系图如下 。

在这里插入图片描述

    @SuppressWarnings("serial")
    private static final class DefaultAttribute<T> extends AtomicReference<T> implements Attribute<T> {

        private static final long serialVersionUID = -2661411462200283011L;

        // The head of the linked-list this attribute belongs to
        private final DefaultAttribute<?> head;
        private final AttributeKey<T> key;

        // Double-linked list to prev and next node to allow fast removal
        private DefaultAttribute<?> prev;
        private DefaultAttribute<?> next;
        
        // Will be set to true one the attribute is removed via getAndRemove() or remove()
        private volatile boolean removed;

        DefaultAttribute(DefaultAttribute<?> head, AttributeKey<T> key) {
            this.head = head;
            this.key = key;
        }

        // Special constructor for the head of the linked-list.
        DefaultAttribute() {
            head = this;
            key = null;
        }

        @Override
        public AttributeKey<T> key() {
            return key;
        }

        @Override
        public T setIfAbsent(T value) {
            while (!compareAndSet(null, value)) {
                T old = get();
                if (old != null) {
                    return old;
                }
            }
            return null;
        }

        @Override
        public T getAndRemove() {
            removed = true;
            T oldValue = getAndSet(null);
            remove0();
            return oldValue;
        }

  从DefaultAttribute的代码中得知, 每一个节点DefaultAttribute的removed属性是volatile修饰的。 接着看remove()方法的实现。

        @Override
        public void remove() {
            removed = true;
            set(null);
            remove0();
        }

        private void remove0() {
            synchronized (head) {
                if (prev == null) {
                    // Removed before.
                    return;
                }

                prev.next = next;

                if (next != null) {
                    next.prev = prev;
                }

                // Null out prev and next - this will guard against multiple remove0() calls which may corrupt
                // the linked list for the bucket.
                prev = null;
                next = null;
            }
        }
    }
}

  remove()方法的第一步就是将removed设置为true,其他线程立即可见,如果此时正存在插入查询操作,则此时会将key插入到队列尾部。 我们来模拟key=zhangsan 的节点并发执行移除再添加的操作。
在这里插入图片描述

  1. 线程1执行下面加粗代码。
public void remove() {
        removed = true;
        set(null);
        remove0();
    }

    private void remove0() {
        synchronized (head) {
            if (prev == null) {
                return;
            }

            prev.next = next;

            if (next != null) {
                next.prev = prev;
            }
            
            prev = null;
            next = null;
        }
    }
}
  1. 线程 2 抢到同步锁,并执行下面红框代码
    在这里插入图片描述

  2. 因为线程2 抢到锁, 因此继续执行,将key=zhangsan构建出DefaultAttribute节点,插入到队列尾部。 继续执行下面红框中的代码 。
    在这里插入图片描述

  3. 线程 1 等待线程 2 释放锁后,抢到同步锁。 执行后续的节点移除操作
    在这里插入图片描述

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值