Go并发系列：1导论-1.2 Go并发编程概述

changler
128 阅读4分钟

1.2 Go并发编程概述

Go语言因其内置的并发特性而备受欢迎。在这一部分，我们将概述Go的并发编程模型、Goroutine和Channel的基本概念，帮助读者理解Go语言是如何处理并发编程的。

1.2.1 Go并发模型

Go语言的并发模型基于CSP（Communicating Sequential Processes），这是一种并发编程的理论模型。CSP强调通过消息传递而不是共享内存来进行通信，这种方法可以有效地避免竞态条件和复杂的锁机制。

在Go中，并发编程的核心概念是goroutine和channel：

  • Goroutine 是Go的轻量级线程，运行在用户态，由Go运行时管理。相比操作系统级别的线程，goroutine的启动和销毁开销非常小，适合处理大量并发任务。
  • Channel 是Go提供的一种类型安全的通信机制，允许不同的goroutine之间通过channel传递数据。Channel通过内置的同步机制，保证数据传递的安全性和一致性。

1.2.2 Goroutine的基本概念

Goroutine 是Go语言中的轻量级并发单元，可以看作是一个函数的并发执行。与操作系统的线程不同，goroutine的开销非常小，启动一个goroutine仅需分配几KB的内存。

创建一个goroutine非常简单，只需在函数调用前加上go关键字：

package main

import (
    "fmt"
    "time"
)

func sayHello() {
    fmt.Println("Hello, Goroutine!")
}

func main() {
    go sayHello()
    time.Sleep(time.Second)
}

在这个例子中，sayHello函数作为一个goroutine并发执行。注意，这里使用了time.Sleep来确保主程序等待goroutine执行完毕。这是因为主程序不会等待goroutine完成后再退出。

1.2.3 Channel的基本概念

Channel 是Go语言中用于goroutine间通信的机制。它类似于一个管道，允许一个goroutine将值发送到channel，另一个goroutine从channel中接收值。Channel可以在不同的goroutine之间安全地传递数据，而不需要使用显式的锁机制。

创建一个channel很简单，使用make函数：

package main

import "fmt"

func main() {
    ch := make(chan int)

    go func() {
        ch <- 42 // 发送值到channel
    }()

    val := <-ch // 从channel接收值
    fmt.Println(val)
}

在这个例子中，主程序创建了一个chan int类型的channel，并启动了一个goroutine来发送值42到channel。主程序随后从channel接收值并打印出来。

1.2.4 无缓冲和有缓冲Channel

Channel有两种类型：无缓冲（unbuffered）和有缓冲（buffered）channel。

  • 无缓冲Channel：发送和接收操作必须同步完成。这意味着如果一个goroutine尝试发送值到一个无缓冲channel，它将阻塞直到另一个goroutine准备好接收这个值，反之亦然。

    ch := make(chan int)

  • 有缓冲Channel：可以指定一个容量，发送操作在channel未满时不会阻塞，接收操作在channel不为空时不会阻塞。

    ch := make(chan int, 3)

在实际应用中，选择使用哪种类型的channel取决于具体需求。无缓冲channel适用于需要严格同步的场景，有缓冲channel则适用于需要一定灵活性的场景。

1.2.5 Channel的方向性

Channel可以是双向的，也可以限定为单向的：

  • 双向Channel：默认情况下，channel是双向的，可以用于发送和接收。

    ch := make(chan int)

  • 单向Channel：可以将channel限定为只能发送或只能接收，以提高代码的可读性和安全性。

    // 只能发送的channel
var sendCh chan<- int = ch

// 只能接收的channel
var receiveCh <-chan int = ch

1.2.6 Channel的关闭

Channel可以被关闭，以通知接收方不再有新的值发送过来：

close(ch)

关闭channel后，再向其发送值会引发panic，但仍然可以从已关闭的channel接收值。

1.2.7 select语句

Go语言提供了select语句，用于处理多个channel的操作。select语句让goroutine可以等待多个通信操作中的一个完成：

select {
case val := <-ch1:
    fmt.Println("Received", val)
case ch2 <- 42:
    fmt.Println("Sent 42 to ch2")
default:
    fmt.Println("No communication")
}

select语句中的每个case都必须是一个channel操作。当某个channel操作可以进行时，select将执行相应的case分支。如果没有任何channel操作可以进行，则执行default分支（如果有的话）。

结论

Go语言通过goroutine和channel提供了强大且易用的并发编程支持。Goroutine轻量且易于使用，Channel提供了安全的通信机制，select语句则让并发操作变得更加灵活。通过合理利用这些特性，开发者可以构建高效、可靠的并发应用程序。在接下来的章节中，我们将深入探讨Go语言中的各种同步原语和并发编程的最佳实践，帮助您更好地理解和掌握Go并发编程。

avatar
文章
阅读
粉丝