Kotlin多线程

目录

线程的使用

线程的创建

例一:创建线程并输出Hello World

Thread对象的用法

start()

join()

interrupt()

线程安全

原子性

可见性

有序性

线程锁

ReentrantLock

ReadWriteLock


线程的使用

Java虚拟机中的多线程可以1:1映射至CPU中,即一个CPU线程跑一个任务,这叫并行,也可以N:1地运行,即一个CPU线程交替跑多个任务,看起来是同时地。这两种方法都叫并发

线程的创建

kotlin中,可以通过kotlin.concurrent包下的thread函数创建一个线程:

fun thread(
    start: Boolean = true,
    isDaemon: Boolean = false,
    contextClassLoader: ClassLoader? = null,
    name: String? = null,
    priority: Int = -1,
    block: () -> Unit
): Thread

该函数接收6个参数,必须定义block参数,因为它是线程的执行函数:

  • start: 如果为真,则立即执行
  • isDaemon: 如果为真,则会创建守护线程。当所有正在运行的线程都是守护线程时,Java虚拟机将自动退出
  • contextClassLoader: 线程中所使用的类加载器,又叫上下文类加载器。如果不指定类加载器,则会使用系统的类加载器
  • name: 线程的名字
  • priority: 线程的优先级。只有该参数大于0时才有效。线程的优先级在1-10之间,默认为5. 线程的优先级的最大值、最小值、默认值被分别定义在java.long包下Thread类的静态变量MAX_PRIORITY、MIN_PRIORITY和NORM_PRIORITY内
  • block: 一个回调函数,无参数,无返回值,线程运行调用此方法

该函数返回一个java.long包下的Thread对象,表示创建的线程。

因为该函数的前五个参数都有默认值,因此可以使用kotlin的语法糖,简化thread的用法:

thread { 
    println("Hello World")
}

例一:创建线程并输出Hello World

import kotlin.concurrent.thread

fun main() {

    thread {
        println("Hello World")
    }

}

这就是这个例子的全部代码了,是不是非常简单?

在main方法里,创建了一个线程,线程执行时打印Hello World.

Thread对象的用法

我们提到,thread函数会返回一个Thread对象,那么,如何使用这个Thread对象呢?

首先,Thread类是用Java写的,所以它的函数原型是Java形式的

start()

Thread对象中有start()方法,表示执行线程:

public void start()

如果我们在thread方法中设置start参数为false,那么我们可以通过调用start()方法执行线程:

import kotlin.concurrent.thread

fun main() {

    val th = thread(start = false) {
        println("Hello World")
    }
    
    println("准备启动线程")
    th.start()

}

执行结果:

准备启动线程
Hello World
join()

join()方法等待线程执行结束:

public final void join()
                throws InterruptedException

如我们可以这样使用:

import kotlin.concurrent.thread

fun main() {
    val th = thread {
        Thread.sleep(1000)
        println("th执行完成")
    }
    th.join()
    println("main执行完成")
}

 执行结果如下:

th执行完成
main执行完成

因此,join成功是main线程等待th线程结束

如果我们去掉th.join(),则输出:

main执行完成
th执行完成

这就是join()的基本用法

另外,如果当前线程(调用join()方法的线程)被任何线程中断,则抛出InterruptedException

异常,并不再等待:

import kotlin.concurrent.thread

fun main() {

    val th = thread {
        val th2 = thread {
            Thread.sleep(1000)
            println("th2执行完成")
        }
        try {
            th2.join()
        }catch (e: InterruptedException){
            println("中断")
        }
        println("th执行完成")
    }

    th.interrupt()

}

 执行结果:

中断
th执行完成
th2执行完成

因为main线程创建了th线程,th线程又创建了th2线程。th线程调用join()方法等待th2线程时,main线程中断了th线程,因此th线程中的join()方法停止等待,执行完成。之后,th2线程才执行完成

interrupt()

interrupt()中断线程。调用该方法时,将会把指定线程的Thread.interrupted()方法的返回值设为true,因此,要中断线程需要检测这个值。

