聊一聊Kotlin中的线程安全，高并发系统基础篇

最新推荐文章于 2024-05-12 01:57:52 发布

2401_83974173

最新推荐文章于 2024-05-12 01:57:52 发布

阅读量1k

点赞数 20

分类专栏： 2024年程序员学习文章标签： kotlin 安全网络

本文链接：https://blog.csdn.net/2401_83974173/article/details/137840586

版权

2024年程序员学习专栏收录该内容

262 篇文章 0 订阅

订阅专栏

先自我介绍一下，小编浙江大学毕业，去过华为、字节跳动等大厂，目前阿里P7

深知大多数程序员，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！

因此收集整理了一份《2024年最新网络安全全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友。

既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上网络安全知识点，真正体系化！

由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新

如果你需要这些资料，可以添加V获取：vip204888 （备注网络安全）

正文

输出结果：

1622796124320 ��first thread
1622796129336 ��second thread

尽管first线程和second线程调用的是不同对象，但是first线程对Resutl类加上了类锁，second线程只能乖乖等着。

输出结果表示：对xx::class.java加上类锁的时候，该类所有的对象将会共享同一锁。

2.Lock

lock是一个接口，我们常用的实现类有ReentrantLock，意思是可重入锁。

我们定义一个全局变量，在两个线程中同时进行写操作，同时start两个线程

fun testLockSync() {

var count = 0

val thread1 = Thread{
for (i in 0…1000){
count += i
}
println(“ ${Thread.currentThread().name} : count:$ {count}”)
}

val thread2 = Thread{
for (i in 0…1000){
count += i
}
println(“ ${Thread.currentThread().name} : count:$ {count}”)
}

//同时开启两个线程
thread1.start()
thread2.start()
}

输出结果：会发现每次输出的结果都不一样

Thread-1 : count:505253
Thread-2 : count:1001000

Thread-2 : count:1001000
Thread-1 : count:1001000

Thread-2 : count:822155
Thread-1 : count:822155

使用ReentrantLock保证线程安全：

fun testLockSync() {

val lock = ReentrantLock()
var count = 0

val thread1 = Thread{
lock.lock()

for (i in 0…1000){
count += i
}
println(“ ${Thread.currentThread().name} : count:$ {count}”)

lock.unlock()
}

val thread2 = Thread{
lock.lock()

for (i in 0…1000){
count += i
}
println(“ ${Thread.currentThread().name} : count:$ {count}”)

lock.unlock()
}

thread1.start()
thread2.start()
}

输出结果和执行顺序每次都是一样：

Thread-1 : count:500500
Thread-2 : count:1001000

Lock常用方法

lock() ：获取锁，获取成功设置当前线程count++，如果其他线程占有锁，则当前线程不可用，等待。
tryLock() : 获取锁，如果锁不可用，则此方法将立即返回，线程不阻塞，可设置等待时间。
unLock() : 尝试释放锁，当前thread count–,如果count为0，则释放锁。

2.Object

在kotlin中object有很多作用，可以实现对象表达式、对象声明等

对象表达式就是创建一个Object类，实现单例模式：

object Singleton {

}

在idea中查看其反编译java代码：

public final class Singleton {
public static final Singleton INSTANCE;

private Singleton() {
}

static {
Singleton var0 = new Singleton();
INSTANCE = var0;
}
}

可以看到其属于饿汉模式：优点是在类加载的时候创建，不会存在线程安全问题，效率高。缺点就是浪费资源。具体可以参考此链接

但是在Object类中定义的方法并不是线程安全的

我们定义如下方法：

object Singleton {

fun printS(){
println(“${System.currentTimeMillis()} : ${Thread.currentThread().name}") sleep(1000) println("$ {System.currentTimeMillis()} : ${Thread.currentThread().name}”)
}
}

调用：

fun testObjectSync() {

val thread1 = thread(start = false,name = “first thread”){
Singleton.printS()
}

val thread2 = thread(start = false,name = “second thread”){
Singleton.printS()
}

thread1.start()
thread2.start()
}

输出：

1623036691322 : first thread
1623036691322 : second thread
1623036692329 : second thread
1623036692329 : first thread

我们发现两个线程能够同时获取到对象，输出结果几乎是同一时间，并没有起到sleep效果。

还是需要加锁@Synchronized才能实现线程安全，如下：

object Singleton {

@Synchronized
fun printS(){
println(“${System.currentTimeMillis()} : ${Thread.currentThread().name}") sleep(1000) println("$ {System.currentTimeMillis()} : ${Thread.currentThread().name}”)
}

}

输出：
1623036783474 : first thread
1623036784474 : first thread
1623036784474 : second thread
1623036785476 : second thread

3.by lazy实现

