19454b2d8SWarner Losh /*- 2dfdcada3SDoug Rabson * Copyright (c) 2008 Isilon Inc http://www.isilon.com/ 3dfdcada3SDoug Rabson * Authors: Doug Rabson <dfr@rabson.org> 4dfdcada3SDoug Rabson * Developed with Red Inc: Alfred Perlstein <alfred@freebsd.org> 5dfdcada3SDoug Rabson * 6dfdcada3SDoug Rabson * Redistribution and use in source and binary forms, with or without 7dfdcada3SDoug Rabson * modification, are permitted provided that the following conditions 8dfdcada3SDoug Rabson * are met: 9dfdcada3SDoug Rabson * 1. Redistributions of source code must retain the above copyright 10dfdcada3SDoug Rabson * notice, this list of conditions and the following disclaimer. 11dfdcada3SDoug Rabson * 2. Redistributions in binary form must reproduce the above copyright 12dfdcada3SDoug Rabson * notice, this list of conditions and the following disclaimer in the 13dfdcada3SDoug Rabson * documentation and/or other materials provided with the distribution. 14dfdcada3SDoug Rabson * 15dfdcada3SDoug Rabson * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16dfdcada3SDoug Rabson * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17dfdcada3SDoug Rabson * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18dfdcada3SDoug Rabson * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19dfdcada3SDoug Rabson * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20dfdcada3SDoug Rabson * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21dfdcada3SDoug Rabson * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22dfdcada3SDoug Rabson * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23dfdcada3SDoug Rabson * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24dfdcada3SDoug Rabson * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25dfdcada3SDoug Rabson * SUCH DAMAGE. 26dfdcada3SDoug Rabson */ 27dfdcada3SDoug Rabson /*- 2892dc7331SDavid Greenman * Copyright (c) 1982, 1986, 1989, 1993 2992dc7331SDavid Greenman * The Regents of the University of California. All rights reserved. 3092dc7331SDavid Greenman * 3192dc7331SDavid Greenman * This code is derived from software contributed to Berkeley by 3292dc7331SDavid Greenman * Scooter Morris at Genentech Inc. 3392dc7331SDavid Greenman * 3492dc7331SDavid Greenman * Redistribution and use in source and binary forms, with or without 3592dc7331SDavid Greenman * modification, are permitted provided that the following conditions 3692dc7331SDavid Greenman * are met: 3792dc7331SDavid Greenman * 1. Redistributions of source code must retain the above copyright 3892dc7331SDavid Greenman * notice, this list of conditions and the following disclaimer. 3992dc7331SDavid Greenman * 2. Redistributions in binary form must reproduce the above copyright 4092dc7331SDavid Greenman * notice, this list of conditions and the following disclaimer in the 4192dc7331SDavid Greenman * documentation and/or other materials provided with the distribution. 4269a28758SEd Maste * 3. Neither the name of the University nor the names of its contributors 4392dc7331SDavid Greenman * may be used to endorse or promote products derived from this software 4492dc7331SDavid Greenman * without specific prior written permission. 4592dc7331SDavid Greenman * 4692dc7331SDavid Greenman * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 4792dc7331SDavid Greenman * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 4892dc7331SDavid Greenman * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 4992dc7331SDavid Greenman * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 5092dc7331SDavid Greenman * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 5192dc7331SDavid Greenman * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 5292dc7331SDavid Greenman * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 5392dc7331SDavid Greenman * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 5492dc7331SDavid Greenman * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 5592dc7331SDavid Greenman * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 5692dc7331SDavid Greenman * SUCH DAMAGE. 5792dc7331SDavid Greenman * 5892dc7331SDavid Greenman * @(#)ufs_lockf.c 8.3 (Berkeley) 1/6/94 5992dc7331SDavid Greenman */ 6092dc7331SDavid Greenman 61677b542eSDavid E. O'Brien #include <sys/cdefs.h> 62677b542eSDavid E. O'Brien __FBSDID("$FreeBSD$"); 63677b542eSDavid E. O'Brien 643f2076daSEivind Eklund #include "opt_debug_lockf.h" 653f2076daSEivind Eklund 6692dc7331SDavid Greenman #include <sys/param.h> 6792dc7331SDavid Greenman #include <sys/systm.h> 68dfdcada3SDoug Rabson #include <sys/hash.h> 691c5bb3eaSPeter Wemm #include <sys/kernel.h> 70104a9b7eSAlexander Kabaev #include <sys/limits.h> 711cd52ec3SBruce Evans #include <sys/lock.h> 727f52a691SPoul-Henning Kamp #include <sys/mount.h> 73fb919e4dSMark Murray #include <sys/mutex.h> 7492dc7331SDavid Greenman #include <sys/proc.h> 75dfdcada3SDoug Rabson #include <sys/sx.h> 76b71fec07SBruce Evans #include <sys/unistd.h> 7792dc7331SDavid Greenman #include <sys/vnode.h> 7892dc7331SDavid Greenman #include <sys/malloc.h> 7992dc7331SDavid Greenman #include <sys/fcntl.h> 8092dc7331SDavid Greenman #include <sys/lockf.h> 81dfdcada3SDoug Rabson #include <sys/taskqueue.h> 8292dc7331SDavid Greenman 8392dc7331SDavid Greenman #ifdef LOCKF_DEBUG 84996c772fSJohn Dyson #include <sys/sysctl.h> 85a8687b6dSBruce Evans 86a5ec35dfSSepherosa Ziehau #include <ufs/ufs/extattr.h> 87a8687b6dSBruce Evans #include <ufs/ufs/quota.h> 88a5ec35dfSSepherosa Ziehau #include <ufs/ufs/ufsmount.h> 89a8687b6dSBruce Evans #include <ufs/ufs/inode.h> 90a8687b6dSBruce Evans 91dfdcada3SDoug Rabson static int lockf_debug = 0; /* control debug output */ 927f725eacSBruce Evans SYSCTL_INT(_debug, OID_AUTO, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, ""); 9392dc7331SDavid Greenman #endif 9492dc7331SDavid Greenman 95d745c852SEd Schouten static MALLOC_DEFINE(M_LOCKF, "lockf", "Byte-range locking structures"); 9655166637SPoul-Henning Kamp 97dfdcada3SDoug Rabson struct owner_edge; 98dfdcada3SDoug Rabson struct owner_vertex; 99dfdcada3SDoug Rabson struct owner_vertex_list; 100dfdcada3SDoug Rabson struct owner_graph; 101dfdcada3SDoug Rabson 102dfdcada3SDoug Rabson #define NOLOCKF (struct lockf_entry *)0 10392dc7331SDavid Greenman #define SELF 0x1 10492dc7331SDavid Greenman #define OTHERS 0x2 105dfdcada3SDoug Rabson static void lf_init(void *); 106dfdcada3SDoug Rabson static int lf_hash_owner(caddr_t, struct flock *, int); 107dfdcada3SDoug Rabson static int lf_owner_matches(struct lock_owner *, caddr_t, struct flock *, 108dfdcada3SDoug Rabson int); 109dfdcada3SDoug Rabson static struct lockf_entry * 110dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *); 1118af54d4cSKonstantin Belousov static int lf_free_lock(struct lockf_entry *); 112dfdcada3SDoug Rabson static int lf_clearlock(struct lockf *, struct lockf_entry *); 113dfdcada3SDoug Rabson static int lf_overlaps(struct lockf_entry *, struct lockf_entry *); 114dfdcada3SDoug Rabson static int lf_blocks(struct lockf_entry *, struct lockf_entry *); 115dfdcada3SDoug Rabson static void lf_free_edge(struct lockf_edge *); 116dfdcada3SDoug Rabson static struct lockf_edge * 117dfdcada3SDoug Rabson lf_alloc_edge(void); 118dfdcada3SDoug Rabson static void lf_alloc_vertex(struct lockf_entry *); 119dfdcada3SDoug Rabson static int lf_add_edge(struct lockf_entry *, struct lockf_entry *); 120dfdcada3SDoug Rabson static void lf_remove_edge(struct lockf_edge *); 121dfdcada3SDoug Rabson static void lf_remove_outgoing(struct lockf_entry *); 122dfdcada3SDoug Rabson static void lf_remove_incoming(struct lockf_entry *); 123dfdcada3SDoug Rabson static int lf_add_outgoing(struct lockf *, struct lockf_entry *); 124dfdcada3SDoug Rabson static int lf_add_incoming(struct lockf *, struct lockf_entry *); 125dfdcada3SDoug Rabson static int lf_findoverlap(struct lockf_entry **, struct lockf_entry *, 126dfdcada3SDoug Rabson int); 127dfdcada3SDoug Rabson static struct lockf_entry * 128dfdcada3SDoug Rabson lf_getblock(struct lockf *, struct lockf_entry *); 129dfdcada3SDoug Rabson static int lf_getlock(struct lockf *, struct lockf_entry *, struct flock *); 130dfdcada3SDoug Rabson static void lf_insert_lock(struct lockf *, struct lockf_entry *); 131dfdcada3SDoug Rabson static void lf_wakeup_lock(struct lockf *, struct lockf_entry *); 132dfdcada3SDoug Rabson static void lf_update_dependancies(struct lockf *, struct lockf_entry *, 133dfdcada3SDoug Rabson int all, struct lockf_entry_list *); 134dfdcada3SDoug Rabson static void lf_set_start(struct lockf *, struct lockf_entry *, off_t, 135dfdcada3SDoug Rabson struct lockf_entry_list*); 136dfdcada3SDoug Rabson static void lf_set_end(struct lockf *, struct lockf_entry *, off_t, 137dfdcada3SDoug Rabson struct lockf_entry_list*); 138dfdcada3SDoug Rabson static int lf_setlock(struct lockf *, struct lockf_entry *, 139dfdcada3SDoug Rabson struct vnode *, void **cookiep); 140dfdcada3SDoug Rabson static int lf_cancel(struct lockf *, struct lockf_entry *, void *); 141dfdcada3SDoug Rabson static void lf_split(struct lockf *, struct lockf_entry *, 142dfdcada3SDoug Rabson struct lockf_entry *, struct lockf_entry_list *); 143013e6650SJeff Roberson #ifdef LOCKF_DEBUG 144dfdcada3SDoug Rabson static int graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 145dfdcada3SDoug Rabson struct owner_vertex_list *path); 146dfdcada3SDoug Rabson static void graph_check(struct owner_graph *g, int checkorder); 147dfdcada3SDoug Rabson static void graph_print_vertices(struct owner_vertex_list *set); 148013e6650SJeff Roberson #endif 149dfdcada3SDoug Rabson static int graph_delta_forward(struct owner_graph *g, 150dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 151dfdcada3SDoug Rabson struct owner_vertex_list *delta); 152dfdcada3SDoug Rabson static int graph_delta_backward(struct owner_graph *g, 153dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 154dfdcada3SDoug Rabson struct owner_vertex_list *delta); 155dfdcada3SDoug Rabson static int graph_add_indices(int *indices, int n, 156dfdcada3SDoug Rabson struct owner_vertex_list *set); 157dfdcada3SDoug Rabson static int graph_assign_indices(struct owner_graph *g, int *indices, 158dfdcada3SDoug Rabson int nextunused, struct owner_vertex_list *set); 159dfdcada3SDoug Rabson static int graph_add_edge(struct owner_graph *g, 160dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 161dfdcada3SDoug Rabson static void graph_remove_edge(struct owner_graph *g, 162dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 163dfdcada3SDoug Rabson static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g, 164dfdcada3SDoug Rabson struct lock_owner *lo); 165dfdcada3SDoug Rabson static void graph_free_vertex(struct owner_graph *g, 166dfdcada3SDoug Rabson struct owner_vertex *v); 167dfdcada3SDoug Rabson static struct owner_graph * graph_init(struct owner_graph *g); 168dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 169dfdcada3SDoug Rabson static void lf_print(char *, struct lockf_entry *); 170dfdcada3SDoug Rabson static void lf_printlist(char *, struct lockf_entry *); 171dfdcada3SDoug Rabson static void lf_print_owner(struct lock_owner *); 172dfdcada3SDoug Rabson #endif 173dfdcada3SDoug Rabson 174dfdcada3SDoug Rabson /* 175dfdcada3SDoug Rabson * This structure is used to keep track of both local and remote lock 176dfdcada3SDoug Rabson * owners. The lf_owner field of the struct lockf_entry points back at 177dfdcada3SDoug Rabson * the lock owner structure. Each possible lock owner (local proc for 178dfdcada3SDoug Rabson * POSIX fcntl locks, local file for BSD flock locks or <pid,sysid> 179dfdcada3SDoug Rabson * pair for remote locks) is represented by a unique instance of 180dfdcada3SDoug Rabson * struct lock_owner. 181dfdcada3SDoug Rabson * 182dfdcada3SDoug Rabson * If a lock owner has a lock that blocks some other lock or a lock 183dfdcada3SDoug Rabson * that is waiting for some other lock, it also has a vertex in the 184dfdcada3SDoug Rabson * owner_graph below. 185dfdcada3SDoug Rabson * 186dfdcada3SDoug Rabson * Locks: 187dfdcada3SDoug Rabson * (s) locked by state->ls_lock 188dfdcada3SDoug Rabson * (S) locked by lf_lock_states_lock 189dfdcada3SDoug Rabson * (l) locked by lf_lock_owners_lock 190dfdcada3SDoug Rabson * (g) locked by lf_owner_graph_lock 191dfdcada3SDoug Rabson * (c) const until freeing 192dfdcada3SDoug Rabson */ 193dfdcada3SDoug Rabson #define LOCK_OWNER_HASH_SIZE 256 194dfdcada3SDoug Rabson 195dfdcada3SDoug Rabson struct lock_owner { 196dfdcada3SDoug Rabson LIST_ENTRY(lock_owner) lo_link; /* (l) hash chain */ 197dfdcada3SDoug Rabson int lo_refs; /* (l) Number of locks referring to this */ 198dfdcada3SDoug Rabson int lo_flags; /* (c) Flags passwd to lf_advlock */ 199dfdcada3SDoug Rabson caddr_t lo_id; /* (c) Id value passed to lf_advlock */ 200dfdcada3SDoug Rabson pid_t lo_pid; /* (c) Process Id of the lock owner */ 201dfdcada3SDoug Rabson int lo_sysid; /* (c) System Id of the lock owner */ 202dfdcada3SDoug Rabson struct owner_vertex *lo_vertex; /* (g) entry in deadlock graph */ 203dfdcada3SDoug Rabson }; 204dfdcada3SDoug Rabson 205dfdcada3SDoug Rabson LIST_HEAD(lock_owner_list, lock_owner); 206dfdcada3SDoug Rabson 207dfdcada3SDoug Rabson static struct sx lf_lock_states_lock; 208dfdcada3SDoug Rabson static struct lockf_list lf_lock_states; /* (S) */ 209dfdcada3SDoug Rabson static struct sx lf_lock_owners_lock; 210dfdcada3SDoug Rabson static struct lock_owner_list lf_lock_owners[LOCK_OWNER_HASH_SIZE]; /* (l) */ 211dfdcada3SDoug Rabson 212dfdcada3SDoug Rabson /* 213dfdcada3SDoug Rabson * Structures for deadlock detection. 214dfdcada3SDoug Rabson * 215dfdcada3SDoug Rabson * We have two types of directed graph, the first is the set of locks, 216dfdcada3SDoug Rabson * both active and pending on a vnode. Within this graph, active locks 217dfdcada3SDoug Rabson * are terminal nodes in the graph (i.e. have no out-going 218dfdcada3SDoug Rabson * edges). Pending locks have out-going edges to each blocking active 219dfdcada3SDoug Rabson * lock that prevents the lock from being granted and also to each 220dfdcada3SDoug Rabson * older pending lock that would block them if it was active. The 221dfdcada3SDoug Rabson * graph for each vnode is naturally acyclic; new edges are only ever 222dfdcada3SDoug Rabson * added to or from new nodes (either new pending locks which only add 223dfdcada3SDoug Rabson * out-going edges or new active locks which only add in-coming edges) 224dfdcada3SDoug Rabson * therefore they cannot create loops in the lock graph. 225dfdcada3SDoug Rabson * 226dfdcada3SDoug Rabson * The second graph is a global graph of lock owners. Each lock owner 227dfdcada3SDoug Rabson * is a vertex in that graph and an edge is added to the graph 228dfdcada3SDoug Rabson * whenever an edge is added to a vnode graph, with end points 229dfdcada3SDoug Rabson * corresponding to owner of the new pending lock and the owner of the 230dfdcada3SDoug Rabson * lock upon which it waits. In order to prevent deadlock, we only add 231dfdcada3SDoug Rabson * an edge to this graph if the new edge would not create a cycle. 232dfdcada3SDoug Rabson * 233dfdcada3SDoug Rabson * The lock owner graph is topologically sorted, i.e. if a node has 234dfdcada3SDoug Rabson * any outgoing edges, then it has an order strictly less than any 235dfdcada3SDoug Rabson * node to which it has an outgoing edge. We preserve this ordering 236dfdcada3SDoug Rabson * (and detect cycles) on edge insertion using Algorithm PK from the 237dfdcada3SDoug Rabson * paper "A Dynamic Topological Sort Algorithm for Directed Acyclic 238dfdcada3SDoug Rabson * Graphs" (ACM Journal of Experimental Algorithms, Vol 11, Article 239dfdcada3SDoug Rabson * No. 1.7) 240dfdcada3SDoug Rabson */ 241dfdcada3SDoug Rabson struct owner_vertex; 242dfdcada3SDoug Rabson 243dfdcada3SDoug Rabson struct owner_edge { 244dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_outlink; /* (g) link from's out-edge list */ 245dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_inlink; /* (g) link to's in-edge list */ 246dfdcada3SDoug Rabson int e_refs; /* (g) number of times added */ 247dfdcada3SDoug Rabson struct owner_vertex *e_from; /* (c) out-going from here */ 248dfdcada3SDoug Rabson struct owner_vertex *e_to; /* (c) in-coming to here */ 249dfdcada3SDoug Rabson }; 250dfdcada3SDoug Rabson LIST_HEAD(owner_edge_list, owner_edge); 251dfdcada3SDoug Rabson 252dfdcada3SDoug Rabson struct owner_vertex { 253dfdcada3SDoug Rabson TAILQ_ENTRY(owner_vertex) v_link; /* (g) workspace for edge insertion */ 254dfdcada3SDoug Rabson uint32_t v_gen; /* (g) workspace for edge insertion */ 255dfdcada3SDoug Rabson int v_order; /* (g) order of vertex in graph */ 256dfdcada3SDoug Rabson struct owner_edge_list v_outedges;/* (g) list of out-edges */ 257dfdcada3SDoug Rabson struct owner_edge_list v_inedges; /* (g) list of in-edges */ 258dfdcada3SDoug Rabson struct lock_owner *v_owner; /* (c) corresponding lock owner */ 259dfdcada3SDoug Rabson }; 260dfdcada3SDoug Rabson TAILQ_HEAD(owner_vertex_list, owner_vertex); 261dfdcada3SDoug Rabson 262dfdcada3SDoug Rabson struct owner_graph { 263dfdcada3SDoug Rabson struct owner_vertex** g_vertices; /* (g) pointers to vertices */ 264dfdcada3SDoug Rabson int g_size; /* (g) number of vertices */ 265dfdcada3SDoug Rabson int g_space; /* (g) space allocated for vertices */ 266dfdcada3SDoug Rabson int *g_indexbuf; /* (g) workspace for loop detection */ 267dfdcada3SDoug Rabson uint32_t g_gen; /* (g) increment when re-ordering */ 268dfdcada3SDoug Rabson }; 269dfdcada3SDoug Rabson 270dfdcada3SDoug Rabson static struct sx lf_owner_graph_lock; 271dfdcada3SDoug Rabson static struct owner_graph lf_owner_graph; 272dfdcada3SDoug Rabson 273dfdcada3SDoug Rabson /* 274dfdcada3SDoug Rabson * Initialise various structures and locks. 275dfdcada3SDoug Rabson */ 276dfdcada3SDoug Rabson static void 277dfdcada3SDoug Rabson lf_init(void *dummy) 278dfdcada3SDoug Rabson { 279dfdcada3SDoug Rabson int i; 280dfdcada3SDoug Rabson 281dfdcada3SDoug Rabson sx_init(&lf_lock_states_lock, "lock states lock"); 282dfdcada3SDoug Rabson LIST_INIT(&lf_lock_states); 283dfdcada3SDoug Rabson 284dfdcada3SDoug Rabson sx_init(&lf_lock_owners_lock, "lock owners lock"); 285dfdcada3SDoug Rabson for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 286dfdcada3SDoug Rabson LIST_INIT(&lf_lock_owners[i]); 287dfdcada3SDoug Rabson 288dfdcada3SDoug Rabson sx_init(&lf_owner_graph_lock, "owner graph lock"); 289dfdcada3SDoug Rabson graph_init(&lf_owner_graph); 290dfdcada3SDoug Rabson } 291dfdcada3SDoug Rabson SYSINIT(lf_init, SI_SUB_LOCK, SI_ORDER_FIRST, lf_init, NULL); 292dfdcada3SDoug Rabson 293dfdcada3SDoug Rabson /* 294dfdcada3SDoug Rabson * Generate a hash value for a lock owner. 295dfdcada3SDoug Rabson */ 296dfdcada3SDoug Rabson static int 297dfdcada3SDoug Rabson lf_hash_owner(caddr_t id, struct flock *fl, int flags) 298dfdcada3SDoug Rabson { 299dfdcada3SDoug Rabson uint32_t h; 300dfdcada3SDoug Rabson 301dfdcada3SDoug Rabson if (flags & F_REMOTE) { 302dfdcada3SDoug Rabson h = HASHSTEP(0, fl->l_pid); 303dfdcada3SDoug Rabson h = HASHSTEP(h, fl->l_sysid); 304dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 305dfdcada3SDoug Rabson h = ((uintptr_t) id) >> 7; 306dfdcada3SDoug Rabson } else { 307dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 308dfdcada3SDoug Rabson h = HASHSTEP(0, p->p_pid); 309dfdcada3SDoug Rabson h = HASHSTEP(h, 0); 310dfdcada3SDoug Rabson } 311dfdcada3SDoug Rabson 312dfdcada3SDoug Rabson return (h % LOCK_OWNER_HASH_SIZE); 313dfdcada3SDoug Rabson } 314dfdcada3SDoug Rabson 315dfdcada3SDoug Rabson /* 316dfdcada3SDoug Rabson * Return true if a lock owner matches the details passed to 317dfdcada3SDoug Rabson * lf_advlock. 318dfdcada3SDoug Rabson */ 319dfdcada3SDoug Rabson static int 320dfdcada3SDoug Rabson lf_owner_matches(struct lock_owner *lo, caddr_t id, struct flock *fl, 321dfdcada3SDoug Rabson int flags) 322dfdcada3SDoug Rabson { 323dfdcada3SDoug Rabson if (flags & F_REMOTE) { 324dfdcada3SDoug Rabson return lo->lo_pid == fl->l_pid 325dfdcada3SDoug Rabson && lo->lo_sysid == fl->l_sysid; 326dfdcada3SDoug Rabson } else { 327dfdcada3SDoug Rabson return lo->lo_id == id; 328dfdcada3SDoug Rabson } 329dfdcada3SDoug Rabson } 330dfdcada3SDoug Rabson 331dfdcada3SDoug Rabson static struct lockf_entry * 332dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *lo) 333dfdcada3SDoug Rabson { 334dfdcada3SDoug Rabson struct lockf_entry *lf; 335dfdcada3SDoug Rabson 336dfdcada3SDoug Rabson lf = malloc(sizeof(struct lockf_entry), M_LOCKF, M_WAITOK|M_ZERO); 337dfdcada3SDoug Rabson 338dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 339dfdcada3SDoug Rabson if (lockf_debug & 4) 340dfdcada3SDoug Rabson printf("Allocated lock %p\n", lf); 341dfdcada3SDoug Rabson #endif 342dfdcada3SDoug Rabson if (lo) { 343dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 344dfdcada3SDoug Rabson lo->lo_refs++; 345dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 346dfdcada3SDoug Rabson lf->lf_owner = lo; 347dfdcada3SDoug Rabson } 348dfdcada3SDoug Rabson 349dfdcada3SDoug Rabson return (lf); 350dfdcada3SDoug Rabson } 351dfdcada3SDoug Rabson 3528af54d4cSKonstantin Belousov static int 353dfdcada3SDoug Rabson lf_free_lock(struct lockf_entry *lock) 354dfdcada3SDoug Rabson { 3558af54d4cSKonstantin Belousov 3568af54d4cSKonstantin Belousov KASSERT(lock->lf_refs > 0, ("lockf_entry negative ref count %p", lock)); 3578af54d4cSKonstantin Belousov if (--lock->lf_refs > 0) 3588af54d4cSKonstantin Belousov return (0); 359dfdcada3SDoug Rabson /* 360dfdcada3SDoug Rabson * Adjust the lock_owner reference count and 361dfdcada3SDoug Rabson * reclaim the entry if this is the last lock 362dfdcada3SDoug Rabson * for that owner. 363dfdcada3SDoug Rabson */ 364dfdcada3SDoug Rabson struct lock_owner *lo = lock->lf_owner; 365dfdcada3SDoug Rabson if (lo) { 366dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_outedges), 367e3043798SPedro F. Giffuni ("freeing lock with dependencies")); 368dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_inedges), 369dfdcada3SDoug Rabson ("freeing lock with dependants")); 370dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 371dfdcada3SDoug Rabson KASSERT(lo->lo_refs > 0, ("lock owner refcount")); 372dfdcada3SDoug Rabson lo->lo_refs--; 373dfdcada3SDoug Rabson if (lo->lo_refs == 0) { 374dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 375dfdcada3SDoug Rabson if (lockf_debug & 1) 376dfdcada3SDoug Rabson printf("lf_free_lock: freeing lock owner %p\n", 377dfdcada3SDoug Rabson lo); 378dfdcada3SDoug Rabson #endif 379dfdcada3SDoug Rabson if (lo->lo_vertex) { 380dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 381dfdcada3SDoug Rabson graph_free_vertex(&lf_owner_graph, 382dfdcada3SDoug Rabson lo->lo_vertex); 383dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 384dfdcada3SDoug Rabson } 385dfdcada3SDoug Rabson LIST_REMOVE(lo, lo_link); 386dfdcada3SDoug Rabson free(lo, M_LOCKF); 387dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 388dfdcada3SDoug Rabson if (lockf_debug & 4) 389dfdcada3SDoug Rabson printf("Freed lock owner %p\n", lo); 390dfdcada3SDoug Rabson #endif 391dfdcada3SDoug Rabson } 392dfdcada3SDoug Rabson sx_unlock(&lf_lock_owners_lock); 393dfdcada3SDoug Rabson } 394dfdcada3SDoug Rabson if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) { 395dfdcada3SDoug Rabson vrele(lock->lf_vnode); 396dfdcada3SDoug Rabson lock->lf_vnode = NULL; 397dfdcada3SDoug Rabson } 398dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 399dfdcada3SDoug Rabson if (lockf_debug & 4) 400dfdcada3SDoug Rabson printf("Freed lock %p\n", lock); 401dfdcada3SDoug Rabson #endif 402dfdcada3SDoug Rabson free(lock, M_LOCKF); 4038af54d4cSKonstantin Belousov return (1); 404dfdcada3SDoug Rabson } 40592dc7331SDavid Greenman 40692dc7331SDavid Greenman /* 40792dc7331SDavid Greenman * Advisory record locking support 40892dc7331SDavid Greenman */ 40992dc7331SDavid Greenman int 410dfdcada3SDoug Rabson lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep, 411dfdcada3SDoug Rabson u_quad_t size) 41292dc7331SDavid Greenman { 413dfdcada3SDoug Rabson struct lockf *state, *freestate = NULL; 414bc02f1d9SJeff Roberson struct flock *fl = ap->a_fl; 415dfdcada3SDoug Rabson struct lockf_entry *lock; 416bc02f1d9SJeff Roberson struct vnode *vp = ap->a_vp; 417dfdcada3SDoug Rabson caddr_t id = ap->a_id; 418dfdcada3SDoug Rabson int flags = ap->a_flags; 419dfdcada3SDoug Rabson int hash; 420dfdcada3SDoug Rabson struct lock_owner *lo; 421c4778eedSAndrey A. Chernov off_t start, end, oadd; 42292dc7331SDavid Greenman int error; 42392dc7331SDavid Greenman 42492dc7331SDavid Greenman /* 425dfdcada3SDoug Rabson * Handle the F_UNLKSYS case first - no need to mess about 426dfdcada3SDoug Rabson * creating a lock owner for this one. 427dfdcada3SDoug Rabson */ 428dfdcada3SDoug Rabson if (ap->a_op == F_UNLCKSYS) { 429dfdcada3SDoug Rabson lf_clearremotesys(fl->l_sysid); 430dfdcada3SDoug Rabson return (0); 431dfdcada3SDoug Rabson } 432dfdcada3SDoug Rabson 433dfdcada3SDoug Rabson /* 43492dc7331SDavid Greenman * Convert the flock structure into a start and end. 43592dc7331SDavid Greenman */ 43692dc7331SDavid Greenman switch (fl->l_whence) { 43792dc7331SDavid Greenman 43892dc7331SDavid Greenman case SEEK_SET: 43992dc7331SDavid Greenman case SEEK_CUR: 44092dc7331SDavid Greenman /* 44192dc7331SDavid Greenman * Caller is responsible for adding any necessary offset 44292dc7331SDavid Greenman * when SEEK_CUR is used. 44392dc7331SDavid Greenman */ 44492dc7331SDavid Greenman start = fl->l_start; 44592dc7331SDavid Greenman break; 44692dc7331SDavid Greenman 44792dc7331SDavid Greenman case SEEK_END: 448c8e76343SAndrey A. Chernov if (size > OFF_MAX || 449bc02f1d9SJeff Roberson (fl->l_start > 0 && size > OFF_MAX - fl->l_start)) 450bc02f1d9SJeff Roberson return (EOVERFLOW); 45192dc7331SDavid Greenman start = size + fl->l_start; 45292dc7331SDavid Greenman break; 45392dc7331SDavid Greenman 45492dc7331SDavid Greenman default: 455bc02f1d9SJeff Roberson return (EINVAL); 45692dc7331SDavid Greenman } 457bc02f1d9SJeff Roberson if (start < 0) 458bc02f1d9SJeff Roberson return (EINVAL); 459f510e1c2SAndrey A. Chernov if (fl->l_len < 0) { 460bc02f1d9SJeff Roberson if (start == 0) 461bc02f1d9SJeff Roberson return (EINVAL); 462f510e1c2SAndrey A. Chernov end = start - 1; 46362be011eSAndrey A. Chernov start += fl->l_len; 464bc02f1d9SJeff Roberson if (start < 0) 465bc02f1d9SJeff Roberson return (EINVAL); 466dfdcada3SDoug Rabson } else if (fl->l_len == 0) { 467dfdcada3SDoug Rabson end = OFF_MAX; 468dfdcada3SDoug Rabson } else { 469c4778eedSAndrey A. Chernov oadd = fl->l_len - 1; 470bc02f1d9SJeff Roberson if (oadd > OFF_MAX - start) 471bc02f1d9SJeff Roberson return (EOVERFLOW); 47269cc1d0dSAndrey A. Chernov end = start + oadd; 473a88bd8aaSBruce Evans } 4743bcc218fSKonstantin Belousov 4753bcc218fSKonstantin Belousov retry_setlock: 4763bcc218fSKonstantin Belousov 477a88bd8aaSBruce Evans /* 478a88bd8aaSBruce Evans * Avoid the common case of unlocking when inode has no locks. 479a88bd8aaSBruce Evans */ 480842832aeSDoug Rabson VI_LOCK(vp); 481842832aeSDoug Rabson if ((*statep) == NULL) { 482a88bd8aaSBruce Evans if (ap->a_op != F_SETLK) { 483a88bd8aaSBruce Evans fl->l_type = F_UNLCK; 484842832aeSDoug Rabson VI_UNLOCK(vp); 485bc02f1d9SJeff Roberson return (0); 486a88bd8aaSBruce Evans } 487a88bd8aaSBruce Evans } 488842832aeSDoug Rabson VI_UNLOCK(vp); 489dfdcada3SDoug Rabson 49092dc7331SDavid Greenman /* 491dfdcada3SDoug Rabson * Map our arguments to an existing lock owner or create one 492dfdcada3SDoug Rabson * if this is the first time we have seen this owner. 493bc02f1d9SJeff Roberson */ 494dfdcada3SDoug Rabson hash = lf_hash_owner(id, fl, flags); 495dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 496dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[hash], lo_link) 497dfdcada3SDoug Rabson if (lf_owner_matches(lo, id, fl, flags)) 498dfdcada3SDoug Rabson break; 499dfdcada3SDoug Rabson if (!lo) { 500dfdcada3SDoug Rabson /* 501dfdcada3SDoug Rabson * We initialise the lock with a reference 502dfdcada3SDoug Rabson * count which matches the new lockf_entry 503dfdcada3SDoug Rabson * structure created below. 504dfdcada3SDoug Rabson */ 505dfdcada3SDoug Rabson lo = malloc(sizeof(struct lock_owner), M_LOCKF, 506dfdcada3SDoug Rabson M_WAITOK|M_ZERO); 507dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 508dfdcada3SDoug Rabson if (lockf_debug & 4) 509dfdcada3SDoug Rabson printf("Allocated lock owner %p\n", lo); 510dfdcada3SDoug Rabson #endif 511dfdcada3SDoug Rabson 512dfdcada3SDoug Rabson lo->lo_refs = 1; 513dfdcada3SDoug Rabson lo->lo_flags = flags; 514dfdcada3SDoug Rabson lo->lo_id = id; 515dfdcada3SDoug Rabson if (flags & F_REMOTE) { 516dfdcada3SDoug Rabson lo->lo_pid = fl->l_pid; 517dfdcada3SDoug Rabson lo->lo_sysid = fl->l_sysid; 518dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 519dfdcada3SDoug Rabson lo->lo_pid = -1; 520dfdcada3SDoug Rabson lo->lo_sysid = 0; 521dfdcada3SDoug Rabson } else { 522dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 523dfdcada3SDoug Rabson lo->lo_pid = p->p_pid; 524dfdcada3SDoug Rabson lo->lo_sysid = 0; 525004e08beSKonstantin Belousov } 526dfdcada3SDoug Rabson lo->lo_vertex = NULL; 527dfdcada3SDoug Rabson 528dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 529dfdcada3SDoug Rabson if (lockf_debug & 1) { 530dfdcada3SDoug Rabson printf("lf_advlockasync: new lock owner %p ", lo); 531dfdcada3SDoug Rabson lf_print_owner(lo); 532dfdcada3SDoug Rabson printf("\n"); 533dfdcada3SDoug Rabson } 534dfdcada3SDoug Rabson #endif 535dfdcada3SDoug Rabson 536dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_owners[hash], lo, lo_link); 537dfdcada3SDoug Rabson } else { 538bc02f1d9SJeff Roberson /* 539dfdcada3SDoug Rabson * We have seen this lock owner before, increase its 540dfdcada3SDoug Rabson * reference count to account for the new lockf_entry 541dfdcada3SDoug Rabson * structure we create below. 54292dc7331SDavid Greenman */ 543dfdcada3SDoug Rabson lo->lo_refs++; 544dfdcada3SDoug Rabson } 545dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 546dfdcada3SDoug Rabson 547dfdcada3SDoug Rabson /* 548dfdcada3SDoug Rabson * Create the lockf structure. We initialise the lf_owner 549dfdcada3SDoug Rabson * field here instead of in lf_alloc_lock() to avoid paying 550dfdcada3SDoug Rabson * the lf_lock_owners_lock tax twice. 551dfdcada3SDoug Rabson */ 552dfdcada3SDoug Rabson lock = lf_alloc_lock(NULL); 5538af54d4cSKonstantin Belousov lock->lf_refs = 1; 55492dc7331SDavid Greenman lock->lf_start = start; 55592dc7331SDavid Greenman lock->lf_end = end; 556dfdcada3SDoug Rabson lock->lf_owner = lo; 557dfdcada3SDoug Rabson lock->lf_vnode = vp; 558dfdcada3SDoug Rabson if (flags & F_REMOTE) { 559dfdcada3SDoug Rabson /* 560dfdcada3SDoug Rabson * For remote locks, the caller may release its ref to 561dfdcada3SDoug Rabson * the vnode at any time - we have to ref it here to 562dfdcada3SDoug Rabson * prevent it from being recycled unexpectedly. 563dfdcada3SDoug Rabson */ 564dfdcada3SDoug Rabson vref(vp); 565dfdcada3SDoug Rabson } 566dfdcada3SDoug Rabson 56759aff5fcSAlfred Perlstein /* 56859aff5fcSAlfred Perlstein * XXX The problem is that VTOI is ufs specific, so it will 56959aff5fcSAlfred Perlstein * break LOCKF_DEBUG for all other FS's other than UFS because 57059aff5fcSAlfred Perlstein * it casts the vnode->data ptr to struct inode *. 57159aff5fcSAlfred Perlstein */ 57259aff5fcSAlfred Perlstein /* lock->lf_inode = VTOI(ap->a_vp); */ 57359aff5fcSAlfred Perlstein lock->lf_inode = (struct inode *)0; 57492dc7331SDavid Greenman lock->lf_type = fl->l_type; 575dfdcada3SDoug Rabson LIST_INIT(&lock->lf_outedges); 576dfdcada3SDoug Rabson LIST_INIT(&lock->lf_inedges); 577dfdcada3SDoug Rabson lock->lf_async_task = ap->a_task; 57892dc7331SDavid Greenman lock->lf_flags = ap->a_flags; 579dfdcada3SDoug Rabson 58092dc7331SDavid Greenman /* 581dfdcada3SDoug Rabson * Do the requested operation. First find our state structure 582dfdcada3SDoug Rabson * and create a new one if necessary - the caller's *statep 583dfdcada3SDoug Rabson * variable and the state's ls_threads count is protected by 584dfdcada3SDoug Rabson * the vnode interlock. 58592dc7331SDavid Greenman */ 586bc02f1d9SJeff Roberson VI_LOCK(vp); 587eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 588eab626f1SKonstantin Belousov VI_UNLOCK(vp); 589eab626f1SKonstantin Belousov lf_free_lock(lock); 590eab626f1SKonstantin Belousov return (ENOENT); 591eab626f1SKonstantin Belousov } 592dfdcada3SDoug Rabson 593dfdcada3SDoug Rabson /* 594dfdcada3SDoug Rabson * Allocate a state structure if necessary. 595dfdcada3SDoug Rabson */ 596dfdcada3SDoug Rabson state = *statep; 597dfdcada3SDoug Rabson if (state == NULL) { 598dfdcada3SDoug Rabson struct lockf *ls; 599dfdcada3SDoug Rabson 600dfdcada3SDoug Rabson VI_UNLOCK(vp); 601dfdcada3SDoug Rabson 602dfdcada3SDoug Rabson ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO); 603dfdcada3SDoug Rabson sx_init(&ls->ls_lock, "ls_lock"); 604dfdcada3SDoug Rabson LIST_INIT(&ls->ls_active); 605dfdcada3SDoug Rabson LIST_INIT(&ls->ls_pending); 60660cdfde0SDoug Rabson ls->ls_threads = 1; 607dfdcada3SDoug Rabson 608dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 609dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link); 610dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 611dfdcada3SDoug Rabson 612dfdcada3SDoug Rabson /* 613dfdcada3SDoug Rabson * Cope if we lost a race with some other thread while 614dfdcada3SDoug Rabson * trying to allocate memory. 615dfdcada3SDoug Rabson */ 616dfdcada3SDoug Rabson VI_LOCK(vp); 617eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 618eab626f1SKonstantin Belousov VI_UNLOCK(vp); 619eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 620eab626f1SKonstantin Belousov LIST_REMOVE(ls, ls_link); 621eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 622eab626f1SKonstantin Belousov sx_destroy(&ls->ls_lock); 623eab626f1SKonstantin Belousov free(ls, M_LOCKF); 624eab626f1SKonstantin Belousov lf_free_lock(lock); 625eab626f1SKonstantin Belousov return (ENOENT); 626eab626f1SKonstantin Belousov } 627dfdcada3SDoug Rabson if ((*statep) == NULL) { 62860cdfde0SDoug Rabson state = *statep = ls; 62960cdfde0SDoug Rabson VI_UNLOCK(vp); 630dfdcada3SDoug Rabson } else { 63160cdfde0SDoug Rabson state = *statep; 63260cdfde0SDoug Rabson state->ls_threads++; 63360cdfde0SDoug Rabson VI_UNLOCK(vp); 63460cdfde0SDoug Rabson 635dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 636dfdcada3SDoug Rabson LIST_REMOVE(ls, ls_link); 637dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 638dfdcada3SDoug Rabson sx_destroy(&ls->ls_lock); 639dfdcada3SDoug Rabson free(ls, M_LOCKF); 640dfdcada3SDoug Rabson } 64160cdfde0SDoug Rabson } else { 642dfdcada3SDoug Rabson state->ls_threads++; 643dfdcada3SDoug Rabson VI_UNLOCK(vp); 64460cdfde0SDoug Rabson } 645dfdcada3SDoug Rabson 646dfdcada3SDoug Rabson sx_xlock(&state->ls_lock); 647b33d6177SKonstantin Belousov /* 648b33d6177SKonstantin Belousov * Recheck the doomed vnode after state->ls_lock is 649b33d6177SKonstantin Belousov * locked. lf_purgelocks() requires that no new threads add 650b33d6177SKonstantin Belousov * pending locks when vnode is marked by VI_DOOMED flag. 651b33d6177SKonstantin Belousov */ 652b33d6177SKonstantin Belousov VI_LOCK(vp); 653b33d6177SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 654f02c9d28SKonstantin Belousov state->ls_threads--; 655f02c9d28SKonstantin Belousov wakeup(state); 656b33d6177SKonstantin Belousov VI_UNLOCK(vp); 6575dd6aabaSKonstantin Belousov sx_xunlock(&state->ls_lock); 658b33d6177SKonstantin Belousov lf_free_lock(lock); 659b33d6177SKonstantin Belousov return (ENOENT); 660b33d6177SKonstantin Belousov } 661b33d6177SKonstantin Belousov VI_UNLOCK(vp); 662b33d6177SKonstantin Belousov 66392dc7331SDavid Greenman switch (ap->a_op) { 66492dc7331SDavid Greenman case F_SETLK: 665dfdcada3SDoug Rabson error = lf_setlock(state, lock, vp, ap->a_cookiep); 666bc02f1d9SJeff Roberson break; 66792dc7331SDavid Greenman 66892dc7331SDavid Greenman case F_UNLCK: 669dfdcada3SDoug Rabson error = lf_clearlock(state, lock); 670dfdcada3SDoug Rabson lf_free_lock(lock); 671bc02f1d9SJeff Roberson break; 67292dc7331SDavid Greenman 67392dc7331SDavid Greenman case F_GETLK: 674dfdcada3SDoug Rabson error = lf_getlock(state, lock, fl); 675dfdcada3SDoug Rabson lf_free_lock(lock); 676dfdcada3SDoug Rabson break; 677dfdcada3SDoug Rabson 678dfdcada3SDoug Rabson case F_CANCEL: 679dfdcada3SDoug Rabson if (ap->a_cookiep) 680dfdcada3SDoug Rabson error = lf_cancel(state, lock, *ap->a_cookiep); 681dfdcada3SDoug Rabson else 682dfdcada3SDoug Rabson error = EINVAL; 683dfdcada3SDoug Rabson lf_free_lock(lock); 684bc02f1d9SJeff Roberson break; 68592dc7331SDavid Greenman 68692dc7331SDavid Greenman default: 687dfdcada3SDoug Rabson lf_free_lock(lock); 688013e6650SJeff Roberson error = EINVAL; 689bc02f1d9SJeff Roberson break; 69092dc7331SDavid Greenman } 691dfdcada3SDoug Rabson 692*826b3d31SAndriy Gapon #ifdef DIAGNOSTIC 693dfdcada3SDoug Rabson /* 694dfdcada3SDoug Rabson * Check for some can't happen stuff. In this case, the active 695dfdcada3SDoug Rabson * lock list becoming disordered or containing mutually 696dfdcada3SDoug Rabson * blocking locks. We also check the pending list for locks 697dfdcada3SDoug Rabson * which should be active (i.e. have no out-going edges). 698dfdcada3SDoug Rabson */ 699dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_active, lf_link) { 700dfdcada3SDoug Rabson struct lockf_entry *lf; 701dfdcada3SDoug Rabson if (LIST_NEXT(lock, lf_link)) 702dfdcada3SDoug Rabson KASSERT((lock->lf_start 703dfdcada3SDoug Rabson <= LIST_NEXT(lock, lf_link)->lf_start), 704dfdcada3SDoug Rabson ("locks disordered")); 705dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 706dfdcada3SDoug Rabson if (lock == lf) 707dfdcada3SDoug Rabson break; 708dfdcada3SDoug Rabson KASSERT(!lf_blocks(lock, lf), 709dfdcada3SDoug Rabson ("two conflicting active locks")); 710dfdcada3SDoug Rabson if (lock->lf_owner == lf->lf_owner) 711dfdcada3SDoug Rabson KASSERT(!lf_overlaps(lock, lf), 712dfdcada3SDoug Rabson ("two overlapping locks from same owner")); 713dfdcada3SDoug Rabson } 714dfdcada3SDoug Rabson } 715dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_pending, lf_link) { 716dfdcada3SDoug Rabson KASSERT(!LIST_EMPTY(&lock->lf_outedges), 717dfdcada3SDoug Rabson ("pending lock which should be active")); 718dfdcada3SDoug Rabson } 719dfdcada3SDoug Rabson #endif 720dfdcada3SDoug Rabson sx_xunlock(&state->ls_lock); 721dfdcada3SDoug Rabson 722dfdcada3SDoug Rabson /* 723dfdcada3SDoug Rabson * If we have removed the last active lock on the vnode and 724dfdcada3SDoug Rabson * this is the last thread that was in-progress, we can free 725dfdcada3SDoug Rabson * the state structure. We update the caller's pointer inside 726dfdcada3SDoug Rabson * the vnode interlock but call free outside. 727dfdcada3SDoug Rabson * 728dfdcada3SDoug Rabson * XXX alternatively, keep the state structure around until 729dfdcada3SDoug Rabson * the filesystem recycles - requires a callback from the 730dfdcada3SDoug Rabson * filesystem. 731dfdcada3SDoug Rabson */ 732dfdcada3SDoug Rabson VI_LOCK(vp); 733dfdcada3SDoug Rabson 734dfdcada3SDoug Rabson state->ls_threads--; 735eab626f1SKonstantin Belousov wakeup(state); 736dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 737dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&state->ls_pending), 738dfdcada3SDoug Rabson ("freeing state with pending locks")); 739dfdcada3SDoug Rabson freestate = state; 740dfdcada3SDoug Rabson *statep = NULL; 741dfdcada3SDoug Rabson } 742dfdcada3SDoug Rabson 743bc02f1d9SJeff Roberson VI_UNLOCK(vp); 744dfdcada3SDoug Rabson 7456e19f0deSXin LI if (freestate != NULL) { 746dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 747dfdcada3SDoug Rabson LIST_REMOVE(freestate, ls_link); 748dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 749dfdcada3SDoug Rabson sx_destroy(&freestate->ls_lock); 750dfdcada3SDoug Rabson free(freestate, M_LOCKF); 7516e19f0deSXin LI freestate = NULL; 752004e08beSKonstantin Belousov } 7533bcc218fSKonstantin Belousov 7543bcc218fSKonstantin Belousov if (error == EDOOFUS) { 7553bcc218fSKonstantin Belousov KASSERT(ap->a_op == F_SETLK, ("EDOOFUS")); 7563bcc218fSKonstantin Belousov goto retry_setlock; 7573bcc218fSKonstantin Belousov } 758013e6650SJeff Roberson return (error); 75992dc7331SDavid Greenman } 76092dc7331SDavid Greenman 761dfdcada3SDoug Rabson int 762dfdcada3SDoug Rabson lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size) 763dfdcada3SDoug Rabson { 764dfdcada3SDoug Rabson struct vop_advlockasync_args a; 765dfdcada3SDoug Rabson 766dfdcada3SDoug Rabson a.a_vp = ap->a_vp; 767dfdcada3SDoug Rabson a.a_id = ap->a_id; 768dfdcada3SDoug Rabson a.a_op = ap->a_op; 769dfdcada3SDoug Rabson a.a_fl = ap->a_fl; 770dfdcada3SDoug Rabson a.a_flags = ap->a_flags; 771dfdcada3SDoug Rabson a.a_task = NULL; 772dfdcada3SDoug Rabson a.a_cookiep = NULL; 773dfdcada3SDoug Rabson 774dfdcada3SDoug Rabson return (lf_advlockasync(&a, statep, size)); 775dfdcada3SDoug Rabson } 776dfdcada3SDoug Rabson 777eab626f1SKonstantin Belousov void 778eab626f1SKonstantin Belousov lf_purgelocks(struct vnode *vp, struct lockf **statep) 779eab626f1SKonstantin Belousov { 780eab626f1SKonstantin Belousov struct lockf *state; 781eab626f1SKonstantin Belousov struct lockf_entry *lock, *nlock; 782eab626f1SKonstantin Belousov 783eab626f1SKonstantin Belousov /* 784eab626f1SKonstantin Belousov * For this to work correctly, the caller must ensure that no 785eab626f1SKonstantin Belousov * other threads enter the locking system for this vnode, 786eab626f1SKonstantin Belousov * e.g. by checking VI_DOOMED. We wake up any threads that are 787eab626f1SKonstantin Belousov * sleeping waiting for locks on this vnode and then free all 788eab626f1SKonstantin Belousov * the remaining locks. 789eab626f1SKonstantin Belousov */ 790eab626f1SKonstantin Belousov VI_LOCK(vp); 791b33d6177SKonstantin Belousov KASSERT(vp->v_iflag & VI_DOOMED, 792b33d6177SKonstantin Belousov ("lf_purgelocks: vp %p has not vgone yet", vp)); 793eab626f1SKonstantin Belousov state = *statep; 794eab626f1SKonstantin Belousov if (state) { 795b33d6177SKonstantin Belousov *statep = NULL; 796eab626f1SKonstantin Belousov state->ls_threads++; 797eab626f1SKonstantin Belousov VI_UNLOCK(vp); 798eab626f1SKonstantin Belousov 799eab626f1SKonstantin Belousov sx_xlock(&state->ls_lock); 800eab626f1SKonstantin Belousov sx_xlock(&lf_owner_graph_lock); 801eab626f1SKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 802eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 803eab626f1SKonstantin Belousov lf_remove_outgoing(lock); 804eab626f1SKonstantin Belousov lf_remove_incoming(lock); 805eab626f1SKonstantin Belousov 806eab626f1SKonstantin Belousov /* 807eab626f1SKonstantin Belousov * If its an async lock, we can just free it 808eab626f1SKonstantin Belousov * here, otherwise we let the sleeping thread 809eab626f1SKonstantin Belousov * free it. 810eab626f1SKonstantin Belousov */ 811eab626f1SKonstantin Belousov if (lock->lf_async_task) { 812eab626f1SKonstantin Belousov lf_free_lock(lock); 813eab626f1SKonstantin Belousov } else { 814eab626f1SKonstantin Belousov lock->lf_flags |= F_INTR; 815eab626f1SKonstantin Belousov wakeup(lock); 816eab626f1SKonstantin Belousov } 817eab626f1SKonstantin Belousov } 818eab626f1SKonstantin Belousov sx_xunlock(&lf_owner_graph_lock); 819eab626f1SKonstantin Belousov sx_xunlock(&state->ls_lock); 820eab626f1SKonstantin Belousov 821eab626f1SKonstantin Belousov /* 822eab626f1SKonstantin Belousov * Wait for all other threads, sleeping and otherwise 823eab626f1SKonstantin Belousov * to leave. 824eab626f1SKonstantin Belousov */ 825eab626f1SKonstantin Belousov VI_LOCK(vp); 826eab626f1SKonstantin Belousov while (state->ls_threads > 1) 827eab626f1SKonstantin Belousov msleep(state, VI_MTX(vp), 0, "purgelocks", 0); 828eab626f1SKonstantin Belousov VI_UNLOCK(vp); 829eab626f1SKonstantin Belousov 830eab626f1SKonstantin Belousov /* 831eab626f1SKonstantin Belousov * We can just free all the active locks since they 832e3043798SPedro F. Giffuni * will have no dependencies (we removed them all 833eab626f1SKonstantin Belousov * above). We don't need to bother locking since we 834eab626f1SKonstantin Belousov * are the last thread using this state structure. 835eab626f1SKonstantin Belousov */ 8369727972eSKonstantin Belousov KASSERT(LIST_EMPTY(&state->ls_pending), 8379727972eSKonstantin Belousov ("lock pending for %p", state)); 8389727972eSKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_active, lf_link, nlock) { 839eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 840eab626f1SKonstantin Belousov lf_free_lock(lock); 841eab626f1SKonstantin Belousov } 842eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 843eab626f1SKonstantin Belousov LIST_REMOVE(state, ls_link); 844eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 845eab626f1SKonstantin Belousov sx_destroy(&state->ls_lock); 846eab626f1SKonstantin Belousov free(state, M_LOCKF); 847eab626f1SKonstantin Belousov } else { 848eab626f1SKonstantin Belousov VI_UNLOCK(vp); 849eab626f1SKonstantin Belousov } 850eab626f1SKonstantin Belousov } 851eab626f1SKonstantin Belousov 852dfdcada3SDoug Rabson /* 853dfdcada3SDoug Rabson * Return non-zero if locks 'x' and 'y' overlap. 854dfdcada3SDoug Rabson */ 855dfdcada3SDoug Rabson static int 856dfdcada3SDoug Rabson lf_overlaps(struct lockf_entry *x, struct lockf_entry *y) 857dfdcada3SDoug Rabson { 858dfdcada3SDoug Rabson 859dfdcada3SDoug Rabson return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start); 860dfdcada3SDoug Rabson } 861dfdcada3SDoug Rabson 862dfdcada3SDoug Rabson /* 863dfdcada3SDoug Rabson * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa). 864dfdcada3SDoug Rabson */ 865dfdcada3SDoug Rabson static int 866dfdcada3SDoug Rabson lf_blocks(struct lockf_entry *x, struct lockf_entry *y) 867dfdcada3SDoug Rabson { 868dfdcada3SDoug Rabson 869dfdcada3SDoug Rabson return x->lf_owner != y->lf_owner 870dfdcada3SDoug Rabson && (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK) 871dfdcada3SDoug Rabson && lf_overlaps(x, y); 872dfdcada3SDoug Rabson } 873dfdcada3SDoug Rabson 874dfdcada3SDoug Rabson /* 875dfdcada3SDoug Rabson * Allocate a lock edge from the free list 876dfdcada3SDoug Rabson */ 877dfdcada3SDoug Rabson static struct lockf_edge * 878dfdcada3SDoug Rabson lf_alloc_edge(void) 879dfdcada3SDoug Rabson { 880dfdcada3SDoug Rabson 881dfdcada3SDoug Rabson return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO)); 882dfdcada3SDoug Rabson } 883dfdcada3SDoug Rabson 884dfdcada3SDoug Rabson /* 885dfdcada3SDoug Rabson * Free a lock edge. 886dfdcada3SDoug Rabson */ 887dfdcada3SDoug Rabson static void 888dfdcada3SDoug Rabson lf_free_edge(struct lockf_edge *e) 889dfdcada3SDoug Rabson { 890dfdcada3SDoug Rabson 891dfdcada3SDoug Rabson free(e, M_LOCKF); 892dfdcada3SDoug Rabson } 893dfdcada3SDoug Rabson 894dfdcada3SDoug Rabson 895dfdcada3SDoug Rabson /* 896dfdcada3SDoug Rabson * Ensure that the lock's owner has a corresponding vertex in the 897dfdcada3SDoug Rabson * owner graph. 898dfdcada3SDoug Rabson */ 899dfdcada3SDoug Rabson static void 900dfdcada3SDoug Rabson lf_alloc_vertex(struct lockf_entry *lock) 901dfdcada3SDoug Rabson { 902dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 903dfdcada3SDoug Rabson 904dfdcada3SDoug Rabson if (!lock->lf_owner->lo_vertex) 905dfdcada3SDoug Rabson lock->lf_owner->lo_vertex = 906dfdcada3SDoug Rabson graph_alloc_vertex(g, lock->lf_owner); 907dfdcada3SDoug Rabson } 908dfdcada3SDoug Rabson 909dfdcada3SDoug Rabson /* 910dfdcada3SDoug Rabson * Attempt to record an edge from lock x to lock y. Return EDEADLK if 911dfdcada3SDoug Rabson * the new edge would cause a cycle in the owner graph. 912dfdcada3SDoug Rabson */ 913dfdcada3SDoug Rabson static int 914dfdcada3SDoug Rabson lf_add_edge(struct lockf_entry *x, struct lockf_entry *y) 915dfdcada3SDoug Rabson { 916dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 917dfdcada3SDoug Rabson struct lockf_edge *e; 918dfdcada3SDoug Rabson int error; 919dfdcada3SDoug Rabson 920*826b3d31SAndriy Gapon #ifdef DIAGNOSTIC 921dfdcada3SDoug Rabson LIST_FOREACH(e, &x->lf_outedges, le_outlink) 922dfdcada3SDoug Rabson KASSERT(e->le_to != y, ("adding lock edge twice")); 923dfdcada3SDoug Rabson #endif 924dfdcada3SDoug Rabson 925dfdcada3SDoug Rabson /* 926dfdcada3SDoug Rabson * Make sure the two owners have entries in the owner graph. 927dfdcada3SDoug Rabson */ 928dfdcada3SDoug Rabson lf_alloc_vertex(x); 929dfdcada3SDoug Rabson lf_alloc_vertex(y); 930dfdcada3SDoug Rabson 931dfdcada3SDoug Rabson error = graph_add_edge(g, x->lf_owner->lo_vertex, 932dfdcada3SDoug Rabson y->lf_owner->lo_vertex); 933dfdcada3SDoug Rabson if (error) 934dfdcada3SDoug Rabson return (error); 935dfdcada3SDoug Rabson 936dfdcada3SDoug Rabson e = lf_alloc_edge(); 937dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink); 938dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink); 939dfdcada3SDoug Rabson e->le_from = x; 940dfdcada3SDoug Rabson e->le_to = y; 941dfdcada3SDoug Rabson 942dfdcada3SDoug Rabson return (0); 943dfdcada3SDoug Rabson } 944dfdcada3SDoug Rabson 945dfdcada3SDoug Rabson /* 946dfdcada3SDoug Rabson * Remove an edge from the lock graph. 947dfdcada3SDoug Rabson */ 948dfdcada3SDoug Rabson static void 949dfdcada3SDoug Rabson lf_remove_edge(struct lockf_edge *e) 950dfdcada3SDoug Rabson { 951dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 952dfdcada3SDoug Rabson struct lockf_entry *x = e->le_from; 953dfdcada3SDoug Rabson struct lockf_entry *y = e->le_to; 954dfdcada3SDoug Rabson 955dfdcada3SDoug Rabson graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex); 956dfdcada3SDoug Rabson LIST_REMOVE(e, le_outlink); 957dfdcada3SDoug Rabson LIST_REMOVE(e, le_inlink); 958dfdcada3SDoug Rabson e->le_from = NULL; 959dfdcada3SDoug Rabson e->le_to = NULL; 960dfdcada3SDoug Rabson lf_free_edge(e); 961dfdcada3SDoug Rabson } 962dfdcada3SDoug Rabson 963dfdcada3SDoug Rabson /* 964dfdcada3SDoug Rabson * Remove all out-going edges from lock x. 965dfdcada3SDoug Rabson */ 966dfdcada3SDoug Rabson static void 967dfdcada3SDoug Rabson lf_remove_outgoing(struct lockf_entry *x) 968dfdcada3SDoug Rabson { 969dfdcada3SDoug Rabson struct lockf_edge *e; 970dfdcada3SDoug Rabson 971dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) { 972dfdcada3SDoug Rabson lf_remove_edge(e); 973dfdcada3SDoug Rabson } 974dfdcada3SDoug Rabson } 975dfdcada3SDoug Rabson 976dfdcada3SDoug Rabson /* 977dfdcada3SDoug Rabson * Remove all in-coming edges from lock x. 978dfdcada3SDoug Rabson */ 979dfdcada3SDoug Rabson static void 980dfdcada3SDoug Rabson lf_remove_incoming(struct lockf_entry *x) 981dfdcada3SDoug Rabson { 982dfdcada3SDoug Rabson struct lockf_edge *e; 983dfdcada3SDoug Rabson 984dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) { 985dfdcada3SDoug Rabson lf_remove_edge(e); 986dfdcada3SDoug Rabson } 987dfdcada3SDoug Rabson } 988dfdcada3SDoug Rabson 989dfdcada3SDoug Rabson /* 990dfdcada3SDoug Rabson * Walk the list of locks for the file and create an out-going edge 991dfdcada3SDoug Rabson * from lock to each blocking lock. 992dfdcada3SDoug Rabson */ 993dfdcada3SDoug Rabson static int 994dfdcada3SDoug Rabson lf_add_outgoing(struct lockf *state, struct lockf_entry *lock) 995dfdcada3SDoug Rabson { 996dfdcada3SDoug Rabson struct lockf_entry *overlap; 997dfdcada3SDoug Rabson int error; 998dfdcada3SDoug Rabson 999dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 1000dfdcada3SDoug Rabson /* 1001dfdcada3SDoug Rabson * We may assume that the active list is sorted by 1002dfdcada3SDoug Rabson * lf_start. 1003dfdcada3SDoug Rabson */ 1004dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1005dfdcada3SDoug Rabson break; 1006dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1007dfdcada3SDoug Rabson continue; 1008dfdcada3SDoug Rabson 1009dfdcada3SDoug Rabson /* 1010dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1011dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1012dfdcada3SDoug Rabson * deadlock. 1013dfdcada3SDoug Rabson */ 1014dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1015dfdcada3SDoug Rabson 1016dfdcada3SDoug Rabson /* 1017dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1018dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1019dfdcada3SDoug Rabson */ 1020dfdcada3SDoug Rabson if (error) { 1021dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1022dfdcada3SDoug Rabson return (error); 1023dfdcada3SDoug Rabson } 1024dfdcada3SDoug Rabson } 1025dfdcada3SDoug Rabson 1026dfdcada3SDoug Rabson /* 1027dfdcada3SDoug Rabson * We also need to add edges to sleeping locks that block 1028dfdcada3SDoug Rabson * us. This ensures that lf_wakeup_lock cannot grant two 1029dfdcada3SDoug Rabson * mutually blocking locks simultaneously and also enforces a 1030dfdcada3SDoug Rabson * 'first come, first served' fairness model. Note that this 1031dfdcada3SDoug Rabson * only happens if we are blocked by at least one active lock 1032dfdcada3SDoug Rabson * due to the call to lf_getblock in lf_setlock below. 1033dfdcada3SDoug Rabson */ 1034dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1035dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1036dfdcada3SDoug Rabson continue; 1037dfdcada3SDoug Rabson /* 1038dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1039dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1040dfdcada3SDoug Rabson * deadlock. 1041dfdcada3SDoug Rabson */ 1042dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1043dfdcada3SDoug Rabson 1044dfdcada3SDoug Rabson /* 1045dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1046dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1047dfdcada3SDoug Rabson */ 1048dfdcada3SDoug Rabson if (error) { 1049dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1050dfdcada3SDoug Rabson return (error); 1051dfdcada3SDoug Rabson } 1052dfdcada3SDoug Rabson } 1053dfdcada3SDoug Rabson 1054dfdcada3SDoug Rabson return (0); 1055dfdcada3SDoug Rabson } 1056dfdcada3SDoug Rabson 1057dfdcada3SDoug Rabson /* 1058dfdcada3SDoug Rabson * Walk the list of pending locks for the file and create an in-coming 1059dfdcada3SDoug Rabson * edge from lock to each blocking lock. 1060dfdcada3SDoug Rabson */ 1061dfdcada3SDoug Rabson static int 1062dfdcada3SDoug Rabson lf_add_incoming(struct lockf *state, struct lockf_entry *lock) 1063dfdcada3SDoug Rabson { 1064dfdcada3SDoug Rabson struct lockf_entry *overlap; 1065dfdcada3SDoug Rabson int error; 1066dfdcada3SDoug Rabson 1067dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1068dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1069dfdcada3SDoug Rabson continue; 1070dfdcada3SDoug Rabson 1071dfdcada3SDoug Rabson /* 1072dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1073dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1074dfdcada3SDoug Rabson * deadlock. 1075dfdcada3SDoug Rabson */ 1076dfdcada3SDoug Rabson error = lf_add_edge(overlap, lock); 1077dfdcada3SDoug Rabson 1078dfdcada3SDoug Rabson /* 1079dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1080dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1081dfdcada3SDoug Rabson */ 1082dfdcada3SDoug Rabson if (error) { 1083dfdcada3SDoug Rabson lf_remove_incoming(lock); 1084dfdcada3SDoug Rabson return (error); 1085dfdcada3SDoug Rabson } 1086dfdcada3SDoug Rabson } 1087dfdcada3SDoug Rabson return (0); 1088dfdcada3SDoug Rabson } 1089dfdcada3SDoug Rabson 1090dfdcada3SDoug Rabson /* 1091dfdcada3SDoug Rabson * Insert lock into the active list, keeping list entries ordered by 1092dfdcada3SDoug Rabson * increasing values of lf_start. 1093dfdcada3SDoug Rabson */ 1094dfdcada3SDoug Rabson static void 1095dfdcada3SDoug Rabson lf_insert_lock(struct lockf *state, struct lockf_entry *lock) 1096dfdcada3SDoug Rabson { 1097dfdcada3SDoug Rabson struct lockf_entry *lf, *lfprev; 1098dfdcada3SDoug Rabson 1099dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active)) { 1100dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_active, lock, lf_link); 1101dfdcada3SDoug Rabson return; 1102dfdcada3SDoug Rabson } 1103dfdcada3SDoug Rabson 1104dfdcada3SDoug Rabson lfprev = NULL; 1105dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 1106dfdcada3SDoug Rabson if (lf->lf_start > lock->lf_start) { 1107dfdcada3SDoug Rabson LIST_INSERT_BEFORE(lf, lock, lf_link); 1108dfdcada3SDoug Rabson return; 1109dfdcada3SDoug Rabson } 1110dfdcada3SDoug Rabson lfprev = lf; 1111dfdcada3SDoug Rabson } 1112dfdcada3SDoug Rabson LIST_INSERT_AFTER(lfprev, lock, lf_link); 1113dfdcada3SDoug Rabson } 1114dfdcada3SDoug Rabson 1115dfdcada3SDoug Rabson /* 1116dfdcada3SDoug Rabson * Wake up a sleeping lock and remove it from the pending list now 1117e3043798SPedro F. Giffuni * that all its dependencies have been resolved. The caller should 1118dfdcada3SDoug Rabson * arrange for the lock to be added to the active list, adjusting any 1119dfdcada3SDoug Rabson * existing locks for the same owner as needed. 1120dfdcada3SDoug Rabson */ 1121dfdcada3SDoug Rabson static void 1122dfdcada3SDoug Rabson lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock) 1123dfdcada3SDoug Rabson { 1124dfdcada3SDoug Rabson 1125dfdcada3SDoug Rabson /* 1126dfdcada3SDoug Rabson * Remove from ls_pending list and wake up the caller 1127dfdcada3SDoug Rabson * or start the async notification, as appropriate. 1128dfdcada3SDoug Rabson */ 1129dfdcada3SDoug Rabson LIST_REMOVE(wakelock, lf_link); 1130dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1131dfdcada3SDoug Rabson if (lockf_debug & 1) 1132dfdcada3SDoug Rabson lf_print("lf_wakeup_lock: awakening", wakelock); 1133dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1134dfdcada3SDoug Rabson if (wakelock->lf_async_task) { 1135dfdcada3SDoug Rabson taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task); 1136dfdcada3SDoug Rabson } else { 1137dfdcada3SDoug Rabson wakeup(wakelock); 1138dfdcada3SDoug Rabson } 1139dfdcada3SDoug Rabson } 1140dfdcada3SDoug Rabson 1141dfdcada3SDoug Rabson /* 1142e3043798SPedro F. Giffuni * Re-check all dependent locks and remove edges to locks that we no 1143dfdcada3SDoug Rabson * longer block. If 'all' is non-zero, the lock has been removed and 1144e3043798SPedro F. Giffuni * we must remove all the dependencies, otherwise it has simply been 1145dfdcada3SDoug Rabson * reduced but remains active. Any pending locks which have been been 1146dfdcada3SDoug Rabson * unblocked are added to 'granted' 1147dfdcada3SDoug Rabson */ 1148dfdcada3SDoug Rabson static void 1149dfdcada3SDoug Rabson lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all, 1150dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1151dfdcada3SDoug Rabson { 1152dfdcada3SDoug Rabson struct lockf_edge *e, *ne; 1153dfdcada3SDoug Rabson struct lockf_entry *deplock; 1154dfdcada3SDoug Rabson 1155dfdcada3SDoug Rabson LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) { 1156dfdcada3SDoug Rabson deplock = e->le_from; 1157dfdcada3SDoug Rabson if (all || !lf_blocks(lock, deplock)) { 1158dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1159dfdcada3SDoug Rabson lf_remove_edge(e); 1160dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1161dfdcada3SDoug Rabson if (LIST_EMPTY(&deplock->lf_outedges)) { 1162dfdcada3SDoug Rabson lf_wakeup_lock(state, deplock); 1163dfdcada3SDoug Rabson LIST_INSERT_HEAD(granted, deplock, lf_link); 1164dfdcada3SDoug Rabson } 1165dfdcada3SDoug Rabson } 1166dfdcada3SDoug Rabson } 1167dfdcada3SDoug Rabson } 1168dfdcada3SDoug Rabson 1169dfdcada3SDoug Rabson /* 1170e3043798SPedro F. Giffuni * Set the start of an existing active lock, updating dependencies and 1171dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1172dfdcada3SDoug Rabson */ 1173dfdcada3SDoug Rabson static void 1174dfdcada3SDoug Rabson lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start, 1175dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1176dfdcada3SDoug Rabson { 1177dfdcada3SDoug Rabson 1178dfdcada3SDoug Rabson KASSERT(new_start >= lock->lf_start, ("can't increase lock")); 1179dfdcada3SDoug Rabson lock->lf_start = new_start; 1180dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1181dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1182dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1183dfdcada3SDoug Rabson } 1184dfdcada3SDoug Rabson 1185dfdcada3SDoug Rabson /* 1186e3043798SPedro F. Giffuni * Set the end of an existing active lock, updating dependencies and 1187dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1188dfdcada3SDoug Rabson */ 1189dfdcada3SDoug Rabson static void 1190dfdcada3SDoug Rabson lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end, 1191dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1192dfdcada3SDoug Rabson { 1193dfdcada3SDoug Rabson 1194dfdcada3SDoug Rabson KASSERT(new_end <= lock->lf_end, ("can't increase lock")); 1195dfdcada3SDoug Rabson lock->lf_end = new_end; 1196dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1197dfdcada3SDoug Rabson } 1198dfdcada3SDoug Rabson 1199dfdcada3SDoug Rabson /* 1200dfdcada3SDoug Rabson * Add a lock to the active list, updating or removing any current 1201dfdcada3SDoug Rabson * locks owned by the same owner and processing any pending locks that 1202dfdcada3SDoug Rabson * become unblocked as a result. This code is also used for unlock 1203dfdcada3SDoug Rabson * since the logic for updating existing locks is identical. 1204dfdcada3SDoug Rabson * 1205dfdcada3SDoug Rabson * As a result of processing the new lock, we may unblock existing 1206dfdcada3SDoug Rabson * pending locks as a result of downgrading/unlocking. We simply 1207dfdcada3SDoug Rabson * activate the newly granted locks by looping. 1208dfdcada3SDoug Rabson * 1209e3043798SPedro F. Giffuni * Since the new lock already has its dependencies set up, we always 1210dfdcada3SDoug Rabson * add it to the list (unless its an unlock request). This may 1211dfdcada3SDoug Rabson * fragment the lock list in some pathological cases but its probably 1212dfdcada3SDoug Rabson * not a real problem. 1213dfdcada3SDoug Rabson */ 1214dfdcada3SDoug Rabson static void 1215dfdcada3SDoug Rabson lf_activate_lock(struct lockf *state, struct lockf_entry *lock) 1216dfdcada3SDoug Rabson { 1217dfdcada3SDoug Rabson struct lockf_entry *overlap, *lf; 1218dfdcada3SDoug Rabson struct lockf_entry_list granted; 1219dfdcada3SDoug Rabson int ovcase; 1220dfdcada3SDoug Rabson 1221dfdcada3SDoug Rabson LIST_INIT(&granted); 1222dfdcada3SDoug Rabson LIST_INSERT_HEAD(&granted, lock, lf_link); 1223dfdcada3SDoug Rabson 1224dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1225dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1226dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1227dfdcada3SDoug Rabson 1228dfdcada3SDoug Rabson /* 1229dfdcada3SDoug Rabson * Skip over locks owned by other processes. Handle 1230dfdcada3SDoug Rabson * any locks that overlap and are owned by ourselves. 1231dfdcada3SDoug Rabson */ 1232dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1233dfdcada3SDoug Rabson for (;;) { 1234dfdcada3SDoug Rabson ovcase = lf_findoverlap(&overlap, lock, SELF); 1235dfdcada3SDoug Rabson 1236dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1237dfdcada3SDoug Rabson if (ovcase && (lockf_debug & 2)) { 1238dfdcada3SDoug Rabson printf("lf_setlock: overlap %d", ovcase); 1239dfdcada3SDoug Rabson lf_print("", overlap); 1240dfdcada3SDoug Rabson } 1241dfdcada3SDoug Rabson #endif 1242dfdcada3SDoug Rabson /* 1243dfdcada3SDoug Rabson * Six cases: 1244dfdcada3SDoug Rabson * 0) no overlap 1245dfdcada3SDoug Rabson * 1) overlap == lock 1246dfdcada3SDoug Rabson * 2) overlap contains lock 1247dfdcada3SDoug Rabson * 3) lock contains overlap 1248dfdcada3SDoug Rabson * 4) overlap starts before lock 1249dfdcada3SDoug Rabson * 5) overlap ends after lock 1250dfdcada3SDoug Rabson */ 1251dfdcada3SDoug Rabson switch (ovcase) { 1252dfdcada3SDoug Rabson case 0: /* no overlap */ 1253dfdcada3SDoug Rabson break; 1254dfdcada3SDoug Rabson 1255dfdcada3SDoug Rabson case 1: /* overlap == lock */ 1256dfdcada3SDoug Rabson /* 1257dfdcada3SDoug Rabson * We have already setup the 1258dfdcada3SDoug Rabson * dependants for the new lock, taking 1259dfdcada3SDoug Rabson * into account a possible downgrade 1260dfdcada3SDoug Rabson * or unlock. Remove the old lock. 1261dfdcada3SDoug Rabson */ 1262dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1263dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1264dfdcada3SDoug Rabson &granted); 1265dfdcada3SDoug Rabson lf_free_lock(overlap); 1266dfdcada3SDoug Rabson break; 1267dfdcada3SDoug Rabson 1268dfdcada3SDoug Rabson case 2: /* overlap contains lock */ 1269dfdcada3SDoug Rabson /* 1270dfdcada3SDoug Rabson * Just split the existing lock. 1271dfdcada3SDoug Rabson */ 1272dfdcada3SDoug Rabson lf_split(state, overlap, lock, &granted); 1273dfdcada3SDoug Rabson break; 1274dfdcada3SDoug Rabson 1275dfdcada3SDoug Rabson case 3: /* lock contains overlap */ 1276dfdcada3SDoug Rabson /* 1277dfdcada3SDoug Rabson * Delete the overlap and advance to 1278dfdcada3SDoug Rabson * the next entry in the list. 1279dfdcada3SDoug Rabson */ 1280dfdcada3SDoug Rabson lf = LIST_NEXT(overlap, lf_link); 1281dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1282dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1283dfdcada3SDoug Rabson &granted); 1284dfdcada3SDoug Rabson lf_free_lock(overlap); 1285dfdcada3SDoug Rabson overlap = lf; 1286dfdcada3SDoug Rabson continue; 1287dfdcada3SDoug Rabson 1288dfdcada3SDoug Rabson case 4: /* overlap starts before lock */ 1289dfdcada3SDoug Rabson /* 1290dfdcada3SDoug Rabson * Just update the overlap end and 1291dfdcada3SDoug Rabson * move on. 1292dfdcada3SDoug Rabson */ 1293dfdcada3SDoug Rabson lf_set_end(state, overlap, lock->lf_start - 1, 1294dfdcada3SDoug Rabson &granted); 1295dfdcada3SDoug Rabson overlap = LIST_NEXT(overlap, lf_link); 1296dfdcada3SDoug Rabson continue; 1297dfdcada3SDoug Rabson 1298dfdcada3SDoug Rabson case 5: /* overlap ends after lock */ 1299dfdcada3SDoug Rabson /* 1300dfdcada3SDoug Rabson * Change the start of overlap and 1301dfdcada3SDoug Rabson * re-insert. 1302dfdcada3SDoug Rabson */ 1303dfdcada3SDoug Rabson lf_set_start(state, overlap, lock->lf_end + 1, 1304dfdcada3SDoug Rabson &granted); 1305dfdcada3SDoug Rabson break; 1306dfdcada3SDoug Rabson } 1307dfdcada3SDoug Rabson break; 1308dfdcada3SDoug Rabson } 1309dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1310dfdcada3SDoug Rabson if (lockf_debug & 1) { 1311dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1312dfdcada3SDoug Rabson lf_print("lf_activate_lock: activated", lock); 1313dfdcada3SDoug Rabson else 1314dfdcada3SDoug Rabson lf_print("lf_activate_lock: unlocked", lock); 1315dfdcada3SDoug Rabson lf_printlist("lf_activate_lock", lock); 1316dfdcada3SDoug Rabson } 1317dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1318dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1319dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1320dfdcada3SDoug Rabson } 1321dfdcada3SDoug Rabson } 1322dfdcada3SDoug Rabson 1323dfdcada3SDoug Rabson /* 1324dfdcada3SDoug Rabson * Cancel a pending lock request, either as a result of a signal or a 1325dfdcada3SDoug Rabson * cancel request for an async lock. 1326dfdcada3SDoug Rabson */ 1327dfdcada3SDoug Rabson static void 1328dfdcada3SDoug Rabson lf_cancel_lock(struct lockf *state, struct lockf_entry *lock) 1329dfdcada3SDoug Rabson { 1330dfdcada3SDoug Rabson struct lockf_entry_list granted; 1331dfdcada3SDoug Rabson 1332dfdcada3SDoug Rabson /* 1333dfdcada3SDoug Rabson * Note it is theoretically possible that cancelling this lock 1334dfdcada3SDoug Rabson * may allow some other pending lock to become 1335dfdcada3SDoug Rabson * active. Consider this case: 1336dfdcada3SDoug Rabson * 1337e3043798SPedro F. Giffuni * Owner Action Result Dependencies 1338dfdcada3SDoug Rabson * 1339dfdcada3SDoug Rabson * A: lock [0..0] succeeds 1340dfdcada3SDoug Rabson * B: lock [2..2] succeeds 1341dfdcada3SDoug Rabson * C: lock [1..2] blocked C->B 1342dfdcada3SDoug Rabson * D: lock [0..1] blocked C->B,D->A,D->C 1343dfdcada3SDoug Rabson * A: unlock [0..0] C->B,D->C 1344dfdcada3SDoug Rabson * C: cancel [1..2] 1345dfdcada3SDoug Rabson */ 1346dfdcada3SDoug Rabson 1347dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1348dfdcada3SDoug Rabson 1349dfdcada3SDoug Rabson /* 1350dfdcada3SDoug Rabson * Removing out-going edges is simple. 1351dfdcada3SDoug Rabson */ 1352dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1353dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1354dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1355dfdcada3SDoug Rabson 1356dfdcada3SDoug Rabson /* 1357dfdcada3SDoug Rabson * Removing in-coming edges may allow some other lock to 1358dfdcada3SDoug Rabson * become active - we use lf_update_dependancies to figure 1359dfdcada3SDoug Rabson * this out. 1360dfdcada3SDoug Rabson */ 1361dfdcada3SDoug Rabson LIST_INIT(&granted); 1362dfdcada3SDoug Rabson lf_update_dependancies(state, lock, TRUE, &granted); 1363dfdcada3SDoug Rabson lf_free_lock(lock); 1364dfdcada3SDoug Rabson 1365dfdcada3SDoug Rabson /* 1366dfdcada3SDoug Rabson * Feed any newly active locks to lf_activate_lock. 1367dfdcada3SDoug Rabson */ 1368dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1369dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1370dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1371dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1372dfdcada3SDoug Rabson } 1373dfdcada3SDoug Rabson } 1374dfdcada3SDoug Rabson 137592dc7331SDavid Greenman /* 137692dc7331SDavid Greenman * Set a byte-range lock. 137792dc7331SDavid Greenman */ 137887b6de2bSPoul-Henning Kamp static int 1379dfdcada3SDoug Rabson lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp, 1380dfdcada3SDoug Rabson void **cookiep) 138192dc7331SDavid Greenman { 138292dc7331SDavid Greenman static char lockstr[] = "lockf"; 1383883a5a4aSKonstantin Belousov int error, priority, stops_deferred; 138492dc7331SDavid Greenman 138592dc7331SDavid Greenman #ifdef LOCKF_DEBUG 138692dc7331SDavid Greenman if (lockf_debug & 1) 138792dc7331SDavid Greenman lf_print("lf_setlock", lock); 138892dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 138992dc7331SDavid Greenman 139092dc7331SDavid Greenman /* 139192dc7331SDavid Greenman * Set the priority 139292dc7331SDavid Greenman */ 139392dc7331SDavid Greenman priority = PLOCK; 139492dc7331SDavid Greenman if (lock->lf_type == F_WRLCK) 139592dc7331SDavid Greenman priority += 4; 1396c675522fSDoug Rabson if (!(lock->lf_flags & F_NOINTR)) 139792dc7331SDavid Greenman priority |= PCATCH; 139892dc7331SDavid Greenman /* 139992dc7331SDavid Greenman * Scan lock list for this file looking for locks that would block us. 140092dc7331SDavid Greenman */ 14018aec91b5SKonstantin Belousov if (lf_getblock(state, lock)) { 140292dc7331SDavid Greenman /* 140392dc7331SDavid Greenman * Free the structure and return if nonblocking. 140492dc7331SDavid Greenman */ 1405dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0 1406dfdcada3SDoug Rabson && lock->lf_async_task == NULL) { 1407dfdcada3SDoug Rabson lf_free_lock(lock); 1408dfdcada3SDoug Rabson error = EAGAIN; 1409dfdcada3SDoug Rabson goto out; 141092dc7331SDavid Greenman } 141192dc7331SDavid Greenman 1412dfdcada3SDoug Rabson /* 141306c85cefSDoug Rabson * For flock type locks, we must first remove 141406c85cefSDoug Rabson * any shared locks that we hold before we sleep 141506c85cefSDoug Rabson * waiting for an exclusive lock. 141606c85cefSDoug Rabson */ 141706c85cefSDoug Rabson if ((lock->lf_flags & F_FLOCK) && 141806c85cefSDoug Rabson lock->lf_type == F_WRLCK) { 141906c85cefSDoug Rabson lock->lf_type = F_UNLCK; 142006c85cefSDoug Rabson lf_activate_lock(state, lock); 142106c85cefSDoug Rabson lock->lf_type = F_WRLCK; 142206c85cefSDoug Rabson } 142306c85cefSDoug Rabson 142406c85cefSDoug Rabson /* 1425dfdcada3SDoug Rabson * We are blocked. Create edges to each blocking lock, 1426dfdcada3SDoug Rabson * checking for deadlock using the owner graph. For 1427dfdcada3SDoug Rabson * simplicity, we run deadlock detection for all 1428dfdcada3SDoug Rabson * locks, posix and otherwise. 1429dfdcada3SDoug Rabson */ 1430dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1431dfdcada3SDoug Rabson error = lf_add_outgoing(state, lock); 1432dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1433dfdcada3SDoug Rabson 1434dfdcada3SDoug Rabson if (error) { 1435dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1436dfdcada3SDoug Rabson if (lockf_debug & 1) 1437dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1438dfdcada3SDoug Rabson #endif 1439dfdcada3SDoug Rabson lf_free_lock(lock); 1440dfdcada3SDoug Rabson goto out; 144192dc7331SDavid Greenman } 1442dfdcada3SDoug Rabson 144392dc7331SDavid Greenman /* 1444dfdcada3SDoug Rabson * We have added edges to everything that blocks 1445dfdcada3SDoug Rabson * us. Sleep until they all go away. 144692dc7331SDavid Greenman */ 1447dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link); 144892dc7331SDavid Greenman #ifdef LOCKF_DEBUG 144992dc7331SDavid Greenman if (lockf_debug & 1) { 1450dfdcada3SDoug Rabson struct lockf_edge *e; 1451dfdcada3SDoug Rabson LIST_FOREACH(e, &lock->lf_outedges, le_outlink) { 1452dfdcada3SDoug Rabson lf_print("lf_setlock: blocking on", e->le_to); 1453dfdcada3SDoug Rabson lf_printlist("lf_setlock", e->le_to); 1454dfdcada3SDoug Rabson } 145592dc7331SDavid Greenman } 145692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1457dfdcada3SDoug Rabson 1458dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0) { 1459dfdcada3SDoug Rabson /* 1460dfdcada3SDoug Rabson * The caller requested async notification - 1461dfdcada3SDoug Rabson * this callback happens when the blocking 1462dfdcada3SDoug Rabson * lock is released, allowing the caller to 1463dfdcada3SDoug Rabson * make another attempt to take the lock. 1464dfdcada3SDoug Rabson */ 1465dfdcada3SDoug Rabson *cookiep = (void *) lock; 1466dfdcada3SDoug Rabson error = EINPROGRESS; 1467dfdcada3SDoug Rabson goto out; 1468dfdcada3SDoug Rabson } 1469dfdcada3SDoug Rabson 14708af54d4cSKonstantin Belousov lock->lf_refs++; 1471883a5a4aSKonstantin Belousov stops_deferred = sigdeferstop(SIGDEFERSTOP_ERESTART); 1472dfdcada3SDoug Rabson error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0); 1473883a5a4aSKonstantin Belousov sigallowstop(stops_deferred); 14748af54d4cSKonstantin Belousov if (lf_free_lock(lock)) { 14753bcc218fSKonstantin Belousov error = EDOOFUS; 14768af54d4cSKonstantin Belousov goto out; 14778af54d4cSKonstantin Belousov } 14788af54d4cSKonstantin Belousov 147992dc7331SDavid Greenman /* 14801168ab08SBruce Evans * We may have been awakened by a signal and/or by a 1481dfdcada3SDoug Rabson * debugger continuing us (in which cases we must 1482dfdcada3SDoug Rabson * remove our lock graph edges) and/or by another 1483dfdcada3SDoug Rabson * process releasing a lock (in which case our edges 1484dfdcada3SDoug Rabson * have already been removed and we have been moved to 1485eab626f1SKonstantin Belousov * the active list). We may also have been woken by 1486eab626f1SKonstantin Belousov * lf_purgelocks which we report to the caller as 1487eab626f1SKonstantin Belousov * EINTR. In that case, lf_purgelocks will have 1488eab626f1SKonstantin Belousov * removed our lock graph edges. 1489dfdcada3SDoug Rabson * 1490dfdcada3SDoug Rabson * Note that it is possible to receive a signal after 1491dfdcada3SDoug Rabson * we were successfully woken (and moved to the active 1492dfdcada3SDoug Rabson * list) but before we resumed execution. In this 1493dfdcada3SDoug Rabson * case, our lf_outedges list will be clear. We 1494dfdcada3SDoug Rabson * pretend there was no error. 1495dfdcada3SDoug Rabson * 1496dfdcada3SDoug Rabson * Note also, if we have been sleeping long enough, we 1497dfdcada3SDoug Rabson * may now have incoming edges from some newer lock 1498dfdcada3SDoug Rabson * which is waiting behind us in the queue. 149992dc7331SDavid Greenman */ 1500eab626f1SKonstantin Belousov if (lock->lf_flags & F_INTR) { 1501eab626f1SKonstantin Belousov error = EINTR; 1502eab626f1SKonstantin Belousov lf_free_lock(lock); 1503eab626f1SKonstantin Belousov goto out; 1504eab626f1SKonstantin Belousov } 1505dfdcada3SDoug Rabson if (LIST_EMPTY(&lock->lf_outedges)) { 1506dfdcada3SDoug Rabson error = 0; 1507dfdcada3SDoug Rabson } else { 1508dfdcada3SDoug Rabson lf_cancel_lock(state, lock); 1509dfdcada3SDoug Rabson goto out; 15101168ab08SBruce Evans } 1511dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1512dfdcada3SDoug Rabson if (lockf_debug & 1) { 1513dfdcada3SDoug Rabson lf_print("lf_setlock: granted", lock); 1514dfdcada3SDoug Rabson } 1515dfdcada3SDoug Rabson #endif 1516dfdcada3SDoug Rabson goto out; 1517dfdcada3SDoug Rabson } 1518dfdcada3SDoug Rabson /* 1519dfdcada3SDoug Rabson * It looks like we are going to grant the lock. First add 1520dfdcada3SDoug Rabson * edges from any currently pending lock that the new lock 1521dfdcada3SDoug Rabson * would block. 1522dfdcada3SDoug Rabson */ 1523dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1524dfdcada3SDoug Rabson error = lf_add_incoming(state, lock); 1525dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_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 sx_xlock(&lf_owner_graph_lock); 1855dfdcada3SDoug Rabson lf_add_incoming(state, splitlock); 1856dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1857dfdcada3SDoug Rabson 1858dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1859dfdcada3SDoug Rabson 186092dc7331SDavid Greenman /* 186192dc7331SDavid Greenman * OK, now link it in 186292dc7331SDavid Greenman */ 1863dfdcada3SDoug Rabson lf_insert_lock(state, splitlock); 1864dfdcada3SDoug Rabson } 1865dfdcada3SDoug Rabson 1866c675522fSDoug Rabson struct lockdesc { 1867c675522fSDoug Rabson STAILQ_ENTRY(lockdesc) link; 1868dfdcada3SDoug Rabson struct vnode *vp; 1869dfdcada3SDoug Rabson struct flock fl; 1870dfdcada3SDoug Rabson }; 1871c675522fSDoug Rabson STAILQ_HEAD(lockdesclist, lockdesc); 1872dfdcada3SDoug Rabson 1873c675522fSDoug Rabson int 1874c675522fSDoug Rabson lf_iteratelocks_sysid(int sysid, lf_iterator *fn, void *arg) 1875dfdcada3SDoug Rabson { 1876dfdcada3SDoug Rabson struct lockf *ls; 1877dfdcada3SDoug Rabson struct lockf_entry *lf; 1878c675522fSDoug Rabson struct lockdesc *ldesc; 1879c675522fSDoug Rabson struct lockdesclist locks; 1880c675522fSDoug Rabson int error; 1881dfdcada3SDoug Rabson 1882dfdcada3SDoug Rabson /* 1883dfdcada3SDoug Rabson * In order to keep the locking simple, we iterate over the 1884dfdcada3SDoug Rabson * active lock lists to build a list of locks that need 1885c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1886dfdcada3SDoug Rabson * 1887dfdcada3SDoug Rabson * We take an extra reference to the vnode for the duration to 1888dfdcada3SDoug Rabson * make sure it doesn't go away before we are finished. 1889dfdcada3SDoug Rabson */ 1890dfdcada3SDoug Rabson STAILQ_INIT(&locks); 1891dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 1892dfdcada3SDoug Rabson LIST_FOREACH(ls, &lf_lock_states, ls_link) { 1893dfdcada3SDoug Rabson sx_xlock(&ls->ls_lock); 1894dfdcada3SDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1895dfdcada3SDoug Rabson if (lf->lf_owner->lo_sysid != sysid) 1896dfdcada3SDoug Rabson continue; 1897dfdcada3SDoug Rabson 1898c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1899dfdcada3SDoug Rabson M_WAITOK); 1900c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1901c675522fSDoug Rabson vref(ldesc->vp); 1902c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1903dfdcada3SDoug Rabson if (lf->lf_end == OFF_MAX) 1904c675522fSDoug Rabson ldesc->fl.l_len = 0; 1905dfdcada3SDoug Rabson else 1906c675522fSDoug Rabson ldesc->fl.l_len = 1907dfdcada3SDoug Rabson lf->lf_end - lf->lf_start + 1; 1908c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1909c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1910c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1911c675522fSDoug Rabson ldesc->fl.l_sysid = sysid; 1912c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1913dfdcada3SDoug Rabson } 1914dfdcada3SDoug Rabson sx_xunlock(&ls->ls_lock); 1915dfdcada3SDoug Rabson } 1916dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 1917dfdcada3SDoug Rabson 1918c675522fSDoug Rabson /* 1919c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1920c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1921c675522fSDoug Rabson * lockdesc structures. 1922c675522fSDoug Rabson */ 1923c675522fSDoug Rabson error = 0; 1924c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1925dfdcada3SDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1926c675522fSDoug Rabson if (!error) 1927c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1928c675522fSDoug Rabson vrele(ldesc->vp); 1929c675522fSDoug Rabson free(ldesc, M_LOCKF); 1930dfdcada3SDoug Rabson } 1931c675522fSDoug Rabson 1932c675522fSDoug Rabson return (error); 1933c675522fSDoug Rabson } 1934c675522fSDoug Rabson 1935c675522fSDoug Rabson int 1936c675522fSDoug Rabson lf_iteratelocks_vnode(struct vnode *vp, lf_iterator *fn, void *arg) 1937c675522fSDoug Rabson { 1938c675522fSDoug Rabson struct lockf *ls; 1939c675522fSDoug Rabson struct lockf_entry *lf; 1940c675522fSDoug Rabson struct lockdesc *ldesc; 1941c675522fSDoug Rabson struct lockdesclist locks; 1942c675522fSDoug Rabson int error; 1943c675522fSDoug Rabson 1944c675522fSDoug Rabson /* 1945c675522fSDoug Rabson * In order to keep the locking simple, we iterate over the 1946c675522fSDoug Rabson * active lock lists to build a list of locks that need 1947c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1948c675522fSDoug Rabson * 1949c675522fSDoug Rabson * We take an extra reference to the vnode for the duration to 1950c675522fSDoug Rabson * make sure it doesn't go away before we are finished. 1951c675522fSDoug Rabson */ 1952c675522fSDoug Rabson STAILQ_INIT(&locks); 195328fe6a3fSKonstantin Belousov VI_LOCK(vp); 1954c675522fSDoug Rabson ls = vp->v_lockf; 195528fe6a3fSKonstantin Belousov if (!ls) { 195628fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1957c675522fSDoug Rabson return (0); 195828fe6a3fSKonstantin Belousov } 195928fe6a3fSKonstantin Belousov ls->ls_threads++; 196028fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1961c675522fSDoug Rabson 1962c675522fSDoug Rabson sx_xlock(&ls->ls_lock); 1963c675522fSDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1964c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1965c675522fSDoug Rabson M_WAITOK); 1966c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1967c675522fSDoug Rabson vref(ldesc->vp); 1968c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1969c675522fSDoug Rabson if (lf->lf_end == OFF_MAX) 1970c675522fSDoug Rabson ldesc->fl.l_len = 0; 1971c675522fSDoug Rabson else 1972c675522fSDoug Rabson ldesc->fl.l_len = 1973c675522fSDoug Rabson lf->lf_end - lf->lf_start + 1; 1974c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1975c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1976c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1977c675522fSDoug Rabson ldesc->fl.l_sysid = lf->lf_owner->lo_sysid; 1978c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1979c675522fSDoug Rabson } 1980c675522fSDoug Rabson sx_xunlock(&ls->ls_lock); 198128fe6a3fSKonstantin Belousov VI_LOCK(vp); 198228fe6a3fSKonstantin Belousov ls->ls_threads--; 198328fe6a3fSKonstantin Belousov wakeup(ls); 198428fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1985c675522fSDoug Rabson 1986c675522fSDoug Rabson /* 1987c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1988c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1989c675522fSDoug Rabson * lockdesc structures. 1990c675522fSDoug Rabson */ 1991c675522fSDoug Rabson error = 0; 1992c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1993c675522fSDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1994c675522fSDoug Rabson if (!error) 1995c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1996c675522fSDoug Rabson vrele(ldesc->vp); 1997c675522fSDoug Rabson free(ldesc, M_LOCKF); 1998c675522fSDoug Rabson } 1999c675522fSDoug Rabson 2000c675522fSDoug Rabson return (error); 2001c675522fSDoug Rabson } 2002c675522fSDoug Rabson 2003c675522fSDoug Rabson static int 2004c675522fSDoug Rabson lf_clearremotesys_iterator(struct vnode *vp, struct flock *fl, void *arg) 2005c675522fSDoug Rabson { 2006c675522fSDoug Rabson 2007c675522fSDoug Rabson VOP_ADVLOCK(vp, 0, F_UNLCK, fl, F_REMOTE); 2008c675522fSDoug Rabson return (0); 2009c675522fSDoug Rabson } 2010c675522fSDoug Rabson 2011c675522fSDoug Rabson void 2012c675522fSDoug Rabson lf_clearremotesys(int sysid) 2013c675522fSDoug Rabson { 2014c675522fSDoug Rabson 2015c675522fSDoug Rabson KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS")); 2016c675522fSDoug Rabson lf_iteratelocks_sysid(sysid, lf_clearremotesys_iterator, NULL); 2017dfdcada3SDoug Rabson } 2018dfdcada3SDoug Rabson 2019dfdcada3SDoug Rabson int 2020dfdcada3SDoug Rabson lf_countlocks(int sysid) 2021dfdcada3SDoug Rabson { 2022dfdcada3SDoug Rabson int i; 2023dfdcada3SDoug Rabson struct lock_owner *lo; 2024dfdcada3SDoug Rabson int count; 2025dfdcada3SDoug Rabson 2026dfdcada3SDoug Rabson count = 0; 2027dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 2028dfdcada3SDoug Rabson for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 2029dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[i], lo_link) 2030dfdcada3SDoug Rabson if (lo->lo_sysid == sysid) 2031dfdcada3SDoug Rabson count += lo->lo_refs; 2032dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 2033dfdcada3SDoug Rabson 2034dfdcada3SDoug Rabson return (count); 2035dfdcada3SDoug Rabson } 2036dfdcada3SDoug Rabson 2037dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2038dfdcada3SDoug Rabson 2039dfdcada3SDoug Rabson /* 2040dfdcada3SDoug Rabson * Return non-zero if y is reachable from x using a brute force 2041dfdcada3SDoug Rabson * search. If reachable and path is non-null, return the route taken 2042dfdcada3SDoug Rabson * in path. 2043dfdcada3SDoug Rabson */ 2044dfdcada3SDoug Rabson static int 2045dfdcada3SDoug Rabson graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 2046dfdcada3SDoug Rabson struct owner_vertex_list *path) 2047dfdcada3SDoug Rabson { 2048dfdcada3SDoug Rabson struct owner_edge *e; 2049dfdcada3SDoug Rabson 2050dfdcada3SDoug Rabson if (x == y) { 2051dfdcada3SDoug Rabson if (path) 2052dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2053dfdcada3SDoug Rabson return 1; 2054dfdcada3SDoug Rabson } 2055dfdcada3SDoug Rabson 2056dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2057dfdcada3SDoug Rabson if (graph_reaches(e->e_to, y, path)) { 2058dfdcada3SDoug Rabson if (path) 2059dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2060dfdcada3SDoug Rabson return 1; 2061dfdcada3SDoug Rabson } 2062dfdcada3SDoug Rabson } 2063dfdcada3SDoug Rabson return 0; 206492dc7331SDavid Greenman } 206592dc7331SDavid Greenman 206692dc7331SDavid Greenman /* 2067dfdcada3SDoug Rabson * Perform consistency checks on the graph. Make sure the values of 2068dfdcada3SDoug Rabson * v_order are correct. If checkorder is non-zero, check no vertex can 2069dfdcada3SDoug Rabson * reach any other vertex with a smaller order. 207092dc7331SDavid Greenman */ 207187b6de2bSPoul-Henning Kamp static void 2072dfdcada3SDoug Rabson graph_check(struct owner_graph *g, int checkorder) 207392dc7331SDavid Greenman { 2074dfdcada3SDoug Rabson int i, j; 207592dc7331SDavid Greenman 2076dfdcada3SDoug Rabson for (i = 0; i < g->g_size; i++) { 2077dfdcada3SDoug Rabson if (!g->g_vertices[i]->v_owner) 2078dfdcada3SDoug Rabson continue; 2079dfdcada3SDoug Rabson KASSERT(g->g_vertices[i]->v_order == i, 2080dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2081dfdcada3SDoug Rabson if (checkorder) { 2082dfdcada3SDoug Rabson for (j = 0; j < i; j++) { 2083dfdcada3SDoug Rabson if (!g->g_vertices[j]->v_owner) 2084dfdcada3SDoug Rabson continue; 2085dfdcada3SDoug Rabson KASSERT(!graph_reaches(g->g_vertices[i], 2086dfdcada3SDoug Rabson g->g_vertices[j], NULL), 2087dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2088dfdcada3SDoug Rabson } 2089dfdcada3SDoug Rabson } 2090dfdcada3SDoug Rabson } 2091dfdcada3SDoug Rabson } 2092dfdcada3SDoug Rabson 2093dfdcada3SDoug Rabson static void 2094dfdcada3SDoug Rabson graph_print_vertices(struct owner_vertex_list *set) 2095dfdcada3SDoug Rabson { 2096dfdcada3SDoug Rabson struct owner_vertex *v; 2097dfdcada3SDoug Rabson 2098dfdcada3SDoug Rabson printf("{ "); 2099dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2100dfdcada3SDoug Rabson printf("%d:", v->v_order); 2101dfdcada3SDoug Rabson lf_print_owner(v->v_owner); 2102dfdcada3SDoug Rabson if (TAILQ_NEXT(v, v_link)) 2103dfdcada3SDoug Rabson printf(", "); 2104dfdcada3SDoug Rabson } 2105dfdcada3SDoug Rabson printf(" }\n"); 2106dfdcada3SDoug Rabson } 2107dfdcada3SDoug Rabson 2108dfdcada3SDoug Rabson #endif 2109dfdcada3SDoug Rabson 2110dfdcada3SDoug Rabson /* 2111dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2112dfdcada3SDoug Rabson * where v is reachable from y. Return -1 if a loop was detected 2113dfdcada3SDoug Rabson * (i.e. x is reachable from y, otherwise the number of vertices in 2114dfdcada3SDoug Rabson * this subset. 2115dfdcada3SDoug Rabson */ 2116dfdcada3SDoug Rabson static int 2117dfdcada3SDoug Rabson graph_delta_forward(struct owner_graph *g, struct owner_vertex *x, 2118dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2119dfdcada3SDoug Rabson { 2120dfdcada3SDoug Rabson uint32_t gen; 2121dfdcada3SDoug Rabson struct owner_vertex *v; 2122dfdcada3SDoug Rabson struct owner_edge *e; 2123dfdcada3SDoug Rabson int n; 2124dfdcada3SDoug Rabson 2125dfdcada3SDoug Rabson /* 2126dfdcada3SDoug Rabson * We start with a set containing just y. Then for each vertex 2127dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2128dfdcada3SDoug Rabson * has an out-edge to and that is within the affected region 2129dfdcada3SDoug Rabson * [y..x]. If we see the vertex x on our travels, stop 2130dfdcada3SDoug Rabson * immediately. 2131dfdcada3SDoug Rabson */ 2132dfdcada3SDoug Rabson TAILQ_INIT(delta); 2133dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, y, v_link); 2134dfdcada3SDoug Rabson v = y; 2135dfdcada3SDoug Rabson n = 1; 2136dfdcada3SDoug Rabson gen = g->g_gen; 2137dfdcada3SDoug Rabson while (v) { 2138dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_outedges, e_outlink) { 2139dfdcada3SDoug Rabson if (e->e_to == x) 2140dfdcada3SDoug Rabson return -1; 2141dfdcada3SDoug Rabson if (e->e_to->v_order < x->v_order 2142dfdcada3SDoug Rabson && e->e_to->v_gen != gen) { 2143dfdcada3SDoug Rabson e->e_to->v_gen = gen; 2144dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, e->e_to, v_link); 2145dfdcada3SDoug Rabson n++; 2146dfdcada3SDoug Rabson } 2147dfdcada3SDoug Rabson } 2148dfdcada3SDoug Rabson v = TAILQ_NEXT(v, v_link); 2149dfdcada3SDoug Rabson } 2150dfdcada3SDoug Rabson 2151dfdcada3SDoug Rabson return (n); 2152dfdcada3SDoug Rabson } 2153dfdcada3SDoug Rabson 2154dfdcada3SDoug Rabson /* 2155dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2156dfdcada3SDoug Rabson * where v reaches x. Return the number of vertices in this subset. 2157dfdcada3SDoug Rabson */ 2158dfdcada3SDoug Rabson static int 2159dfdcada3SDoug Rabson graph_delta_backward(struct owner_graph *g, struct owner_vertex *x, 2160dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2161dfdcada3SDoug Rabson { 2162dfdcada3SDoug Rabson uint32_t gen; 2163dfdcada3SDoug Rabson struct owner_vertex *v; 2164dfdcada3SDoug Rabson struct owner_edge *e; 2165dfdcada3SDoug Rabson int n; 2166dfdcada3SDoug Rabson 2167dfdcada3SDoug Rabson /* 2168dfdcada3SDoug Rabson * We start with a set containing just x. Then for each vertex 2169dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2170dfdcada3SDoug Rabson * has an in-edge from and that is within the affected region 2171dfdcada3SDoug Rabson * [y..x]. 2172dfdcada3SDoug Rabson */ 2173dfdcada3SDoug Rabson TAILQ_INIT(delta); 2174dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, x, v_link); 2175dfdcada3SDoug Rabson v = x; 2176dfdcada3SDoug Rabson n = 1; 2177dfdcada3SDoug Rabson gen = g->g_gen; 2178dfdcada3SDoug Rabson while (v) { 2179dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_inedges, e_inlink) { 2180dfdcada3SDoug Rabson if (e->e_from->v_order > y->v_order 2181dfdcada3SDoug Rabson && e->e_from->v_gen != gen) { 2182dfdcada3SDoug Rabson e->e_from->v_gen = gen; 2183dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(delta, e->e_from, v_link); 2184dfdcada3SDoug Rabson n++; 2185dfdcada3SDoug Rabson } 2186dfdcada3SDoug Rabson } 2187dfdcada3SDoug Rabson v = TAILQ_PREV(v, owner_vertex_list, v_link); 2188dfdcada3SDoug Rabson } 2189dfdcada3SDoug Rabson 2190dfdcada3SDoug Rabson return (n); 2191dfdcada3SDoug Rabson } 2192dfdcada3SDoug Rabson 2193dfdcada3SDoug Rabson static int 2194dfdcada3SDoug Rabson graph_add_indices(int *indices, int n, struct owner_vertex_list *set) 2195dfdcada3SDoug Rabson { 2196dfdcada3SDoug Rabson struct owner_vertex *v; 2197dfdcada3SDoug Rabson int i, j; 2198dfdcada3SDoug Rabson 2199dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2200dfdcada3SDoug Rabson for (i = n; 2201dfdcada3SDoug Rabson i > 0 && indices[i - 1] > v->v_order; i--) 2202dfdcada3SDoug Rabson ; 2203dfdcada3SDoug Rabson for (j = n - 1; j >= i; j--) 2204dfdcada3SDoug Rabson indices[j + 1] = indices[j]; 2205dfdcada3SDoug Rabson indices[i] = v->v_order; 2206dfdcada3SDoug Rabson n++; 2207dfdcada3SDoug Rabson } 2208dfdcada3SDoug Rabson 2209dfdcada3SDoug Rabson return (n); 2210dfdcada3SDoug Rabson } 2211dfdcada3SDoug Rabson 2212dfdcada3SDoug Rabson static int 2213dfdcada3SDoug Rabson graph_assign_indices(struct owner_graph *g, int *indices, int nextunused, 2214dfdcada3SDoug Rabson struct owner_vertex_list *set) 2215dfdcada3SDoug Rabson { 2216dfdcada3SDoug Rabson struct owner_vertex *v, *vlowest; 2217dfdcada3SDoug Rabson 2218dfdcada3SDoug Rabson while (!TAILQ_EMPTY(set)) { 2219dfdcada3SDoug Rabson vlowest = NULL; 2220dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2221dfdcada3SDoug Rabson if (!vlowest || v->v_order < vlowest->v_order) 2222dfdcada3SDoug Rabson vlowest = v; 2223dfdcada3SDoug Rabson } 2224dfdcada3SDoug Rabson TAILQ_REMOVE(set, vlowest, v_link); 2225dfdcada3SDoug Rabson vlowest->v_order = indices[nextunused]; 2226dfdcada3SDoug Rabson g->g_vertices[vlowest->v_order] = vlowest; 2227dfdcada3SDoug Rabson nextunused++; 2228dfdcada3SDoug Rabson } 2229dfdcada3SDoug Rabson 2230dfdcada3SDoug Rabson return (nextunused); 2231dfdcada3SDoug Rabson } 2232dfdcada3SDoug Rabson 2233dfdcada3SDoug Rabson static int 2234dfdcada3SDoug Rabson graph_add_edge(struct owner_graph *g, struct owner_vertex *x, 2235dfdcada3SDoug Rabson struct owner_vertex *y) 2236dfdcada3SDoug Rabson { 2237dfdcada3SDoug Rabson struct owner_edge *e; 2238dfdcada3SDoug Rabson struct owner_vertex_list deltaF, deltaB; 2239dfdcada3SDoug Rabson int nF, nB, n, vi, i; 2240dfdcada3SDoug Rabson int *indices; 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