什么是线程

进程和线程的关系:拉勾IT课小编为大家分解

Java内存区域:一个进程中有多个线程,线程共享进程的堆和方法区,但线程有自己的程序计数器、虚拟机栈、本地方法栈

图片来源:Java内存区域(运行时数据区域)详解、JDK1.8与JDK1.7的区别 - 傑0327

线程的创建与运行

创建线程的三种方式:

继承 Thread 类实现 Runnable 接口使用 FutureTask 类

直接继承 Thread 并重写 run() 方法:

创建线程的三种方法的区别_线程创建_线程的两种创建方式

public class MyThread extends Thread{
    @Override
    public void run() {
        // code...
    }
}
new MyThread().start();

实现 Runnable 接口:

public class Task implements Runnable{
    @Override
    public void run() {
        // code...
    }
}
new Thread(new Task()).start();

实现 Callable 接口,可以有返回值:

线程的两种创建方式_线程创建_创建线程的三种方法的区别

public class Task implements Callable {
 
    @Override
    public Integer call() throws Exception {
        return null;
    }
}
FutureTask futureTask = new FutureTask(new Task());
new Thread(futureTask).start();
futureTask.get();

总结:使用继承 Thread 的方式并没有将任务逻辑和线程机制分离,每次执行任务时都需要创建一个线程。而使用 Runnable 或 Callable 接口,可以使用一个线程执行多个任务。(最直接的方式就是将任务提交到线程池)

线程的等待与通知

// 阻塞线程的方法,直到:
// * 其他线程调用了 notify() 或 notifyAll()
// * 线程被中断,则抛出中断异常
// * 线程超时返回
// * 虚假唤醒
obj.wait();
obj.wait(5000);
 
obj.notify();
obj.notifyAll();

调用以上方法需要获取对象的监视器锁,有两种方式可以获得对象的监视器锁:

// 获取对象本身的监视器锁
public synchronized void method(){
    while (!condition)
         wait();
}
// 获取 obj 对象的监视器锁
synchronized(obj){
    while (!condition)
        obj.wait();
}

线程中的方法

thread.join(); // 挂起调用线程,直到目标线程执行结束
Thread.sleep(1000); // 在指定时间内不参与CPU调度(静态方法)
Thread.yield(); // 提示CPU线程希望提前废弃CPU时间(静态方法)

线程中断:

thread.interrupt(); // 中断线程对象 
thread.isInterrupted(); // 判断线程对象是中断
Thread.interrupted(); // 判断调用线程是否被中断并清除中断标志(静态方法)

中断线程只是将标志置位,具体如何响应取决于线程自身(可能抛出异常或继续执行)

ReentrantLock reentrantLock = new ReentrantLock();
reentrantLock.lock(); // 等待线程获得锁再抛出中断异常
reentrantLock.lockInterruptibly(); // 立即抛出线程中断

线程上下文切换

系统的调度方式有两种:抢占式和非抢占式

在抢占式的系统中,线程通过时间片轮询的方式占用CPU,当时间片用完时让出CPU,执行线程上下文切换。

这种调度方式决定了当执行CPU密集型任务时,最多只能启动和CPU数同等的线程数;而执行IO密集型任务时,一般可以启动更多的线程。

线程死锁

死锁是指两个或两个以上的线程在执行过程中,因争夺资源而造成的相互等待的现象,在无外力的作用下,这些线程会一直等待而无法继续运行下去。

产生死锁的四个必备条件:

解决死锁的方式:

守护线程与用户线程

线程的两种创建方式_创建线程的三种方法的区别_线程创建

JVM 进程在用户线程都结束后退出,而不管是否在有守护线程在执行。

Thread thread = new Thread();
thread.setDaemon(true);
thread.start();

ThreadLocal

下面代码每个线程都会拥有自己的SimpleDateFormat对象:

// 从SimpleDateFormat 的注释可以得知,SimpleDateFormat 不是线程安全的
private ThreadLocal DateFormatContext = ThreadLocal.withInitial(()->{
    return new SimpleDateFormat("yyyy-MM-dd HH:mm:ss");
});

