java

关注公众号 jb51net

关闭
首页 > 软件编程 > java > Java  LockSupport

Java 多线程并发LockSupport

作者:​ 自动化BUG制造器   ​

这篇文章主要介绍了Java 多线程并发LockSupport,LockSupport 类是用于创建锁和其他同步类的基本线程阻塞原语,更多相关内容需要得小伙伴可以参考一下下面文章内容

概览

这部分内容来自于这个类的注释,简单翻译了下。

LockSupport 类是用于创建锁和其他同步类的基本线程阻塞原语。

它的实现思想是给每个使用它的线程颁发一个许可,当许可是可用状态时(线程有许可),调用 park 方法会消耗一个许可,方法立即返回(与信号量的作用类似),线程可以继续执行 park 方法后面的逻辑;如果调用 park 方法前,许可处于不可用状态(线程没有许可),park 方法不会立即返回,从而导致线程阻塞。而此时,可以通过调用 unpark 方法使许可恢复到可用状态(但与信号量不同,许可不会累积。最多有一个)。

方法 park 和 unpark 提供了阻塞和解除阻塞线程的有效方法,这些线程不会遇到 Thread.suspend 和 Thread.resume 存在的问题(因suspend 容易导致死锁,这俩个方法因为这个原因已经被弃用 ),因为 park 和 unpark 调用的线程,不存在锁竞争。

而如果调用 park 方法的线程被中断,park 方法将会立即 return ,并且有设置超时版本的 park 方法。park 方法也可以在任何其他时间没有原因的 return,因此通常必须在返回时重新检查条件的循环中调用。从这个意义上说,park 是对“繁忙等待”的优化,它不会浪费太多时间旋转,但必须与 unpark 配对才能有效。

park 方法有对应带有 blocker 对象参数的重载方法, blocker 对象在线程被阻塞时被记录,以允许监视和诊断工具识别线程被阻塞的原因。 (此类工具可以使用 getBlocker(Thread) 方法访问阻止程序。)强烈建议使用这些表单而不是没有此参数的原始表单。 在锁实现中作为阻塞器提供的正常参数是 this。

本质上 LockSupport 实现了一种自旋,构造类似于:

while (!canProceed()) { ... LockSupport.park(this); }

