Kotlin 的协程是真协程吗?被 b 站博主搞蒙了

2022-01-25 15:51:28 +08:00
 714105382

能做到类似 golang goroutine 完全不阻塞任何 os thread 进行 io 之类的访问并在得到结果后自动把协程挂载到线程继续执行?

视频上说不能: [ [码上开学] 到底什么是「非阻塞式」挂起?协程真的比线程更轻量级吗?-哔哩哔哩] https://b23.tv/qIkWUmo

6763 次点击
所在节点    Kotlin
27 条回复
zxjunz
2022-01-25 16:05:11 +08:00
协程简单理解就是用同步式的写法去写异步的代码,防止回调地狱。反编译 kotlin 到 java ,本质上还是一层回调嵌套一层回。因此,并不会比线程轻量级。至于你说的,能否实现 golang 的协程效果,完全是可以的,甚至就是为此而设计的。
jameslan
2022-01-25 16:07:49 +08:00
coroutines 都差不多,算上 js 的,python 的,等等等等。似乎 C#的最早?但是不叫 coroutines

其实就是借助编译器,把函数拆成一个一个的 task ,然后用 event/message loop 来处理
Goooler
2022-01-25 16:10:46 +08:00
Kotlin 协程在 Jvm 上的实现就是线程,其他平台上的实现不清楚。
wellsc
2022-01-25 16:11:08 +08:00
stackfull coroutines
Kasumi20
2022-01-25 16:13:06 +08:00
@zxjunz Java 能写回调吗?把局部变量的访问全部推到堆上?
sagaxu
2022-01-25 16:14:33 +08:00
不能,kt 协程里不能调用阻塞线程的方法,包括且不仅限于文件 IO ,网络 IO
zxjunz
2022-01-25 16:17:38 +08:00
@Kasumi20 #5 匿名内部类罢了,所有局部变量都会通过构造函数传到这个内部类里
Leviathann
2022-01-25 16:20:02 +08:00
看最终调用的 io 把
如果在协程里调用阻塞 io 那协程所在的线程还是会被阻塞
如果因为计算任务停住还能靠线程池的任务偷取

go 应该是全链路非阻塞 + 内置调度器,所以可以随便调
ZSeptember
2022-01-25 16:42:01 +08:00
go 的协程也会阻塞系统线程啊

只是 Go 的所有 IO 操作被封装过而已,不会直接调用系统 io

和 Kotlin 的效果是一样的,只是 kotlin 的想要不阻塞系统 thread ,需要调用特定 API 而已
fpure
2022-01-25 16:52:22 +08:00
协程就是用户态可重入的函数或过程,有的是手动重入比如生成器,有的是自动重入比如 async/await/绿色线程
fpure
2022-01-25 16:56:15 +08:00
协程的关键就是用户态的可重入,其他有栈无栈、自动重入手动重入都是基于此的概念
tabris17
2022-01-25 17:47:35 +08:00
你应该先区分协程和异步IO的关系
wxjggr
2022-01-25 18:43:08 +08:00
@zxjunz kotlin 协程底层并不是回调嵌套,而是基于状态机的递归调用。
xfriday
2022-01-25 20:45:30 +08:00
go 里面的 io 都是被包装过的,阻塞会自动调度走,kotlin 你用那些包装过的 io 也可以,不然会阻塞跑这个 coroutine 的线程,( cgo 调用系统阻塞 io ,调度器就没辙了)
unco020511
2022-01-25 22:02:56 +08:00
kotlin for jvm 的协程是包装的线程,非操作系统层级的协程
2i2Re2PLMaDnghL
2022-01-26 10:08:16 +08:00
与协程( coroutine )相对的概念不是线程( thread )、进程( process ),而是子例程( subroutine )
最夸张地说,使用 Kafka Celery 之类的工具作为唯一信道可以构造跨进程甚至跨机器的协程。
至于非阻塞 io ,只是和协程写法非常搭配罢了。但你也可以用 ponylang 那样的纯消息模式。

@zxjunz kotlin 语言层面定义了一次性续延( one time continuation ),在那基础上构建的协程,我不认为编译到回调链能够正确地实现之,尤其是涉及控制结构(条件 / 循环)的时候。

@Kasumi20 我记得是很早就能写了(看到写 stream 的都写回调)。不过蕴含一个障碍,不能直接修改外层词法作用域的变量,必须使用容器类型,我认为这符合 #7 所说。
lasuar
2022-01-26 10:23:13 +08:00
如果是系统调用应该还是会占用线程的
fpure
2022-01-26 11:22:13 +08:00
@unco020511 难道还有操作系统层级的协程?协程本来就是应用自己实现的
SoloCompany
2022-01-26 19:57:33 +08:00
操作系统哪来的协成概念, 所有协程的概念都是语言提供的, go 是 runtime 层面直接提供, kotlin 则是一个统一的抽象, 在不同的 runtime 上提供不同的实现, 基本上都是翻译成状态机的实现
shyling
2022-01-26 21:58:02 +08:00
协程是协程,异步 IO 是异步 IO 。。

这是一个专为移动设备优化的页面(即为了让你能够在 Google 搜索结果里秒开这个页面),如果你希望参与 V2EX 社区的讨论,你可以继续到 V2EX 上打开本讨论主题的完整版本。

https://www.v2ex.com/t/830515

V2EX 是创意工作者们的社区,是一个分享自己正在做的有趣事物、交流想法,可以遇见新朋友甚至新机会的地方。

V2EX is a community of developers, designers and creative people.

© 2021 V2EX