V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
714105382
V2EX  ›  Kotlin

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

  •  
  •   714105382 · 206 天前 via iPhone · 4344 次点击
    这是一个创建于 206 天前的主题,其中的信息可能已经有所发展或是发生改变。

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

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

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

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

    go 应该是全链路非阻塞 + 内置调度器,所以可以随便调
    ZSeptember
        9
    ZSeptember  
       206 天前
    go 的协程也会阻塞系统线程啊

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

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

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

    @Kasumi20 我记得是很早就能写了(看到写 stream 的都写回调)。不过蕴含一个障碍,不能直接修改外层词法作用域的变量,必须使用容器类型,我认为这符合 #7 所说。
    lasuar
        17
    lasuar  
       205 天前 via iPhone
    如果是系统调用应该还是会占用线程的
    fpure
        18
    fpure  
       205 天前
    @unco020511 难道还有操作系统层级的协程?协程本来就是应用自己实现的
    SoloCompany
        19
    SoloCompany  
       205 天前   ❤️ 1
    操作系统哪来的协成概念, 所有协程的概念都是语言提供的, go 是 runtime 层面直接提供, kotlin 则是一个统一的抽象, 在不同的 runtime 上提供不同的实现, 基本上都是翻译成状态机的实现
    shyling
        20
    shyling  
       205 天前
    协程是协程,异步 IO 是异步 IO 。。
    unco020511
        21
    unco020511  
       204 天前
    @fpure # 18 是吗,那可能是我理解错了吧
    kingbill
        22
    kingbill  
       161 天前
    据我的了解,计算机领域协程没有统一的定义(要说统一可能就是线程再上层的抽象),不同语言中对协程的定义都不太一样,不像线程是依赖操作系统的。真协程……不太理解你说的
    D3EP
        23
    D3EP  
       127 天前
    协程肯定是跑在线程上的,操作系统就没有协程的概念。
    「非对称协程」大多数都是类似 Kotlin 这种实现,将一个函数体拆成多个 subroutine ,执行异步操作时,通过 continuation 保存上下文状态(包括代码行号、局部变量),并从当前函数退出;当异步操作完成时,会通过 continuation 重新进入该函数,并恢复上下文。
    D3EP
        24
    D3EP  
       107 天前
    上面说错了,应该是「无栈协程」大多数都是类似 Kotlin 这种实现,将一个函数体拆成多个 subroutine ,执行异步操作时,通过 continuation 保存上下文状态(包括代码行号、局部变量),并从当前函数退出;当异步操作完成时,会通过 continuation 重新进入该函数,并恢复上下文。

    Golang 那种是有栈协程。
    关于   ·   帮助文档   ·   API   ·   FAQ   ·   我们的愿景   ·   广告投放   ·   感谢   ·   实用小工具   ·   1149 人在线   最高记录 5497   ·     Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 · 28ms · UTC 20:12 · PVG 04:12 · LAX 13:12 · JFK 16:12
    Developed with CodeLauncher
    ♥ Do have faith in what you're doing.