其中 `canProceed 或在调用之前的任何其他操作都不会导致锁定或阻塞。 因为每个线程只有一个许可,所以任何对 park 的中间使用都可能会干扰其预期效果。

示例用法。 这是一个先进先出不可重入锁类的草图:

 class FIFOMutex {
   private final AtomicBoolean locked = new AtomicBoolean(false);
   private final Queue<Thread> waiters
     = new ConcurrentLinkedQueue<Thread>();
   public void lock() {
     boolean wasInterrupted = false;
     Thread current = Thread.currentThread();
     waiters.add(current);
     // Block while not first in queue or cannot acquire lock
     while (waiters.peek() != current ||
            !locked.compareAndSet(false, true)) {
       LockSupport.park(this);
       if (Thread.interrupted()) // ignore interrupts while waiting
         wasInterrupted = true;
     }
     waiters.remove();
     if (wasInterrupted)          // reassert interrupt status on exit
       current.interrupt();
   }
   public void unlock() {
     locked.set(false);
     LockSupport.unpark(waiters.peek());
   }
 }

源码分析

整个 LockSupport 类的代码量还算少,去掉注释仅有 100 行,所有的属性和方法都是静态的,并且备注明确说明了 LockSupport 无法实例化:

public class LockSupport {
    private LockSupport() {} // 无法实例化
    // ...
}

LockSupport 中包含了几个私有的内部静态属性:

public class LockSupport {
    // 通过内部 API 实现 Hotspot
    private static final Unsafe U = Unsafe.getUnsafe();
    private static final long PARKBLOCKER= U.objectFieldOffset(Thread.class, "parkBlocker");
    private static final long TID = U.objectFieldOffset(Thread.class, "tid");
    // ...
}

从这些内部私有的静态属性可以看出,最重要的就是 U 了,LockSupport 中的方法,本质上也是调用U 提供的能力。U 在 CAS 与原子类中有介绍,是 JDK 中提供的一些非阻塞线程安全的实现能力的类,它的大多数方法都是 native 方法。

静态方法

LockSupport 基本上就是个静态工具类,它的主要能力,集中在它的静态方法中。

public class LockSupport {
    public static void unpark(Thread thread)
    public static void park(Object blocker)
    public static void parkNanos(Object blocker, long nanos)
    public static void parkUntil(Object blocker, long deadline)
    public static Object getBlocker(Thread t)
    public static void setCurrentBlocker(Object blocker)
    private static void setBlocker(Thread t, Object arg)
    public static void park()
    public static void parkNanos(long nanos)
    public static void parkUntil(long deadline)
    static final long getThreadId(Thread thread)
}

从方法名就可以看出,主要分为三个:

Blocker

public static Object getBlocker(Thread t) {
    if (t == null)
        throw new NullPointerException();
    return U.getReferenceOpaque(t, PARKBLOCKER);
}

private static void setBlocker(Thread t, Object arg) {
    U.putReferenceOpaque(t, PARKBLOCKER, arg);
}
// 在 JDK 14 之前是不存在该方法的, setBlocker 只能从内部进行
public static void setCurrentBlocker(Object blocker) {
    U.putReferenceOpaque(Thread.currentThread(), PARKBLOCKER, blocker);
}

setCurrentBlocker 的作用是,设置当前线程调用 getBlocker 返回的对象。 在 JDK 14 后暴露这个方法的用途,是用来配合park() 的无参数版本设置 Blocker ,它可以实现 park(blocker) 的效果:

 setCurrentBlocker(b);
 park(); 
 setCurrentBlocker(null);

而私有静态方法 setBlocker 是在 park 的有参数方法中封装使用的。

对于 blocker 的保存,本质是通过 Unsafe 的 putReferenceOpaque 方法保存和 getReferenceOpaque 方法读取的。

@IntrinsicCandidate
public final void putReferenceOpaque(Object o, long offset, Object x) {
    putReferenceVolatile(o, offset, x);
}
// 使用 volatile 存储语义将引用值存储到给定的 Java 变量中。 否则等同于 putReference(Object, long, Object)
@IntrinsicCandidate
public native void putReferenceVolatile(Object o, long offset, Object x);

@IntrinsicCandidate
public final Object getReferenceOpaque(Object o, long offset) {
    return getReferenceVolatile(o, offset);
}
// 从给定的 Java 变量中获取引用值,具有可变加载语义。 否则等同于 getReference(Object, long)
@IntrinsicCandidate
public native Object getReferenceVolatile(Object o, long offset);

在 src/hotspot/share/opto/library_call.cpp 中发现了 Java 到 native 方法的映射:

case vmIntrinsics::_putReferenceVolatile: return inline_unsafe_access( is_store, T_OBJECT,   Volatile, false);

native 最终调用到是老朋友 inline_unsafe_access 。(这里不详细展开了。。我也没搞明白这个方法,和汇编指令相关)

需要注意的是,最终的都是将对象设置为了 volatile 。充分说明 LockSupport 也是一套非阻塞同步方案。

而上面提到的 putReference(Object, long, Object)的作用是:将引用值存储到给定的 Java 变量中。

@IntrinsicCandidate
public native void putReference(Object o, long offset, Object x);

除非存储的引用 x 为 null 或与字段类型匹配,否则结果是未定义的。 如果引用 o 不为空,则更新该对象的卡片标记或其他存储屏障(如果 VM 需要它们)。

unpark

public static void unpark(Thread thread) {
    if (thread != null)
        U.unpark(thread);
}

解除调用 park 的线程的阻塞状态,或者如果调用 park 的线程没有阻塞,则会导致后续调用 park 不会造成阻塞。

注意:这个操作是不安全的,调用者必须确保线程没有被销毁。

这是什么意思呢?通过下面这个例子可以感受到先调用 unpark 后,指定参数中的线程参数对象调用 park 不会造成阻塞:

class LockSupportDemo {
    fun check() {
        val thread1 = Thread {
            Thread.sleep(1000)
            println("thread1 start + ${Date(System.currentTimeMillis())}")
            LockSupport.park()
            println("thread1 end +  ${Date(System.currentTimeMillis())}")
        }
​
        val thread2 = Thread {
            println("thread2 start +  ${Date(System.currentTimeMillis())}")
            LockSupport.unpark(thread1)
            println("thread2 end +  ${Date(System.currentTimeMillis())}")
        }
        thread1.start()
        thread2.start()
    }
}

打印日志:

thread2 start +  Fri Jun 03 02:19:34 CST 2022
thread2 end +  Fri Jun 03 02:19:34 CST 2022
thread1 start + Fri Jun 03 02:19:35 CST 2022
thread1 end +  Fri Jun 03 02:19:35 CST 2022

thread2 优先执行,thread1 在 thread2 开始执行 1s 后执行,thread1 调用了 LockSupport.park() ,并没有造成自身阻塞。

Unsafe 的 unpark 方法

LockSupport.unpark(thread) 内部实际只调用了 Unsafe#unpark(thread);

public native void unpark(Object thread);
复制代码

又是一个 native 方法。在 JDK 中发现 Parker::unpark 的定义在 os_posix.cpp 和 on_windows.cpp 中:

可以看出这个 native 方法,应该在不同的平台会有不同的实现。

park

park 方法有两组重载方法:

// 不带 blocker
public static void park()
public static void parkNanos(long nanos)
public static void parkUntil(long deadline)
// 需要 blocker 参数
public static void park(Object blocker)
public static void parkNanos(Object blocker, long nanos)
public static void parkUntil(Object blocker, long deadline)

不带 blocker 参数的分组

没有 blocker 参数的一组本质上的逻辑是:

U.park(boolean, long);
复制代码

这一点可以从三个方法中看出:

public static void park() {
    U.park(false, 0L);
}
public static void parkNanos(long nanos) {
    if (nanos > 0)
        U.park(false, nanos);
}
public static void parkUntil(long deadline) {
    U.park(true, deadline);
}

这三个方法的区别是:

park

方法的作用是:除非许可处于可用状态,否者关闭当前线程的线程调度的意图。如果许可可用,则许可被使用掉,并立即返回。否则当前线程因为线程调度的意图被关闭而导致阻塞。

直到发生以下三种情况之一:

其他线程以当前线程为目标调用 unpark

其他线程中断当前线程

调用虚假地 return(即 no reason)

这个方法不会报告是哪一种原因导致的 return。调用者应该重新检查导致线程第一次停止的条件。 例如,调用者还可以确定线程在返回时的中断状态。

parkNanos

禁用当前线程的线程调度意图,直到指定的等待时间,除非许可可用。如果参数 nanos 为 0 或为负数,这个方法将不会做任何事情。

parkUntil

禁用当前线程的线程调度意图,直到指定的最后期限,除非许可可用。参数 deadline 是截止日期——从 Epoch 开始等待的绝对时间,以毫秒为单位。

需要 blocker 参数的分组

public static void park(Object blocker) {
    Thread t = Thread.currentThread();
    setBlocker(t, blocker);
    U.park(false, 0L);
    setBlocker(t, null);
}
public static void parkNanos(Object blocker, long nanos) {
    if (nanos > 0) {
        Thread t = Thread.currentThread();
        setBlocker(t, blocker);
        U.park(false, nanos);
        setBlocker(t, null);
    }
}
public static void parkUntil(Object blocker, long deadline) {
    Thread t = Thread.currentThread();
    setBlocker(t, blocker);
    U.park(true, deadline);
    setBlocker(t, null);
}

带有 blocker 参数的这组函数,它们和对应的不带参数的方法意义是一样的,多了一个设置对象的操作。而这个对象 blocker 是负责此线程 parking 的同步对象 。

这组重载方法有共同的逻辑:

让我困惑的是,这个存储引用值操作有什么作用。但是联想到线程操作和对象,惊奇的发现我们常用的 API Object.wait() 和 Object.notify() ,好像和这个场景很像,都用到了一个 Object ,也都造成了线程阻塞唤醒。

park/unpark 和 Object 的 wait/notify

public class LockSupportJava {
    Object obj = new Object();​
    public static void main(String[] args) {
        LockSupportJava lock = new LockSupportJava();
        lock.waitAndNotify();
    }
    void waitAndNotify() {
        Thread thread1 = new Thread(() -> {
            synchronized(obj) {
                try {
                    System.out.println("thread1 start + " + new Date(System.currentTimeMillis()));
                    Thread.sleep(1000);
                    obj.notify();
                    System.out.println("thread1 end + " + new Date(System.currentTimeMillis()));
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        });​
        Thread thread2 = new Thread(() -> {
            synchronized(obj) {
                try {
                    thread1.start();
                    Thread.sleep(3000);
                    System.out.println("thread2 start + " + new Date(System.currentTimeMillis()));
                    obj.wait();
                    System.out.println("thread2 end + " + new Date(System.currentTimeMillis()));
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
            }
        });
        thread2.start();
    }
}

这是一个简单的 Demo ,创建了两个线程 thread1 和 thread2 。

线程 2 从主线程先执行,持有了 obj对象的锁,在它的执行逻辑中:

此时,线程 1 可以获取到 obj 对象的锁了,它的执行逻辑:

最后,线程 2 重新获取到了 obj 的锁,继续执行打印 end 。

从打印日志中,验证打印顺序:

thread2 start + Fri Jun 03 04:02:17 CST 2022
thread1 start + Fri Jun 03 04:02:17 CST 2022
thread1 end + Fri Jun 03 04:02:18 CST 2022
thread2 end + Fri Jun 03 04:02:18 CST 2022

注意:使用wait/notify实现同步时,必须先调用wait,后调用notify,如果先调用notify,再调用wait,会导致线程一直阻塞。

而如果使用 park / unpark 实现一个阻塞唤醒效果:

    Thread thread;
    void parkAndUnpark() {
        Thread thread2 = new Thread(() -> {
            System.out.println("thread2 start + " + new Date(System.currentTimeMillis()));
            thread.start();
            LockSupport.park(obj);
            System.out.println("Blocker info " + LockSupport.getBlocker(Thread.currentThread()));
            System.out.println("thread2 end + " + new Date(System.currentTimeMillis()));
        });
        // 唤起 thread2
        Thread thread1 = new Thread(() -> {
            try {
                System.out.println("thread1 start + " + new Date(System.currentTimeMillis()));
                Thread.sleep(3000);
                System.out.println("Blocker info " + LockSupport.getBlocker(thread2));
                LockSupport.unpark(thread2);
                System.out.println("thread1 end + " + new Date(System.currentTimeMillis()));
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
        });
        thread = thread1;
        thread2.start();
    }

parkAndUnpark() 方法中,先启动了线程 2,线程 2 打印完 start 后就启动了线程 1 。而此时线程 2 继续执行:

在线程 2 执行上面两个逻辑的同时,线程 1 也在同时执行:

线程 2 在被线程 1 唤醒后,继续执行打印信息:

打印日志:

thread2 start + Fri Jun 03 04:24:32 CST 2022
thread1 start + Fri Jun 03 04:24:32 CST 2022
Blocker info java.lang.Object@7a3acdd9
thread1 end + Fri Jun 03 04:24:35 CST 2022
Blocker info null
thread2 end + Fri Jun 03 04:24:35 CST 2022

注意:先调用 unpark 后调用 park 也不会导致阻塞,更加灵活。

可以发现,blocker 在线程恢复后变成了 null ,个人理解它的作用就是用来做阻塞标记的,可以用来在线程阻塞状态下,将一个对象设置上,然后在其他线程中读取这个对象。blocker 与线程的单次阻塞状态绑定,可以用于对线程状态的排查和线程状态的监控。

区别

从 wait/notify 和 park/unpark 两种阻塞线程和唤起线程的方式,能够感受出两者的不同之处:

个人感觉 park/unpark 更像是 挂起/恢复,而 Thread.suspend 和 Thread.resume 都已废弃,是很好的替代方案。

到此这篇关于Java 多线程并发LockSupport的文章就介绍到这了,更多相关Java  LockSupport内容请搜索脚本之家以前的文章或继续浏览下面的相关文章希望大家以后多多支持脚本之家!

您可能感兴趣的文章:
阅读全文