public void interrupt()

 其用法如下:

import kotlin.concurrent.thread

fun main() {

    val th = thread {
        while (true){
            if (Thread.interrupted()) break
        }
        println("th被中断")
    }

    Thread.sleep(1000)
    println("准备中断线程")
    th.interrupt()

}

输出:

准备中断线程
th被中断

线程安全

线程安全必须同时满足原子性、可见性和有序性:

原子性

考虑这么一个代码:

import kotlin.concurrent.thread

fun main() {

    var tmp = 0

    val th1 = thread {
        Thread.sleep(200)
        tmp++
    }

    val th2 = thread {
        Thread.sleep(200)
        tmp++
    }

    th1.join()
    th2.join()

    println(tmp)

}

其中,tmp被增加了2次,因此应该返回2,可是我的输出结果为:

1

这是为什么呢?

我们知道,自增语句分三步:读取、增加、写入。在两个线程同时执行的时候,可能会出现类似以下情况:

时间第一个线程第二个线程
1读取tmp变量(0)
2计算tmp+1的值
3读取tmp变量(0)
4写入tmp+1的值到tmp变量(1)
5计算tmp+1的值
6写入tmp+1的值到tmp变量(1)

因此,由于线程之间并发运行,最终tmp的值为1。

之所以自增语句会出现这样的问题,是因为自增语句需要3块时间才能完成,不能一口气直接完成。如果自增可以直接完成,在非并行的情况下,就会出现以下情况:

时间第一个线程第二个线程
1tmp自增
2tmp自增

这样就不会有冲突了。

我们称这种直接完成而不被其他线程打断的操作叫原子操作,在kotlin中可以通过java.util.concurrent.atomic定义的支持原子操作的类,实现原子操作:

import java.util.concurrent.atomic.AtomicInteger
import kotlin.concurrent.thread

fun main() {

    val tmp = AtomicInteger(0)

    val th1 = thread {
        Thread.sleep(200)
        tmp.incrementAndGet()
    }

    val th2 = thread {
        Thread.sleep(200)
        tmp.incrementAndGet()
    }

    th1.join()
    th2.join()

    println(tmp.get())

}

注意:原子操作不适合并行时的问题,但由于现代电脑CPU少线程多的现状,大部分的情况都可以使用原子操作:

一个12核CPU有将近4000个线程

可见性

由于现代设备的线程有自己的缓存,有些时候当一个变量被修改后,其他线程可能看不到修改的信息,因此就会产生线程安全问题:

import kotlin.concurrent.thread

fun main() {

    var boolean = true

    val th1 = thread {
        Thread.sleep(200)
        boolean = false
        println("已经将boolean设为false")
    }

    val th2 = thread {
        println("等待boolean为false")
        while (boolean){}
    }

    th1.join()
    th2.join()

    println("线程执行完毕")

}

执行结果:

等待boolean为false
已经将boolean设为false
(无限循环)

 这是因为,当boolean被修改时,th2不能及时获得boolean的变化,所以跳不出循环,出现了可见性问题。我们可以通过Thread.yield()方法同步变量在线程内和进程内的数据:

import kotlin.concurrent.thread

fun main() {

    var boolean = true

    val th1 = thread {
        Thread.sleep(200)
        boolean = false
        println("已经将boolean设为false")
    }

    val th2 = thread {
        println("等待boolean为false")
        while (boolean){
            Thread.yield()
        }
    }

    th1.join()
    th2.join()

    println("线程执行完毕")

}

执行结果:

等待boolean为false
已经将boolean设为false
线程执行完毕

注意,Thread.yield()方法的真实作用是告诉调度器当前线程愿意放弃对处理器的使用,直到处理器重新调用这个线程,可以用以下表格来说明:

因此,Thread.yield()方法就可以抽空在合适的时机同步变量的数据,实现线程的可见性。

我们前面举的变量自增的例子也有可能是因为线程的可见性问题导致的。

