在Go语言中，并发安全是通过多种机制来保障的，主要包括以下几个方面：
- Goroutine调度：Go语言的调度器是并发的，它使用M:N的调度模型（即多个Goroutine在少量的操作系统线程上运行）。调度器负责在Goroutine之间进行上下文切换，从而确保它们能够并发地执行。
- 内存模型：Go语言的内存模型定义了在并发程序中对共享数据的访问规则。它确保了在并发环境中，对共享数据的访问是原子的，并且按照一定的顺序执行。这有助于避免数据竞争和其他并发问题。
- 互斥锁（Mutex）：Go语言提供了互斥锁机制，用于保护共享资源免受并发访问的影响。当一个Goroutine获得互斥锁时，其他Goroutine将被阻塞，直到锁被释放。
- 读写锁（RWMutex）：对于读操作远多于写操作的场景，Go语言提供了读写锁机制。读写锁允许多个Goroutine同时进行读操作，但在进行写操作时会阻塞其他Goroutine的读写操作。这可以提高并发性能，同时保证数据的一致性。
- 原子操作（Atomic Operations）：Go语言提供了一组原子操作函数，用于在并发环境中对单个变量进行安全的操作。原子操作可以确保在多个Goroutine之间对共享变量的访问是原子的，从而避免数据竞争和其他并发问题。
- 通道（Channels）：Go语言中的通道是一种特殊的类型，用于在Goroutine之间传递数据。通道内部处理了必要的锁定和并发控制，因此可以安全地在多个Goroutine之间传递数据，而无需显式地使用互斥锁或其他同步机制。
综上所述，Go语言通过多种机制来保障并发安全，包括Goroutine调度、内存模型、互斥锁、读写锁、原子操作和通道等。这些机制共同协作，确保在并发环境中程序的正确性和性能。