1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
|
---
title: 第 2 章 内核中的锁
prev: books/arch-handbook/boot
next: books/arch-handbook/kobj
showBookMenu: true
weight: 3
path: "/books/arch-handbook/"
---
[[locking]]
= 内核中的锁
:doctype: book
:toc: macro
:toclevels: 1
:icons: font
:sectnums:
:sectnumlevels: 6
:sectnumoffset: 2
:partnums:
:source-highlighter: rouge
:experimental:
:images-path: books/arch-handbook/
ifdef::env-beastie[]
ifdef::backend-html5[]
:imagesdir: ../../../../images/{images-path}
endif::[]
ifndef::book[]
include::shared/authors.adoc[]
include::shared/mirrors.adoc[]
include::shared/releases.adoc[]
include::shared/attributes/attributes-{{% lang %}}.adoc[]
include::shared/{{% lang %}}/teams.adoc[]
include::shared/{{% lang %}}/mailing-lists.adoc[]
include::shared/{{% lang %}}/urls.adoc[]
toc::[]
endif::[]
ifdef::backend-pdf,backend-epub3[]
include::../../../../../shared/asciidoctor.adoc[]
endif::[]
endif::[]
ifndef::env-beastie[]
toc::[]
include::../../../../../shared/asciidoctor.adoc[]
endif::[]
__这一章由 FreeBSD SMP Next Generation Project 维护。 请将评论和建议发送给link:{freebsd-smp}_._
这篇文档提纲挈领的讲述了在FreeBSD内核中的锁，这些锁使得有效的多处理成为可能。 锁可以用几种方式获得。数据结构可以用mutex或man:lockmgr[9]保护。 对于为数不多的若干个变量，假如总是使用原子操作访问它们，这些变量就可以得到保护。
[TIP]
.译者注
====
仅读本章内容，还不足以找出"mutex" 和"共享互斥锁"的区别。似乎它们的功能有重叠之处， 前者比后者的功能选项更多。它们似乎都是man:lockmgr[9]的子集。
====
[[locking-mutexes]]
== Mutex
Mutex就是一种用来解决共享/排它矛盾的锁。 一个mutex在一个时刻只可以被一个实体拥有。如果另一个实体要获得已经被拥有的mutex， 就会进入等待，直到这个mutex被释放。在FreeBSD内核中，mutex被进程所拥有。
Mutex可以被递归的索要，但是mutex一般只被一个实体拥有较短的一段时间， 因此一个实体不能在持有mutex时睡眠。如果你需要在持有mutex时睡眠， 可使用一个 man:lockmgr[9] 的锁。
每个mutex有几个令人感兴趣的属性:
变量名::
在内核源代码中struct mtx变量的名字
逻辑名::
由函数``mtx_init``指派的mutex的名字。 这个名字显示在KTR跟踪消息和witness出错与警告信息里。 这个名字还用于区分标识在witness代码中的各个mutex
类型::
Mutex的类型，用标志MTX_表示。 每个标志的意义在man:mutex[9]有所描述。
MTX_DEF:::
一个睡眠mutex
MTX_SPIN:::
一个循环mutex
MTX_RECURSE:::
这个mutex允许递归
保护对象::
这个入口所要保护的数据结构列表或数据结构成员列表。 对于数据结构成员，将按照 ``结构名``.``成员名``的形式命名。
依赖函数::
仅当mutex被持有时才可以被调用的函数
.Mutex列表
[cols="1,1,1,1,1", frame="all", options="header"]
|===
| 变量名
| 逻辑名
| 类型
| 保护对象
| 依赖函数
|sched_lock
|"sched lock"(调度器锁)
|MTX_SPIN \| MTX_RECURSE
|`_gmonparam`, `cnt.v_swtch`, `cp_time`, `curpriority`, `mtx`.`mtx_blocked`, `mtx`.`mtx_contested`, `proc`.`p_procq`, `proc`.`p_slpq`, `proc`.`p_sflag`, `proc`.`p_stat`, `proc`.`p_estcpu`, `proc`.`p_cpticks proc`.`p_pctcpu`, `proc`.`p_wchan`, `proc`.`p_wmesg`, `proc`.`p_swtime`, `proc`.`p_slptime`, `proc`.`p_runtime`, `proc`.`p_uu`, `proc`.`p_su`, `proc`.`p_iu`, `proc`.`p_uticks`, `proc`.`p_sticks`, `proc`.`p_iticks`, `proc`.`p_oncpu`, `proc`.`p_lastcpu`, `proc`.`p_rqindex`, `proc`.`p_heldmtx`, `proc`.`p_blocked`, `proc`.`p_mtxname`, `proc`.`p_contested`, `proc`.`p_priority`, `proc`.`p_usrpri`, `proc`.`p_nativepri`, `proc`.`p_nice`, `proc`.`p_rtprio`, `pscnt`, `slpque`, `itqueuebits`, `itqueues`, `rtqueuebits`, `rtqueues`, `queuebits`, `queues`, `idqueuebits`, `idqueues`, `switchtime`, `switchticks`
|`setrunqueue`, `remrunqueue`, `mi_switch`, `chooseproc`, `schedclock`, `resetpriority`, `updatepri`, `maybe_resched`, `cpu_switch`, `cpu_throw`, `need_resched`, `resched_wanted`, `clear_resched`, `aston`, `astoff`, `astpending`, `calcru`, `proc_compare`
|vm86pcb_lock
|"vm86pcb lock"(虚拟8086模式进程控制块锁)
|MTX_DEF
|`vm86pcb`
|`vm86_bioscall`
|Giant
|"Giant"(巨锁)
|MTX_DEF \| MTX_RECURSE
|几乎可以是任何东西
|许多
|callout_lock
|"callout lock"(延时调用锁)
|MTX_SPIN \| MTX_RECURSE
|`callfree`, `callwheel`, `nextsoftcheck`, `proc`.`p_itcallout`, `proc`.`p_slpcallout`, `softticks`, `ticks`
|
|===
[[locking-sx]]
== 共享互斥锁
这些锁提供基本的读/写类型的功能，可以被一个正在睡眠的进程持有。 现在它们被统一到man:lockmgr[9]之中。
.共享互斥锁列表
[cols="1,1", options="header"]
|===
| 变量名
| 保护对象
|`allproc_lock`
|``allproc zombproc pidhashtbl proc``.``p_list proc``.``p_hash nextpid``
|`proctree_lock`
|``proc``.``p_children proc``.``p_sibling``
|===
[[locking-atomic]]
== 原子保护变量
原子保护变量并非由一个显在的锁保护的特殊变量，而是： 对这些变量的所有数据访问都要使用特殊的原子操作(man:atomic[9])。 尽管其它的基本同步机制(例如mutex)就是用原子保护变量实现的， 但是很少有变量直接使用这种处理方式。
* ``mtx``.``mtx_lock``
|