有序性

我们在写代码时,往往认为程序是按顺序运行的,其实并不是。如果前后两个指令没有任何关联,处理器可能会先运行写在后面的省时指令,后运行写在前面的费时指令,这样可以起到节省资源的效果。在单线程中,这没有问题,但在多线程中,就出现了问题:

import kotlin.concurrent.thread

fun main() {

    var a = 0
    var b = 0
    var x = -1
    var y = -1

    var count = 0

    while (true) {

        a = 0
        b = 0
        x = -1
        y = -1

        val th1 = thread {
            b = 1
            x = a
            return@thread
        }

        val th2 = thread {
            a = 1
            y = b
            return@thread
        }

        th1.join()
        th2.join()

        count++

        if (x == 0 && y == 0){
            println("第$count 次,($x,$y)")
            break
        }

    }

}

输出:

第100010 次,(0,0)

按照正常的逻辑,这个程序的运行过程应该是类似这样的:

时间第一个线程第二个线程
1b=1
2a=1
3x=a(1)
4y=b(1)

时间第一个线程第二个线程
1b=1
2x=a(0)
3a=1
4y=b(1)

时间第一个线程第二个线程
1a=1
2y=b(0)
3b=1
4x=a(1)

无论如何,x和y都不可能同时为0,可是为什么原程序中,x和y都为0呢?

只有一种可能,类似这样:

x和y的赋值语句被处理器提到了前面,因此出现了有序性的问题 

@Volatile注解可以保证指定变量的可见性和有序性:

import kotlin.concurrent.thread

@Volatile
var a = 0

@Volatile
var b = 0

@Volatile
var x = -1

@Volatile
var y = -1

fun main() {

    var count = 0

    while (true) {

        a = 0
        b = 0
        x = -1
        y = -1

        val th1 = thread {
            b = 1
            x = a
            return@thread
        }

        val th2 = thread {
            a = 1
            y = b
            return@thread
        }

        th1.join()
        th2.join()

        count++

        if (x == 0 && y == 0) {
            println("第$count 次,($x,$y)")
            break
        }

    }

}

运行结果:

(无限循环)

 可见,@Volatile注解保证了其有序性。这个注解保证可见性和有序性的原理如下:

  • 可见性:给变量上一个Load屏障,每次读取数据的时候被强制从进程中读取最新的数据;同时上一个Store屏障,强制使每次修改之后强制刷新进程中的数据
  • 有序性:通过禁止重排屏障禁止指令重排:
    • StoreStore屏障:禁止StoreStore屏障的前后Store写操作重排
    • LoadLoad屏障:禁止LoadLoad屏障的前后Load读操作进行重排
    • LoadStore屏障:禁止LoadStore屏障的前面Load读操作跟LoadStore屏障后面的Store写操作重排
    • StoreLoad屏障:禁止LoadStore屏障前面的Store写操作跟后面的Load/Store 读写操作重排

线程锁

我们可以通过线程锁保证线程安全:

如果在操作对象之前,线程先声明:“这个对象是我的”,当另一个线程也想操作这个对象时,发现已经有人声明过了,那么它就等待,直到那个发布声明的线程又发了一个“这个对象不是我的了”的声明。当然,这两个声明其实起到了一个锁的作用,当声明“这个对象是我的”时,对象就被上了锁,当声明“这个对象不是我的了”时,对象的锁就被解开了

当然,上锁和解锁这一过程都必须保证原子性、可见性和有序性

我们可以如下修改代码:

import kotlin.concurrent.thread

class MyMutex{

    private var mutex: Boolean = false

    @Synchronized
    fun lock(){
        while (mutex){}  // 等待解锁
        mutex = true     // 上锁
        return
    }

    @Synchronized
    fun unlock(){
        mutex = false    // 解锁
        return
    }

}

