【面试宝藏】Go并发编程面试题

深入Go语言并发编程

Go语言以其简洁、高效的并发处理能力而闻名。在Go中，通过各种同步机制和原子操作，可以轻松地实现高性能并发编程。本文将深入探讨Go语言中的并发编程，包括Mutex、RWMutex、Cond、WaitGroup、原子操作等内容。

1. Mutex几种状态

Go语言中的Mutex（互斥锁）有以下几种状态：

• 未锁定状态：锁当前未被任何goroutine持有。
• 已锁定状态：锁当前被某个goroutine持有，其他goroutine必须等待。
• 正常模式：goroutine按先后顺序获取锁。
• 饥饿模式：锁长时间被某个goroutine持有，其他goroutine获取锁的顺序可能会被打乱，以避免饥饿。

2. Mutex正常模式和饥饿模式

• 正常模式：Mutex在正常情况下采用FIFO队列来管理等待的goroutine，保证公平性。
• 饥饿模式：如果一个goroutine等待锁的时间超过1ms，Mutex会进入饥饿模式。此时，等待最久的goroutine会优先获取锁，释放锁的goroutine直接交给等待时间最长的goroutine。

3. Mutex允许自旋的条件

自旋是一种优化策略，允许goroutine在短时间内反复检查锁的状态，而不是立即阻塞。Go的Mutex在以下条件下允许自旋：

• CPU空闲时。
• 当前goroutine是最后一个尝试获取锁的goroutine。

4. RWMutex实现

RWMutex（读写互斥锁）允许多个读操作并发执行，但写操作是独占的。其实现原理如下：

• 使用两个计数器，一个记录当前的读锁数量，一个记录写锁状态。
• 读锁请求增加读计数器，写锁请求检查读计数器是否为零，再设置写锁状态。

5. RWMutex注意事项

使用RWMutex时需要注意以下事项：

• 尽量减少锁的持有时间，避免造成性能瓶颈。
• 防止死锁，确保锁的获取和释放顺序一致。
• 不要在读锁持有期间尝试获取写锁，这样会导致死锁。

6. Cond是什么

Cond（条件变量）用于goroutine之间的通知机制。它包含一个锁和一个等待队列，主要用于协调共享资源的访问。Cond提供了以下方法：

• Wait(): 等待条件满足，释放锁并阻塞当前goroutine。
• Signal(): 唤醒一个等待中的goroutine。
• Broadcast(): 唤醒所有等待中的goroutine。

7. Broadcast和Signal区别

• Broadcast：唤醒所有等待条件变量的goroutine。
• Signal：仅唤醒一个等待条件变量的goroutine。

8. Cond中Wait使用

使用Cond的Wait方法时，一般的步骤如下：

1. 先获取锁。
2. 检查条件是否满足，如果不满足调用Wait()。
3. 在Wait()中，释放锁并阻塞当前goroutine，直到被唤醒。
4. 被唤醒后重新获取锁并继续执行。

示例代码：

var mu sync.Mutex
var cond = sync.NewCond(&mu)

mu.Lock()
for !condition {
    cond.Wait()
}
mu.Unlock()

9. WaitGroup用法

WaitGroup用于等待一组goroutine完成。主要方法有：

• Add(delta int): 增加等待计数。
• Done(): 减少等待计数，通常在goroutine中调用。
• Wait(): 阻塞直到等待计数为零。

示例代码：

var wg sync.WaitGroup
wg.Add(1)
go func() {
    defer wg.Done()
    // 执行任务
}()
wg.Wait()  // 等待所有任务完成

10. WaitGroup实现原理

WaitGroup通过一个计数器来跟踪goroutine的数量。Add方法增加计数器，Done方法减少计数器，Wait方法阻塞直到计数器归零。

11. 什么是sync.Once

sync.Once确保指定的操作只执行一次，通常用于单例模式。主要方法是Do，它接收一个函数并在第一次调用时执行，后续调用不再执行。

示例代码：

var once sync.Once
once.Do(func() {
    // 只执行一次的代码
})

12. 什么操作叫做原子操作

原子操作是指不可分割的操作，确保在多线程环境下操作的完整性，不会被中断。Go提供了sync/atomic包来实现基本的原子操作，如加载、存储、交换、比较和交换等。

13. 原子操作和锁的区别

• 原子操作：提供更细粒度的并发控制，无需上下文切换，性能更高，适用于简单的变量读写。
• 锁：提供更广泛的并发控制，适用于复杂的共享资源管理，但可能导致上下文切换，性能较低。

14. 什么是CAS

CAS（Compare-And-Swap）是一种原子操作，用于实现无锁算法。CAS操作比较内存中的值与预期值，如果相等则交换为新值，返回是否交换成功。

示例代码：

var value int32
atomic.CompareAndSwapInt32(&value, oldValue, newValue)

15. sync.Pool有什么用

sync.Pool是一个并发安全的对象池，用于缓存和重用临时对象，减少内存分配和垃圾回收的开销。适用于高频率创建和销毁对象的场景。

示例代码：

var pool = sync.Pool{
    New: func() interface{} {
        return &Object{}
    },
}

obj := pool.Get().(*Object)
pool.Put(obj)

通过对以上内容的详细解答，希望您对Go语言的并发编程有了更深入的理解和掌握。这些知识不仅是面试中的高频考点，也是实际开发中提升并发性能的关键。