Page MenuHomeFreeBSD
Files F140157966

D5659.id14680.diff
No OneTemporary
Actions

D5659.id14680.diff
View Options

Index: share/man/man9/rwlock.9
===================================================================
--- share/man/man9/rwlock.9
+++ share/man/man9/rwlock.9
@@ -24,7 +24,7 @@
.\"
.\" $FreeBSD$
.\"
-.Dd December 13, 2014
+.Dd March 28, 2016
.Dt RWLOCK 9
.Os
.Sh NAME
@@ -313,18 +313,19 @@
This manual page was written by
.An "Gleb Smirnoff" .
.Sh BUGS
-If
+A kernel without
.Dv WITNESS
-is not included in the kernel,
-then it is impossible to assert that the current thread does or does not
-hold a read lock.
-In the
-.Pf non- Dv WITNESS
-case, the
+cannot assert whether the current thread does or does not hold a read lock.
.Dv RA_LOCKED
and
.Dv RA_RLOCKED
-assertions merely check that some thread holds a read lock.
+can only assert that
+.Em any
+thread holds a read lock.
+They cannot ensure that the current thread holds a read lock.
+Further,
+.Dv RA_UNLOCKED
+can only assert that the current thread does not hold a write lock.
.Pp
Reader/writer is a bit of an awkward name.
An
Index: share/man/man9/sx.9
===================================================================
--- share/man/man9/sx.9
+++ share/man/man9/sx.9
@@ -26,7 +26,7 @@
.\"
.\" $FreeBSD$
.\"
-.Dd March 16, 2016
+.Dd March 28, 2016
.Dt SX 9
.Os
.Sh NAME
@@ -320,11 +320,16 @@
.Xr rwlock 9 ,
.Xr sema 9
.Sh BUGS
-In the
-.No non- Ns Dv WITNESS
-case, the
+A kernel without
+.Dv WITNESS
+cannot assert whether the current thread does or does not hold a shared lock.
.Dv SA_LOCKED
and
.Dv SA_SLOCKED
-assertions merely check that some thread holds a shared lock.
-They do not ensure that the current thread holds a shared lock.
+can only assert that
+.Em any
+thread holds a shared lock.
+They cannot ensure that the current thread holds a shared lock.
+Further,
+.Dv SA_UNLOCKED
+can only assert that the current thread does not hold an exclusive lock.

File Metadata

Mime Type
text/plain
Expires
Sun, Dec 21, 11:37 PM (10 h, 33 m)
Storage Engine
blob
Storage Format
Raw Data
Storage Handle
27124742
Default Alt Text
D5659.id14680.diff (1 KB)

Event Timeline