Object虽然非常简单是实现单例模式，但是Objcet不能初始化参数，我们可以利用by lazy 的延迟加载属性创建带参数的单例类：

class SomeSingleton(s:String) {

companion object{

private var s = “”

private val instance : SomeSingleton by lazy(mode = LazyThreadSafetyMode.SYNCHRONIZED) {
SomeSingleton(s)
}

fun getInstances(string: String):SomeSingleton{
this.s = string
return instance
}
}

fun printS(){
println(“${System.currentTimeMillis()} : ${Thread.currentThread().name} ------- s is:$ {s}”)
Thread.sleep(5000)
}

}

注意这里的by lazy(mode = LazyThreadSafetyMode.SYNCHRONIZED)

延迟属性的在初始化的过程分多钟情况，首先是默认的SYNCHRONIZED，上锁为了保证只有一条线程可去初始化lazy属性。也就是说同时多线程进行访问该延迟属性时，如果没有初始化好，其他线程将无法访问。

延迟加载上锁实现源码:

private class SynchronizedLazyImpl(initializer: () -> T, lock: Any? = null) : Lazy, Serializable {
private var initializer: (() -> T)? = initializer
@Volatile private var _value: Any? = UNINITIALIZED_VALUE
// final field is required to enable safe publication of constructed instance
private val lock = lock ?: this

override val value: T
get() {
val _v1 = _value
if (_v1 !== UNINITIALIZED_VALUE) {
@Suppress(“UNCHECKED_CAST”)
return _v1 as T
}

return synchronized(lock) {
val _v2 = _value
if (_v2 !== UNINITIALIZED_VALUE) {
@Suppress(“UNCHECKED_CAST”) (_v2 as T)
} else {
val typedValue = initializer!!()
_value = typedValue
initializer = null
typedValue
}
}
}

override fun isInitialized(): Boolean = _value !== UNINITIALIZED_VALUE

override fun toString(): String = if (isInitialized()) value.toString() else “Lazy value not initialized yet.”

private fun writeReplace(): Any = InitializedLazyImpl(value)
}

同样SomeSingleton中的方法并不是线程安全的，同样需要加上@Synchorized，这里就不过多叙述了。

4.协程中的线程安全

协程中提供了Mutex来保证互斥，可以看做是Synchorinzed和Lock的替代品，还有withLock 扩展函数，可以⽅便替代常⽤的：

mutex.lock()
try {
//do something
}finally {
mutex.unlock()
}

替换为：

mutex.withLock {
//do something
}

具体源码：

@OptIn(ExperimentalContracts::class)
public suspend inline fun Mutex.withLock(owner: Any? = null, action: () -> T): T {
contract {
callsInPlace(action, InvocationKind.EXACTLY_ONCE)
}

lock(owner)
try {
return action()
} finally {
unlock(owner)
}
}

我们看一下具体的使用：

suspend fun testMutex() {
var count = 0

val job1 = CoroutineScope(Dispatchers.IO).launch{
repeat(100){
count ++
//delay 1ms是为了比避免执行太快
delay(1)
}
println(“count1:${count}”)
}

val job2 = CoroutineScope(Dispatchers.IO).launch{
repeat(100){
count ++
delay(1)
}
println(“count2:${count}”)
}

job1.join()
job2.join()
}

我们多次运行看下结果，发现每次输出都不一样：

count2:196
count1:196

我们加上Mutex试一下：注意，对于多个协程来说用的是同一个Mutex

suspend fun testMutex() {
var count = 0

//注意：对于多个协程来说用的是同一个Mutex
val mutex = Mutex()

val job1 = CoroutineScope(Dispatchers.IO).launch{

mutex.withLock(count) {
repeat(100) {
count++
delay(1)
}
}

println(“count1:${count}”)
}

val job2 = CoroutineScope(Dispatchers.IO).launch{

mutex.withLock(count) {
repeat(100) {
count++
delay(1)
}
}

println(“count2:${count}”)
}

job1.join()
job2.join()
}

输出结果：几乎同时开启两个协程，去竞争count的锁，job1和job2谁先拿到count的锁几率是相同的

count2:100
count1:200

如果我们只在一个协程中执行mutex，不会影响到另一个协程对count的读取。

谨慎在协程中使用@Synchronized

总所周知协程只是线程的封装框架,那么Synchronized配合协程使用有效吗？

/**

测试协程中使用Synchronzied
*/
fun testCoroutineWithSync() = runBlocking{
repeat(3){
launch(Dispatchers.IO){
doSomething()
}
}
}

@Synchronized
suspend fun doSomething(){

println(“currentThread: ${Thread.currentThread().name}, time:$ {System.currentTimeMillis()}, start”)
delay(1000)
println(“currentThread: ${Thread.currentThread().name}, time:$ {System.currentTimeMillis()}, end”)