fun main() {

    var tmp = 0
    val mutex = MyMutex()

    val th1 = thread {
        Thread.sleep(200)
        mutex.lock()
        tmp++
        mutex.unlock()
    }

    val th2 = thread {
        Thread.sleep(200)
        mutex.lock()
        tmp++
        mutex.unlock()
    }

    th1.join()
    th2.join()

    println(tmp)

}

这里面使用了@Synchronized注解,可以保证方法的原子性、可见性和有序性。在这里面保证了上锁和解锁的原子性、可见性和有序性。

@Synchronized注解是这么保证方法的原子性、可见性和有序性的:

  • 原子性:在方法执行前加锁,执行后解锁,这样一个方法同时只能有一个线程使用
  • 可见性:在方法执行时给方法内的每个变量上一个Load屏障,每次读取数据的时候被强制从进程中读取最新的数据;同时上一个Store屏障,强制使每次修改之后强制刷新进程中的数据
  • 有序性:通过禁止重排屏障禁止指令重排:
    • StoreStore屏障:禁止StoreStore屏障的前后Store写操作重排
    • LoadLoad屏障:禁止LoadLoad屏障的前后Load读操作进行重排
    • LoadStore屏障:禁止LoadStore屏障的前面Load读操作跟LoadStore屏障后面的Store写操作重排
    • StoreLoad屏障:禁止LoadStore屏障前面的Store写操作跟后面的Load/Store 读写操作重排

当然,我们上面的代码只是简单实现了一个线程锁,kotlin中可以使用自带的线程锁:

ReentrantLock

ReentrantLock是一个递归互斥,在Java中叫可重入锁,允许同一个线程多次上锁,相应的,同一个线程上锁多少次,就要解锁多少次。为什么要允许线程多次上锁呢?

我们来看以下代码:

import kotlin.concurrent.thread

class MyMutex{

    private var mutex: Boolean = false

    @Synchronized
    fun lock(){
        while (mutex){}  // 等待解锁
        mutex = true     // 上锁
        return
    }

    @Synchronized
    fun unlock(){
        mutex = false    // 解锁
        return
    }

}

fun main() {

    val mutex1 = MyMutex()
    val mutex2 = MyMutex()

    val th1 = thread {
        mutex1.lock()
        println("th1 locked mutex1")     // 模拟操作受mutex1保护的资源
        Thread.sleep(200)
        mutex2.lock()
        println("th1 locked mutex2")      // 模拟操作受mutex2保护的资源
        mutex1.unlock()
        println("th1 unlocked mutex1")
        Thread.sleep(200)
        mutex2.unlock()
        println("th2 unlocked mutex2")
        return@thread
    }

    val th2 = thread {
        mutex2.lock()
        println("th1 locked mutex2")      // 模拟操作受mutex2保护的资源
        Thread.sleep(200)
        mutex1.lock()
        println("th1 locked mutex1")      // 模拟操作受mutex1保护的资源
        mutex2.unlock()
        println("th1 unlocked mutex2")
        Thread.sleep(200)
        mutex1.unlock()
        println("th2 unlocked mutex1")
        return@thread
    }

    th1.join()
    th2.join()

    println("线程执行完毕")

}

运行结果:

th1 locked mutex1
th1 locked mutex2
(无限循环)

为什么会无限循环呢?因为th1锁定mutex1后想要锁定mutex2,却发现mutex2被th2锁定;而th2锁定mutex2后想要锁定mutex1,却发现mutex1被th1锁定,因此出现了无限循环的问题。我们称这种问题为死锁

使用递归互斥可以有效避免死锁问题:

import java.util.concurrent.locks.ReentrantLock
import kotlin.concurrent.thread

