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.threadfun 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.threadfun 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.threadfun 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.threadfun 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.threadfun main() {val th = thread {while (true){if (Thread.interrupted()) break}println("th被中断")}Thread.sleep(1000)println("准备中断线程")th.interrupt()}

输出:

准备中断线程
th被中断

线程安全

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

原子性

考虑这么一个代码:

import kotlin.concurrent.threadfun main() {var tmp = 0val 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.threadfun 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.threadfun main() {var boolean = trueval th1 = thread {Thread.sleep(200)boolean = falseprintln("已经将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.threadfun main() {var boolean = trueval th1 = thread {Thread.sleep(200)boolean = falseprintln("已经将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.threadfun main() {var a = 0var b = 0var x = -1var y = -1var count = 0while (true) {a = 0b = 0x = -1y = -1val th1 = thread {b = 1x = areturn@thread}val th2 = thread {a = 1y = breturn@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 = -1fun main() {var count = 0while (true) {a = 0b = 0x = -1y = -1val th1 = thread {b = 1x = areturn@thread}val th2 = thread {a = 1y = breturn@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.threadclass MyMutex{private var mutex: Boolean = false@Synchronizedfun lock(){while (mutex){}  // 等待解锁mutex = true     // 上锁return}@Synchronizedfun unlock(){mutex = false    // 解锁return}}fun main() {var tmp = 0val 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.threadclass MyMutex{private var mutex: Boolean = false@Synchronizedfun lock(){while (mutex){}  // 等待解锁mutex = true     // 上锁return}@Synchronizedfun 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.threadfun 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()方法分别表示上锁和解锁

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

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

ARM 版银河麒麟桌面系统下 Qt 开发环境搭建指南

目录 前言安装Linux ARM 版 QtCreator配置 Qt Creator配置构建套件 第一个麒麟 Qt 应用程序小结 前言 在上一篇文章信创ARM架构QT应用开发环境搭建中建议大家使用 Ubuntu X86 系统作为信创 ARM 架构 QT 应用的开发环境,里面使用了交叉编译的方式。这对于自己的 Qt …

vue3 + vite + ts 中使用less文件全局变量

文章目录 安装依赖新建css变量文件全局引入css变量文件使用css变量 一、安装依赖 npm install less less-loader --save-dev 二、新建CSS变量文件 (1) :在根目录下的src文件中 src-> asset -> css ->glibal.less // glibal.less :root{--public_background_font_Col…

Dubbo知识点大全

“ 分布式应用场景有高并发,高可扩展和高性能的要求。还涉及到,序列化/反序列化,网络,多线程以及设计模式的问题。幸好 Dubbo 框架将上述知识进行了封装,让程序员能够把注意力放到业务上。 概念和架构 Provider:暴露服务的服务提供方Consumer:调用远程服务消费方Regist…

CUDA编程 - 用向量化访存优化 elementwise 核函数 - 学习记录

Cuda elementwise 一、简介1.1、ElementWise1.2、 float4 - 向量化访存 二、实践2.1、如何使用向量化访存2.2、Cuda elementwise - Add2.3、Cuda elementwise - Sigmoid2.3.1、简单的 Sigmoid 函数2.3.2、ElementWise Sigmoid float4(向量化访存) 2.4、C…

商家入驻平台怎么让资金自动分配给商家

最近很多上线了多商户电商系统的朋友咨询,我们平台的用户支付后,钱进入了我们的对公账户,怎样让钱在走完流程后,自动进入商家的账户呢?今天商淘云为您分享商户入驻平台自动分配给商家资金的三种方法。 首先是平台应建立…

Docker基础(一)

文章目录 1. 基础概念2. 安装docker3. docker常用命令3.1 帮助命令3.2 镜像命令3.3 容器命令3.4 其他命令 4. 使用案例 1. 基础概念 镜像(Image):Docker 镜像(Image),就相当于是一个 root 文件系统。比如官…

node14下运行项目报错:regeneratorRuntime is not defined

regeneratorRuntime is not defined,这是由于配置babel出错问题,由于使用了es7语法如async/await而当前babel版本过低 解决: npm install -D babel-plugin-transform-runtime babel-runtime 安装完成后在.babelrc文件下配置: &qu…

远程连接Redis

以连接阿里云上的Redis为例 1. 在阿里云安全组中开放端口 2.修改Redis启动时所用的配置文件(redis.conf) 2.1 修改ip地址 如图:将默认的本地ip bind 127.0.0.1地址改为bind 0.0.0.0 2.2 将保护模式关闭 将默认的 supervised yes 改为 n…

Transformer视频理解学习的笔记

今天复习了Transformer,ViT, 学了SwinTransformer, 还有观看了B站视频理解沐神系列串讲视频上(24.2.26未看完,明天接着看) 这里面更多论文见:https://github.com/mli/paper-reading/ B站视频理解沐神系列串讲视频下(明天接着看&a…

认证模式~

认证方式 基于Cookie和Session的认证方式 基于Cookie和Session的认证是传统的Web应用认证机制。它依赖于HTTP协议无状态的特性,在客户端(浏览器)和服务器之间保持用户的状态。 工作原理 用户登录:用户通过输入用户名和密码来登…

嵌入式C语言(三)

typeof() 使用typeof可以获取一个变量或表达式的类型。 typeof的参数有两种形式:表达式或类型。 int i;typeof(i) j 20; --> int j 20;typeof(int *) a; -->int *a; int f(); -->typeof(f()) k;--? int k我们可以看出通过typeof获取一个变量的…

合并spark structured streaming处理流式数据产生的小文件

备注: By 远方时光原创,可转载,不能复制到其他平台 背景:做流批一体,湖仓一体的大数据架构,常见的做法就是 数据源->spark Streaming->ODS(数据湖)->spark streaming->…

Vue 实现页面导出A4标准大小的PDF文件,以及处理图片跨域不能正常展示的问题等

效果预览: 代码流程:首先在utils文件夹下创建htmlToPdf的js工具文件,然后在main.js中注册引用 htmlToPdf.js // 导出页面为PDF格式 import html2Canvas from html2canvas import JsPDF from jspdfexport default {install(Vue, options) {V…

hcia datacom课程学习(1):通信基础

1.总体框架 上图为发送方通过互联网传递信息给接收方的过程。 家用路由器会直接集成上图中的四层(vlan,DHCP,静态路由,NAT,PPPoE)。 2.网络性能指标 (1)带宽 单位时间内传输的数…

解析Hadoop三大核心组件:HDFS、MapReduce和YARN

目录 HadoopHadoop的优势 Hadoop的组成HDFS架构设计Yarn架构设计MapReduce架构设计 总结 在大数据时代,Hadoop作为一种开源的分布式计算框架,已经成为处理大规模数据的首选工具。它采用了分布式存储和计算的方式,能够高效地处理海量数据。Had…

pod调度策略 标签管理 资源配额与限额 全局资源配额与限额策略,

打分也是基于可调度节点进行打分资源情况. 指定多个节点,会进行覆盖其之前节点名称 --- kind: Pod apiVersion: v1 metadata:name: myhttp spec:nodeName: node-0001 # 基于节点名称进行调度containers:- name: apacheimage: myos:httpd 基于节点名称的调度策略 标签与调…

数据可视化--了解数据可视化和Excel数据可视化

目录 1.1科学可视化: 可视化是模式、关系、异常 1.2三基色原理: 三基色:红色、绿色和蓝色 1.3Excel数据可视化 1.3.1 excel数据分析-13个图表可视化技巧 1.3.2 excel数据分析-28个常用可视化图表(video) 1.3.3Excel可视化…

康复训练day2——2024牛客寒假集训营6

一道很好的构造题,受益匪浅。 链接:F-命运的抉择_2024牛客寒假算法基础集训营6 (nowcoder.com)​​​​​​ 题意: 题解 (并查集 思维): 首先将存在1的情况特判掉,我们的数组的元素都是> 2的…

2024-02-26(Spark,kafka)

1.Spark SQL是Spark的一个模块,用于处理海量结构化数据 限定:结构化数据处理 RDD的数据开发中,结构化,非结构化,半结构化数据都能处理。 2.为什么要学习SparkSQL SparkSQL是非常成熟的海量结构化数据处理框架。 学…

在having、select子句中使用子查询

目录 在having子句中使用子查询 统计出部门平均工资高于公司平均工资的部门编号、平均工资、部门人数 在select子句中使用子查询 查询每个员工的编号、姓名、职位、部门名称 Oracle从入门到总裁:https://blog.csdn.net/weixin_67859959/article/details/135209645 在havin…