ThreadLocal 实现原理:

图片来源:ThreadLocal explained - DuyHai

Thread.set() 方法:

// 获取当前线程的 threadLocals 变量并将键值对(theadLocal, value)放到里面
// 并且 threadLocals 是懒加载的
public void set(T value) {
    Thread t = Thread.currentThread();
    ThreadLocalMap map = getMap(t);
    if (map != null)
        map.set(this, value);
    else
        createMap(t, value);
}
ThreadLocalMap getMap(Thread t) {
    return t.threadLocals;
}

线程本地的变量:TheadLocalMap 是一个线程本地的散列表

public class Thread implements Runnable {
    /* ThreadLocal values pertaining to this thread. This map is maintained
     * by the ThreadLocal class. */
    ThreadLocal.ThreadLocalMap threadLocals = null;
 
    /*
     * InheritableThreadLocal values pertaining to this thread. This map is
     * maintained by the InheritableThreadLocal class.
     */
    ThreadLocal.ThreadLocalMap inheritableThreadLocals = null;
}

懒加载的 threadLocals:

void createMap(Thread t, T firstValue) {
    t.threadLocals = new ThreadLocalMap(this, firstValue);
}
/**
 * The initial capacity -- MUST be a power of two.
 */
private static final int INITIAL_CAPACITY = 16;
 
ThreadLocalMap(ThreadLocal firstKey, Object firstValue) {
    table = new Entry[INITIAL_CAPACITY];
    int i = firstKey.threadLocalHashCode & (INITIAL_CAPACITY - 1);
    table[i] = new Entry(firstKey, firstValue);
    size = 1;
    setThreshold(INITIAL_CAPACITY);
}

ThreadLocal.get() 方法:

线程创建_线程的两种创建方式_创建线程的三种方法的区别

public T get() {
    Thread t = Thread.currentThread();
    ThreadLocalMap map = getMap(t);
    if (map != null) {
        // 以 TheadLocal 对象为键,从线程本地的散列表取值
        ThreadLocalMap.Entry e = map.getEntry(this);
        if (e != null) {
            @SuppressWarnings("unchecked")
            T result = (T)e.value;
            return result;
        }
    }
    return setInitialValue();
}

如果 Map 或对应的键还未初始化,则会返回初始值:

private T setInitialValue() {
    T value = initialValue();
    Thread t = Thread.currentThread();
    ThreadLocalMap map = getMap(t);
    if (map != null)
        map.set(this, value);
    else
        createMap(t, value);
    return value;
}

初始值默认是 null:上面的示例则将初始值设置为 SimpleDateFormat 对象

protected T initialValue() {
    return null;
}
public static  ThreadLocal withInitial(Supplier supplier) {
    return new SuppliedThreadLocal(supplier);
}
 
static final class SuppliedThreadLocal extends ThreadLocal {
 
    private final Supplier supplier;
 
    SuppliedThreadLocal(Supplier supplier) {
        this.supplier = Objects.requireNonNull(supplier);
    }
         
    // 所以 supplier 本质是一个工厂,而 ThreadLocalMap 就是一个线程本地的容器
    // supplier.get() 会返回新创建的对象
    @Override
    protected T initialValue() {
        return supplier.get();
    }
}

ThreadLocal.remove():当本地对象不使用时要将其移除,防止内存溢出

public void remove() {
    ThreadLocalMap m = getMap(Thread.currentThread());
    if (m != null)
        m.remove(this);
}

ThreadLocal 总结:

InheritableThreadLocal

使用 TheadLocal,子线程访问不了父线程的本地变量,InheritableThreadLocal 解决了该问题。

源码分析:

public class InheritableThreadLocal extends ThreadLocal {
         // 根据父线程本地变量的值计算子线程本地变量的值(这里是直接返回原值)
    protected T childValue(T parentValue) {
        return parentValue;
    }
 
    // 重写父类 ThreadLocal 的方法,将 threadLocals 替换成 inheritableThreadLocals
    ThreadLocalMap getMap(Thread t) {
       return t.inheritableThreadLocals;
    }
 