fun main() {

    val mutex = ReentrantLock()

    val th1 = thread {
        mutex.lock()
        println("th1 locked mutex1")
        Thread.sleep(200)            // 模拟操作受mutex1保护的资源
        mutex.lock()
        println("th1 locked mutex2")      // 模拟操作受mutex2保护的资源
        mutex.unlock()
        println("th1 unlocked mutex1")
        Thread.sleep(200)
        mutex.unlock()
        println("th2 unlocked mutex2")
        return@thread
    }

    val th2 = thread {
        mutex.lock()
        println("th1 locked mutex2")      // 模拟操作受mutex2保护的资源
        Thread.sleep(200)
        mutex.lock()
        println("th1 locked mutex1")      // 模拟操作受mutex1保护的资源
        mutex.unlock()
        println("th1 unlocked mutex2")
        Thread.sleep(200)
        mutex.unlock()
        println("th2 unlocked mutex1")
        return@thread
    }

    th1.join()
    th2.join()

    println("线程执行完毕")

}

其中,代码

val mutex = ReentrantLock()

表示创建一个可重入锁,这个对象的lock()和unlock()方法分别表示上锁和解锁

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/409777.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

【Java程序设计】【C00313】基于Springboot的物业管理系统(有论文)

基于Springboot的物业管理系统(有论文) 项目简介项目获取开发环境项目技术运行截图 项目简介 这是一个基于Springboot的物业管理系统,本系统有管理员、物业、业主以及维修员四种角色权限; 管理员进入主页面,主要功能包…

MCU独立按键单控LED实现

##江科大视频学习,并且对具体的一些小细节进行更详细的分析。 什么是独立按键? 轻触按键:相当于是一种电子开关,按下开头接通,松开时开头断开,实现原理是通过轻触按键内部的金属弹片受力弹动来实现接通和断开。 注意…

Keepalived介绍、架构和安装

Keepalived介绍、架构和安装 文章目录 Keepalived介绍、架构和安装1.Keepalived(高可用性服务)1.1 Keepalived介绍1.2 Keepalived 架构1.3 Keepalived 相关文件 2.Keepalived安装2.1 主机初始化2.1.1 设置网卡名和ip地址2.1.2 配置镜像源2.1.3 关闭防火墙…

在autodl搭建stable-diffusion-webui+sadTalker

本文介绍在autodl.com搭建gpu服务器,实现stable-diffusion-webuisadTalker功能,图片音频 可生成视频。 autodl租GPU 自己本地部署SD环境会遇到各种问题,网络问题(比如huggingface是无法访问),所以最好的方…

元学习(meta-learning)的通俗解释

目录 1、什么是元学习 2、元学习还可以做什么 3、元学习是如何训练的 1、什么是元学习 meta-learning 的一个很经典的英文解释是 learn to learn,即学会学习。元学习是一个很宽泛的概念,可以有很多实现的方式,下面以目标检测的例子来解释…

macOS系统下载IDEA的操作流程

第一步 进入官网 Download IntelliJ IDEA – The Leading Java and Kotlin IDE 第二步 根据mac的芯片选择版本下载 芯片的查看位置是【设置】-【通用】-【关于本机】-第二个,我的是Apple芯片,选Apple Silicon -- 第三步 右上角下载处打开安装包&…

485隔离器4口集线器一分二四路导轨安装数字量输入模块RS485中继

