背景

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