zoukankan      html  css  js  c++  java
  • ReentrantLock

    上一篇分享了AQS的基本原理:AQS(AbstractQueuedSynchronizer),在此基础上,再来看看ReentrantLock对AQS是怎么实现的,尤其是对可重入以及公平和非公平的理解

    公平方式获取锁

    先看看lock()方法:

    final void lock() {
                acquire(1);
            }
    
    /**
    *对AQS中对应方法的重写,位于FairSync类中,锁公平获取实现方式
    */
    protected final boolean tryAcquire(int acquires) {//acquires=1
                final Thread current = Thread.currentThread();//获取当前线程
                int c = getState();//获取AQS中state的值,0表示资源未被占用,既没有线程获取到锁
                if (c == 0) {
                    
                    if (!hasQueuedPredecessors() &&
                        compareAndSetState(0, acquires)) {
                        setExclusiveOwnerThread(current);
                        return true;
                    }
                }
                else if (current == getExclusiveOwnerThread()) {
                    int nextc = c + acquires;//可重入
                    if (nextc < 0)
                        throw new Error("Maximum lock count exceeded");
                    setState(nextc);
                    return true;
                }
                return false;
            }
    

    大概流程:

    1. 如果没有线程获取到锁:
      如果当前线程的节点在等待队列里面没有有效的前驱结点(体现公平性),就去以原子方式将state置为1,并且把持有锁的线程设置成自己,返回true(获取锁成功);
    2. 如果有线程已经获取了锁并且拿到锁的线程就是当前线程:
      AQS中的state+1,返回true(获取锁成功);
    3. 当上述两个步骤没成功执行则返回false(获取锁失败);

    主要再来看一下hasQueuedPredecessors():

    /**
    *判断队列里面有没有比当前线程等待更久更先到等待队列的线程,越靠近head越优先获取锁即先到先得(公平性)
    */
    public final boolean hasQueuedPredecessors() {
            Node t = tail;
            Node h = head;//当前已经获得锁的线程节点
            Node s;
            return h != t &&
                ((s = h.next) == null || s.thread != Thread.currentThread());
        }
    

    非公平方式获取锁

    先来看看lock()方法:

    final void lock() {
                if (compareAndSetState(0, 1))
                    setExclusiveOwnerThread(Thread.currentThread());
                else
                    acquire(1);
            }
    

    和公平方式不同的是,他会先尝试把state设置成1,如果设置成功,那就把持有锁的线程设置为自己,否则才去正常获取锁。
    再看他对tryAcquire的重写:

    protected final boolean tryAcquire(int acquires) {
                return nonfairTryAcquire(acquires);
            }
    
    /**
    *非公平方式获取锁
    */
    final boolean nonfairTryAcquire(int acquires) {
                final Thread current = Thread.currentThread();
                int c = getState();
                if (c == 0) {
                //该步骤类似于上面lock()方法的第一步
                    if (compareAndSetState(0, acquires)) {
                        setExclusiveOwnerThread(current);
                        return true;
                    }
                }
                else if (current == getExclusiveOwnerThread()) {
                    int nextc = c + acquires;
                    if (nextc < 0) // overflow
                        throw new Error("Maximum lock count exceeded");
                    setState(nextc);
                    return true;
                }
                return false;
            }
    
    1. 如果当前所没有被占用,则自己以“恶霸”的形式直接占用该锁;
    2. 如果自己之前已经拿到了锁,这次重入就将state+1;

    释放锁

    public void unlock() {
            sync.release(1);
        }
    
    protected final boolean tryRelease(int releases) {
                int c = getState() - releases;
                if (Thread.currentThread() != getExclusiveOwnerThread())
                    throw new IllegalMonitorStateException();
                boolean free = false;
                if (c == 0) {
                    free = true;
                    setExclusiveOwnerThread(null);
                }
                setState(c);
                return free;
            }
    
    1. 先给state-1;
    2. 如果当前线程没持有锁,就抛异常;
    3. 如果state在修改之后等于0,就说明锁已经被完全释放;
    4. 注意,该方法返回的是锁有没有被完全释放。
  • 相关阅读:
    排名第一、第二的OCR软件
    补码输出
    枚举 与 枚举的应用
    动态构造结构体数组
    c 冒泡排序
    strcpy
    typedef用法
    C 结构体小结
    int 占一个机器字长
    SQL Server创建视图——视图的作用
  • 原文地址:https://www.cnblogs.com/xuxiaojian/p/10125208.html
Copyright © 2011-2022 走看看