    void createMap(Thread t, T firstValue) {
        t.inheritableThreadLocals = new ThreadLocalMap(this, firstValue);
    }
}

在创建线程时,会调用 init() 方法:将父线程的本地变量浅拷贝到子线程

public Thread() {
    init(null, null, "Thread-" + nextThreadNum(), 0);
}
private void init(ThreadGroup g, Runnable target, String name,
                  long stackSize, AccessControlContext acc) {
 
    //...
    
    // 如果父线程的 inheritableThreadLocals 不为 null,则执行以下代码
    if (parent.inheritableThreadLocals != null)
        this.inheritableThreadLocals =
            ThreadLocal.createInheritedMap(parent.inheritableThreadLocals);
         
    //...
}
static ThreadLocalMap createInheritedMap(ThreadLocalMap parentMap) {
    return new ThreadLocalMap(parentMap);
}
private ThreadLocalMap(ThreadLocalMap parentMap) {
    Entry[] parentTable = parentMap.table;
    int len = parentTable.length;
    setThreshold(len);
    table = new Entry[len];
 
    // 变量父线程散列表键值对
    for (int j = 0; j < len; j++) {
        Entry e = parentTable[j];
        if (e != null) {
            // 如果键不为 null
            @SuppressWarnings("unchecked")
            ThreadLocal key = (ThreadLocal) e.get();
            if (key != null) {
                // 获取键对应的值
                Object value = key.childValue(e.value);
                // 创建新的键值对
                Entry c = new Entry(key, value);
                int h = key.threadLocalHashCode & (len - 1);
                // 使用线性探测法解决散列冲突
                while (table[h] != null)
                    h = nextIndex(h, len);
                table[h] = c;
                size++;
            }
        }
    }
}

InheritableThreadLocal 总结:InheritableThreadLocal 在创建线程时通过将父线程的本地变量复制到子线程以实现子线程可以访问父线程本地变量的目的。

第二章 并发编程的其他基础知识什么是多线程并发编程

并发与并行的概念:

时间段由多个单位时间组成

任务类型:

Java 中的线程安全问题

共享资源:可以被多个线程读写的资源

当多个线程同时对共享资源进行读写时,就必须进行同步。

Java 内存模型规定,将所有变量都存放在主内存中,当线程使用变量时,会把内存里面的变量复制到自己的工作内存,线程读写变量时操作的都是自己工作内存中的变量。

这时,就需要通过同步机制来保证对共享资源操作的原子性

Java 中共享变量的内存可见性

Java 的内存模型是一个抽象的概念,工作内存对应到硬件架构就是CPU内的存储器、一级缓存、二级缓存。

缓存导致的内存可见性问题:

线程A对共享变量1进行读写,并将结果同步到缓存和主内存线程B对共享变量1进行读写(从二级缓存读取),并将结果同步到缓存和内存此时,线程A在此对共享变量A进行读写,就会从一级缓存读到脏数据Java 中的 synchronized 关键字

synchronized 是对象内部的一个监视器锁,它是一个排他锁。

synchronized 的内存语义:

synchronized 可以解决共享变量内存的可见性问题,也可以用来实现原子性操作

Java 中的 volatile 关键字

当一个变量被声明为 volatile 时,线程在写入变量时不会把值缓存在寄存器或其他地方,而是会把值刷新会主内存;当其他线程读取该共享变量时,会从主内存重写获取最新值,而不是使用当前线程工作内存中的值。

volatile 可以解决共享变量内存的可见性问题和指令重排序问题,但不能保证操作的原子性

Java 中的 CAS 操作

CAS 通过硬件保证操作的原子性。

如果被操作的值存在环形转换,使用CAS算法就可能会出现ABA问题。解决的方式是增加一个递增的版本号或时间戳。

Unsafe 类

Unsafe 类中的方法:

// 获取变量的偏移值
public native long objectFieldOffset(Field f);
// 获取数组第一元素的地址
public native int arrayBaseOffset(Class arrayClass);
// 获取数组一个元素的占用的字节
public native int arrayIndexScale(Class arrayClass);
 
