mirror of
https://github.com/edk2-porting/linux-next.git
synced 2024-11-16 06:35:39 +08:00
robust-futexes.txt: standardize document format
Each text file under Documentation follows a different format. Some doesn't even have titles! Change its representation to follow the adopted standard, using ReST markups for it to be parseable by Sphinx: - add a title for the document; - mark literal blocks; Signed-off-by: Mauro Carvalho Chehab <mchehab@s-opensource.com> Signed-off-by: Jonathan Corbet <corbet@lwn.net>
This commit is contained in:
parent
ce3a966931
commit
773810d30e
@ -1,4 +1,8 @@
|
||||
Started by: Ingo Molnar <mingo@redhat.com>
|
||||
========================================
|
||||
A description of what robust futexes are
|
||||
========================================
|
||||
|
||||
:Started by: Ingo Molnar <mingo@redhat.com>
|
||||
|
||||
Background
|
||||
----------
|
||||
@ -163,7 +167,7 @@ Implementation details
|
||||
----------------------
|
||||
|
||||
The patch adds two new syscalls: one to register the userspace list, and
|
||||
one to query the registered list pointer:
|
||||
one to query the registered list pointer::
|
||||
|
||||
asmlinkage long
|
||||
sys_set_robust_list(struct robust_list_head __user *head,
|
||||
@ -185,7 +189,7 @@ straightforward. The kernel doesn't have any internal distinction between
|
||||
robust and normal futexes.
|
||||
|
||||
If a futex is found to be held at exit time, the kernel sets the
|
||||
following bit of the futex word:
|
||||
following bit of the futex word::
|
||||
|
||||
#define FUTEX_OWNER_DIED 0x40000000
|
||||
|
||||
@ -193,7 +197,7 @@ and wakes up the next futex waiter (if any). User-space does the rest of
|
||||
the cleanup.
|
||||
|
||||
Otherwise, robust futexes are acquired by glibc by putting the TID into
|
||||
the futex field atomically. Waiters set the FUTEX_WAITERS bit:
|
||||
the futex field atomically. Waiters set the FUTEX_WAITERS bit::
|
||||
|
||||
#define FUTEX_WAITERS 0x80000000
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user