OSDN Git Service

btrfs: Implement DREW lock
authorNikolay Borisov <nborisov@suse.com>
Thu, 30 Jan 2020 12:59:44 +0000 (14:59 +0200)
committerDavid Sterba <dsterba@suse.com>
Mon, 23 Mar 2020 16:01:43 +0000 (17:01 +0100)
commit2992df73268f78ec9281692b9b44ae92f3933b54
tree317bf92dc9d5546f91945f21d23eb0fd2e656bce
parentfd8efa818c55300ffb69c11e573c5ed18cda541c
btrfs: Implement DREW lock

A (D)ouble (R)eader (W)riter (E)xclustion lock is a locking primitive
that allows to have multiple readers or multiple writers but not
multiple readers and writers holding it concurrently.

The code is factored out from the existing open-coded locking scheme
used to exclude pending snapshots from nocow writers and vice-versa.
Current implementation actually favors Readers (that is snapshot
creaters) to writers (nocow writers of the filesystem).

The API provides lock/unlock/trylock for reads and writes.

Formal specification for TLA+ provided by Valentin Schneider is at
https://lore.kernel.org/linux-btrfs/2dcaf81c-f0d3-409e-cb29-733d8b3b4cc9@arm.com/

Signed-off-by: Nikolay Borisov <nborisov@suse.com>
Reviewed-by: David Sterba <dsterba@suse.com>
Signed-off-by: David Sterba <dsterba@suse.com>
fs/btrfs/ctree.h
fs/btrfs/locking.c
fs/btrfs/locking.h