Golang中这样理解是否正确

Golang中这样理解是否正确 如果我理解正确，"WASM标准"不支持/定义操作系统线程？那么运行时中goroutine是如何实现多路复用的？有哪些我需要考虑的限制？

运行时能否处理两个处于紧密循环中的goroutine？

2 回复

WebAssembly（目前）只允许单线程执行。但这并不意味着不能使用 goroutine，因为 goroutine 并不是线程。😊

goroutine 的工作方式是提供并发性，而不一定是并行性。每个线程中可以执行多个 goroutine，即使只有一个线程，仍然可以存在许多 goroutine。

因此，WebAssembly 目前的限制在于 Go 无法使用超过一个 CPU 核心。随着 WebAssembly 的进一步发展，这种情况可能会改变。

Rob Pike 的这个演讲解释了并行性与并发性的区别，以及 Go 中并发的工作原理：https://www.youtube.com/watch?v=cN_DpYBzKso

更多关于Golang中这样理解是否正确的实战系列教程也可以访问 https://www.itying.com/category-94-b0.html


在Go语言中，你的理解是正确的：WebAssembly（WASM）标准不直接支持操作系统线程，因为它设计为在沙箱环境中运行，不暴露底层OS线程API。在WASM环境中，Go运行时通过事件循环和异步I/O机制实现goroutine的多路复用，而不是依赖OS线程调度。

具体来说，Go运行时在WASM中使用一个基于JavaScript事件循环（在浏览器中）或类似机制（在非浏览器WASM运行时中）的调度器。它将goroutine映射到单个执行线程上，并通过非阻塞I/O和回调来实现并发。当一个goroutine执行I/O操作时，运行时将其挂起，并切换到另一个就绪的goroutine，从而实现多路复用。这类似于Go在非WASM环境中的工作方式，但在WASM中，它依赖于宿主环境（如浏览器）提供的异步API。

关于限制，你需要考虑以下几点：

  • 单线程执行：在WASM中，Go程序通常运行在单个线程上，因此无法利用多核CPU的并行性。所有goroutine共享同一个线程，这意味着紧密循环的goroutine可能会阻塞其他goroutine，除非它们主动让出控制权（例如通过调用runtime.Gosched()或执行I/O操作）。
  • 阻塞操作：长时间运行的CPU密集型任务（如紧密循环）可能导致整个程序“冻结”，因为WASM环境没有抢占式调度。在标准Go运行时中，调度器可以抢占长时间运行的goroutine，但在WASM中，这依赖于协作式调度。
  • I/O限制：WASM中的I/O操作必须通过宿主环境（如浏览器的Fetch API）异步执行，同步I/O可能不被支持或导致阻塞。

对于你提到的“运行时能否处理两个处于紧密循环中的goroutine”，在WASM环境中，答案是：如果goroutine是纯CPU密集型且不包含任何I/O或显式调度点（如runtime.Gosched()），那么一个紧密循环的goroutine可能会独占执行，导致另一个goroutine无法运行。这是因为WASM的调度器依赖于goroutine主动让出控制权。但在实际中，Go运行时在编译到WASM时可能会插入一些隐式调度点（例如在函数调用时），但这不是完全可靠的。

示例代码：以下是一个简单的Go程序，演示在WASM中两个goroutine的行为。如果它们处于紧密循环中，一个可能阻塞另一个。

package main

import (
    "fmt"
    "time"
)

func main() {
    go func() {
        for i := 0; i < 5; i++ {
            fmt.Println("Goroutine 1:", i)
            // 如果没有I/O或Gosched，在WASM中可能阻塞
            time.Sleep(time.Millisecond * 100) // 添加延迟以模拟让出控制权
        }
    }()

    go func() {
        for i := 0; i < 5; i++ {
            fmt.Println("Goroutine 2:", i)
            time.Sleep(time.Millisecond * 100)
        }
    }()

    time.Sleep(time.Second * 2) // 等待goroutine完成
    fmt.Println("Done")
}

在非WASM环境中，这个程序可能正常交替输出，但在WASM中，如果移除time.Sleep，goroutine可能不会公平调度。为了改善这一点，你可以显式调用runtime.Gosched()来让出控制权。

package main

import (
    "fmt"
    "runtime"
)

func main() {
    go func() {
        for i := 0; i < 5; i++ {
            fmt.Println("Goroutine 1:", i)
            runtime.Gosched() // 显式让出控制权
        }
    }()

    go func() {
        for i := 0; i < 5; i++ {
            fmt.Println("Goroutine 2:", i)
            runtime.Gosched()
        }
    }()

    time.Sleep(time.Second * 2)
    fmt.Println("Done")
}

总之，在WASM中，goroutine的多路复用依赖于事件循环和协作式调度，你需要避免长时间运行的CPU密集型循环而不让出控制权，以防止阻塞其他goroutine。

回到顶部