背景

Google工程师Valentin Deleplace出了2道关于锁的题目，拿出来和大家分享下。

题目1

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16

// quiz_lock1.go
package main

import (
	"fmt"
	"sync"
)

func main() {
	var m sync.Mutex
	fmt.Print("1, ")
	m.Lock()
	m.Lock()
	m.Unlock()
	fmt.Println("2")
}

  • A: 1, 2

  • B: 1,

  • C: 1, fatal error:......

  • D: 编译报错

题目2

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22

// quiz_lock2.go
package main

import (
	"fmt"
	"sync"
	"time"
)

func main() {
	var m sync.Mutex
	fmt.Print("1, ")
	m.Lock()

	go func() {
		time.Sleep(200 * time.Millisecond)
		m.Unlock()
	}()

	m.Lock()
	fmt.Println("2")
}

  • A: 1, 2

  • B: 1,

  • C: 1, fatal error:......

  • D: 编译报错

解析

Go语言里的sync.Mutex和sync.RWMutex都是不可重入的，Go语言里没有可重入锁(也叫递归锁)。

如果mutex没有释放，在同一个goroutine就不能对这个mutex加2次锁，否则第2次加锁就会阻塞，如果没有其它goroutine去释放这个mutex，就会导致死锁，出现runtime error: fatal error: all goroutines are asleep - deadlock!。

同时，sync.Mutex和sync.RWMutex允许一个goroutine对其加锁，其它goroutine对其解锁，不要求加锁和解锁在同一个goroutine里。

所以第一道题目的答案是C，第二道题目的答案是A。

思考题

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19

// quiz_lock3.go

package main

import (
	"fmt"
	"sync"
)

var a sync.Mutex

func main() {
	a.Lock()
	fmt.Print("1, ")
	a.Unlock()
	fmt.Print("2, ")
	a.Unlock()
	fmt.Println("3")
}
  • A: 1, 2, 3
  • B: 1, 2, fatal error:......
  • C: 1, 2
  • D: 编译报错

想知道答案的可以给公众号发送消息mutex获取答案。

总结

Go语言里的锁和C++，Java里的不太一样，给大家总结了以下注意事项

  • Go的锁是不可重入的，没有递归锁
  • 允许一个goroutine加锁，另一个goroutine解锁，不要求加锁和解锁在同一个goroutine里
  • sync.Mutex的零值是没有加锁的Mutex，sync.RWMutex的零值是没有加锁的RWMutex
  • 更多细节可以参考References里Mutex和RWMutex的官方说明

开源地址

文章和示例代码开源在GitHub: Go语言初级、中级和高级教程。

公众号：coding进阶。关注公众号可以获取最新Go面试题和技术栈。

个人网站：Jincheng’s Blog。

知乎：无忌。

References