// 原子性地更新
public final native boolean compareAndSwapLong(Object o, long offset,
                                               long expected,
                                               long x);
 
// 获取 Long 类型的值(具有 volatile 语义)
public native long getLongVolatile(Object o, long offset);
// 设置 Long 类型的值(具有 volatile 语义)
public native void putLongVolatile(Object o, long offset, long x);
// 设置 Long 类型的值(不具有 volatile 语义)
public native void putOrderedLong(Object o, long offset, long x);
 
 
// 阻塞当前线程
public native void park(boolean isAbsolute, long time);
// 唤醒指定线程
public native void unpark(Object thread);
// 封装 CAS 算法的方法
public final long getAndSetLong(Object o, long offset, long newValue) {
    long v;
    do {
        v = getLongVolatile(o, offset);
    } while (!compareAndSwapLong(o, offset, v, newValue));
    return v;
}
 
public final long getAndAddLong(Object o, long offset, long delta) {
    long v;
    do {
        v = getLongVolatile(o, offset);
    } while (!compareAndSwapLong(o, offset, v, v + delta));
    return v;
}

获取 Unsafe 对象:

public final class Unsafe {
 
    private static native void registerNatives();
    static {
        registerNatives();
        sun.reflect.Reflection.registerMethodsToFilter(Unsafe.class, "getUnsafe");
    }
 
    private Unsafe() {}
 
    private static final Unsafe theUnsafe = new Unsafe();
    
    @CallerSensitive
    public static Unsafe getUnsafe() {
        Class caller = Reflection.getCallerClass();
        if (!VM.isSystemDomainLoader(caller.getClassLoader()))
            throw new SecurityException("Unsafe");
        return theUnsafe;
    }
}        

由于 Unsafe 类做了限制,这里需要使用反射来获取 Unsafe 对象:

public class UnsafeTest {
    volatile long value;
    static long valueOffset;
    static Unsafe unsafe;
 
    static {
        try {
            Field unsafeField = Unsafe.class.getDeclaredField("theUnsafe");
            unsafeField.setAccessible(true);
            unsafe = (Unsafe) unsafeField.get(null);
            valueOffset = unsafe.objectFieldOffset(UnsafeTest.class.getDeclaredField("value"));
        } catch (Exception e) {
            e.printStackTrace();
        }
    }
 
    public static void main(String[] args) {
        UnsafeTest test = new UnsafeTest();
        boolean success = UnsafeTest.unsafe.compareAndSwapLong(test, UnsafeTest.valueOffset, 0, 1);
        System.out.println(success);
        System.out.println(test.value);
    }
}

指令重排序

Java 内存模型允许编译器和处理器对指令重排序以提高运行性能。

在单线程下重排序可以保证最终执行的结果与程序顺序执行的结果一致,但是在多线程下就会存在问题。

用volatile 可以解决指令重排序的导致的问题。

伪共享

伪共享出现的原因是因为缓存和主内存进行数据交换的单位是缓存行,多线程去修改同一缓存行的不同变量时,只有一个线程可以去修改缓存行的变量,因为缓存一致性协议会使其他线程的同一缓存行失效,使线程只能重新从二级缓存或主内存读取,从而造成性能下降。

在单线程下,缓存行可以充分利用程序运行的局部性原理,从而提高程序性能。

多线程解决缓存行的方法:

字节填充@sun.misc.Contended 注解

使用 @Contended 注解使需要使用参数:-XX:-RestrictContended;

默认宽度是 128 字节,可以使用 -XX:ContendedPaddingWidth 自定义宽度;

锁的概述


创业/副业必备:

本站已持续更新1W+创业副业顶尖课程,涵盖多个领域。

点击查看详情

声明:本站所有文章,如无特殊说明或标注,均为本站原创发布。任何个人或组织,在未征得本站同意时,禁止复制、盗用、采集、发布本站内容到任何网站、书籍等各类媒体平台。如若本站内容侵犯了原著者的合法权益,可联系我们进行处理。

评论(0)

提示:请文明发言

您的电子邮箱地址不会被公开。 必填项已用 * 标注