19454b2d8SWarner Losh /*- 251369649SPedro F. Giffuni * SPDX-License-Identifier: BSD-3-Clause 351369649SPedro F. Giffuni * 4dfdcada3SDoug Rabson * Copyright (c) 2008 Isilon Inc http://www.isilon.com/ 5dfdcada3SDoug Rabson * Authors: Doug Rabson <dfr@rabson.org> 6dfdcada3SDoug Rabson * Developed with Red Inc: Alfred Perlstein <alfred@freebsd.org> 7dfdcada3SDoug Rabson * 8dfdcada3SDoug Rabson * Redistribution and use in source and binary forms, with or without 9dfdcada3SDoug Rabson * modification, are permitted provided that the following conditions 10dfdcada3SDoug Rabson * are met: 11dfdcada3SDoug Rabson * 1. Redistributions of source code must retain the above copyright 12dfdcada3SDoug Rabson * notice, this list of conditions and the following disclaimer. 13dfdcada3SDoug Rabson * 2. Redistributions in binary form must reproduce the above copyright 14dfdcada3SDoug Rabson * notice, this list of conditions and the following disclaimer in the 15dfdcada3SDoug Rabson * documentation and/or other materials provided with the distribution. 16dfdcada3SDoug Rabson * 17dfdcada3SDoug Rabson * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 18dfdcada3SDoug Rabson * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 19dfdcada3SDoug Rabson * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 20dfdcada3SDoug Rabson * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 21dfdcada3SDoug Rabson * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 22dfdcada3SDoug Rabson * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 23dfdcada3SDoug Rabson * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 24dfdcada3SDoug Rabson * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 25dfdcada3SDoug Rabson * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 26dfdcada3SDoug Rabson * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 27dfdcada3SDoug Rabson * SUCH DAMAGE. 28dfdcada3SDoug Rabson */ 29dfdcada3SDoug Rabson /*- 3092dc7331SDavid Greenman * Copyright (c) 1982, 1986, 1989, 1993 3192dc7331SDavid Greenman * The Regents of the University of California. All rights reserved. 3292dc7331SDavid Greenman * 3392dc7331SDavid Greenman * This code is derived from software contributed to Berkeley by 3492dc7331SDavid Greenman * Scooter Morris at Genentech Inc. 3592dc7331SDavid Greenman * 3692dc7331SDavid Greenman * Redistribution and use in source and binary forms, with or without 3792dc7331SDavid Greenman * modification, are permitted provided that the following conditions 3892dc7331SDavid Greenman * are met: 3992dc7331SDavid Greenman * 1. Redistributions of source code must retain the above copyright 4092dc7331SDavid Greenman * notice, this list of conditions and the following disclaimer. 4192dc7331SDavid Greenman * 2. Redistributions in binary form must reproduce the above copyright 4292dc7331SDavid Greenman * notice, this list of conditions and the following disclaimer in the 4392dc7331SDavid Greenman * documentation and/or other materials provided with the distribution. 4469a28758SEd Maste * 3. Neither the name of the University nor the names of its contributors 4592dc7331SDavid Greenman * may be used to endorse or promote products derived from this software 4692dc7331SDavid Greenman * without specific prior written permission. 4792dc7331SDavid Greenman * 4892dc7331SDavid Greenman * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 4992dc7331SDavid Greenman * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 5092dc7331SDavid Greenman * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 5192dc7331SDavid Greenman * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 5292dc7331SDavid Greenman * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 5392dc7331SDavid Greenman * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 5492dc7331SDavid Greenman * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 5592dc7331SDavid Greenman * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 5692dc7331SDavid Greenman * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 5792dc7331SDavid Greenman * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 5892dc7331SDavid Greenman * SUCH DAMAGE. 5992dc7331SDavid Greenman * 6092dc7331SDavid Greenman * @(#)ufs_lockf.c 8.3 (Berkeley) 1/6/94 6192dc7331SDavid Greenman */ 6292dc7331SDavid Greenman 63677b542eSDavid E. O'Brien #include <sys/cdefs.h> 64677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 65677b542eSDavid E. O'Brien 663f2076daSEivind Eklund #include "opt_debug_lockf.h" 673f2076daSEivind Eklund 6892dc7331SDavid Greenman #include <sys/param.h> 6992dc7331SDavid Greenman #include <sys/systm.h> 70dfdcada3SDoug Rabson #include <sys/hash.h> 711c5bb3eaSPeter Wemm #include <sys/kernel.h> 72104a9b7eSAlexander Kabaev #include <sys/limits.h> 731cd52ec3SBruce Evans #include <sys/lock.h> 747f52a691SPoul-Henning Kamp #include <sys/mount.h> 75fb919e4dSMark Murray #include <sys/mutex.h> 7692dc7331SDavid Greenman #include <sys/proc.h> 77dfdcada3SDoug Rabson #include <sys/sx.h> 78b71fec07SBruce Evans #include <sys/unistd.h> 7992dc7331SDavid Greenman #include <sys/vnode.h> 8092dc7331SDavid Greenman #include <sys/malloc.h> 8192dc7331SDavid Greenman #include <sys/fcntl.h> 8292dc7331SDavid Greenman #include <sys/lockf.h> 83dfdcada3SDoug Rabson #include <sys/taskqueue.h> 8492dc7331SDavid Greenman 8592dc7331SDavid Greenman #ifdef LOCKF_DEBUG 86996c772fSJohn Dyson #include <sys/sysctl.h> 87a8687b6dSBruce Evans 88a5ec35dfSSepherosa Ziehau #include <ufs/ufs/extattr.h> 89a8687b6dSBruce Evans #include <ufs/ufs/quota.h> 90a5ec35dfSSepherosa Ziehau #include <ufs/ufs/ufsmount.h> 91a8687b6dSBruce Evans #include <ufs/ufs/inode.h> 92a8687b6dSBruce Evans 93dfdcada3SDoug Rabson static int lockf_debug = 0; /* control debug output */ 947f725eacSBruce Evans SYSCTL_INT(_debug, OID_AUTO, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, ""); 9592dc7331SDavid Greenman #endif 9692dc7331SDavid Greenman 97d745c852SEd Schouten static MALLOC_DEFINE(M_LOCKF, "lockf", "Byte-range locking structures"); 9855166637SPoul-Henning Kamp 99dfdcada3SDoug Rabson struct owner_edge; 100dfdcada3SDoug Rabson struct owner_vertex; 101dfdcada3SDoug Rabson struct owner_vertex_list; 102dfdcada3SDoug Rabson struct owner_graph; 103dfdcada3SDoug Rabson 104dfdcada3SDoug Rabson #define NOLOCKF (struct lockf_entry *)0 10592dc7331SDavid Greenman #define SELF 0x1 10692dc7331SDavid Greenman #define OTHERS 0x2 107dfdcada3SDoug Rabson static void lf_init(void *); 108d357c16aSMateusz Guzik static int lf_hash_owner(caddr_t, struct vnode *, struct flock *, int); 109dfdcada3SDoug Rabson static int lf_owner_matches(struct lock_owner *, caddr_t, struct flock *, 110dfdcada3SDoug Rabson int); 111dfdcada3SDoug Rabson static struct lockf_entry * 112dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *); 1138af54d4cSKonstantin Belousov static int lf_free_lock(struct lockf_entry *); 114dfdcada3SDoug Rabson static int lf_clearlock(struct lockf *, struct lockf_entry *); 115dfdcada3SDoug Rabson static int lf_overlaps(struct lockf_entry *, struct lockf_entry *); 116dfdcada3SDoug Rabson static int lf_blocks(struct lockf_entry *, struct lockf_entry *); 117dfdcada3SDoug Rabson static void lf_free_edge(struct lockf_edge *); 118dfdcada3SDoug Rabson static struct lockf_edge * 119dfdcada3SDoug Rabson lf_alloc_edge(void); 120dfdcada3SDoug Rabson static void lf_alloc_vertex(struct lockf_entry *); 121dfdcada3SDoug Rabson static int lf_add_edge(struct lockf_entry *, struct lockf_entry *); 122dfdcada3SDoug Rabson static void lf_remove_edge(struct lockf_edge *); 123dfdcada3SDoug Rabson static void lf_remove_outgoing(struct lockf_entry *); 124dfdcada3SDoug Rabson static void lf_remove_incoming(struct lockf_entry *); 125dfdcada3SDoug Rabson static int lf_add_outgoing(struct lockf *, struct lockf_entry *); 126dfdcada3SDoug Rabson static int lf_add_incoming(struct lockf *, struct lockf_entry *); 127dfdcada3SDoug Rabson static int lf_findoverlap(struct lockf_entry **, struct lockf_entry *, 128dfdcada3SDoug Rabson int); 129dfdcada3SDoug Rabson static struct lockf_entry * 130dfdcada3SDoug Rabson lf_getblock(struct lockf *, struct lockf_entry *); 131dfdcada3SDoug Rabson static int lf_getlock(struct lockf *, struct lockf_entry *, struct flock *); 132dfdcada3SDoug Rabson static void lf_insert_lock(struct lockf *, struct lockf_entry *); 133dfdcada3SDoug Rabson static void lf_wakeup_lock(struct lockf *, struct lockf_entry *); 134dfdcada3SDoug Rabson static void lf_update_dependancies(struct lockf *, struct lockf_entry *, 135dfdcada3SDoug Rabson int all, struct lockf_entry_list *); 136dfdcada3SDoug Rabson static void lf_set_start(struct lockf *, struct lockf_entry *, off_t, 137dfdcada3SDoug Rabson struct lockf_entry_list*); 138dfdcada3SDoug Rabson static void lf_set_end(struct lockf *, struct lockf_entry *, off_t, 139dfdcada3SDoug Rabson struct lockf_entry_list*); 140dfdcada3SDoug Rabson static int lf_setlock(struct lockf *, struct lockf_entry *, 141dfdcada3SDoug Rabson struct vnode *, void **cookiep); 142dfdcada3SDoug Rabson static int lf_cancel(struct lockf *, struct lockf_entry *, void *); 143dfdcada3SDoug Rabson static void lf_split(struct lockf *, struct lockf_entry *, 144dfdcada3SDoug Rabson struct lockf_entry *, struct lockf_entry_list *); 145013e6650SJeff Roberson #ifdef LOCKF_DEBUG 146dfdcada3SDoug Rabson static int graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 147dfdcada3SDoug Rabson struct owner_vertex_list *path); 148dfdcada3SDoug Rabson static void graph_check(struct owner_graph *g, int checkorder); 149dfdcada3SDoug Rabson static void graph_print_vertices(struct owner_vertex_list *set); 150013e6650SJeff Roberson #endif 151dfdcada3SDoug Rabson static int graph_delta_forward(struct owner_graph *g, 152dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 153dfdcada3SDoug Rabson struct owner_vertex_list *delta); 154dfdcada3SDoug Rabson static int graph_delta_backward(struct owner_graph *g, 155dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 156dfdcada3SDoug Rabson struct owner_vertex_list *delta); 157dfdcada3SDoug Rabson static int graph_add_indices(int *indices, int n, 158dfdcada3SDoug Rabson struct owner_vertex_list *set); 159dfdcada3SDoug Rabson static int graph_assign_indices(struct owner_graph *g, int *indices, 160dfdcada3SDoug Rabson int nextunused, struct owner_vertex_list *set); 161dfdcada3SDoug Rabson static int graph_add_edge(struct owner_graph *g, 162dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 163dfdcada3SDoug Rabson static void graph_remove_edge(struct owner_graph *g, 164dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 165dfdcada3SDoug Rabson static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g, 166dfdcada3SDoug Rabson struct lock_owner *lo); 167dfdcada3SDoug Rabson static void graph_free_vertex(struct owner_graph *g, 168dfdcada3SDoug Rabson struct owner_vertex *v); 169dfdcada3SDoug Rabson static struct owner_graph * graph_init(struct owner_graph *g); 170dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 171dfdcada3SDoug Rabson static void lf_print(char *, struct lockf_entry *); 172dfdcada3SDoug Rabson static void lf_printlist(char *, struct lockf_entry *); 173dfdcada3SDoug Rabson static void lf_print_owner(struct lock_owner *); 174dfdcada3SDoug Rabson #endif 175dfdcada3SDoug Rabson 176dfdcada3SDoug Rabson /* 177dfdcada3SDoug Rabson * This structure is used to keep track of both local and remote lock 178dfdcada3SDoug Rabson * owners. The lf_owner field of the struct lockf_entry points back at 179dfdcada3SDoug Rabson * the lock owner structure. Each possible lock owner (local proc for 180dfdcada3SDoug Rabson * POSIX fcntl locks, local file for BSD flock locks or <pid,sysid> 181dfdcada3SDoug Rabson * pair for remote locks) is represented by a unique instance of 182dfdcada3SDoug Rabson * struct lock_owner. 183dfdcada3SDoug Rabson * 184dfdcada3SDoug Rabson * If a lock owner has a lock that blocks some other lock or a lock 185dfdcada3SDoug Rabson * that is waiting for some other lock, it also has a vertex in the 186dfdcada3SDoug Rabson * owner_graph below. 187dfdcada3SDoug Rabson * 188dfdcada3SDoug Rabson * Locks: 189dfdcada3SDoug Rabson * (s) locked by state->ls_lock 190dfdcada3SDoug Rabson * (S) locked by lf_lock_states_lock 191dfdcada3SDoug Rabson * (g) locked by lf_owner_graph_lock 192dfdcada3SDoug Rabson * (c) const until freeing 193dfdcada3SDoug Rabson */ 194dfdcada3SDoug Rabson #define LOCK_OWNER_HASH_SIZE 256 195dfdcada3SDoug Rabson 196dfdcada3SDoug Rabson struct lock_owner { 197dfdcada3SDoug Rabson LIST_ENTRY(lock_owner) lo_link; /* (l) hash chain */ 198dfdcada3SDoug Rabson int lo_refs; /* (l) Number of locks referring to this */ 199dfdcada3SDoug Rabson int lo_flags; /* (c) Flags passwd to lf_advlock */ 200dfdcada3SDoug Rabson caddr_t lo_id; /* (c) Id value passed to lf_advlock */ 201dfdcada3SDoug Rabson pid_t lo_pid; /* (c) Process Id of the lock owner */ 202dfdcada3SDoug Rabson int lo_sysid; /* (c) System Id of the lock owner */ 203833dc05aSMateusz Guzik int lo_hash; /* (c) Used to lock the appropriate chain */ 204dfdcada3SDoug Rabson struct owner_vertex *lo_vertex; /* (g) entry in deadlock graph */ 205dfdcada3SDoug Rabson }; 206dfdcada3SDoug Rabson 207dfdcada3SDoug Rabson LIST_HEAD(lock_owner_list, lock_owner); 208dfdcada3SDoug Rabson 209833dc05aSMateusz Guzik struct lock_owner_chain { 210833dc05aSMateusz Guzik struct sx lock; 211833dc05aSMateusz Guzik struct lock_owner_list list; 212833dc05aSMateusz Guzik }; 213833dc05aSMateusz Guzik 214dfdcada3SDoug Rabson static struct sx lf_lock_states_lock; 215dfdcada3SDoug Rabson static struct lockf_list lf_lock_states; /* (S) */ 216833dc05aSMateusz Guzik static struct lock_owner_chain lf_lock_owners[LOCK_OWNER_HASH_SIZE]; 217dfdcada3SDoug Rabson 218dfdcada3SDoug Rabson /* 219dfdcada3SDoug Rabson * Structures for deadlock detection. 220dfdcada3SDoug Rabson * 221dfdcada3SDoug Rabson * We have two types of directed graph, the first is the set of locks, 222dfdcada3SDoug Rabson * both active and pending on a vnode. Within this graph, active locks 223dfdcada3SDoug Rabson * are terminal nodes in the graph (i.e. have no out-going 224dfdcada3SDoug Rabson * edges). Pending locks have out-going edges to each blocking active 225dfdcada3SDoug Rabson * lock that prevents the lock from being granted and also to each 226dfdcada3SDoug Rabson * older pending lock that would block them if it was active. The 227dfdcada3SDoug Rabson * graph for each vnode is naturally acyclic; new edges are only ever 228dfdcada3SDoug Rabson * added to or from new nodes (either new pending locks which only add 229dfdcada3SDoug Rabson * out-going edges or new active locks which only add in-coming edges) 230dfdcada3SDoug Rabson * therefore they cannot create loops in the lock graph. 231dfdcada3SDoug Rabson * 232dfdcada3SDoug Rabson * The second graph is a global graph of lock owners. Each lock owner 233dfdcada3SDoug Rabson * is a vertex in that graph and an edge is added to the graph 234dfdcada3SDoug Rabson * whenever an edge is added to a vnode graph, with end points 235dfdcada3SDoug Rabson * corresponding to owner of the new pending lock and the owner of the 236dfdcada3SDoug Rabson * lock upon which it waits. In order to prevent deadlock, we only add 237dfdcada3SDoug Rabson * an edge to this graph if the new edge would not create a cycle. 238dfdcada3SDoug Rabson * 239dfdcada3SDoug Rabson * The lock owner graph is topologically sorted, i.e. if a node has 240dfdcada3SDoug Rabson * any outgoing edges, then it has an order strictly less than any 241dfdcada3SDoug Rabson * node to which it has an outgoing edge. We preserve this ordering 242dfdcada3SDoug Rabson * (and detect cycles) on edge insertion using Algorithm PK from the 243dfdcada3SDoug Rabson * paper "A Dynamic Topological Sort Algorithm for Directed Acyclic 244dfdcada3SDoug Rabson * Graphs" (ACM Journal of Experimental Algorithms, Vol 11, Article 245dfdcada3SDoug Rabson * No. 1.7) 246dfdcada3SDoug Rabson */ 247dfdcada3SDoug Rabson struct owner_vertex; 248dfdcada3SDoug Rabson 249dfdcada3SDoug Rabson struct owner_edge { 250dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_outlink; /* (g) link from's out-edge list */ 251dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_inlink; /* (g) link to's in-edge list */ 252dfdcada3SDoug Rabson int e_refs; /* (g) number of times added */ 253dfdcada3SDoug Rabson struct owner_vertex *e_from; /* (c) out-going from here */ 254dfdcada3SDoug Rabson struct owner_vertex *e_to; /* (c) in-coming to here */ 255dfdcada3SDoug Rabson }; 256dfdcada3SDoug Rabson LIST_HEAD(owner_edge_list, owner_edge); 257dfdcada3SDoug Rabson 258dfdcada3SDoug Rabson struct owner_vertex { 259dfdcada3SDoug Rabson TAILQ_ENTRY(owner_vertex) v_link; /* (g) workspace for edge insertion */ 260dfdcada3SDoug Rabson uint32_t v_gen; /* (g) workspace for edge insertion */ 261dfdcada3SDoug Rabson int v_order; /* (g) order of vertex in graph */ 262dfdcada3SDoug Rabson struct owner_edge_list v_outedges;/* (g) list of out-edges */ 263dfdcada3SDoug Rabson struct owner_edge_list v_inedges; /* (g) list of in-edges */ 264dfdcada3SDoug Rabson struct lock_owner *v_owner; /* (c) corresponding lock owner */ 265dfdcada3SDoug Rabson }; 266dfdcada3SDoug Rabson TAILQ_HEAD(owner_vertex_list, owner_vertex); 267dfdcada3SDoug Rabson 268dfdcada3SDoug Rabson struct owner_graph { 269dfdcada3SDoug Rabson struct owner_vertex** g_vertices; /* (g) pointers to vertices */ 270dfdcada3SDoug Rabson int g_size; /* (g) number of vertices */ 271dfdcada3SDoug Rabson int g_space; /* (g) space allocated for vertices */ 272dfdcada3SDoug Rabson int *g_indexbuf; /* (g) workspace for loop detection */ 273dfdcada3SDoug Rabson uint32_t g_gen; /* (g) increment when re-ordering */ 274dfdcada3SDoug Rabson }; 275dfdcada3SDoug Rabson 276dfdcada3SDoug Rabson static struct sx lf_owner_graph_lock; 277dfdcada3SDoug Rabson static struct owner_graph lf_owner_graph; 278dfdcada3SDoug Rabson 279dfdcada3SDoug Rabson /* 280dfdcada3SDoug Rabson * Initialise various structures and locks. 281dfdcada3SDoug Rabson */ 282dfdcada3SDoug Rabson static void 283dfdcada3SDoug Rabson lf_init(void *dummy) 284dfdcada3SDoug Rabson { 285dfdcada3SDoug Rabson int i; 286dfdcada3SDoug Rabson 287dfdcada3SDoug Rabson sx_init(&lf_lock_states_lock, "lock states lock"); 288dfdcada3SDoug Rabson LIST_INIT(&lf_lock_states); 289dfdcada3SDoug Rabson 290833dc05aSMateusz Guzik for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) { 291833dc05aSMateusz Guzik sx_init(&lf_lock_owners[i].lock, "lock owners lock"); 292833dc05aSMateusz Guzik LIST_INIT(&lf_lock_owners[i].list); 293833dc05aSMateusz Guzik } 294dfdcada3SDoug Rabson 295dfdcada3SDoug Rabson sx_init(&lf_owner_graph_lock, "owner graph lock"); 296dfdcada3SDoug Rabson graph_init(&lf_owner_graph); 297dfdcada3SDoug Rabson } 298dfdcada3SDoug Rabson SYSINIT(lf_init, SI_SUB_LOCK, SI_ORDER_FIRST, lf_init, NULL); 299dfdcada3SDoug Rabson 300dfdcada3SDoug Rabson /* 301dfdcada3SDoug Rabson * Generate a hash value for a lock owner. 302dfdcada3SDoug Rabson */ 303dfdcada3SDoug Rabson static int 304d357c16aSMateusz Guzik lf_hash_owner(caddr_t id, struct vnode *vp, struct flock *fl, int flags) 305dfdcada3SDoug Rabson { 306dfdcada3SDoug Rabson uint32_t h; 307dfdcada3SDoug Rabson 308dfdcada3SDoug Rabson if (flags & F_REMOTE) { 309dfdcada3SDoug Rabson h = HASHSTEP(0, fl->l_pid); 310dfdcada3SDoug Rabson h = HASHSTEP(h, fl->l_sysid); 311dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 312dfdcada3SDoug Rabson h = ((uintptr_t) id) >> 7; 313dfdcada3SDoug Rabson } else { 314d357c16aSMateusz Guzik h = ((uintptr_t) vp) >> 7; 315dfdcada3SDoug Rabson } 316dfdcada3SDoug Rabson 317dfdcada3SDoug Rabson return (h % LOCK_OWNER_HASH_SIZE); 318dfdcada3SDoug Rabson } 319dfdcada3SDoug Rabson 320dfdcada3SDoug Rabson /* 321dfdcada3SDoug Rabson * Return true if a lock owner matches the details passed to 322dfdcada3SDoug Rabson * lf_advlock. 323dfdcada3SDoug Rabson */ 324dfdcada3SDoug Rabson static int 325dfdcada3SDoug Rabson lf_owner_matches(struct lock_owner *lo, caddr_t id, struct flock *fl, 326dfdcada3SDoug Rabson int flags) 327dfdcada3SDoug Rabson { 328dfdcada3SDoug Rabson if (flags & F_REMOTE) { 329dfdcada3SDoug Rabson return lo->lo_pid == fl->l_pid 330dfdcada3SDoug Rabson && lo->lo_sysid == fl->l_sysid; 331dfdcada3SDoug Rabson } else { 332dfdcada3SDoug Rabson return lo->lo_id == id; 333dfdcada3SDoug Rabson } 334dfdcada3SDoug Rabson } 335dfdcada3SDoug Rabson 336dfdcada3SDoug Rabson static struct lockf_entry * 337dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *lo) 338dfdcada3SDoug Rabson { 339dfdcada3SDoug Rabson struct lockf_entry *lf; 340dfdcada3SDoug Rabson 341dfdcada3SDoug Rabson lf = malloc(sizeof(struct lockf_entry), M_LOCKF, M_WAITOK|M_ZERO); 342dfdcada3SDoug Rabson 343dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 344dfdcada3SDoug Rabson if (lockf_debug & 4) 345dfdcada3SDoug Rabson printf("Allocated lock %p\n", lf); 346dfdcada3SDoug Rabson #endif 347dfdcada3SDoug Rabson if (lo) { 348833dc05aSMateusz Guzik sx_xlock(&lf_lock_owners[lo->lo_hash].lock); 349dfdcada3SDoug Rabson lo->lo_refs++; 350833dc05aSMateusz Guzik sx_xunlock(&lf_lock_owners[lo->lo_hash].lock); 351dfdcada3SDoug Rabson lf->lf_owner = lo; 352dfdcada3SDoug Rabson } 353dfdcada3SDoug Rabson 354dfdcada3SDoug Rabson return (lf); 355dfdcada3SDoug Rabson } 356dfdcada3SDoug Rabson 3578af54d4cSKonstantin Belousov static int 358dfdcada3SDoug Rabson lf_free_lock(struct lockf_entry *lock) 359dfdcada3SDoug Rabson { 360833dc05aSMateusz Guzik struct sx *chainlock; 3618af54d4cSKonstantin Belousov 3628af54d4cSKonstantin Belousov KASSERT(lock->lf_refs > 0, ("lockf_entry negative ref count %p", lock)); 3638af54d4cSKonstantin Belousov if (--lock->lf_refs > 0) 3648af54d4cSKonstantin Belousov return (0); 365dfdcada3SDoug Rabson /* 366dfdcada3SDoug Rabson * Adjust the lock_owner reference count and 367dfdcada3SDoug Rabson * reclaim the entry if this is the last lock 368dfdcada3SDoug Rabson * for that owner. 369dfdcada3SDoug Rabson */ 370dfdcada3SDoug Rabson struct lock_owner *lo = lock->lf_owner; 371dfdcada3SDoug Rabson if (lo) { 372dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_outedges), 373e3043798SPedro F. Giffuni ("freeing lock with dependencies")); 374dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_inedges), 375dfdcada3SDoug Rabson ("freeing lock with dependants")); 376833dc05aSMateusz Guzik chainlock = &lf_lock_owners[lo->lo_hash].lock; 377833dc05aSMateusz Guzik sx_xlock(chainlock); 378dfdcada3SDoug Rabson KASSERT(lo->lo_refs > 0, ("lock owner refcount")); 379dfdcada3SDoug Rabson lo->lo_refs--; 380dfdcada3SDoug Rabson if (lo->lo_refs == 0) { 381dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 382dfdcada3SDoug Rabson if (lockf_debug & 1) 383dfdcada3SDoug Rabson printf("lf_free_lock: freeing lock owner %p\n", 384dfdcada3SDoug Rabson lo); 385dfdcada3SDoug Rabson #endif 386dfdcada3SDoug Rabson if (lo->lo_vertex) { 387dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 388dfdcada3SDoug Rabson graph_free_vertex(&lf_owner_graph, 389dfdcada3SDoug Rabson lo->lo_vertex); 390dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 391dfdcada3SDoug Rabson } 392dfdcada3SDoug Rabson LIST_REMOVE(lo, lo_link); 393dfdcada3SDoug Rabson free(lo, M_LOCKF); 394dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 395dfdcada3SDoug Rabson if (lockf_debug & 4) 396dfdcada3SDoug Rabson printf("Freed lock owner %p\n", lo); 397dfdcada3SDoug Rabson #endif 398dfdcada3SDoug Rabson } 399833dc05aSMateusz Guzik sx_unlock(chainlock); 400dfdcada3SDoug Rabson } 401dfdcada3SDoug Rabson if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) { 402dfdcada3SDoug Rabson vrele(lock->lf_vnode); 403dfdcada3SDoug Rabson lock->lf_vnode = NULL; 404dfdcada3SDoug Rabson } 405dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 406dfdcada3SDoug Rabson if (lockf_debug & 4) 407dfdcada3SDoug Rabson printf("Freed lock %p\n", lock); 408dfdcada3SDoug Rabson #endif 409dfdcada3SDoug Rabson free(lock, M_LOCKF); 4108af54d4cSKonstantin Belousov return (1); 411dfdcada3SDoug Rabson } 41292dc7331SDavid Greenman 41392dc7331SDavid Greenman /* 41492dc7331SDavid Greenman * Advisory record locking support 41592dc7331SDavid Greenman */ 41692dc7331SDavid Greenman int 417dfdcada3SDoug Rabson lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep, 418dfdcada3SDoug Rabson u_quad_t size) 41992dc7331SDavid Greenman { 4200d3323f5SMateusz Guzik struct lockf *state; 421bc02f1d9SJeff Roberson struct flock *fl = ap->a_fl; 422dfdcada3SDoug Rabson struct lockf_entry *lock; 423bc02f1d9SJeff Roberson struct vnode *vp = ap->a_vp; 424dfdcada3SDoug Rabson caddr_t id = ap->a_id; 425dfdcada3SDoug Rabson int flags = ap->a_flags; 426dfdcada3SDoug Rabson int hash; 427dfdcada3SDoug Rabson struct lock_owner *lo; 428c4778eedSAndrey A. Chernov off_t start, end, oadd; 42992dc7331SDavid Greenman int error; 43092dc7331SDavid Greenman 43192dc7331SDavid Greenman /* 432dfdcada3SDoug Rabson * Handle the F_UNLKSYS case first - no need to mess about 433dfdcada3SDoug Rabson * creating a lock owner for this one. 434dfdcada3SDoug Rabson */ 435dfdcada3SDoug Rabson if (ap->a_op == F_UNLCKSYS) { 436dfdcada3SDoug Rabson lf_clearremotesys(fl->l_sysid); 437dfdcada3SDoug Rabson return (0); 438dfdcada3SDoug Rabson } 439dfdcada3SDoug Rabson 440dfdcada3SDoug Rabson /* 44192dc7331SDavid Greenman * Convert the flock structure into a start and end. 44292dc7331SDavid Greenman */ 44392dc7331SDavid Greenman switch (fl->l_whence) { 44492dc7331SDavid Greenman 44592dc7331SDavid Greenman case SEEK_SET: 44692dc7331SDavid Greenman case SEEK_CUR: 44792dc7331SDavid Greenman /* 44892dc7331SDavid Greenman * Caller is responsible for adding any necessary offset 44992dc7331SDavid Greenman * when SEEK_CUR is used. 45092dc7331SDavid Greenman */ 45192dc7331SDavid Greenman start = fl->l_start; 45292dc7331SDavid Greenman break; 45392dc7331SDavid Greenman 45492dc7331SDavid Greenman case SEEK_END: 455c8e76343SAndrey A. Chernov if (size > OFF_MAX || 456bc02f1d9SJeff Roberson (fl->l_start > 0 && size > OFF_MAX - fl->l_start)) 457bc02f1d9SJeff Roberson return (EOVERFLOW); 45892dc7331SDavid Greenman start = size + fl->l_start; 45992dc7331SDavid Greenman break; 46092dc7331SDavid Greenman 46192dc7331SDavid Greenman default: 462bc02f1d9SJeff Roberson return (EINVAL); 46392dc7331SDavid Greenman } 464bc02f1d9SJeff Roberson if (start < 0) 465bc02f1d9SJeff Roberson return (EINVAL); 466f510e1c2SAndrey A. Chernov if (fl->l_len < 0) { 467bc02f1d9SJeff Roberson if (start == 0) 468bc02f1d9SJeff Roberson return (EINVAL); 469f510e1c2SAndrey A. Chernov end = start - 1; 47062be011eSAndrey A. Chernov start += fl->l_len; 471bc02f1d9SJeff Roberson if (start < 0) 472bc02f1d9SJeff Roberson return (EINVAL); 473dfdcada3SDoug Rabson } else if (fl->l_len == 0) { 474dfdcada3SDoug Rabson end = OFF_MAX; 475dfdcada3SDoug Rabson } else { 476c4778eedSAndrey A. Chernov oadd = fl->l_len - 1; 477bc02f1d9SJeff Roberson if (oadd > OFF_MAX - start) 478bc02f1d9SJeff Roberson return (EOVERFLOW); 47969cc1d0dSAndrey A. Chernov end = start + oadd; 480a88bd8aaSBruce Evans } 4813bcc218fSKonstantin Belousov 4823bcc218fSKonstantin Belousov retry_setlock: 4833bcc218fSKonstantin Belousov 484a88bd8aaSBruce Evans /* 485a88bd8aaSBruce Evans * Avoid the common case of unlocking when inode has no locks. 486a88bd8aaSBruce Evans */ 4877d853f62SMateusz Guzik if (ap->a_op != F_SETLK && (*statep) == NULL) { 488842832aeSDoug Rabson VI_LOCK(vp); 489842832aeSDoug Rabson if ((*statep) == NULL) { 490a88bd8aaSBruce Evans fl->l_type = F_UNLCK; 491842832aeSDoug Rabson VI_UNLOCK(vp); 492bc02f1d9SJeff Roberson return (0); 493a88bd8aaSBruce Evans } 494842832aeSDoug Rabson VI_UNLOCK(vp); 4957d853f62SMateusz Guzik } 496dfdcada3SDoug Rabson 49792dc7331SDavid Greenman /* 498dfdcada3SDoug Rabson * Map our arguments to an existing lock owner or create one 499dfdcada3SDoug Rabson * if this is the first time we have seen this owner. 500bc02f1d9SJeff Roberson */ 501d357c16aSMateusz Guzik hash = lf_hash_owner(id, vp, fl, flags); 502833dc05aSMateusz Guzik sx_xlock(&lf_lock_owners[hash].lock); 503833dc05aSMateusz Guzik LIST_FOREACH(lo, &lf_lock_owners[hash].list, lo_link) 504dfdcada3SDoug Rabson if (lf_owner_matches(lo, id, fl, flags)) 505dfdcada3SDoug Rabson break; 506dfdcada3SDoug Rabson if (!lo) { 507dfdcada3SDoug Rabson /* 508dfdcada3SDoug Rabson * We initialise the lock with a reference 509dfdcada3SDoug Rabson * count which matches the new lockf_entry 510dfdcada3SDoug Rabson * structure created below. 511dfdcada3SDoug Rabson */ 512dfdcada3SDoug Rabson lo = malloc(sizeof(struct lock_owner), M_LOCKF, 513dfdcada3SDoug Rabson M_WAITOK|M_ZERO); 514dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 515dfdcada3SDoug Rabson if (lockf_debug & 4) 516dfdcada3SDoug Rabson printf("Allocated lock owner %p\n", lo); 517dfdcada3SDoug Rabson #endif 518dfdcada3SDoug Rabson 519dfdcada3SDoug Rabson lo->lo_refs = 1; 520dfdcada3SDoug Rabson lo->lo_flags = flags; 521dfdcada3SDoug Rabson lo->lo_id = id; 522833dc05aSMateusz Guzik lo->lo_hash = hash; 523dfdcada3SDoug Rabson if (flags & F_REMOTE) { 524dfdcada3SDoug Rabson lo->lo_pid = fl->l_pid; 525dfdcada3SDoug Rabson lo->lo_sysid = fl->l_sysid; 526dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 527dfdcada3SDoug Rabson lo->lo_pid = -1; 528dfdcada3SDoug Rabson lo->lo_sysid = 0; 529dfdcada3SDoug Rabson } else { 530dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 531dfdcada3SDoug Rabson lo->lo_pid = p->p_pid; 532dfdcada3SDoug Rabson lo->lo_sysid = 0; 533004e08beSKonstantin Belousov } 534dfdcada3SDoug Rabson lo->lo_vertex = NULL; 535dfdcada3SDoug Rabson 536dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 537dfdcada3SDoug Rabson if (lockf_debug & 1) { 538dfdcada3SDoug Rabson printf("lf_advlockasync: new lock owner %p ", lo); 539dfdcada3SDoug Rabson lf_print_owner(lo); 540dfdcada3SDoug Rabson printf("\n"); 541dfdcada3SDoug Rabson } 542dfdcada3SDoug Rabson #endif 543dfdcada3SDoug Rabson 544833dc05aSMateusz Guzik LIST_INSERT_HEAD(&lf_lock_owners[hash].list, lo, lo_link); 545dfdcada3SDoug Rabson } else { 546bc02f1d9SJeff Roberson /* 547dfdcada3SDoug Rabson * We have seen this lock owner before, increase its 548dfdcada3SDoug Rabson * reference count to account for the new lockf_entry 549dfdcada3SDoug Rabson * structure we create below. 55092dc7331SDavid Greenman */ 551dfdcada3SDoug Rabson lo->lo_refs++; 552dfdcada3SDoug Rabson } 553833dc05aSMateusz Guzik sx_xunlock(&lf_lock_owners[hash].lock); 554dfdcada3SDoug Rabson 555dfdcada3SDoug Rabson /* 556dfdcada3SDoug Rabson * Create the lockf structure. We initialise the lf_owner 557dfdcada3SDoug Rabson * field here instead of in lf_alloc_lock() to avoid paying 558dfdcada3SDoug Rabson * the lf_lock_owners_lock tax twice. 559dfdcada3SDoug Rabson */ 560dfdcada3SDoug Rabson lock = lf_alloc_lock(NULL); 5618af54d4cSKonstantin Belousov lock->lf_refs = 1; 56292dc7331SDavid Greenman lock->lf_start = start; 56392dc7331SDavid Greenman lock->lf_end = end; 564dfdcada3SDoug Rabson lock->lf_owner = lo; 565dfdcada3SDoug Rabson lock->lf_vnode = vp; 566dfdcada3SDoug Rabson if (flags & F_REMOTE) { 567dfdcada3SDoug Rabson /* 568dfdcada3SDoug Rabson * For remote locks, the caller may release its ref to 569dfdcada3SDoug Rabson * the vnode at any time - we have to ref it here to 570dfdcada3SDoug Rabson * prevent it from being recycled unexpectedly. 571dfdcada3SDoug Rabson */ 572dfdcada3SDoug Rabson vref(vp); 573dfdcada3SDoug Rabson } 574dfdcada3SDoug Rabson 57559aff5fcSAlfred Perlstein /* 57659aff5fcSAlfred Perlstein * XXX The problem is that VTOI is ufs specific, so it will 57759aff5fcSAlfred Perlstein * break LOCKF_DEBUG for all other FS's other than UFS because 57859aff5fcSAlfred Perlstein * it casts the vnode->data ptr to struct inode *. 57959aff5fcSAlfred Perlstein */ 58059aff5fcSAlfred Perlstein /* lock->lf_inode = VTOI(ap->a_vp); */ 58159aff5fcSAlfred Perlstein lock->lf_inode = (struct inode *)0; 58292dc7331SDavid Greenman lock->lf_type = fl->l_type; 583dfdcada3SDoug Rabson LIST_INIT(&lock->lf_outedges); 584dfdcada3SDoug Rabson LIST_INIT(&lock->lf_inedges); 585dfdcada3SDoug Rabson lock->lf_async_task = ap->a_task; 58692dc7331SDavid Greenman lock->lf_flags = ap->a_flags; 587dfdcada3SDoug Rabson 58892dc7331SDavid Greenman /* 589dfdcada3SDoug Rabson * Do the requested operation. First find our state structure 590dfdcada3SDoug Rabson * and create a new one if necessary - the caller's *statep 591dfdcada3SDoug Rabson * variable and the state's ls_threads count is protected by 592dfdcada3SDoug Rabson * the vnode interlock. 59392dc7331SDavid Greenman */ 594bc02f1d9SJeff Roberson VI_LOCK(vp); 595*abd80ddbSMateusz Guzik if (VN_IS_DOOMED(vp)) { 596eab626f1SKonstantin Belousov VI_UNLOCK(vp); 597eab626f1SKonstantin Belousov lf_free_lock(lock); 598eab626f1SKonstantin Belousov return (ENOENT); 599eab626f1SKonstantin Belousov } 600dfdcada3SDoug Rabson 601dfdcada3SDoug Rabson /* 602dfdcada3SDoug Rabson * Allocate a state structure if necessary. 603dfdcada3SDoug Rabson */ 604dfdcada3SDoug Rabson state = *statep; 605dfdcada3SDoug Rabson if (state == NULL) { 606dfdcada3SDoug Rabson struct lockf *ls; 607dfdcada3SDoug Rabson 608dfdcada3SDoug Rabson VI_UNLOCK(vp); 609dfdcada3SDoug Rabson 610dfdcada3SDoug Rabson ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO); 611dfdcada3SDoug Rabson sx_init(&ls->ls_lock, "ls_lock"); 612dfdcada3SDoug Rabson LIST_INIT(&ls->ls_active); 613dfdcada3SDoug Rabson LIST_INIT(&ls->ls_pending); 61460cdfde0SDoug Rabson ls->ls_threads = 1; 615dfdcada3SDoug Rabson 616dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 617dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link); 618dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 619dfdcada3SDoug Rabson 620dfdcada3SDoug Rabson /* 621dfdcada3SDoug Rabson * Cope if we lost a race with some other thread while 622dfdcada3SDoug Rabson * trying to allocate memory. 623dfdcada3SDoug Rabson */ 624dfdcada3SDoug Rabson VI_LOCK(vp); 625*abd80ddbSMateusz Guzik if (VN_IS_DOOMED(vp)) { 626eab626f1SKonstantin Belousov VI_UNLOCK(vp); 627eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 628eab626f1SKonstantin Belousov LIST_REMOVE(ls, ls_link); 629eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 630eab626f1SKonstantin Belousov sx_destroy(&ls->ls_lock); 631eab626f1SKonstantin Belousov free(ls, M_LOCKF); 632eab626f1SKonstantin Belousov lf_free_lock(lock); 633eab626f1SKonstantin Belousov return (ENOENT); 634eab626f1SKonstantin Belousov } 635dfdcada3SDoug Rabson if ((*statep) == NULL) { 63660cdfde0SDoug Rabson state = *statep = ls; 63760cdfde0SDoug Rabson VI_UNLOCK(vp); 638dfdcada3SDoug Rabson } else { 63960cdfde0SDoug Rabson state = *statep; 64060cdfde0SDoug Rabson state->ls_threads++; 64160cdfde0SDoug Rabson VI_UNLOCK(vp); 64260cdfde0SDoug Rabson 643dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 644dfdcada3SDoug Rabson LIST_REMOVE(ls, ls_link); 645dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 646dfdcada3SDoug Rabson sx_destroy(&ls->ls_lock); 647dfdcada3SDoug Rabson free(ls, M_LOCKF); 648dfdcada3SDoug Rabson } 64960cdfde0SDoug Rabson } else { 650dfdcada3SDoug Rabson state->ls_threads++; 651dfdcada3SDoug Rabson VI_UNLOCK(vp); 65260cdfde0SDoug Rabson } 653dfdcada3SDoug Rabson 654dfdcada3SDoug Rabson sx_xlock(&state->ls_lock); 655b33d6177SKonstantin Belousov /* 656b33d6177SKonstantin Belousov * Recheck the doomed vnode after state->ls_lock is 657b33d6177SKonstantin Belousov * locked. lf_purgelocks() requires that no new threads add 658*abd80ddbSMateusz Guzik * pending locks when vnode is marked by VIRF_DOOMED flag. 659b33d6177SKonstantin Belousov */ 660b33d6177SKonstantin Belousov VI_LOCK(vp); 661*abd80ddbSMateusz Guzik if (VN_IS_DOOMED(vp)) { 662f02c9d28SKonstantin Belousov state->ls_threads--; 663f02c9d28SKonstantin Belousov wakeup(state); 664b33d6177SKonstantin Belousov VI_UNLOCK(vp); 6655dd6aabaSKonstantin Belousov sx_xunlock(&state->ls_lock); 666b33d6177SKonstantin Belousov lf_free_lock(lock); 667b33d6177SKonstantin Belousov return (ENOENT); 668b33d6177SKonstantin Belousov } 669b33d6177SKonstantin Belousov VI_UNLOCK(vp); 670b33d6177SKonstantin Belousov 67192dc7331SDavid Greenman switch (ap->a_op) { 67292dc7331SDavid Greenman case F_SETLK: 673dfdcada3SDoug Rabson error = lf_setlock(state, lock, vp, ap->a_cookiep); 674bc02f1d9SJeff Roberson break; 67592dc7331SDavid Greenman 67692dc7331SDavid Greenman case F_UNLCK: 677dfdcada3SDoug Rabson error = lf_clearlock(state, lock); 678dfdcada3SDoug Rabson lf_free_lock(lock); 679bc02f1d9SJeff Roberson break; 68092dc7331SDavid Greenman 68192dc7331SDavid Greenman case F_GETLK: 682dfdcada3SDoug Rabson error = lf_getlock(state, lock, fl); 683dfdcada3SDoug Rabson lf_free_lock(lock); 684dfdcada3SDoug Rabson break; 685dfdcada3SDoug Rabson 686dfdcada3SDoug Rabson case F_CANCEL: 687dfdcada3SDoug Rabson if (ap->a_cookiep) 688dfdcada3SDoug Rabson error = lf_cancel(state, lock, *ap->a_cookiep); 689dfdcada3SDoug Rabson else 690dfdcada3SDoug Rabson error = EINVAL; 691dfdcada3SDoug Rabson lf_free_lock(lock); 692bc02f1d9SJeff Roberson break; 69392dc7331SDavid Greenman 69492dc7331SDavid Greenman default: 695dfdcada3SDoug Rabson lf_free_lock(lock); 696013e6650SJeff Roberson error = EINVAL; 697bc02f1d9SJeff Roberson break; 69892dc7331SDavid Greenman } 699dfdcada3SDoug Rabson 700826b3d31SAndriy Gapon #ifdef DIAGNOSTIC 701dfdcada3SDoug Rabson /* 702dfdcada3SDoug Rabson * Check for some can't happen stuff. In this case, the active 703dfdcada3SDoug Rabson * lock list becoming disordered or containing mutually 704dfdcada3SDoug Rabson * blocking locks. We also check the pending list for locks 705dfdcada3SDoug Rabson * which should be active (i.e. have no out-going edges). 706dfdcada3SDoug Rabson */ 707dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_active, lf_link) { 708dfdcada3SDoug Rabson struct lockf_entry *lf; 709dfdcada3SDoug Rabson if (LIST_NEXT(lock, lf_link)) 710dfdcada3SDoug Rabson KASSERT((lock->lf_start 711dfdcada3SDoug Rabson <= LIST_NEXT(lock, lf_link)->lf_start), 712dfdcada3SDoug Rabson ("locks disordered")); 713dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 714dfdcada3SDoug Rabson if (lock == lf) 715dfdcada3SDoug Rabson break; 716dfdcada3SDoug Rabson KASSERT(!lf_blocks(lock, lf), 717dfdcada3SDoug Rabson ("two conflicting active locks")); 718dfdcada3SDoug Rabson if (lock->lf_owner == lf->lf_owner) 719dfdcada3SDoug Rabson KASSERT(!lf_overlaps(lock, lf), 720dfdcada3SDoug Rabson ("two overlapping locks from same owner")); 721dfdcada3SDoug Rabson } 722dfdcada3SDoug Rabson } 723dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_pending, lf_link) { 724dfdcada3SDoug Rabson KASSERT(!LIST_EMPTY(&lock->lf_outedges), 725dfdcada3SDoug Rabson ("pending lock which should be active")); 726dfdcada3SDoug Rabson } 727dfdcada3SDoug Rabson #endif 728dfdcada3SDoug Rabson sx_xunlock(&state->ls_lock); 729dfdcada3SDoug Rabson 730dfdcada3SDoug Rabson VI_LOCK(vp); 731dfdcada3SDoug Rabson 732dfdcada3SDoug Rabson state->ls_threads--; 733dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 734dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&state->ls_pending), 7350d3323f5SMateusz Guzik ("freeable state with pending locks")); 736717df0b0SMateusz Guzik } else { 737717df0b0SMateusz Guzik wakeup(state); 738dfdcada3SDoug Rabson } 739dfdcada3SDoug Rabson 740bc02f1d9SJeff Roberson VI_UNLOCK(vp); 741dfdcada3SDoug Rabson 7423bcc218fSKonstantin Belousov if (error == EDOOFUS) { 7433bcc218fSKonstantin Belousov KASSERT(ap->a_op == F_SETLK, ("EDOOFUS")); 7443bcc218fSKonstantin Belousov goto retry_setlock; 7453bcc218fSKonstantin Belousov } 746013e6650SJeff Roberson return (error); 74792dc7331SDavid Greenman } 74892dc7331SDavid Greenman 749dfdcada3SDoug Rabson int 750dfdcada3SDoug Rabson lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size) 751dfdcada3SDoug Rabson { 752dfdcada3SDoug Rabson struct vop_advlockasync_args a; 753dfdcada3SDoug Rabson 754dfdcada3SDoug Rabson a.a_vp = ap->a_vp; 755dfdcada3SDoug Rabson a.a_id = ap->a_id; 756dfdcada3SDoug Rabson a.a_op = ap->a_op; 757dfdcada3SDoug Rabson a.a_fl = ap->a_fl; 758dfdcada3SDoug Rabson a.a_flags = ap->a_flags; 759dfdcada3SDoug Rabson a.a_task = NULL; 760dfdcada3SDoug Rabson a.a_cookiep = NULL; 761dfdcada3SDoug Rabson 762dfdcada3SDoug Rabson return (lf_advlockasync(&a, statep, size)); 763dfdcada3SDoug Rabson } 764dfdcada3SDoug Rabson 765eab626f1SKonstantin Belousov void 766eab626f1SKonstantin Belousov lf_purgelocks(struct vnode *vp, struct lockf **statep) 767eab626f1SKonstantin Belousov { 768eab626f1SKonstantin Belousov struct lockf *state; 769eab626f1SKonstantin Belousov struct lockf_entry *lock, *nlock; 770eab626f1SKonstantin Belousov 771eab626f1SKonstantin Belousov /* 772eab626f1SKonstantin Belousov * For this to work correctly, the caller must ensure that no 773eab626f1SKonstantin Belousov * other threads enter the locking system for this vnode, 774*abd80ddbSMateusz Guzik * e.g. by checking VIRF_DOOMED. We wake up any threads that are 775eab626f1SKonstantin Belousov * sleeping waiting for locks on this vnode and then free all 776eab626f1SKonstantin Belousov * the remaining locks. 777eab626f1SKonstantin Belousov */ 778eab626f1SKonstantin Belousov VI_LOCK(vp); 779*abd80ddbSMateusz Guzik KASSERT(VN_IS_DOOMED(vp), 780b33d6177SKonstantin Belousov ("lf_purgelocks: vp %p has not vgone yet", vp)); 781eab626f1SKonstantin Belousov state = *statep; 7820d3323f5SMateusz Guzik if (state == NULL) { 7830d3323f5SMateusz Guzik VI_UNLOCK(vp); 7840d3323f5SMateusz Guzik return; 7850d3323f5SMateusz Guzik } 786b33d6177SKonstantin Belousov *statep = NULL; 787c72ead28SMateusz Guzik if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 788c72ead28SMateusz Guzik KASSERT(LIST_EMPTY(&state->ls_pending), 789c72ead28SMateusz Guzik ("freeing state with pending locks")); 790c72ead28SMateusz Guzik VI_UNLOCK(vp); 791c72ead28SMateusz Guzik goto out_free; 792c72ead28SMateusz Guzik } 793eab626f1SKonstantin Belousov state->ls_threads++; 794eab626f1SKonstantin Belousov VI_UNLOCK(vp); 795eab626f1SKonstantin Belousov 796eab626f1SKonstantin Belousov sx_xlock(&state->ls_lock); 797eab626f1SKonstantin Belousov sx_xlock(&lf_owner_graph_lock); 798eab626f1SKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 799eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 800eab626f1SKonstantin Belousov lf_remove_outgoing(lock); 801eab626f1SKonstantin Belousov lf_remove_incoming(lock); 802eab626f1SKonstantin Belousov 803eab626f1SKonstantin Belousov /* 804eab626f1SKonstantin Belousov * If its an async lock, we can just free it 805eab626f1SKonstantin Belousov * here, otherwise we let the sleeping thread 806eab626f1SKonstantin Belousov * free it. 807eab626f1SKonstantin Belousov */ 808eab626f1SKonstantin Belousov if (lock->lf_async_task) { 809eab626f1SKonstantin Belousov lf_free_lock(lock); 810eab626f1SKonstantin Belousov } else { 811eab626f1SKonstantin Belousov lock->lf_flags |= F_INTR; 812eab626f1SKonstantin Belousov wakeup(lock); 813eab626f1SKonstantin Belousov } 814eab626f1SKonstantin Belousov } 815eab626f1SKonstantin Belousov sx_xunlock(&lf_owner_graph_lock); 816eab626f1SKonstantin Belousov sx_xunlock(&state->ls_lock); 817eab626f1SKonstantin Belousov 818eab626f1SKonstantin Belousov /* 819eab626f1SKonstantin Belousov * Wait for all other threads, sleeping and otherwise 820eab626f1SKonstantin Belousov * to leave. 821eab626f1SKonstantin Belousov */ 822eab626f1SKonstantin Belousov VI_LOCK(vp); 823eab626f1SKonstantin Belousov while (state->ls_threads > 1) 824eab626f1SKonstantin Belousov msleep(state, VI_MTX(vp), 0, "purgelocks", 0); 825eab626f1SKonstantin Belousov VI_UNLOCK(vp); 826eab626f1SKonstantin Belousov 827eab626f1SKonstantin Belousov /* 828eab626f1SKonstantin Belousov * We can just free all the active locks since they 829e3043798SPedro F. Giffuni * will have no dependencies (we removed them all 830eab626f1SKonstantin Belousov * above). We don't need to bother locking since we 831eab626f1SKonstantin Belousov * are the last thread using this state structure. 832eab626f1SKonstantin Belousov */ 8339727972eSKonstantin Belousov KASSERT(LIST_EMPTY(&state->ls_pending), 8349727972eSKonstantin Belousov ("lock pending for %p", state)); 8359727972eSKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_active, lf_link, nlock) { 836eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 837eab626f1SKonstantin Belousov lf_free_lock(lock); 838eab626f1SKonstantin Belousov } 839c72ead28SMateusz Guzik out_free: 840eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 841eab626f1SKonstantin Belousov LIST_REMOVE(state, ls_link); 842eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 843eab626f1SKonstantin Belousov sx_destroy(&state->ls_lock); 844eab626f1SKonstantin Belousov free(state, M_LOCKF); 845eab626f1SKonstantin Belousov } 846eab626f1SKonstantin Belousov 847dfdcada3SDoug Rabson /* 848dfdcada3SDoug Rabson * Return non-zero if locks 'x' and 'y' overlap. 849dfdcada3SDoug Rabson */ 850dfdcada3SDoug Rabson static int 851dfdcada3SDoug Rabson lf_overlaps(struct lockf_entry *x, struct lockf_entry *y) 852dfdcada3SDoug Rabson { 853dfdcada3SDoug Rabson 854dfdcada3SDoug Rabson return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start); 855dfdcada3SDoug Rabson } 856dfdcada3SDoug Rabson 857dfdcada3SDoug Rabson /* 858dfdcada3SDoug Rabson * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa). 859dfdcada3SDoug Rabson */ 860dfdcada3SDoug Rabson static int 861dfdcada3SDoug Rabson lf_blocks(struct lockf_entry *x, struct lockf_entry *y) 862dfdcada3SDoug Rabson { 863dfdcada3SDoug Rabson 864dfdcada3SDoug Rabson return x->lf_owner != y->lf_owner 865dfdcada3SDoug Rabson && (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK) 866dfdcada3SDoug Rabson && lf_overlaps(x, y); 867dfdcada3SDoug Rabson } 868dfdcada3SDoug Rabson 869dfdcada3SDoug Rabson /* 870dfdcada3SDoug Rabson * Allocate a lock edge from the free list 871dfdcada3SDoug Rabson */ 872dfdcada3SDoug Rabson static struct lockf_edge * 873dfdcada3SDoug Rabson lf_alloc_edge(void) 874dfdcada3SDoug Rabson { 875dfdcada3SDoug Rabson 876dfdcada3SDoug Rabson return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO)); 877dfdcada3SDoug Rabson } 878dfdcada3SDoug Rabson 879dfdcada3SDoug Rabson /* 880dfdcada3SDoug Rabson * Free a lock edge. 881dfdcada3SDoug Rabson */ 882dfdcada3SDoug Rabson static void 883dfdcada3SDoug Rabson lf_free_edge(struct lockf_edge *e) 884dfdcada3SDoug Rabson { 885dfdcada3SDoug Rabson 886dfdcada3SDoug Rabson free(e, M_LOCKF); 887dfdcada3SDoug Rabson } 888dfdcada3SDoug Rabson 889dfdcada3SDoug Rabson 890dfdcada3SDoug Rabson /* 891dfdcada3SDoug Rabson * Ensure that the lock's owner has a corresponding vertex in the 892dfdcada3SDoug Rabson * owner graph. 893dfdcada3SDoug Rabson */ 894dfdcada3SDoug Rabson static void 895dfdcada3SDoug Rabson lf_alloc_vertex(struct lockf_entry *lock) 896dfdcada3SDoug Rabson { 897dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 898dfdcada3SDoug Rabson 899dfdcada3SDoug Rabson if (!lock->lf_owner->lo_vertex) 900dfdcada3SDoug Rabson lock->lf_owner->lo_vertex = 901dfdcada3SDoug Rabson graph_alloc_vertex(g, lock->lf_owner); 902dfdcada3SDoug Rabson } 903dfdcada3SDoug Rabson 904dfdcada3SDoug Rabson /* 905dfdcada3SDoug Rabson * Attempt to record an edge from lock x to lock y. Return EDEADLK if 906dfdcada3SDoug Rabson * the new edge would cause a cycle in the owner graph. 907dfdcada3SDoug Rabson */ 908dfdcada3SDoug Rabson static int 909dfdcada3SDoug Rabson lf_add_edge(struct lockf_entry *x, struct lockf_entry *y) 910dfdcada3SDoug Rabson { 911dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 912dfdcada3SDoug Rabson struct lockf_edge *e; 913dfdcada3SDoug Rabson int error; 914dfdcada3SDoug Rabson 915826b3d31SAndriy Gapon #ifdef DIAGNOSTIC 916dfdcada3SDoug Rabson LIST_FOREACH(e, &x->lf_outedges, le_outlink) 917dfdcada3SDoug Rabson KASSERT(e->le_to != y, ("adding lock edge twice")); 918dfdcada3SDoug Rabson #endif 919dfdcada3SDoug Rabson 920dfdcada3SDoug Rabson /* 921dfdcada3SDoug Rabson * Make sure the two owners have entries in the owner graph. 922dfdcada3SDoug Rabson */ 923dfdcada3SDoug Rabson lf_alloc_vertex(x); 924dfdcada3SDoug Rabson lf_alloc_vertex(y); 925dfdcada3SDoug Rabson 926dfdcada3SDoug Rabson error = graph_add_edge(g, x->lf_owner->lo_vertex, 927dfdcada3SDoug Rabson y->lf_owner->lo_vertex); 928dfdcada3SDoug Rabson if (error) 929dfdcada3SDoug Rabson return (error); 930dfdcada3SDoug Rabson 931dfdcada3SDoug Rabson e = lf_alloc_edge(); 932dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink); 933dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink); 934dfdcada3SDoug Rabson e->le_from = x; 935dfdcada3SDoug Rabson e->le_to = y; 936dfdcada3SDoug Rabson 937dfdcada3SDoug Rabson return (0); 938dfdcada3SDoug Rabson } 939dfdcada3SDoug Rabson 940dfdcada3SDoug Rabson /* 941dfdcada3SDoug Rabson * Remove an edge from the lock graph. 942dfdcada3SDoug Rabson */ 943dfdcada3SDoug Rabson static void 944dfdcada3SDoug Rabson lf_remove_edge(struct lockf_edge *e) 945dfdcada3SDoug Rabson { 946dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 947dfdcada3SDoug Rabson struct lockf_entry *x = e->le_from; 948dfdcada3SDoug Rabson struct lockf_entry *y = e->le_to; 949dfdcada3SDoug Rabson 950dfdcada3SDoug Rabson graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex); 951dfdcada3SDoug Rabson LIST_REMOVE(e, le_outlink); 952dfdcada3SDoug Rabson LIST_REMOVE(e, le_inlink); 953dfdcada3SDoug Rabson e->le_from = NULL; 954dfdcada3SDoug Rabson e->le_to = NULL; 955dfdcada3SDoug Rabson lf_free_edge(e); 956dfdcada3SDoug Rabson } 957dfdcada3SDoug Rabson 958dfdcada3SDoug Rabson /* 959dfdcada3SDoug Rabson * Remove all out-going edges from lock x. 960dfdcada3SDoug Rabson */ 961dfdcada3SDoug Rabson static void 962dfdcada3SDoug Rabson lf_remove_outgoing(struct lockf_entry *x) 963dfdcada3SDoug Rabson { 964dfdcada3SDoug Rabson struct lockf_edge *e; 965dfdcada3SDoug Rabson 966dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) { 967dfdcada3SDoug Rabson lf_remove_edge(e); 968dfdcada3SDoug Rabson } 969dfdcada3SDoug Rabson } 970dfdcada3SDoug Rabson 971dfdcada3SDoug Rabson /* 972dfdcada3SDoug Rabson * Remove all in-coming edges from lock x. 973dfdcada3SDoug Rabson */ 974dfdcada3SDoug Rabson static void 975dfdcada3SDoug Rabson lf_remove_incoming(struct lockf_entry *x) 976dfdcada3SDoug Rabson { 977dfdcada3SDoug Rabson struct lockf_edge *e; 978dfdcada3SDoug Rabson 979dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) { 980dfdcada3SDoug Rabson lf_remove_edge(e); 981dfdcada3SDoug Rabson } 982dfdcada3SDoug Rabson } 983dfdcada3SDoug Rabson 984dfdcada3SDoug Rabson /* 985dfdcada3SDoug Rabson * Walk the list of locks for the file and create an out-going edge 986dfdcada3SDoug Rabson * from lock to each blocking lock. 987dfdcada3SDoug Rabson */ 988dfdcada3SDoug Rabson static int 989dfdcada3SDoug Rabson lf_add_outgoing(struct lockf *state, struct lockf_entry *lock) 990dfdcada3SDoug Rabson { 991dfdcada3SDoug Rabson struct lockf_entry *overlap; 992dfdcada3SDoug Rabson int error; 993dfdcada3SDoug Rabson 994dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 995dfdcada3SDoug Rabson /* 996dfdcada3SDoug Rabson * We may assume that the active list is sorted by 997dfdcada3SDoug Rabson * lf_start. 998dfdcada3SDoug Rabson */ 999dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1000dfdcada3SDoug Rabson break; 1001dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1002dfdcada3SDoug Rabson continue; 1003dfdcada3SDoug Rabson 1004dfdcada3SDoug Rabson /* 1005dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1006dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1007dfdcada3SDoug Rabson * deadlock. 1008dfdcada3SDoug Rabson */ 1009dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1010dfdcada3SDoug Rabson 1011dfdcada3SDoug Rabson /* 1012dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1013dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1014dfdcada3SDoug Rabson */ 1015dfdcada3SDoug Rabson if (error) { 1016dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1017dfdcada3SDoug Rabson return (error); 1018dfdcada3SDoug Rabson } 1019dfdcada3SDoug Rabson } 1020dfdcada3SDoug Rabson 1021dfdcada3SDoug Rabson /* 1022dfdcada3SDoug Rabson * We also need to add edges to sleeping locks that block 1023dfdcada3SDoug Rabson * us. This ensures that lf_wakeup_lock cannot grant two 1024dfdcada3SDoug Rabson * mutually blocking locks simultaneously and also enforces a 1025dfdcada3SDoug Rabson * 'first come, first served' fairness model. Note that this 1026dfdcada3SDoug Rabson * only happens if we are blocked by at least one active lock 1027dfdcada3SDoug Rabson * due to the call to lf_getblock in lf_setlock below. 1028dfdcada3SDoug Rabson */ 1029dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1030dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1031dfdcada3SDoug Rabson continue; 1032dfdcada3SDoug Rabson /* 1033dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1034dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1035dfdcada3SDoug Rabson * deadlock. 1036dfdcada3SDoug Rabson */ 1037dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1038dfdcada3SDoug Rabson 1039dfdcada3SDoug Rabson /* 1040dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1041dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1042dfdcada3SDoug Rabson */ 1043dfdcada3SDoug Rabson if (error) { 1044dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1045dfdcada3SDoug Rabson return (error); 1046dfdcada3SDoug Rabson } 1047dfdcada3SDoug Rabson } 1048dfdcada3SDoug Rabson 1049dfdcada3SDoug Rabson return (0); 1050dfdcada3SDoug Rabson } 1051dfdcada3SDoug Rabson 1052dfdcada3SDoug Rabson /* 1053dfdcada3SDoug Rabson * Walk the list of pending locks for the file and create an in-coming 1054dfdcada3SDoug Rabson * edge from lock to each blocking lock. 1055dfdcada3SDoug Rabson */ 1056dfdcada3SDoug Rabson static int 1057dfdcada3SDoug Rabson lf_add_incoming(struct lockf *state, struct lockf_entry *lock) 1058dfdcada3SDoug Rabson { 1059dfdcada3SDoug Rabson struct lockf_entry *overlap; 1060dfdcada3SDoug Rabson int error; 1061dfdcada3SDoug Rabson 106263286976SMateusz Guzik sx_assert(&state->ls_lock, SX_XLOCKED); 106363286976SMateusz Guzik if (LIST_EMPTY(&state->ls_pending)) 106463286976SMateusz Guzik return (0); 106563286976SMateusz Guzik 106663286976SMateusz Guzik error = 0; 106763286976SMateusz Guzik sx_xlock(&lf_owner_graph_lock); 1068dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1069dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1070dfdcada3SDoug Rabson continue; 1071dfdcada3SDoug Rabson 1072dfdcada3SDoug Rabson /* 1073dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1074dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1075dfdcada3SDoug Rabson * deadlock. 1076dfdcada3SDoug Rabson */ 1077dfdcada3SDoug Rabson error = lf_add_edge(overlap, lock); 1078dfdcada3SDoug Rabson 1079dfdcada3SDoug Rabson /* 1080dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1081dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1082dfdcada3SDoug Rabson */ 1083dfdcada3SDoug Rabson if (error) { 1084dfdcada3SDoug Rabson lf_remove_incoming(lock); 108563286976SMateusz Guzik break; 108663286976SMateusz Guzik } 108763286976SMateusz Guzik } 108863286976SMateusz Guzik sx_xunlock(&lf_owner_graph_lock); 1089dfdcada3SDoug Rabson return (error); 1090dfdcada3SDoug Rabson } 1091dfdcada3SDoug Rabson 1092dfdcada3SDoug Rabson /* 1093dfdcada3SDoug Rabson * Insert lock into the active list, keeping list entries ordered by 1094dfdcada3SDoug Rabson * increasing values of lf_start. 1095dfdcada3SDoug Rabson */ 1096dfdcada3SDoug Rabson static void 1097dfdcada3SDoug Rabson lf_insert_lock(struct lockf *state, struct lockf_entry *lock) 1098dfdcada3SDoug Rabson { 1099dfdcada3SDoug Rabson struct lockf_entry *lf, *lfprev; 1100dfdcada3SDoug Rabson 1101dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active)) { 1102dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_active, lock, lf_link); 1103dfdcada3SDoug Rabson return; 1104dfdcada3SDoug Rabson } 1105dfdcada3SDoug Rabson 1106dfdcada3SDoug Rabson lfprev = NULL; 1107dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 1108dfdcada3SDoug Rabson if (lf->lf_start > lock->lf_start) { 1109dfdcada3SDoug Rabson LIST_INSERT_BEFORE(lf, lock, lf_link); 1110dfdcada3SDoug Rabson return; 1111dfdcada3SDoug Rabson } 1112dfdcada3SDoug Rabson lfprev = lf; 1113dfdcada3SDoug Rabson } 1114dfdcada3SDoug Rabson LIST_INSERT_AFTER(lfprev, lock, lf_link); 1115dfdcada3SDoug Rabson } 1116dfdcada3SDoug Rabson 1117dfdcada3SDoug Rabson /* 1118dfdcada3SDoug Rabson * Wake up a sleeping lock and remove it from the pending list now 1119e3043798SPedro F. Giffuni * that all its dependencies have been resolved. The caller should 1120dfdcada3SDoug Rabson * arrange for the lock to be added to the active list, adjusting any 1121dfdcada3SDoug Rabson * existing locks for the same owner as needed. 1122dfdcada3SDoug Rabson */ 1123dfdcada3SDoug Rabson static void 1124dfdcada3SDoug Rabson lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock) 1125dfdcada3SDoug Rabson { 1126dfdcada3SDoug Rabson 1127dfdcada3SDoug Rabson /* 1128dfdcada3SDoug Rabson * Remove from ls_pending list and wake up the caller 1129dfdcada3SDoug Rabson * or start the async notification, as appropriate. 1130dfdcada3SDoug Rabson */ 1131dfdcada3SDoug Rabson LIST_REMOVE(wakelock, lf_link); 1132dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1133dfdcada3SDoug Rabson if (lockf_debug & 1) 1134dfdcada3SDoug Rabson lf_print("lf_wakeup_lock: awakening", wakelock); 1135dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1136dfdcada3SDoug Rabson if (wakelock->lf_async_task) { 1137dfdcada3SDoug Rabson taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task); 1138dfdcada3SDoug Rabson } else { 1139dfdcada3SDoug Rabson wakeup(wakelock); 1140dfdcada3SDoug Rabson } 1141dfdcada3SDoug Rabson } 1142dfdcada3SDoug Rabson 1143dfdcada3SDoug Rabson /* 1144e3043798SPedro F. Giffuni * Re-check all dependent locks and remove edges to locks that we no 1145dfdcada3SDoug Rabson * longer block. If 'all' is non-zero, the lock has been removed and 1146e3043798SPedro F. Giffuni * we must remove all the dependencies, otherwise it has simply been 1147dfdcada3SDoug Rabson * reduced but remains active. Any pending locks which have been been 1148dfdcada3SDoug Rabson * unblocked are added to 'granted' 1149dfdcada3SDoug Rabson */ 1150dfdcada3SDoug Rabson static void 1151dfdcada3SDoug Rabson lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all, 1152dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1153dfdcada3SDoug Rabson { 1154dfdcada3SDoug Rabson struct lockf_edge *e, *ne; 1155dfdcada3SDoug Rabson struct lockf_entry *deplock; 1156dfdcada3SDoug Rabson 1157dfdcada3SDoug Rabson LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) { 1158dfdcada3SDoug Rabson deplock = e->le_from; 1159dfdcada3SDoug Rabson if (all || !lf_blocks(lock, deplock)) { 1160dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1161dfdcada3SDoug Rabson lf_remove_edge(e); 1162dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1163dfdcada3SDoug Rabson if (LIST_EMPTY(&deplock->lf_outedges)) { 1164dfdcada3SDoug Rabson lf_wakeup_lock(state, deplock); 1165dfdcada3SDoug Rabson LIST_INSERT_HEAD(granted, deplock, lf_link); 1166dfdcada3SDoug Rabson } 1167dfdcada3SDoug Rabson } 1168dfdcada3SDoug Rabson } 1169dfdcada3SDoug Rabson } 1170dfdcada3SDoug Rabson 1171dfdcada3SDoug Rabson /* 1172e3043798SPedro F. Giffuni * Set the start of an existing active lock, updating dependencies and 1173dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1174dfdcada3SDoug Rabson */ 1175dfdcada3SDoug Rabson static void 1176dfdcada3SDoug Rabson lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start, 1177dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1178dfdcada3SDoug Rabson { 1179dfdcada3SDoug Rabson 1180dfdcada3SDoug Rabson KASSERT(new_start >= lock->lf_start, ("can't increase lock")); 1181dfdcada3SDoug Rabson lock->lf_start = new_start; 1182dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1183dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1184dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1185dfdcada3SDoug Rabson } 1186dfdcada3SDoug Rabson 1187dfdcada3SDoug Rabson /* 1188e3043798SPedro F. Giffuni * Set the end of an existing active lock, updating dependencies and 1189dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1190dfdcada3SDoug Rabson */ 1191dfdcada3SDoug Rabson static void 1192dfdcada3SDoug Rabson lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end, 1193dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1194dfdcada3SDoug Rabson { 1195dfdcada3SDoug Rabson 1196dfdcada3SDoug Rabson KASSERT(new_end <= lock->lf_end, ("can't increase lock")); 1197dfdcada3SDoug Rabson lock->lf_end = new_end; 1198dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1199dfdcada3SDoug Rabson } 1200dfdcada3SDoug Rabson 1201dfdcada3SDoug Rabson /* 1202dfdcada3SDoug Rabson * Add a lock to the active list, updating or removing any current 1203dfdcada3SDoug Rabson * locks owned by the same owner and processing any pending locks that 1204dfdcada3SDoug Rabson * become unblocked as a result. This code is also used for unlock 1205dfdcada3SDoug Rabson * since the logic for updating existing locks is identical. 1206dfdcada3SDoug Rabson * 1207dfdcada3SDoug Rabson * As a result of processing the new lock, we may unblock existing 1208dfdcada3SDoug Rabson * pending locks as a result of downgrading/unlocking. We simply 1209dfdcada3SDoug Rabson * activate the newly granted locks by looping. 1210dfdcada3SDoug Rabson * 1211e3043798SPedro F. Giffuni * Since the new lock already has its dependencies set up, we always 1212dfdcada3SDoug Rabson * add it to the list (unless its an unlock request). This may 1213dfdcada3SDoug Rabson * fragment the lock list in some pathological cases but its probably 1214dfdcada3SDoug Rabson * not a real problem. 1215dfdcada3SDoug Rabson */ 1216dfdcada3SDoug Rabson static void 1217dfdcada3SDoug Rabson lf_activate_lock(struct lockf *state, struct lockf_entry *lock) 1218dfdcada3SDoug Rabson { 1219dfdcada3SDoug Rabson struct lockf_entry *overlap, *lf; 1220dfdcada3SDoug Rabson struct lockf_entry_list granted; 1221dfdcada3SDoug Rabson int ovcase; 1222dfdcada3SDoug Rabson 1223dfdcada3SDoug Rabson LIST_INIT(&granted); 1224dfdcada3SDoug Rabson LIST_INSERT_HEAD(&granted, lock, lf_link); 1225dfdcada3SDoug Rabson 1226dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1227dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1228dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1229dfdcada3SDoug Rabson 1230dfdcada3SDoug Rabson /* 1231dfdcada3SDoug Rabson * Skip over locks owned by other processes. Handle 1232dfdcada3SDoug Rabson * any locks that overlap and are owned by ourselves. 1233dfdcada3SDoug Rabson */ 1234dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1235dfdcada3SDoug Rabson for (;;) { 1236dfdcada3SDoug Rabson ovcase = lf_findoverlap(&overlap, lock, SELF); 1237dfdcada3SDoug Rabson 1238dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1239dfdcada3SDoug Rabson if (ovcase && (lockf_debug & 2)) { 1240dfdcada3SDoug Rabson printf("lf_setlock: overlap %d", ovcase); 1241dfdcada3SDoug Rabson lf_print("", overlap); 1242dfdcada3SDoug Rabson } 1243dfdcada3SDoug Rabson #endif 1244dfdcada3SDoug Rabson /* 1245dfdcada3SDoug Rabson * Six cases: 1246dfdcada3SDoug Rabson * 0) no overlap 1247dfdcada3SDoug Rabson * 1) overlap == lock 1248dfdcada3SDoug Rabson * 2) overlap contains lock 1249dfdcada3SDoug Rabson * 3) lock contains overlap 1250dfdcada3SDoug Rabson * 4) overlap starts before lock 1251dfdcada3SDoug Rabson * 5) overlap ends after lock 1252dfdcada3SDoug Rabson */ 1253dfdcada3SDoug Rabson switch (ovcase) { 1254dfdcada3SDoug Rabson case 0: /* no overlap */ 1255dfdcada3SDoug Rabson break; 1256dfdcada3SDoug Rabson 1257dfdcada3SDoug Rabson case 1: /* overlap == lock */ 1258dfdcada3SDoug Rabson /* 1259dfdcada3SDoug Rabson * We have already setup the 1260dfdcada3SDoug Rabson * dependants for the new lock, taking 1261dfdcada3SDoug Rabson * into account a possible downgrade 1262dfdcada3SDoug Rabson * or unlock. Remove the old lock. 1263dfdcada3SDoug Rabson */ 1264dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1265dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1266dfdcada3SDoug Rabson &granted); 1267dfdcada3SDoug Rabson lf_free_lock(overlap); 1268dfdcada3SDoug Rabson break; 1269dfdcada3SDoug Rabson 1270dfdcada3SDoug Rabson case 2: /* overlap contains lock */ 1271dfdcada3SDoug Rabson /* 1272dfdcada3SDoug Rabson * Just split the existing lock. 1273dfdcada3SDoug Rabson */ 1274dfdcada3SDoug Rabson lf_split(state, overlap, lock, &granted); 1275dfdcada3SDoug Rabson break; 1276dfdcada3SDoug Rabson 1277dfdcada3SDoug Rabson case 3: /* lock contains overlap */ 1278dfdcada3SDoug Rabson /* 1279dfdcada3SDoug Rabson * Delete the overlap and advance to 1280dfdcada3SDoug Rabson * the next entry in the list. 1281dfdcada3SDoug Rabson */ 1282dfdcada3SDoug Rabson lf = LIST_NEXT(overlap, lf_link); 1283dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1284dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1285dfdcada3SDoug Rabson &granted); 1286dfdcada3SDoug Rabson lf_free_lock(overlap); 1287dfdcada3SDoug Rabson overlap = lf; 1288dfdcada3SDoug Rabson continue; 1289dfdcada3SDoug Rabson 1290dfdcada3SDoug Rabson case 4: /* overlap starts before lock */ 1291dfdcada3SDoug Rabson /* 1292dfdcada3SDoug Rabson * Just update the overlap end and 1293dfdcada3SDoug Rabson * move on. 1294dfdcada3SDoug Rabson */ 1295dfdcada3SDoug Rabson lf_set_end(state, overlap, lock->lf_start - 1, 1296dfdcada3SDoug Rabson &granted); 1297dfdcada3SDoug Rabson overlap = LIST_NEXT(overlap, lf_link); 1298dfdcada3SDoug Rabson continue; 1299dfdcada3SDoug Rabson 1300dfdcada3SDoug Rabson case 5: /* overlap ends after lock */ 1301dfdcada3SDoug Rabson /* 1302dfdcada3SDoug Rabson * Change the start of overlap and 1303dfdcada3SDoug Rabson * re-insert. 1304dfdcada3SDoug Rabson */ 1305dfdcada3SDoug Rabson lf_set_start(state, overlap, lock->lf_end + 1, 1306dfdcada3SDoug Rabson &granted); 1307dfdcada3SDoug Rabson break; 1308dfdcada3SDoug Rabson } 1309dfdcada3SDoug Rabson break; 1310dfdcada3SDoug Rabson } 1311dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1312dfdcada3SDoug Rabson if (lockf_debug & 1) { 1313dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1314dfdcada3SDoug Rabson lf_print("lf_activate_lock: activated", lock); 1315dfdcada3SDoug Rabson else 1316dfdcada3SDoug Rabson lf_print("lf_activate_lock: unlocked", lock); 1317dfdcada3SDoug Rabson lf_printlist("lf_activate_lock", lock); 1318dfdcada3SDoug Rabson } 1319dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1320dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1321dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1322dfdcada3SDoug Rabson } 1323dfdcada3SDoug Rabson } 1324dfdcada3SDoug Rabson 1325dfdcada3SDoug Rabson /* 1326dfdcada3SDoug Rabson * Cancel a pending lock request, either as a result of a signal or a 1327dfdcada3SDoug Rabson * cancel request for an async lock. 1328dfdcada3SDoug Rabson */ 1329dfdcada3SDoug Rabson static void 1330dfdcada3SDoug Rabson lf_cancel_lock(struct lockf *state, struct lockf_entry *lock) 1331dfdcada3SDoug Rabson { 1332dfdcada3SDoug Rabson struct lockf_entry_list granted; 1333dfdcada3SDoug Rabson 1334dfdcada3SDoug Rabson /* 1335dfdcada3SDoug Rabson * Note it is theoretically possible that cancelling this lock 1336dfdcada3SDoug Rabson * may allow some other pending lock to become 1337dfdcada3SDoug Rabson * active. Consider this case: 1338dfdcada3SDoug Rabson * 1339e3043798SPedro F. Giffuni * Owner Action Result Dependencies 1340dfdcada3SDoug Rabson * 1341dfdcada3SDoug Rabson * A: lock [0..0] succeeds 1342dfdcada3SDoug Rabson * B: lock [2..2] succeeds 1343dfdcada3SDoug Rabson * C: lock [1..2] blocked C->B 1344dfdcada3SDoug Rabson * D: lock [0..1] blocked C->B,D->A,D->C 1345dfdcada3SDoug Rabson * A: unlock [0..0] C->B,D->C 1346dfdcada3SDoug Rabson * C: cancel [1..2] 1347dfdcada3SDoug Rabson */ 1348dfdcada3SDoug Rabson 1349dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1350dfdcada3SDoug Rabson 1351dfdcada3SDoug Rabson /* 1352dfdcada3SDoug Rabson * Removing out-going edges is simple. 1353dfdcada3SDoug Rabson */ 1354dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1355dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1356dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1357dfdcada3SDoug Rabson 1358dfdcada3SDoug Rabson /* 1359dfdcada3SDoug Rabson * Removing in-coming edges may allow some other lock to 1360dfdcada3SDoug Rabson * become active - we use lf_update_dependancies to figure 1361dfdcada3SDoug Rabson * this out. 1362dfdcada3SDoug Rabson */ 1363dfdcada3SDoug Rabson LIST_INIT(&granted); 1364dfdcada3SDoug Rabson lf_update_dependancies(state, lock, TRUE, &granted); 1365dfdcada3SDoug Rabson lf_free_lock(lock); 1366dfdcada3SDoug Rabson 1367dfdcada3SDoug Rabson /* 1368dfdcada3SDoug Rabson * Feed any newly active locks to lf_activate_lock. 1369dfdcada3SDoug Rabson */ 1370dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1371dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1372dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1373dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1374dfdcada3SDoug Rabson } 1375dfdcada3SDoug Rabson } 1376dfdcada3SDoug Rabson 137792dc7331SDavid Greenman /* 137892dc7331SDavid Greenman * Set a byte-range lock. 137992dc7331SDavid Greenman */ 138087b6de2bSPoul-Henning Kamp static int 1381dfdcada3SDoug Rabson lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp, 1382dfdcada3SDoug Rabson void **cookiep) 138392dc7331SDavid Greenman { 138492dc7331SDavid Greenman static char lockstr[] = "lockf"; 1385883a5a4aSKonstantin Belousov int error, priority, stops_deferred; 138692dc7331SDavid Greenman 138792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 138892dc7331SDavid Greenman if (lockf_debug & 1) 138992dc7331SDavid Greenman lf_print("lf_setlock", lock); 139092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 139192dc7331SDavid Greenman 139292dc7331SDavid Greenman /* 139392dc7331SDavid Greenman * Set the priority 139492dc7331SDavid Greenman */ 139592dc7331SDavid Greenman priority = PLOCK; 139692dc7331SDavid Greenman if (lock->lf_type == F_WRLCK) 139792dc7331SDavid Greenman priority += 4; 1398c675522fSDoug Rabson if (!(lock->lf_flags & F_NOINTR)) 139992dc7331SDavid Greenman priority |= PCATCH; 140092dc7331SDavid Greenman /* 140192dc7331SDavid Greenman * Scan lock list for this file looking for locks that would block us. 140292dc7331SDavid Greenman */ 14038aec91b5SKonstantin Belousov if (lf_getblock(state, lock)) { 140492dc7331SDavid Greenman /* 140592dc7331SDavid Greenman * Free the structure and return if nonblocking. 140692dc7331SDavid Greenman */ 1407dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0 1408dfdcada3SDoug Rabson && lock->lf_async_task == NULL) { 1409dfdcada3SDoug Rabson lf_free_lock(lock); 1410dfdcada3SDoug Rabson error = EAGAIN; 1411dfdcada3SDoug Rabson goto out; 141292dc7331SDavid Greenman } 141392dc7331SDavid Greenman 1414dfdcada3SDoug Rabson /* 141506c85cefSDoug Rabson * For flock type locks, we must first remove 141606c85cefSDoug Rabson * any shared locks that we hold before we sleep 141706c85cefSDoug Rabson * waiting for an exclusive lock. 141806c85cefSDoug Rabson */ 141906c85cefSDoug Rabson if ((lock->lf_flags & F_FLOCK) && 142006c85cefSDoug Rabson lock->lf_type == F_WRLCK) { 142106c85cefSDoug Rabson lock->lf_type = F_UNLCK; 142206c85cefSDoug Rabson lf_activate_lock(state, lock); 142306c85cefSDoug Rabson lock->lf_type = F_WRLCK; 142406c85cefSDoug Rabson } 142506c85cefSDoug Rabson 142606c85cefSDoug Rabson /* 1427dfdcada3SDoug Rabson * We are blocked. Create edges to each blocking lock, 1428dfdcada3SDoug Rabson * checking for deadlock using the owner graph. For 1429dfdcada3SDoug Rabson * simplicity, we run deadlock detection for all 1430dfdcada3SDoug Rabson * locks, posix and otherwise. 1431dfdcada3SDoug Rabson */ 1432dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1433dfdcada3SDoug Rabson error = lf_add_outgoing(state, lock); 1434dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1435dfdcada3SDoug Rabson 1436dfdcada3SDoug Rabson if (error) { 1437dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1438dfdcada3SDoug Rabson if (lockf_debug & 1) 1439dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1440dfdcada3SDoug Rabson #endif 1441dfdcada3SDoug Rabson lf_free_lock(lock); 1442dfdcada3SDoug Rabson goto out; 144392dc7331SDavid Greenman } 1444dfdcada3SDoug Rabson 144592dc7331SDavid Greenman /* 1446dfdcada3SDoug Rabson * We have added edges to everything that blocks 1447dfdcada3SDoug Rabson * us. Sleep until they all go away. 144892dc7331SDavid Greenman */ 1449dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link); 145092dc7331SDavid Greenman #ifdef LOCKF_DEBUG 145192dc7331SDavid Greenman if (lockf_debug & 1) { 1452dfdcada3SDoug Rabson struct lockf_edge *e; 1453dfdcada3SDoug Rabson LIST_FOREACH(e, &lock->lf_outedges, le_outlink) { 1454dfdcada3SDoug Rabson lf_print("lf_setlock: blocking on", e->le_to); 1455dfdcada3SDoug Rabson lf_printlist("lf_setlock", e->le_to); 1456dfdcada3SDoug Rabson } 145792dc7331SDavid Greenman } 145892dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1459dfdcada3SDoug Rabson 1460dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0) { 1461dfdcada3SDoug Rabson /* 1462dfdcada3SDoug Rabson * The caller requested async notification - 1463dfdcada3SDoug Rabson * this callback happens when the blocking 1464dfdcada3SDoug Rabson * lock is released, allowing the caller to 1465dfdcada3SDoug Rabson * make another attempt to take the lock. 1466dfdcada3SDoug Rabson */ 1467dfdcada3SDoug Rabson *cookiep = (void *) lock; 1468dfdcada3SDoug Rabson error = EINPROGRESS; 1469dfdcada3SDoug Rabson goto out; 1470dfdcada3SDoug Rabson } 1471dfdcada3SDoug Rabson 14728af54d4cSKonstantin Belousov lock->lf_refs++; 1473883a5a4aSKonstantin Belousov stops_deferred = sigdeferstop(SIGDEFERSTOP_ERESTART); 1474dfdcada3SDoug Rabson error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0); 1475883a5a4aSKonstantin Belousov sigallowstop(stops_deferred); 14768af54d4cSKonstantin Belousov if (lf_free_lock(lock)) { 14773bcc218fSKonstantin Belousov error = EDOOFUS; 14788af54d4cSKonstantin Belousov goto out; 14798af54d4cSKonstantin Belousov } 14808af54d4cSKonstantin Belousov 148192dc7331SDavid Greenman /* 14821168ab08SBruce Evans * We may have been awakened by a signal and/or by a 1483dfdcada3SDoug Rabson * debugger continuing us (in which cases we must 1484dfdcada3SDoug Rabson * remove our lock graph edges) and/or by another 1485dfdcada3SDoug Rabson * process releasing a lock (in which case our edges 1486dfdcada3SDoug Rabson * have already been removed and we have been moved to 1487eab626f1SKonstantin Belousov * the active list). We may also have been woken by 1488eab626f1SKonstantin Belousov * lf_purgelocks which we report to the caller as 1489eab626f1SKonstantin Belousov * EINTR. In that case, lf_purgelocks will have 1490eab626f1SKonstantin Belousov * removed our lock graph edges. 1491dfdcada3SDoug Rabson * 1492dfdcada3SDoug Rabson * Note that it is possible to receive a signal after 1493dfdcada3SDoug Rabson * we were successfully woken (and moved to the active 1494dfdcada3SDoug Rabson * list) but before we resumed execution. In this 1495dfdcada3SDoug Rabson * case, our lf_outedges list will be clear. We 1496dfdcada3SDoug Rabson * pretend there was no error. 1497dfdcada3SDoug Rabson * 1498dfdcada3SDoug Rabson * Note also, if we have been sleeping long enough, we 1499dfdcada3SDoug Rabson * may now have incoming edges from some newer lock 1500dfdcada3SDoug Rabson * which is waiting behind us in the queue. 150192dc7331SDavid Greenman */ 1502eab626f1SKonstantin Belousov if (lock->lf_flags & F_INTR) { 1503eab626f1SKonstantin Belousov error = EINTR; 1504eab626f1SKonstantin Belousov lf_free_lock(lock); 1505eab626f1SKonstantin Belousov goto out; 1506eab626f1SKonstantin Belousov } 1507dfdcada3SDoug Rabson if (LIST_EMPTY(&lock->lf_outedges)) { 1508dfdcada3SDoug Rabson error = 0; 1509dfdcada3SDoug Rabson } else { 1510dfdcada3SDoug Rabson lf_cancel_lock(state, lock); 1511dfdcada3SDoug Rabson goto out; 15121168ab08SBruce Evans } 1513dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1514dfdcada3SDoug Rabson if (lockf_debug & 1) { 1515dfdcada3SDoug Rabson lf_print("lf_setlock: granted", lock); 1516dfdcada3SDoug Rabson } 1517dfdcada3SDoug Rabson #endif 1518dfdcada3SDoug Rabson goto out; 1519dfdcada3SDoug Rabson } 1520dfdcada3SDoug Rabson /* 1521dfdcada3SDoug Rabson * It looks like we are going to grant the lock. First add 1522dfdcada3SDoug Rabson * edges from any currently pending lock that the new lock 1523dfdcada3SDoug Rabson * would block. 1524dfdcada3SDoug Rabson */ 1525dfdcada3SDoug Rabson error = lf_add_incoming(state, lock); 15261168ab08SBruce Evans if (error) { 1527dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1528dfdcada3SDoug Rabson if (lockf_debug & 1) 1529dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1530dfdcada3SDoug Rabson #endif 1531dfdcada3SDoug Rabson lf_free_lock(lock); 1532dfdcada3SDoug Rabson goto out; 153392dc7331SDavid Greenman } 1534dfdcada3SDoug Rabson 153592dc7331SDavid Greenman /* 153692dc7331SDavid Greenman * No blocks!! Add the lock. Note that we will 153792dc7331SDavid Greenman * downgrade or upgrade any overlapping locks this 153892dc7331SDavid Greenman * process already owns. 153992dc7331SDavid Greenman */ 1540dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1541dfdcada3SDoug Rabson error = 0; 1542dfdcada3SDoug Rabson out: 1543dfdcada3SDoug Rabson return (error); 154492dc7331SDavid Greenman } 154592dc7331SDavid Greenman 154692dc7331SDavid Greenman /* 154792dc7331SDavid Greenman * Remove a byte-range lock on an inode. 154892dc7331SDavid Greenman * 154992dc7331SDavid Greenman * Generally, find the lock (or an overlap to that lock) 155092dc7331SDavid Greenman * and remove it (or shrink it), then wakeup anyone we can. 155192dc7331SDavid Greenman */ 155287b6de2bSPoul-Henning Kamp static int 1553dfdcada3SDoug Rabson lf_clearlock(struct lockf *state, struct lockf_entry *unlock) 155492dc7331SDavid Greenman { 1555dfdcada3SDoug Rabson struct lockf_entry *overlap; 155692dc7331SDavid Greenman 1557dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1558dfdcada3SDoug Rabson 1559dfdcada3SDoug Rabson if (overlap == NOLOCKF) 156092dc7331SDavid Greenman return (0); 156192dc7331SDavid Greenman #ifdef LOCKF_DEBUG 156292dc7331SDavid Greenman if (unlock->lf_type != F_UNLCK) 156392dc7331SDavid Greenman panic("lf_clearlock: bad type"); 156492dc7331SDavid Greenman if (lockf_debug & 1) 156592dc7331SDavid Greenman lf_print("lf_clearlock", unlock); 156692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 156792dc7331SDavid Greenman 1568dfdcada3SDoug Rabson lf_activate_lock(state, unlock); 156992dc7331SDavid Greenman 157092dc7331SDavid Greenman return (0); 157192dc7331SDavid Greenman } 157292dc7331SDavid Greenman 157392dc7331SDavid Greenman /* 1574dfdcada3SDoug Rabson * Check whether there is a blocking lock, and if so return its 1575dfdcada3SDoug Rabson * details in '*fl'. 157692dc7331SDavid Greenman */ 157787b6de2bSPoul-Henning Kamp static int 1578dfdcada3SDoug Rabson lf_getlock(struct lockf *state, struct lockf_entry *lock, struct flock *fl) 157992dc7331SDavid Greenman { 1580dfdcada3SDoug Rabson struct lockf_entry *block; 158192dc7331SDavid Greenman 158292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 158392dc7331SDavid Greenman if (lockf_debug & 1) 158492dc7331SDavid Greenman lf_print("lf_getlock", lock); 158592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 158692dc7331SDavid Greenman 1587dfdcada3SDoug Rabson if ((block = lf_getblock(state, lock))) { 158892dc7331SDavid Greenman fl->l_type = block->lf_type; 158992dc7331SDavid Greenman fl->l_whence = SEEK_SET; 159092dc7331SDavid Greenman fl->l_start = block->lf_start; 1591dfdcada3SDoug Rabson if (block->lf_end == OFF_MAX) 159292dc7331SDavid Greenman fl->l_len = 0; 159392dc7331SDavid Greenman else 159492dc7331SDavid Greenman fl->l_len = block->lf_end - block->lf_start + 1; 1595dfdcada3SDoug Rabson fl->l_pid = block->lf_owner->lo_pid; 1596dfdcada3SDoug Rabson fl->l_sysid = block->lf_owner->lo_sysid; 159792dc7331SDavid Greenman } else { 159892dc7331SDavid Greenman fl->l_type = F_UNLCK; 159992dc7331SDavid Greenman } 160092dc7331SDavid Greenman return (0); 160192dc7331SDavid Greenman } 160292dc7331SDavid Greenman 160392dc7331SDavid Greenman /* 1604dfdcada3SDoug Rabson * Cancel an async lock request. 1605dfdcada3SDoug Rabson */ 1606dfdcada3SDoug Rabson static int 1607dfdcada3SDoug Rabson lf_cancel(struct lockf *state, struct lockf_entry *lock, void *cookie) 1608dfdcada3SDoug Rabson { 1609dfdcada3SDoug Rabson struct lockf_entry *reallock; 1610dfdcada3SDoug Rabson 1611dfdcada3SDoug Rabson /* 1612dfdcada3SDoug Rabson * We need to match this request with an existing lock 1613dfdcada3SDoug Rabson * request. 1614dfdcada3SDoug Rabson */ 1615dfdcada3SDoug Rabson LIST_FOREACH(reallock, &state->ls_pending, lf_link) { 1616dfdcada3SDoug Rabson if ((void *) reallock == cookie) { 1617dfdcada3SDoug Rabson /* 1618dfdcada3SDoug Rabson * Double-check that this lock looks right 1619dfdcada3SDoug Rabson * (maybe use a rolling ID for the cancel 1620dfdcada3SDoug Rabson * cookie instead?) 1621dfdcada3SDoug Rabson */ 1622dfdcada3SDoug Rabson if (!(reallock->lf_vnode == lock->lf_vnode 1623dfdcada3SDoug Rabson && reallock->lf_start == lock->lf_start 1624dfdcada3SDoug Rabson && reallock->lf_end == lock->lf_end)) { 1625dfdcada3SDoug Rabson return (ENOENT); 1626dfdcada3SDoug Rabson } 1627dfdcada3SDoug Rabson 1628dfdcada3SDoug Rabson /* 1629dfdcada3SDoug Rabson * Make sure this lock was async and then just 1630dfdcada3SDoug Rabson * remove it from its wait lists. 1631dfdcada3SDoug Rabson */ 1632dfdcada3SDoug Rabson if (!reallock->lf_async_task) { 1633dfdcada3SDoug Rabson return (ENOENT); 1634dfdcada3SDoug Rabson } 1635dfdcada3SDoug Rabson 1636dfdcada3SDoug Rabson /* 1637dfdcada3SDoug Rabson * Note that since any other thread must take 1638dfdcada3SDoug Rabson * state->ls_lock before it can possibly 1639dfdcada3SDoug Rabson * trigger the async callback, we are safe 1640dfdcada3SDoug Rabson * from a race with lf_wakeup_lock, i.e. we 1641dfdcada3SDoug Rabson * can free the lock (actually our caller does 1642dfdcada3SDoug Rabson * this). 1643dfdcada3SDoug Rabson */ 1644dfdcada3SDoug Rabson lf_cancel_lock(state, reallock); 1645dfdcada3SDoug Rabson return (0); 1646dfdcada3SDoug Rabson } 1647dfdcada3SDoug Rabson } 1648dfdcada3SDoug Rabson 1649dfdcada3SDoug Rabson /* 1650dfdcada3SDoug Rabson * We didn't find a matching lock - not much we can do here. 1651dfdcada3SDoug Rabson */ 1652dfdcada3SDoug Rabson return (ENOENT); 1653dfdcada3SDoug Rabson } 1654dfdcada3SDoug Rabson 1655dfdcada3SDoug Rabson /* 165692dc7331SDavid Greenman * Walk the list of locks for an inode and 165792dc7331SDavid Greenman * return the first blocking lock. 165892dc7331SDavid Greenman */ 1659dfdcada3SDoug Rabson static struct lockf_entry * 1660dfdcada3SDoug Rabson lf_getblock(struct lockf *state, struct lockf_entry *lock) 166192dc7331SDavid Greenman { 1662dfdcada3SDoug Rabson struct lockf_entry *overlap; 166392dc7331SDavid Greenman 1664dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 166592dc7331SDavid Greenman /* 1666dfdcada3SDoug Rabson * We may assume that the active list is sorted by 1667dfdcada3SDoug Rabson * lf_start. 166892dc7331SDavid Greenman */ 1669dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1670dfdcada3SDoug Rabson break; 1671dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1672dfdcada3SDoug Rabson continue; 167392dc7331SDavid Greenman return (overlap); 167492dc7331SDavid Greenman } 167592dc7331SDavid Greenman return (NOLOCKF); 167692dc7331SDavid Greenman } 167792dc7331SDavid Greenman 167892dc7331SDavid Greenman /* 1679dfdcada3SDoug Rabson * Walk the list of locks for an inode to find an overlapping lock (if 1680dfdcada3SDoug Rabson * any) and return a classification of that overlap. 1681dfdcada3SDoug Rabson * 1682dfdcada3SDoug Rabson * Arguments: 1683dfdcada3SDoug Rabson * *overlap The place in the lock list to start looking 1684dfdcada3SDoug Rabson * lock The lock which is being tested 1685dfdcada3SDoug Rabson * type Pass 'SELF' to test only locks with the same 1686dfdcada3SDoug Rabson * owner as lock, or 'OTHER' to test only locks 1687dfdcada3SDoug Rabson * with a different owner 1688dfdcada3SDoug Rabson * 1689dfdcada3SDoug Rabson * Returns one of six values: 1690dfdcada3SDoug Rabson * 0) no overlap 1691dfdcada3SDoug Rabson * 1) overlap == lock 1692dfdcada3SDoug Rabson * 2) overlap contains lock 1693dfdcada3SDoug Rabson * 3) lock contains overlap 1694dfdcada3SDoug Rabson * 4) overlap starts before lock 1695dfdcada3SDoug Rabson * 5) overlap ends after lock 1696dfdcada3SDoug Rabson * 1697dfdcada3SDoug Rabson * If there is an overlapping lock, '*overlap' is set to point at the 1698dfdcada3SDoug Rabson * overlapping lock. 169992dc7331SDavid Greenman * 170092dc7331SDavid Greenman * NOTE: this returns only the FIRST overlapping lock. There 170192dc7331SDavid Greenman * may be more than one. 170292dc7331SDavid Greenman */ 170387b6de2bSPoul-Henning Kamp static int 1704dfdcada3SDoug Rabson lf_findoverlap(struct lockf_entry **overlap, struct lockf_entry *lock, int type) 170592dc7331SDavid Greenman { 1706dfdcada3SDoug Rabson struct lockf_entry *lf; 170792dc7331SDavid Greenman off_t start, end; 1708dfdcada3SDoug Rabson int res; 170992dc7331SDavid Greenman 1710dfdcada3SDoug Rabson if ((*overlap) == NOLOCKF) { 171192dc7331SDavid Greenman return (0); 1712dfdcada3SDoug Rabson } 171392dc7331SDavid Greenman #ifdef LOCKF_DEBUG 171492dc7331SDavid Greenman if (lockf_debug & 2) 171592dc7331SDavid Greenman lf_print("lf_findoverlap: looking for overlap in", lock); 171692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 171792dc7331SDavid Greenman start = lock->lf_start; 171892dc7331SDavid Greenman end = lock->lf_end; 1719dfdcada3SDoug Rabson res = 0; 1720dfdcada3SDoug Rabson while (*overlap) { 1721dfdcada3SDoug Rabson lf = *overlap; 1722dfdcada3SDoug Rabson if (lf->lf_start > end) 1723dfdcada3SDoug Rabson break; 1724dfdcada3SDoug Rabson if (((type & SELF) && lf->lf_owner != lock->lf_owner) || 1725dfdcada3SDoug Rabson ((type & OTHERS) && lf->lf_owner == lock->lf_owner)) { 1726dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 172792dc7331SDavid Greenman continue; 172892dc7331SDavid Greenman } 172992dc7331SDavid Greenman #ifdef LOCKF_DEBUG 173092dc7331SDavid Greenman if (lockf_debug & 2) 173192dc7331SDavid Greenman lf_print("\tchecking", lf); 173292dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 173392dc7331SDavid Greenman /* 173492dc7331SDavid Greenman * OK, check for overlap 173592dc7331SDavid Greenman * 173692dc7331SDavid Greenman * Six cases: 173792dc7331SDavid Greenman * 0) no overlap 173892dc7331SDavid Greenman * 1) overlap == lock 173992dc7331SDavid Greenman * 2) overlap contains lock 174092dc7331SDavid Greenman * 3) lock contains overlap 174192dc7331SDavid Greenman * 4) overlap starts before lock 174292dc7331SDavid Greenman * 5) overlap ends after lock 174392dc7331SDavid Greenman */ 1744dfdcada3SDoug Rabson if (start > lf->lf_end) { 174592dc7331SDavid Greenman /* Case 0 */ 174692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 174792dc7331SDavid Greenman if (lockf_debug & 2) 174892dc7331SDavid Greenman printf("no overlap\n"); 174992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1750dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 175192dc7331SDavid Greenman continue; 175292dc7331SDavid Greenman } 1753dfdcada3SDoug Rabson if (lf->lf_start == start && lf->lf_end == end) { 175492dc7331SDavid Greenman /* Case 1 */ 175592dc7331SDavid Greenman #ifdef LOCKF_DEBUG 175692dc7331SDavid Greenman if (lockf_debug & 2) 175792dc7331SDavid Greenman printf("overlap == lock\n"); 175892dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1759dfdcada3SDoug Rabson res = 1; 1760dfdcada3SDoug Rabson break; 176192dc7331SDavid Greenman } 1762dfdcada3SDoug Rabson if (lf->lf_start <= start && lf->lf_end >= end) { 176392dc7331SDavid Greenman /* Case 2 */ 176492dc7331SDavid Greenman #ifdef LOCKF_DEBUG 176592dc7331SDavid Greenman if (lockf_debug & 2) 176692dc7331SDavid Greenman printf("overlap contains lock\n"); 176792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1768dfdcada3SDoug Rabson res = 2; 1769dfdcada3SDoug Rabson break; 177092dc7331SDavid Greenman } 1771dfdcada3SDoug Rabson if (start <= lf->lf_start && end >= lf->lf_end) { 177292dc7331SDavid Greenman /* Case 3 */ 177392dc7331SDavid Greenman #ifdef LOCKF_DEBUG 177492dc7331SDavid Greenman if (lockf_debug & 2) 177592dc7331SDavid Greenman printf("lock contains overlap\n"); 177692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1777dfdcada3SDoug Rabson res = 3; 1778dfdcada3SDoug Rabson break; 177992dc7331SDavid Greenman } 1780dfdcada3SDoug Rabson if (lf->lf_start < start && lf->lf_end >= start) { 178192dc7331SDavid Greenman /* Case 4 */ 178292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 178392dc7331SDavid Greenman if (lockf_debug & 2) 178492dc7331SDavid Greenman printf("overlap starts before lock\n"); 178592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1786dfdcada3SDoug Rabson res = 4; 1787dfdcada3SDoug Rabson break; 178892dc7331SDavid Greenman } 1789dfdcada3SDoug Rabson if (lf->lf_start > start && lf->lf_end > end) { 179092dc7331SDavid Greenman /* Case 5 */ 179192dc7331SDavid Greenman #ifdef LOCKF_DEBUG 179292dc7331SDavid Greenman if (lockf_debug & 2) 179392dc7331SDavid Greenman printf("overlap ends after lock\n"); 179492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1795dfdcada3SDoug Rabson res = 5; 1796dfdcada3SDoug Rabson break; 179792dc7331SDavid Greenman } 179892dc7331SDavid Greenman panic("lf_findoverlap: default"); 179992dc7331SDavid Greenman } 1800dfdcada3SDoug Rabson return (res); 180192dc7331SDavid Greenman } 180292dc7331SDavid Greenman 180392dc7331SDavid Greenman /* 1804dfdcada3SDoug Rabson * Split an the existing 'lock1', based on the extent of the lock 1805dfdcada3SDoug Rabson * described by 'lock2'. The existing lock should cover 'lock2' 1806dfdcada3SDoug Rabson * entirely. 1807dfdcada3SDoug Rabson * 1808dfdcada3SDoug Rabson * Any pending locks which have been been unblocked are added to 1809dfdcada3SDoug Rabson * 'granted' 181092dc7331SDavid Greenman */ 181187b6de2bSPoul-Henning Kamp static void 1812dfdcada3SDoug Rabson lf_split(struct lockf *state, struct lockf_entry *lock1, 1813dfdcada3SDoug Rabson struct lockf_entry *lock2, struct lockf_entry_list *granted) 181492dc7331SDavid Greenman { 1815dfdcada3SDoug Rabson struct lockf_entry *splitlock; 181692dc7331SDavid Greenman 181792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 181892dc7331SDavid Greenman if (lockf_debug & 2) { 181992dc7331SDavid Greenman lf_print("lf_split", lock1); 182092dc7331SDavid Greenman lf_print("splitting from", lock2); 182192dc7331SDavid Greenman } 182292dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 182392dc7331SDavid Greenman /* 1824dfdcada3SDoug Rabson * Check to see if we don't need to split at all. 182592dc7331SDavid Greenman */ 182692dc7331SDavid Greenman if (lock1->lf_start == lock2->lf_start) { 1827dfdcada3SDoug Rabson lf_set_start(state, lock1, lock2->lf_end + 1, granted); 182892dc7331SDavid Greenman return; 182992dc7331SDavid Greenman } 183092dc7331SDavid Greenman if (lock1->lf_end == lock2->lf_end) { 1831dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 183292dc7331SDavid Greenman return; 183392dc7331SDavid Greenman } 183492dc7331SDavid Greenman /* 183592dc7331SDavid Greenman * Make a new lock consisting of the last part of 1836dfdcada3SDoug Rabson * the encompassing lock. 183792dc7331SDavid Greenman */ 1838dfdcada3SDoug Rabson splitlock = lf_alloc_lock(lock1->lf_owner); 1839dfdcada3SDoug Rabson memcpy(splitlock, lock1, sizeof *splitlock); 18408af54d4cSKonstantin Belousov splitlock->lf_refs = 1; 1841dfdcada3SDoug Rabson if (splitlock->lf_flags & F_REMOTE) 1842dfdcada3SDoug Rabson vref(splitlock->lf_vnode); 1843dfdcada3SDoug Rabson 1844dfdcada3SDoug Rabson /* 1845dfdcada3SDoug Rabson * This cannot cause a deadlock since any edges we would add 1846dfdcada3SDoug Rabson * to splitlock already exist in lock1. We must be sure to add 1847e3043798SPedro F. Giffuni * necessary dependencies to splitlock before we reduce lock1 1848dfdcada3SDoug Rabson * otherwise we may accidentally grant a pending lock that 1849dfdcada3SDoug Rabson * was blocked by the tail end of lock1. 1850dfdcada3SDoug Rabson */ 185192dc7331SDavid Greenman splitlock->lf_start = lock2->lf_end + 1; 1852dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_outedges); 1853dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_inedges); 1854dfdcada3SDoug Rabson lf_add_incoming(state, splitlock); 1855dfdcada3SDoug Rabson 1856dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1857dfdcada3SDoug Rabson 185892dc7331SDavid Greenman /* 185992dc7331SDavid Greenman * OK, now link it in 186092dc7331SDavid Greenman */ 1861dfdcada3SDoug Rabson lf_insert_lock(state, splitlock); 1862dfdcada3SDoug Rabson } 1863dfdcada3SDoug Rabson 1864c675522fSDoug Rabson struct lockdesc { 1865c675522fSDoug Rabson STAILQ_ENTRY(lockdesc) link; 1866dfdcada3SDoug Rabson struct vnode *vp; 1867dfdcada3SDoug Rabson struct flock fl; 1868dfdcada3SDoug Rabson }; 1869c675522fSDoug Rabson STAILQ_HEAD(lockdesclist, lockdesc); 1870dfdcada3SDoug Rabson 1871c675522fSDoug Rabson int 1872c675522fSDoug Rabson lf_iteratelocks_sysid(int sysid, lf_iterator *fn, void *arg) 1873dfdcada3SDoug Rabson { 1874dfdcada3SDoug Rabson struct lockf *ls; 1875dfdcada3SDoug Rabson struct lockf_entry *lf; 1876c675522fSDoug Rabson struct lockdesc *ldesc; 1877c675522fSDoug Rabson struct lockdesclist locks; 1878c675522fSDoug Rabson int error; 1879dfdcada3SDoug Rabson 1880dfdcada3SDoug Rabson /* 1881dfdcada3SDoug Rabson * In order to keep the locking simple, we iterate over the 1882dfdcada3SDoug Rabson * active lock lists to build a list of locks that need 1883c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1884dfdcada3SDoug Rabson * 1885dfdcada3SDoug Rabson * We take an extra reference to the vnode for the duration to 1886dfdcada3SDoug Rabson * make sure it doesn't go away before we are finished. 1887dfdcada3SDoug Rabson */ 1888dfdcada3SDoug Rabson STAILQ_INIT(&locks); 1889dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 1890dfdcada3SDoug Rabson LIST_FOREACH(ls, &lf_lock_states, ls_link) { 1891dfdcada3SDoug Rabson sx_xlock(&ls->ls_lock); 1892dfdcada3SDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1893dfdcada3SDoug Rabson if (lf->lf_owner->lo_sysid != sysid) 1894dfdcada3SDoug Rabson continue; 1895dfdcada3SDoug Rabson 1896c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1897dfdcada3SDoug Rabson M_WAITOK); 1898c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1899c675522fSDoug Rabson vref(ldesc->vp); 1900c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1901dfdcada3SDoug Rabson if (lf->lf_end == OFF_MAX) 1902c675522fSDoug Rabson ldesc->fl.l_len = 0; 1903dfdcada3SDoug Rabson else 1904c675522fSDoug Rabson ldesc->fl.l_len = 1905dfdcada3SDoug Rabson lf->lf_end - lf->lf_start + 1; 1906c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1907c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1908c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1909c675522fSDoug Rabson ldesc->fl.l_sysid = sysid; 1910c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1911dfdcada3SDoug Rabson } 1912dfdcada3SDoug Rabson sx_xunlock(&ls->ls_lock); 1913dfdcada3SDoug Rabson } 1914dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 1915dfdcada3SDoug Rabson 1916c675522fSDoug Rabson /* 1917c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1918c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1919c675522fSDoug Rabson * lockdesc structures. 1920c675522fSDoug Rabson */ 1921c675522fSDoug Rabson error = 0; 1922c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1923dfdcada3SDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1924c675522fSDoug Rabson if (!error) 1925c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1926c675522fSDoug Rabson vrele(ldesc->vp); 1927c675522fSDoug Rabson free(ldesc, M_LOCKF); 1928dfdcada3SDoug Rabson } 1929c675522fSDoug Rabson 1930c675522fSDoug Rabson return (error); 1931c675522fSDoug Rabson } 1932c675522fSDoug Rabson 1933c675522fSDoug Rabson int 1934c675522fSDoug Rabson lf_iteratelocks_vnode(struct vnode *vp, lf_iterator *fn, void *arg) 1935c675522fSDoug Rabson { 1936c675522fSDoug Rabson struct lockf *ls; 1937c675522fSDoug Rabson struct lockf_entry *lf; 1938c675522fSDoug Rabson struct lockdesc *ldesc; 1939c675522fSDoug Rabson struct lockdesclist locks; 1940c675522fSDoug Rabson int error; 1941c675522fSDoug Rabson 1942c675522fSDoug Rabson /* 1943c675522fSDoug Rabson * In order to keep the locking simple, we iterate over the 1944c675522fSDoug Rabson * active lock lists to build a list of locks that need 1945c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1946c675522fSDoug Rabson * 1947c675522fSDoug Rabson * We take an extra reference to the vnode for the duration to 1948c675522fSDoug Rabson * make sure it doesn't go away before we are finished. 1949c675522fSDoug Rabson */ 1950c675522fSDoug Rabson STAILQ_INIT(&locks); 195128fe6a3fSKonstantin Belousov VI_LOCK(vp); 1952c675522fSDoug Rabson ls = vp->v_lockf; 195328fe6a3fSKonstantin Belousov if (!ls) { 195428fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1955c675522fSDoug Rabson return (0); 195628fe6a3fSKonstantin Belousov } 195728fe6a3fSKonstantin Belousov ls->ls_threads++; 195828fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1959c675522fSDoug Rabson 1960c675522fSDoug Rabson sx_xlock(&ls->ls_lock); 1961c675522fSDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1962c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1963c675522fSDoug Rabson M_WAITOK); 1964c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1965c675522fSDoug Rabson vref(ldesc->vp); 1966c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1967c675522fSDoug Rabson if (lf->lf_end == OFF_MAX) 1968c675522fSDoug Rabson ldesc->fl.l_len = 0; 1969c675522fSDoug Rabson else 1970c675522fSDoug Rabson ldesc->fl.l_len = 1971c675522fSDoug Rabson lf->lf_end - lf->lf_start + 1; 1972c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1973c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1974c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1975c675522fSDoug Rabson ldesc->fl.l_sysid = lf->lf_owner->lo_sysid; 1976c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1977c675522fSDoug Rabson } 1978c675522fSDoug Rabson sx_xunlock(&ls->ls_lock); 197928fe6a3fSKonstantin Belousov VI_LOCK(vp); 198028fe6a3fSKonstantin Belousov ls->ls_threads--; 198128fe6a3fSKonstantin Belousov wakeup(ls); 198228fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1983c675522fSDoug Rabson 1984c675522fSDoug Rabson /* 1985c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1986c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1987c675522fSDoug Rabson * lockdesc structures. 1988c675522fSDoug Rabson */ 1989c675522fSDoug Rabson error = 0; 1990c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1991c675522fSDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1992c675522fSDoug Rabson if (!error) 1993c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1994c675522fSDoug Rabson vrele(ldesc->vp); 1995c675522fSDoug Rabson free(ldesc, M_LOCKF); 1996c675522fSDoug Rabson } 1997c675522fSDoug Rabson 1998c675522fSDoug Rabson return (error); 1999c675522fSDoug Rabson } 2000c675522fSDoug Rabson 2001c675522fSDoug Rabson static int 2002c675522fSDoug Rabson lf_clearremotesys_iterator(struct vnode *vp, struct flock *fl, void *arg) 2003c675522fSDoug Rabson { 2004c675522fSDoug Rabson 2005c675522fSDoug Rabson VOP_ADVLOCK(vp, 0, F_UNLCK, fl, F_REMOTE); 2006c675522fSDoug Rabson return (0); 2007c675522fSDoug Rabson } 2008c675522fSDoug Rabson 2009c675522fSDoug Rabson void 2010c675522fSDoug Rabson lf_clearremotesys(int sysid) 2011c675522fSDoug Rabson { 2012c675522fSDoug Rabson 2013c675522fSDoug Rabson KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS")); 2014c675522fSDoug Rabson lf_iteratelocks_sysid(sysid, lf_clearremotesys_iterator, NULL); 2015dfdcada3SDoug Rabson } 2016dfdcada3SDoug Rabson 2017dfdcada3SDoug Rabson int 2018dfdcada3SDoug Rabson lf_countlocks(int sysid) 2019dfdcada3SDoug Rabson { 2020dfdcada3SDoug Rabson int i; 2021dfdcada3SDoug Rabson struct lock_owner *lo; 2022dfdcada3SDoug Rabson int count; 2023dfdcada3SDoug Rabson 2024dfdcada3SDoug Rabson count = 0; 2025833dc05aSMateusz Guzik for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) { 2026833dc05aSMateusz Guzik sx_xlock(&lf_lock_owners[i].lock); 2027833dc05aSMateusz Guzik LIST_FOREACH(lo, &lf_lock_owners[i].list, lo_link) 2028dfdcada3SDoug Rabson if (lo->lo_sysid == sysid) 2029dfdcada3SDoug Rabson count += lo->lo_refs; 2030833dc05aSMateusz Guzik sx_xunlock(&lf_lock_owners[i].lock); 2031833dc05aSMateusz Guzik } 2032dfdcada3SDoug Rabson 2033dfdcada3SDoug Rabson return (count); 2034dfdcada3SDoug Rabson } 2035dfdcada3SDoug Rabson 2036dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2037dfdcada3SDoug Rabson 2038dfdcada3SDoug Rabson /* 2039dfdcada3SDoug Rabson * Return non-zero if y is reachable from x using a brute force 2040dfdcada3SDoug Rabson * search. If reachable and path is non-null, return the route taken 2041dfdcada3SDoug Rabson * in path. 2042dfdcada3SDoug Rabson */ 2043dfdcada3SDoug Rabson static int 2044dfdcada3SDoug Rabson graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 2045dfdcada3SDoug Rabson struct owner_vertex_list *path) 2046dfdcada3SDoug Rabson { 2047dfdcada3SDoug Rabson struct owner_edge *e; 2048dfdcada3SDoug Rabson 2049dfdcada3SDoug Rabson if (x == y) { 2050dfdcada3SDoug Rabson if (path) 2051dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2052dfdcada3SDoug Rabson return 1; 2053dfdcada3SDoug Rabson } 2054dfdcada3SDoug Rabson 2055dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2056dfdcada3SDoug Rabson if (graph_reaches(e->e_to, y, path)) { 2057dfdcada3SDoug Rabson if (path) 2058dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2059dfdcada3SDoug Rabson return 1; 2060dfdcada3SDoug Rabson } 2061dfdcada3SDoug Rabson } 2062dfdcada3SDoug Rabson return 0; 206392dc7331SDavid Greenman } 206492dc7331SDavid Greenman 206592dc7331SDavid Greenman /* 2066dfdcada3SDoug Rabson * Perform consistency checks on the graph. Make sure the values of 2067dfdcada3SDoug Rabson * v_order are correct. If checkorder is non-zero, check no vertex can 2068dfdcada3SDoug Rabson * reach any other vertex with a smaller order. 206992dc7331SDavid Greenman */ 207087b6de2bSPoul-Henning Kamp static void 2071dfdcada3SDoug Rabson graph_check(struct owner_graph *g, int checkorder) 207292dc7331SDavid Greenman { 2073dfdcada3SDoug Rabson int i, j; 207492dc7331SDavid Greenman 2075dfdcada3SDoug Rabson for (i = 0; i < g->g_size; i++) { 2076dfdcada3SDoug Rabson if (!g->g_vertices[i]->v_owner) 2077dfdcada3SDoug Rabson continue; 2078dfdcada3SDoug Rabson KASSERT(g->g_vertices[i]->v_order == i, 2079dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2080dfdcada3SDoug Rabson if (checkorder) { 2081dfdcada3SDoug Rabson for (j = 0; j < i; j++) { 2082dfdcada3SDoug Rabson if (!g->g_vertices[j]->v_owner) 2083dfdcada3SDoug Rabson continue; 2084dfdcada3SDoug Rabson KASSERT(!graph_reaches(g->g_vertices[i], 2085dfdcada3SDoug Rabson g->g_vertices[j], NULL), 2086dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2087dfdcada3SDoug Rabson } 2088dfdcada3SDoug Rabson } 2089dfdcada3SDoug Rabson } 2090dfdcada3SDoug Rabson } 2091dfdcada3SDoug Rabson 2092dfdcada3SDoug Rabson static void 2093dfdcada3SDoug Rabson graph_print_vertices(struct owner_vertex_list *set) 2094dfdcada3SDoug Rabson { 2095dfdcada3SDoug Rabson struct owner_vertex *v; 2096dfdcada3SDoug Rabson 2097dfdcada3SDoug Rabson printf("{ "); 2098dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2099dfdcada3SDoug Rabson printf("%d:", v->v_order); 2100dfdcada3SDoug Rabson lf_print_owner(v->v_owner); 2101dfdcada3SDoug Rabson if (TAILQ_NEXT(v, v_link)) 2102dfdcada3SDoug Rabson printf(", "); 2103dfdcada3SDoug Rabson } 2104dfdcada3SDoug Rabson printf(" }\n"); 2105dfdcada3SDoug Rabson } 2106dfdcada3SDoug Rabson 2107dfdcada3SDoug Rabson #endif 2108dfdcada3SDoug Rabson 2109dfdcada3SDoug Rabson /* 2110dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2111dfdcada3SDoug Rabson * where v is reachable from y. Return -1 if a loop was detected 2112dfdcada3SDoug Rabson * (i.e. x is reachable from y, otherwise the number of vertices in 2113dfdcada3SDoug Rabson * this subset. 2114dfdcada3SDoug Rabson */ 2115dfdcada3SDoug Rabson static int 2116dfdcada3SDoug Rabson graph_delta_forward(struct owner_graph *g, struct owner_vertex *x, 2117dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2118dfdcada3SDoug Rabson { 2119dfdcada3SDoug Rabson uint32_t gen; 2120dfdcada3SDoug Rabson struct owner_vertex *v; 2121dfdcada3SDoug Rabson struct owner_edge *e; 2122dfdcada3SDoug Rabson int n; 2123dfdcada3SDoug Rabson 2124dfdcada3SDoug Rabson /* 2125dfdcada3SDoug Rabson * We start with a set containing just y. Then for each vertex 2126dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2127dfdcada3SDoug Rabson * has an out-edge to and that is within the affected region 2128dfdcada3SDoug Rabson * [y..x]. If we see the vertex x on our travels, stop 2129dfdcada3SDoug Rabson * immediately. 2130dfdcada3SDoug Rabson */ 2131dfdcada3SDoug Rabson TAILQ_INIT(delta); 2132dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, y, v_link); 2133dfdcada3SDoug Rabson v = y; 2134dfdcada3SDoug Rabson n = 1; 2135dfdcada3SDoug Rabson gen = g->g_gen; 2136dfdcada3SDoug Rabson while (v) { 2137dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_outedges, e_outlink) { 2138dfdcada3SDoug Rabson if (e->e_to == x) 2139dfdcada3SDoug Rabson return -1; 2140dfdcada3SDoug Rabson if (e->e_to->v_order < x->v_order 2141dfdcada3SDoug Rabson && e->e_to->v_gen != gen) { 2142dfdcada3SDoug Rabson e->e_to->v_gen = gen; 2143dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, e->e_to, v_link); 2144dfdcada3SDoug Rabson n++; 2145dfdcada3SDoug Rabson } 2146dfdcada3SDoug Rabson } 2147dfdcada3SDoug Rabson v = TAILQ_NEXT(v, v_link); 2148dfdcada3SDoug Rabson } 2149dfdcada3SDoug Rabson 2150dfdcada3SDoug Rabson return (n); 2151dfdcada3SDoug Rabson } 2152dfdcada3SDoug Rabson 2153dfdcada3SDoug Rabson /* 2154dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2155dfdcada3SDoug Rabson * where v reaches x. Return the number of vertices in this subset. 2156dfdcada3SDoug Rabson */ 2157dfdcada3SDoug Rabson static int 2158dfdcada3SDoug Rabson graph_delta_backward(struct owner_graph *g, struct owner_vertex *x, 2159dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2160dfdcada3SDoug Rabson { 2161dfdcada3SDoug Rabson uint32_t gen; 2162dfdcada3SDoug Rabson struct owner_vertex *v; 2163dfdcada3SDoug Rabson struct owner_edge *e; 2164dfdcada3SDoug Rabson int n; 2165dfdcada3SDoug Rabson 2166dfdcada3SDoug Rabson /* 2167dfdcada3SDoug Rabson * We start with a set containing just x. Then for each vertex 2168dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2169dfdcada3SDoug Rabson * has an in-edge from and that is within the affected region 2170dfdcada3SDoug Rabson * [y..x]. 2171dfdcada3SDoug Rabson */ 2172dfdcada3SDoug Rabson TAILQ_INIT(delta); 2173dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, x, v_link); 2174dfdcada3SDoug Rabson v = x; 2175dfdcada3SDoug Rabson n = 1; 2176dfdcada3SDoug Rabson gen = g->g_gen; 2177dfdcada3SDoug Rabson while (v) { 2178dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_inedges, e_inlink) { 2179dfdcada3SDoug Rabson if (e->e_from->v_order > y->v_order 2180dfdcada3SDoug Rabson && e->e_from->v_gen != gen) { 2181dfdcada3SDoug Rabson e->e_from->v_gen = gen; 2182dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(delta, e->e_from, v_link); 2183dfdcada3SDoug Rabson n++; 2184dfdcada3SDoug Rabson } 2185dfdcada3SDoug Rabson } 2186dfdcada3SDoug Rabson v = TAILQ_PREV(v, owner_vertex_list, v_link); 2187dfdcada3SDoug Rabson } 2188dfdcada3SDoug Rabson 2189dfdcada3SDoug Rabson return (n); 2190dfdcada3SDoug Rabson } 2191dfdcada3SDoug Rabson 2192dfdcada3SDoug Rabson static int 2193dfdcada3SDoug Rabson graph_add_indices(int *indices, int n, struct owner_vertex_list *set) 2194dfdcada3SDoug Rabson { 2195dfdcada3SDoug Rabson struct owner_vertex *v; 2196dfdcada3SDoug Rabson int i, j; 2197dfdcada3SDoug Rabson 2198dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2199dfdcada3SDoug Rabson for (i = n; 2200dfdcada3SDoug Rabson i > 0 && indices[i - 1] > v->v_order; i--) 2201dfdcada3SDoug Rabson ; 2202dfdcada3SDoug Rabson for (j = n - 1; j >= i; j--) 2203dfdcada3SDoug Rabson indices[j + 1] = indices[j]; 2204dfdcada3SDoug Rabson indices[i] = v->v_order; 2205dfdcada3SDoug Rabson n++; 2206dfdcada3SDoug Rabson } 2207dfdcada3SDoug Rabson 2208dfdcada3SDoug Rabson return (n); 2209dfdcada3SDoug Rabson } 2210dfdcada3SDoug Rabson 2211dfdcada3SDoug Rabson static int 2212dfdcada3SDoug Rabson graph_assign_indices(struct owner_graph *g, int *indices, int nextunused, 2213dfdcada3SDoug Rabson struct owner_vertex_list *set) 2214dfdcada3SDoug Rabson { 2215dfdcada3SDoug Rabson struct owner_vertex *v, *vlowest; 2216dfdcada3SDoug Rabson 2217dfdcada3SDoug Rabson while (!TAILQ_EMPTY(set)) { 2218dfdcada3SDoug Rabson vlowest = NULL; 2219dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2220dfdcada3SDoug Rabson if (!vlowest || v->v_order < vlowest->v_order) 2221dfdcada3SDoug Rabson vlowest = v; 2222dfdcada3SDoug Rabson } 2223dfdcada3SDoug Rabson TAILQ_REMOVE(set, vlowest, v_link); 2224dfdcada3SDoug Rabson vlowest->v_order = indices[nextunused]; 2225dfdcada3SDoug Rabson g->g_vertices[vlowest->v_order] = vlowest; 2226dfdcada3SDoug Rabson nextunused++; 2227dfdcada3SDoug Rabson } 2228dfdcada3SDoug Rabson 2229dfdcada3SDoug Rabson return (nextunused); 2230dfdcada3SDoug Rabson } 2231dfdcada3SDoug Rabson 2232dfdcada3SDoug Rabson static int 2233dfdcada3SDoug Rabson graph_add_edge(struct owner_graph *g, struct owner_vertex *x, 2234dfdcada3SDoug Rabson struct owner_vertex *y) 2235dfdcada3SDoug Rabson { 2236dfdcada3SDoug Rabson struct owner_edge *e; 2237dfdcada3SDoug Rabson struct owner_vertex_list deltaF, deltaB; 2238788390dfSMatt Macy int nF, n, vi, i; 2239dfdcada3SDoug Rabson int *indices; 2240788390dfSMatt Macy int nB __unused; 2241dfdcada3SDoug Rabson 2242dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2243dfdcada3SDoug Rabson 2244dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2245dfdcada3SDoug Rabson if (e->e_to == y) { 2246dfdcada3SDoug Rabson e->e_refs++; 2247dfdcada3SDoug Rabson return (0); 224892dc7331SDavid Greenman } 224992dc7331SDavid Greenman } 225092dc7331SDavid Greenman 225192dc7331SDavid Greenman #ifdef LOCKF_DEBUG 2252dfdcada3SDoug Rabson if (lockf_debug & 8) { 2253dfdcada3SDoug Rabson printf("adding edge %d:", x->v_order); 2254dfdcada3SDoug Rabson lf_print_owner(x->v_owner); 2255dfdcada3SDoug Rabson printf(" -> %d:", y->v_order); 2256dfdcada3SDoug Rabson lf_print_owner(y->v_owner); 2257dfdcada3SDoug Rabson printf("\n"); 2258dfdcada3SDoug Rabson } 2259dfdcada3SDoug Rabson #endif 2260dfdcada3SDoug Rabson if (y->v_order < x->v_order) { 2261dfdcada3SDoug Rabson /* 2262dfdcada3SDoug Rabson * The new edge violates the order. First find the set 2263dfdcada3SDoug Rabson * of affected vertices reachable from y (deltaF) and 2264dfdcada3SDoug Rabson * the set of affect vertices affected that reach x 2265dfdcada3SDoug Rabson * (deltaB), using the graph generation number to 2266dfdcada3SDoug Rabson * detect whether we have visited a given vertex 2267dfdcada3SDoug Rabson * already. We re-order the graph so that each vertex 2268dfdcada3SDoug Rabson * in deltaB appears before each vertex in deltaF. 2269dfdcada3SDoug Rabson * 2270dfdcada3SDoug Rabson * If x is a member of deltaF, then the new edge would 2271dfdcada3SDoug Rabson * create a cycle. Otherwise, we may assume that 2272dfdcada3SDoug Rabson * deltaF and deltaB are disjoint. 2273dfdcada3SDoug Rabson */ 2274dfdcada3SDoug Rabson g->g_gen++; 2275dfdcada3SDoug Rabson if (g->g_gen == 0) { 2276dfdcada3SDoug Rabson /* 2277dfdcada3SDoug Rabson * Generation wrap. 2278dfdcada3SDoug Rabson */ 2279dfdcada3SDoug Rabson for (vi = 0; vi < g->g_size; vi++) { 2280dfdcada3SDoug Rabson g->g_vertices[vi]->v_gen = 0; 2281dfdcada3SDoug Rabson } 2282dfdcada3SDoug Rabson g->g_gen++; 2283dfdcada3SDoug Rabson } 2284dfdcada3SDoug Rabson nF = graph_delta_forward(g, x, y, &deltaF); 2285dfdcada3SDoug Rabson if (nF < 0) { 2286dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2287dfdcada3SDoug Rabson if (lockf_debug & 8) { 2288dfdcada3SDoug Rabson struct owner_vertex_list path; 2289dfdcada3SDoug Rabson printf("deadlock: "); 2290dfdcada3SDoug Rabson TAILQ_INIT(&path); 2291dfdcada3SDoug Rabson graph_reaches(y, x, &path); 2292dfdcada3SDoug Rabson graph_print_vertices(&path); 2293dfdcada3SDoug Rabson } 2294dfdcada3SDoug Rabson #endif 2295dfdcada3SDoug Rabson return (EDEADLK); 2296dfdcada3SDoug Rabson } 2297dfdcada3SDoug Rabson 2298dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2299dfdcada3SDoug Rabson if (lockf_debug & 8) { 2300dfdcada3SDoug Rabson printf("re-ordering graph vertices\n"); 2301dfdcada3SDoug Rabson printf("deltaF = "); 2302dfdcada3SDoug Rabson graph_print_vertices(&deltaF); 2303dfdcada3SDoug Rabson } 2304dfdcada3SDoug Rabson #endif 2305dfdcada3SDoug Rabson 2306dfdcada3SDoug Rabson nB = graph_delta_backward(g, x, y, &deltaB); 2307dfdcada3SDoug Rabson 2308dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2309dfdcada3SDoug Rabson if (lockf_debug & 8) { 2310dfdcada3SDoug Rabson printf("deltaB = "); 2311dfdcada3SDoug Rabson graph_print_vertices(&deltaB); 2312dfdcada3SDoug Rabson } 2313dfdcada3SDoug Rabson #endif 2314dfdcada3SDoug Rabson 2315dfdcada3SDoug Rabson /* 2316dfdcada3SDoug Rabson * We first build a set of vertex indices (vertex 2317dfdcada3SDoug Rabson * order values) that we may use, then we re-assign 2318dfdcada3SDoug Rabson * orders first to those vertices in deltaB, then to 2319dfdcada3SDoug Rabson * deltaF. Note that the contents of deltaF and deltaB 2320dfdcada3SDoug Rabson * may be partially disordered - we perform an 2321dfdcada3SDoug Rabson * insertion sort while building our index set. 2322dfdcada3SDoug Rabson */ 2323dfdcada3SDoug Rabson indices = g->g_indexbuf; 2324dfdcada3SDoug Rabson n = graph_add_indices(indices, 0, &deltaF); 2325dfdcada3SDoug Rabson graph_add_indices(indices, n, &deltaB); 2326dfdcada3SDoug Rabson 2327dfdcada3SDoug Rabson /* 2328dfdcada3SDoug Rabson * We must also be sure to maintain the relative 2329dfdcada3SDoug Rabson * ordering of deltaF and deltaB when re-assigning 2330dfdcada3SDoug Rabson * vertices. We do this by iteratively removing the 2331dfdcada3SDoug Rabson * lowest ordered element from the set and assigning 2332dfdcada3SDoug Rabson * it the next value from our new ordering. 2333dfdcada3SDoug Rabson */ 2334dfdcada3SDoug Rabson i = graph_assign_indices(g, indices, 0, &deltaB); 2335dfdcada3SDoug Rabson graph_assign_indices(g, indices, i, &deltaF); 2336dfdcada3SDoug Rabson 2337dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2338dfdcada3SDoug Rabson if (lockf_debug & 8) { 2339dfdcada3SDoug Rabson struct owner_vertex_list set; 2340dfdcada3SDoug Rabson TAILQ_INIT(&set); 2341dfdcada3SDoug Rabson for (i = 0; i < nB + nF; i++) 2342dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(&set, 2343dfdcada3SDoug Rabson g->g_vertices[indices[i]], v_link); 2344dfdcada3SDoug Rabson printf("new ordering = "); 2345dfdcada3SDoug Rabson graph_print_vertices(&set); 2346dfdcada3SDoug Rabson } 2347dfdcada3SDoug Rabson #endif 2348dfdcada3SDoug Rabson } 2349dfdcada3SDoug Rabson 2350dfdcada3SDoug Rabson KASSERT(x->v_order < y->v_order, ("Failed to re-order graph")); 2351dfdcada3SDoug Rabson 2352dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2353dfdcada3SDoug Rabson if (lockf_debug & 8) { 2354dfdcada3SDoug Rabson graph_check(g, TRUE); 2355dfdcada3SDoug Rabson } 2356dfdcada3SDoug Rabson #endif 2357dfdcada3SDoug Rabson 2358dfdcada3SDoug Rabson e = malloc(sizeof(struct owner_edge), M_LOCKF, M_WAITOK); 2359dfdcada3SDoug Rabson 2360dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->v_outedges, e, e_outlink); 2361dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->v_inedges, e, e_inlink); 2362dfdcada3SDoug Rabson e->e_refs = 1; 2363dfdcada3SDoug Rabson e->e_from = x; 2364dfdcada3SDoug Rabson e->e_to = y; 2365dfdcada3SDoug Rabson 2366dfdcada3SDoug Rabson return (0); 2367dfdcada3SDoug Rabson } 2368dfdcada3SDoug Rabson 2369dfdcada3SDoug Rabson /* 2370dfdcada3SDoug Rabson * Remove an edge x->y from the graph. 2371dfdcada3SDoug Rabson */ 2372dfdcada3SDoug Rabson static void 2373dfdcada3SDoug Rabson graph_remove_edge(struct owner_graph *g, struct owner_vertex *x, 2374dfdcada3SDoug Rabson struct owner_vertex *y) 2375dfdcada3SDoug Rabson { 2376dfdcada3SDoug Rabson struct owner_edge *e; 2377dfdcada3SDoug Rabson 2378dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2379dfdcada3SDoug Rabson 2380dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2381dfdcada3SDoug Rabson if (e->e_to == y) 2382dfdcada3SDoug Rabson break; 2383dfdcada3SDoug Rabson } 2384dfdcada3SDoug Rabson KASSERT(e, ("Removing non-existent edge from deadlock graph")); 2385dfdcada3SDoug Rabson 2386dfdcada3SDoug Rabson e->e_refs--; 2387dfdcada3SDoug Rabson if (e->e_refs == 0) { 2388dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2389dfdcada3SDoug Rabson if (lockf_debug & 8) { 2390dfdcada3SDoug Rabson printf("removing edge %d:", x->v_order); 2391dfdcada3SDoug Rabson lf_print_owner(x->v_owner); 2392dfdcada3SDoug Rabson printf(" -> %d:", y->v_order); 2393dfdcada3SDoug Rabson lf_print_owner(y->v_owner); 2394dfdcada3SDoug Rabson printf("\n"); 2395dfdcada3SDoug Rabson } 2396dfdcada3SDoug Rabson #endif 2397dfdcada3SDoug Rabson LIST_REMOVE(e, e_outlink); 2398dfdcada3SDoug Rabson LIST_REMOVE(e, e_inlink); 2399dfdcada3SDoug Rabson free(e, M_LOCKF); 2400dfdcada3SDoug Rabson } 2401dfdcada3SDoug Rabson } 2402dfdcada3SDoug Rabson 2403dfdcada3SDoug Rabson /* 2404dfdcada3SDoug Rabson * Allocate a vertex from the free list. Return ENOMEM if there are 2405dfdcada3SDoug Rabson * none. 2406dfdcada3SDoug Rabson */ 2407dfdcada3SDoug Rabson static struct owner_vertex * 2408dfdcada3SDoug Rabson graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo) 2409dfdcada3SDoug Rabson { 2410dfdcada3SDoug Rabson struct owner_vertex *v; 2411dfdcada3SDoug Rabson 2412dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2413dfdcada3SDoug Rabson 2414dfdcada3SDoug Rabson v = malloc(sizeof(struct owner_vertex), M_LOCKF, M_WAITOK); 2415dfdcada3SDoug Rabson if (g->g_size == g->g_space) { 2416dfdcada3SDoug Rabson g->g_vertices = realloc(g->g_vertices, 2417dfdcada3SDoug Rabson 2 * g->g_space * sizeof(struct owner_vertex *), 2418dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2419dfdcada3SDoug Rabson free(g->g_indexbuf, M_LOCKF); 2420dfdcada3SDoug Rabson g->g_indexbuf = malloc(2 * g->g_space * sizeof(int), 2421dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2422dfdcada3SDoug Rabson g->g_space = 2 * g->g_space; 2423dfdcada3SDoug Rabson } 2424dfdcada3SDoug Rabson v->v_order = g->g_size; 2425dfdcada3SDoug Rabson v->v_gen = g->g_gen; 2426dfdcada3SDoug Rabson g->g_vertices[g->g_size] = v; 2427dfdcada3SDoug Rabson g->g_size++; 2428dfdcada3SDoug Rabson 2429dfdcada3SDoug Rabson LIST_INIT(&v->v_outedges); 2430dfdcada3SDoug Rabson LIST_INIT(&v->v_inedges); 2431dfdcada3SDoug Rabson v->v_owner = lo; 2432dfdcada3SDoug Rabson 2433dfdcada3SDoug Rabson return (v); 2434dfdcada3SDoug Rabson } 2435dfdcada3SDoug Rabson 2436dfdcada3SDoug Rabson static void 2437dfdcada3SDoug Rabson graph_free_vertex(struct owner_graph *g, struct owner_vertex *v) 2438dfdcada3SDoug Rabson { 2439dfdcada3SDoug Rabson struct owner_vertex *w; 2440dfdcada3SDoug Rabson int i; 2441dfdcada3SDoug Rabson 2442dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2443dfdcada3SDoug Rabson 2444dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges")); 2445dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges")); 2446dfdcada3SDoug Rabson 2447dfdcada3SDoug Rabson /* 2448dfdcada3SDoug Rabson * Remove from the graph's array and close up the gap, 2449dfdcada3SDoug Rabson * renumbering the other vertices. 2450dfdcada3SDoug Rabson */ 2451dfdcada3SDoug Rabson for (i = v->v_order + 1; i < g->g_size; i++) { 2452dfdcada3SDoug Rabson w = g->g_vertices[i]; 2453dfdcada3SDoug Rabson w->v_order--; 2454dfdcada3SDoug Rabson g->g_vertices[i - 1] = w; 2455dfdcada3SDoug Rabson } 2456dfdcada3SDoug Rabson g->g_size--; 2457dfdcada3SDoug Rabson 2458dfdcada3SDoug Rabson free(v, M_LOCKF); 2459dfdcada3SDoug Rabson } 2460dfdcada3SDoug Rabson 2461dfdcada3SDoug Rabson static struct owner_graph * 2462dfdcada3SDoug Rabson graph_init(struct owner_graph *g) 2463dfdcada3SDoug Rabson { 2464dfdcada3SDoug Rabson 2465dfdcada3SDoug Rabson g->g_vertices = malloc(10 * sizeof(struct owner_vertex *), 2466dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2467dfdcada3SDoug Rabson g->g_size = 0; 2468dfdcada3SDoug Rabson g->g_space = 10; 2469dfdcada3SDoug Rabson g->g_indexbuf = malloc(g->g_space * sizeof(int), M_LOCKF, M_WAITOK); 2470dfdcada3SDoug Rabson g->g_gen = 0; 2471dfdcada3SDoug Rabson 2472dfdcada3SDoug Rabson return (g); 2473dfdcada3SDoug Rabson } 2474dfdcada3SDoug Rabson 2475dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2476dfdcada3SDoug Rabson /* 2477dfdcada3SDoug Rabson * Print description of a lock owner 2478dfdcada3SDoug Rabson */ 2479dfdcada3SDoug Rabson static void 2480dfdcada3SDoug Rabson lf_print_owner(struct lock_owner *lo) 2481dfdcada3SDoug Rabson { 2482dfdcada3SDoug Rabson 2483dfdcada3SDoug Rabson if (lo->lo_flags & F_REMOTE) { 2484dfdcada3SDoug Rabson printf("remote pid %d, system %d", 2485dfdcada3SDoug Rabson lo->lo_pid, lo->lo_sysid); 2486dfdcada3SDoug Rabson } else if (lo->lo_flags & F_FLOCK) { 2487dfdcada3SDoug Rabson printf("file %p", lo->lo_id); 2488dfdcada3SDoug Rabson } else { 2489dfdcada3SDoug Rabson printf("local pid %d", lo->lo_pid); 2490dfdcada3SDoug Rabson } 2491dfdcada3SDoug Rabson } 2492dfdcada3SDoug Rabson 249392dc7331SDavid Greenman /* 249492dc7331SDavid Greenman * Print out a lock. 249592dc7331SDavid Greenman */ 2496013e6650SJeff Roberson static void 2497dfdcada3SDoug Rabson lf_print(char *tag, struct lockf_entry *lock) 249892dc7331SDavid Greenman { 249992dc7331SDavid Greenman 2500d974cf4dSBruce Evans printf("%s: lock %p for ", tag, (void *)lock); 2501dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 250259aff5fcSAlfred Perlstein if (lock->lf_inode != (struct inode *)0) 2503dfdcada3SDoug Rabson printf(" in ino %ju on dev <%s>,", 2504a7a00d05SMaxime Henrion (uintmax_t)lock->lf_inode->i_number, 2505a5ec35dfSSepherosa Ziehau devtoname(ITODEV(lock->lf_inode))); 2506dfdcada3SDoug Rabson printf(" %s, start %jd, end ", 250792dc7331SDavid Greenman lock->lf_type == F_RDLCK ? "shared" : 250892dc7331SDavid Greenman lock->lf_type == F_WRLCK ? "exclusive" : 2509a7a00d05SMaxime Henrion lock->lf_type == F_UNLCK ? "unlock" : "unknown", 2510dfdcada3SDoug Rabson (intmax_t)lock->lf_start); 2511dfdcada3SDoug Rabson if (lock->lf_end == OFF_MAX) 2512dfdcada3SDoug Rabson printf("EOF"); 251359aff5fcSAlfred Perlstein else 2514dfdcada3SDoug Rabson printf("%jd", (intmax_t)lock->lf_end); 2515dfdcada3SDoug Rabson if (!LIST_EMPTY(&lock->lf_outedges)) 2516dfdcada3SDoug Rabson printf(" block %p\n", 2517dfdcada3SDoug Rabson (void *)LIST_FIRST(&lock->lf_outedges)->le_to); 251892dc7331SDavid Greenman else 251992dc7331SDavid Greenman printf("\n"); 252092dc7331SDavid Greenman } 252192dc7331SDavid Greenman 2522013e6650SJeff Roberson static void 2523dfdcada3SDoug Rabson lf_printlist(char *tag, struct lockf_entry *lock) 252492dc7331SDavid Greenman { 2525dfdcada3SDoug Rabson struct lockf_entry *lf, *blk; 2526dfdcada3SDoug Rabson struct lockf_edge *e; 252792dc7331SDavid Greenman 252859aff5fcSAlfred Perlstein if (lock->lf_inode == (struct inode *)0) 252959aff5fcSAlfred Perlstein return; 253059aff5fcSAlfred Perlstein 253197eb8cfaSPoul-Henning Kamp printf("%s: Lock list for ino %ju on dev <%s>:\n", 2532a7a00d05SMaxime Henrion tag, (uintmax_t)lock->lf_inode->i_number, 2533a5ec35dfSSepherosa Ziehau devtoname(ITODEV(lock->lf_inode))); 2534a365ea5fSDoug Rabson LIST_FOREACH(lf, &lock->lf_vnode->v_lockf->ls_active, lf_link) { 2535d974cf4dSBruce Evans printf("\tlock %p for ",(void *)lf); 2536dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 2537a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 253892dc7331SDavid Greenman lf->lf_type == F_RDLCK ? "shared" : 253992dc7331SDavid Greenman lf->lf_type == F_WRLCK ? "exclusive" : 254092dc7331SDavid Greenman lf->lf_type == F_UNLCK ? "unlock" : 2541a7a00d05SMaxime Henrion "unknown", (intmax_t)lf->lf_start, (intmax_t)lf->lf_end); 2542dfdcada3SDoug Rabson LIST_FOREACH(e, &lf->lf_outedges, le_outlink) { 2543dfdcada3SDoug Rabson blk = e->le_to; 2544d974cf4dSBruce Evans printf("\n\t\tlock request %p for ", (void *)blk); 2545dfdcada3SDoug Rabson lf_print_owner(blk->lf_owner); 2546a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 2547996c772fSJohn Dyson blk->lf_type == F_RDLCK ? "shared" : 2548996c772fSJohn Dyson blk->lf_type == F_WRLCK ? "exclusive" : 2549996c772fSJohn Dyson blk->lf_type == F_UNLCK ? "unlock" : 2550a7a00d05SMaxime Henrion "unknown", (intmax_t)blk->lf_start, 2551a7a00d05SMaxime Henrion (intmax_t)blk->lf_end); 2552dfdcada3SDoug Rabson if (!LIST_EMPTY(&blk->lf_inedges)) 2553996c772fSJohn Dyson panic("lf_printlist: bad list"); 2554996c772fSJohn Dyson } 255592dc7331SDavid Greenman printf("\n"); 255692dc7331SDavid Greenman } 255792dc7331SDavid Greenman } 255892dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 2559