品牌:泰工华控 型号:TD-7511/TD-7512/TD-7514 产地:中国大陆 省份:安徽省 地址:宿州市 颜色分类:485一进一出隔离,485缓存器一进二出(两主一从,485分路器一进二出(一主两从&…

[C++][C++11][四] -- [lambda表达式]

目录 1.为什么要有lambda表达式?2.lambda表达式3.lambda表达式语法4.函数对象与lambda表达式 1.为什么要有lambda表达式? 在C98中,如果想要对一个数据集合中的元素进行排序,可以使用std::sort方法 如果待排序元素为自定义类型&am…

<网络安全>《52 网络攻防专业课<第十五课 - 跳板>

1 跳板技术 当攻击者入侵被攻击者时,被攻击者可以根据IP地址追踪攻击者来自哪里。 攻击者为了隐藏自己的真正IP,通常会采用跳板,如右图, 攻击者通过2个跳板攻击被攻击者。即使被攻击者进行反向追踪,也只能追踪到攻击…

【Activiti7系列】Activi7简介和基于Spring Boot整合Activiti7(流程设计器)

本文将介绍Activiti7基础概念及基于Spring Boot整合Activiti7(流程设计器)的具体步骤。 作者:后端小肥肠 1. 前言 在企业级应用中,业务流程的管理和执行是至关重要的一环。Activiti7是一个强大的开源工作流引擎,它提供了灵活的流程定义、任务…

机器学习.线性回归

斯塔1和2是权重项,斯塔0是偏置项,在训练过程中为了使得训练结果更加精确而做的微调,不是一个大范围的因素,核心影响因素是权重项 为了完成矩阵的运算,在斯塔0后面乘x0,使得满足矩阵的转换,所以在…

HTTP---------状态码

当服务端返回 HTTP 响应时,会带有一个状态码,用于表示特定的请求结果。比如 HTTP/1.1 200 OK,里面的 HTTP/1.1 表示协议版本,200 则是状态码,OK 则是对状态码的描述。 由协议版本、状态码、描述信息组成的行被称为起始…

文献阅读:Transformers are Multi-State RNNs

文献阅读:Transformers are Multi-State RNNs 1. 内容简介2. 方法介绍 1. 基础回顾 1. RNN2. Transformer 2. Transformer解构 1. MSRNN2. Transformer 3. TOVA 1. 现有转换策略2. TOVA 3. 实验考察 & 结论 1. 实验设计2. 实验结果 1. LM2. 长文本理解3. 文本生…

win7系统安装.net 4.7.2失败的解决办法

1、提示如下错误时导入证书MicrosoftRootCertificateAuthority2011.cer,具体可以从网上搜: 2、导入证书后再次重试,提示如下错误: 这时可能是缺少系统补丁,安装补丁:Windows6.1-KB2813430-x64.msu。安装完要…

Seata分布式事务实战XATCC模式

目录 XA模式 XA 模式的使用 Spring Cloud Alibaba整合Seata XA TCC模式 TCC模式接口改造 TCC如何控制异常 Spring Cloud Alibaba整合Seata TCC XA模式 整体机制 在 Seata 定义的分布式事务框架内,利用事务资源(数据库、消息服务等)对…

力扣--哈希表/滑动窗口/双指针3.无重复字符的最长子串

思路分析: 使用双指针 i 和 j 表示子串的起始位置和结束位置。遍历字符串 s,对于每个字符: 如果字符不在 hash 中,将其加入 hash,同时更新最长子串的长度 result。如果字符已经在 hash 中,说明有重复字符出…

力扣LCR 140. 训练计划 II(顺序遍历,快慢指针)

Problem: LCR 140. 训练计划 II 文章目录 题目描述思路复杂度Code 题目描述 思路 思路1:顺序遍历 欲返回倒数第cnt个节点则需要顺序遍历到len-cnt(其中len为链表的长度) 思路2:快慢指针 让一个快指针fast指向cnt 1个节点&#x…

Java的File常用方法【详解】

目录 1.概念 2.创建对象 3.常用方法1:判断文件类型、获取文件信息 4.常用方法2:创建文件、删除文件 5.常用方法3:遍历文件夹 1.概念 File是java.io.包下的类, File类的对象,用于代表当前操作系统的文件&#xff0…

Java 面向对象进阶 18 JDK8、9开始新增的方法;接口的应用;适配器设计模式;内部类(黑马)

一、JDK8开始新增的方法 默认方法不是抽象方法,所以不强制被重写: 但是如果被重写,就要去掉default关键字: public可以省略,但是default不可以省略: public是灰色的,代表可以省略 但是default是…

pclpy 最小二乘法拟合平面

pclpy 最小二乘法拟合平面 一、算法原理二、代码三、结果1.左边原点云、右边最小二乘法拟合平面后点云投影 四、相关数据 一、算法原理 平面方程的一般表达式为: A x B y C z D 0 ( C ≠ 0 ) Ax By Cz D 0 \quad (C\neq0) AxByCzD0(C0) 即: …