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. 4292dc7331SDavid Greenman * 4. 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 86a8687b6dSBruce Evans #include <ufs/ufs/quota.h> 87a8687b6dSBruce Evans #include <ufs/ufs/inode.h> 88a8687b6dSBruce Evans 89dfdcada3SDoug Rabson static int lockf_debug = 0; /* control debug output */ 907f725eacSBruce Evans SYSCTL_INT(_debug, OID_AUTO, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, ""); 9192dc7331SDavid Greenman #endif 9292dc7331SDavid Greenman 93d745c852SEd Schouten static MALLOC_DEFINE(M_LOCKF, "lockf", "Byte-range locking structures"); 9455166637SPoul-Henning Kamp 95dfdcada3SDoug Rabson struct owner_edge; 96dfdcada3SDoug Rabson struct owner_vertex; 97dfdcada3SDoug Rabson struct owner_vertex_list; 98dfdcada3SDoug Rabson struct owner_graph; 99dfdcada3SDoug Rabson 100dfdcada3SDoug Rabson #define NOLOCKF (struct lockf_entry *)0 10192dc7331SDavid Greenman #define SELF 0x1 10292dc7331SDavid Greenman #define OTHERS 0x2 103dfdcada3SDoug Rabson static void lf_init(void *); 104dfdcada3SDoug Rabson static int lf_hash_owner(caddr_t, struct flock *, int); 105dfdcada3SDoug Rabson static int lf_owner_matches(struct lock_owner *, caddr_t, struct flock *, 106dfdcada3SDoug Rabson int); 107dfdcada3SDoug Rabson static struct lockf_entry * 108dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *); 1098af54d4cSKonstantin Belousov static int lf_free_lock(struct lockf_entry *); 110dfdcada3SDoug Rabson static int lf_clearlock(struct lockf *, struct lockf_entry *); 111dfdcada3SDoug Rabson static int lf_overlaps(struct lockf_entry *, struct lockf_entry *); 112dfdcada3SDoug Rabson static int lf_blocks(struct lockf_entry *, struct lockf_entry *); 113dfdcada3SDoug Rabson static void lf_free_edge(struct lockf_edge *); 114dfdcada3SDoug Rabson static struct lockf_edge * 115dfdcada3SDoug Rabson lf_alloc_edge(void); 116dfdcada3SDoug Rabson static void lf_alloc_vertex(struct lockf_entry *); 117dfdcada3SDoug Rabson static int lf_add_edge(struct lockf_entry *, struct lockf_entry *); 118dfdcada3SDoug Rabson static void lf_remove_edge(struct lockf_edge *); 119dfdcada3SDoug Rabson static void lf_remove_outgoing(struct lockf_entry *); 120dfdcada3SDoug Rabson static void lf_remove_incoming(struct lockf_entry *); 121dfdcada3SDoug Rabson static int lf_add_outgoing(struct lockf *, struct lockf_entry *); 122dfdcada3SDoug Rabson static int lf_add_incoming(struct lockf *, struct lockf_entry *); 123dfdcada3SDoug Rabson static int lf_findoverlap(struct lockf_entry **, struct lockf_entry *, 124dfdcada3SDoug Rabson int); 125dfdcada3SDoug Rabson static struct lockf_entry * 126dfdcada3SDoug Rabson lf_getblock(struct lockf *, struct lockf_entry *); 127dfdcada3SDoug Rabson static int lf_getlock(struct lockf *, struct lockf_entry *, struct flock *); 128dfdcada3SDoug Rabson static void lf_insert_lock(struct lockf *, struct lockf_entry *); 129dfdcada3SDoug Rabson static void lf_wakeup_lock(struct lockf *, struct lockf_entry *); 130dfdcada3SDoug Rabson static void lf_update_dependancies(struct lockf *, struct lockf_entry *, 131dfdcada3SDoug Rabson int all, struct lockf_entry_list *); 132dfdcada3SDoug Rabson static void lf_set_start(struct lockf *, struct lockf_entry *, off_t, 133dfdcada3SDoug Rabson struct lockf_entry_list*); 134dfdcada3SDoug Rabson static void lf_set_end(struct lockf *, struct lockf_entry *, off_t, 135dfdcada3SDoug Rabson struct lockf_entry_list*); 136dfdcada3SDoug Rabson static int lf_setlock(struct lockf *, struct lockf_entry *, 137dfdcada3SDoug Rabson struct vnode *, void **cookiep); 138dfdcada3SDoug Rabson static int lf_cancel(struct lockf *, struct lockf_entry *, void *); 139dfdcada3SDoug Rabson static void lf_split(struct lockf *, struct lockf_entry *, 140dfdcada3SDoug Rabson struct lockf_entry *, struct lockf_entry_list *); 141013e6650SJeff Roberson #ifdef LOCKF_DEBUG 142dfdcada3SDoug Rabson static int graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 143dfdcada3SDoug Rabson struct owner_vertex_list *path); 144dfdcada3SDoug Rabson static void graph_check(struct owner_graph *g, int checkorder); 145dfdcada3SDoug Rabson static void graph_print_vertices(struct owner_vertex_list *set); 146013e6650SJeff Roberson #endif 147dfdcada3SDoug Rabson static int graph_delta_forward(struct owner_graph *g, 148dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 149dfdcada3SDoug Rabson struct owner_vertex_list *delta); 150dfdcada3SDoug Rabson static int graph_delta_backward(struct owner_graph *g, 151dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y, 152dfdcada3SDoug Rabson struct owner_vertex_list *delta); 153dfdcada3SDoug Rabson static int graph_add_indices(int *indices, int n, 154dfdcada3SDoug Rabson struct owner_vertex_list *set); 155dfdcada3SDoug Rabson static int graph_assign_indices(struct owner_graph *g, int *indices, 156dfdcada3SDoug Rabson int nextunused, struct owner_vertex_list *set); 157dfdcada3SDoug Rabson static int graph_add_edge(struct owner_graph *g, 158dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 159dfdcada3SDoug Rabson static void graph_remove_edge(struct owner_graph *g, 160dfdcada3SDoug Rabson struct owner_vertex *x, struct owner_vertex *y); 161dfdcada3SDoug Rabson static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g, 162dfdcada3SDoug Rabson struct lock_owner *lo); 163dfdcada3SDoug Rabson static void graph_free_vertex(struct owner_graph *g, 164dfdcada3SDoug Rabson struct owner_vertex *v); 165dfdcada3SDoug Rabson static struct owner_graph * graph_init(struct owner_graph *g); 166dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 167dfdcada3SDoug Rabson static void lf_print(char *, struct lockf_entry *); 168dfdcada3SDoug Rabson static void lf_printlist(char *, struct lockf_entry *); 169dfdcada3SDoug Rabson static void lf_print_owner(struct lock_owner *); 170dfdcada3SDoug Rabson #endif 171dfdcada3SDoug Rabson 172dfdcada3SDoug Rabson /* 173dfdcada3SDoug Rabson * This structure is used to keep track of both local and remote lock 174dfdcada3SDoug Rabson * owners. The lf_owner field of the struct lockf_entry points back at 175dfdcada3SDoug Rabson * the lock owner structure. Each possible lock owner (local proc for 176dfdcada3SDoug Rabson * POSIX fcntl locks, local file for BSD flock locks or <pid,sysid> 177dfdcada3SDoug Rabson * pair for remote locks) is represented by a unique instance of 178dfdcada3SDoug Rabson * struct lock_owner. 179dfdcada3SDoug Rabson * 180dfdcada3SDoug Rabson * If a lock owner has a lock that blocks some other lock or a lock 181dfdcada3SDoug Rabson * that is waiting for some other lock, it also has a vertex in the 182dfdcada3SDoug Rabson * owner_graph below. 183dfdcada3SDoug Rabson * 184dfdcada3SDoug Rabson * Locks: 185dfdcada3SDoug Rabson * (s) locked by state->ls_lock 186dfdcada3SDoug Rabson * (S) locked by lf_lock_states_lock 187dfdcada3SDoug Rabson * (l) locked by lf_lock_owners_lock 188dfdcada3SDoug Rabson * (g) locked by lf_owner_graph_lock 189dfdcada3SDoug Rabson * (c) const until freeing 190dfdcada3SDoug Rabson */ 191dfdcada3SDoug Rabson #define LOCK_OWNER_HASH_SIZE 256 192dfdcada3SDoug Rabson 193dfdcada3SDoug Rabson struct lock_owner { 194dfdcada3SDoug Rabson LIST_ENTRY(lock_owner) lo_link; /* (l) hash chain */ 195dfdcada3SDoug Rabson int lo_refs; /* (l) Number of locks referring to this */ 196dfdcada3SDoug Rabson int lo_flags; /* (c) Flags passwd to lf_advlock */ 197dfdcada3SDoug Rabson caddr_t lo_id; /* (c) Id value passed to lf_advlock */ 198dfdcada3SDoug Rabson pid_t lo_pid; /* (c) Process Id of the lock owner */ 199dfdcada3SDoug Rabson int lo_sysid; /* (c) System Id of the lock owner */ 200dfdcada3SDoug Rabson struct owner_vertex *lo_vertex; /* (g) entry in deadlock graph */ 201dfdcada3SDoug Rabson }; 202dfdcada3SDoug Rabson 203dfdcada3SDoug Rabson LIST_HEAD(lock_owner_list, lock_owner); 204dfdcada3SDoug Rabson 205dfdcada3SDoug Rabson static struct sx lf_lock_states_lock; 206dfdcada3SDoug Rabson static struct lockf_list lf_lock_states; /* (S) */ 207dfdcada3SDoug Rabson static struct sx lf_lock_owners_lock; 208dfdcada3SDoug Rabson static struct lock_owner_list lf_lock_owners[LOCK_OWNER_HASH_SIZE]; /* (l) */ 209dfdcada3SDoug Rabson 210dfdcada3SDoug Rabson /* 211dfdcada3SDoug Rabson * Structures for deadlock detection. 212dfdcada3SDoug Rabson * 213dfdcada3SDoug Rabson * We have two types of directed graph, the first is the set of locks, 214dfdcada3SDoug Rabson * both active and pending on a vnode. Within this graph, active locks 215dfdcada3SDoug Rabson * are terminal nodes in the graph (i.e. have no out-going 216dfdcada3SDoug Rabson * edges). Pending locks have out-going edges to each blocking active 217dfdcada3SDoug Rabson * lock that prevents the lock from being granted and also to each 218dfdcada3SDoug Rabson * older pending lock that would block them if it was active. The 219dfdcada3SDoug Rabson * graph for each vnode is naturally acyclic; new edges are only ever 220dfdcada3SDoug Rabson * added to or from new nodes (either new pending locks which only add 221dfdcada3SDoug Rabson * out-going edges or new active locks which only add in-coming edges) 222dfdcada3SDoug Rabson * therefore they cannot create loops in the lock graph. 223dfdcada3SDoug Rabson * 224dfdcada3SDoug Rabson * The second graph is a global graph of lock owners. Each lock owner 225dfdcada3SDoug Rabson * is a vertex in that graph and an edge is added to the graph 226dfdcada3SDoug Rabson * whenever an edge is added to a vnode graph, with end points 227dfdcada3SDoug Rabson * corresponding to owner of the new pending lock and the owner of the 228dfdcada3SDoug Rabson * lock upon which it waits. In order to prevent deadlock, we only add 229dfdcada3SDoug Rabson * an edge to this graph if the new edge would not create a cycle. 230dfdcada3SDoug Rabson * 231dfdcada3SDoug Rabson * The lock owner graph is topologically sorted, i.e. if a node has 232dfdcada3SDoug Rabson * any outgoing edges, then it has an order strictly less than any 233dfdcada3SDoug Rabson * node to which it has an outgoing edge. We preserve this ordering 234dfdcada3SDoug Rabson * (and detect cycles) on edge insertion using Algorithm PK from the 235dfdcada3SDoug Rabson * paper "A Dynamic Topological Sort Algorithm for Directed Acyclic 236dfdcada3SDoug Rabson * Graphs" (ACM Journal of Experimental Algorithms, Vol 11, Article 237dfdcada3SDoug Rabson * No. 1.7) 238dfdcada3SDoug Rabson */ 239dfdcada3SDoug Rabson struct owner_vertex; 240dfdcada3SDoug Rabson 241dfdcada3SDoug Rabson struct owner_edge { 242dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_outlink; /* (g) link from's out-edge list */ 243dfdcada3SDoug Rabson LIST_ENTRY(owner_edge) e_inlink; /* (g) link to's in-edge list */ 244dfdcada3SDoug Rabson int e_refs; /* (g) number of times added */ 245dfdcada3SDoug Rabson struct owner_vertex *e_from; /* (c) out-going from here */ 246dfdcada3SDoug Rabson struct owner_vertex *e_to; /* (c) in-coming to here */ 247dfdcada3SDoug Rabson }; 248dfdcada3SDoug Rabson LIST_HEAD(owner_edge_list, owner_edge); 249dfdcada3SDoug Rabson 250dfdcada3SDoug Rabson struct owner_vertex { 251dfdcada3SDoug Rabson TAILQ_ENTRY(owner_vertex) v_link; /* (g) workspace for edge insertion */ 252dfdcada3SDoug Rabson uint32_t v_gen; /* (g) workspace for edge insertion */ 253dfdcada3SDoug Rabson int v_order; /* (g) order of vertex in graph */ 254dfdcada3SDoug Rabson struct owner_edge_list v_outedges;/* (g) list of out-edges */ 255dfdcada3SDoug Rabson struct owner_edge_list v_inedges; /* (g) list of in-edges */ 256dfdcada3SDoug Rabson struct lock_owner *v_owner; /* (c) corresponding lock owner */ 257dfdcada3SDoug Rabson }; 258dfdcada3SDoug Rabson TAILQ_HEAD(owner_vertex_list, owner_vertex); 259dfdcada3SDoug Rabson 260dfdcada3SDoug Rabson struct owner_graph { 261dfdcada3SDoug Rabson struct owner_vertex** g_vertices; /* (g) pointers to vertices */ 262dfdcada3SDoug Rabson int g_size; /* (g) number of vertices */ 263dfdcada3SDoug Rabson int g_space; /* (g) space allocated for vertices */ 264dfdcada3SDoug Rabson int *g_indexbuf; /* (g) workspace for loop detection */ 265dfdcada3SDoug Rabson uint32_t g_gen; /* (g) increment when re-ordering */ 266dfdcada3SDoug Rabson }; 267dfdcada3SDoug Rabson 268dfdcada3SDoug Rabson static struct sx lf_owner_graph_lock; 269dfdcada3SDoug Rabson static struct owner_graph lf_owner_graph; 270dfdcada3SDoug Rabson 271dfdcada3SDoug Rabson /* 272dfdcada3SDoug Rabson * Initialise various structures and locks. 273dfdcada3SDoug Rabson */ 274dfdcada3SDoug Rabson static void 275dfdcada3SDoug Rabson lf_init(void *dummy) 276dfdcada3SDoug Rabson { 277dfdcada3SDoug Rabson int i; 278dfdcada3SDoug Rabson 279dfdcada3SDoug Rabson sx_init(&lf_lock_states_lock, "lock states lock"); 280dfdcada3SDoug Rabson LIST_INIT(&lf_lock_states); 281dfdcada3SDoug Rabson 282dfdcada3SDoug Rabson sx_init(&lf_lock_owners_lock, "lock owners lock"); 283dfdcada3SDoug Rabson for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 284dfdcada3SDoug Rabson LIST_INIT(&lf_lock_owners[i]); 285dfdcada3SDoug Rabson 286dfdcada3SDoug Rabson sx_init(&lf_owner_graph_lock, "owner graph lock"); 287dfdcada3SDoug Rabson graph_init(&lf_owner_graph); 288dfdcada3SDoug Rabson } 289dfdcada3SDoug Rabson SYSINIT(lf_init, SI_SUB_LOCK, SI_ORDER_FIRST, lf_init, NULL); 290dfdcada3SDoug Rabson 291dfdcada3SDoug Rabson /* 292dfdcada3SDoug Rabson * Generate a hash value for a lock owner. 293dfdcada3SDoug Rabson */ 294dfdcada3SDoug Rabson static int 295dfdcada3SDoug Rabson lf_hash_owner(caddr_t id, struct flock *fl, int flags) 296dfdcada3SDoug Rabson { 297dfdcada3SDoug Rabson uint32_t h; 298dfdcada3SDoug Rabson 299dfdcada3SDoug Rabson if (flags & F_REMOTE) { 300dfdcada3SDoug Rabson h = HASHSTEP(0, fl->l_pid); 301dfdcada3SDoug Rabson h = HASHSTEP(h, fl->l_sysid); 302dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 303dfdcada3SDoug Rabson h = ((uintptr_t) id) >> 7; 304dfdcada3SDoug Rabson } else { 305dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 306dfdcada3SDoug Rabson h = HASHSTEP(0, p->p_pid); 307dfdcada3SDoug Rabson h = HASHSTEP(h, 0); 308dfdcada3SDoug Rabson } 309dfdcada3SDoug Rabson 310dfdcada3SDoug Rabson return (h % LOCK_OWNER_HASH_SIZE); 311dfdcada3SDoug Rabson } 312dfdcada3SDoug Rabson 313dfdcada3SDoug Rabson /* 314dfdcada3SDoug Rabson * Return true if a lock owner matches the details passed to 315dfdcada3SDoug Rabson * lf_advlock. 316dfdcada3SDoug Rabson */ 317dfdcada3SDoug Rabson static int 318dfdcada3SDoug Rabson lf_owner_matches(struct lock_owner *lo, caddr_t id, struct flock *fl, 319dfdcada3SDoug Rabson int flags) 320dfdcada3SDoug Rabson { 321dfdcada3SDoug Rabson if (flags & F_REMOTE) { 322dfdcada3SDoug Rabson return lo->lo_pid == fl->l_pid 323dfdcada3SDoug Rabson && lo->lo_sysid == fl->l_sysid; 324dfdcada3SDoug Rabson } else { 325dfdcada3SDoug Rabson return lo->lo_id == id; 326dfdcada3SDoug Rabson } 327dfdcada3SDoug Rabson } 328dfdcada3SDoug Rabson 329dfdcada3SDoug Rabson static struct lockf_entry * 330dfdcada3SDoug Rabson lf_alloc_lock(struct lock_owner *lo) 331dfdcada3SDoug Rabson { 332dfdcada3SDoug Rabson struct lockf_entry *lf; 333dfdcada3SDoug Rabson 334dfdcada3SDoug Rabson lf = malloc(sizeof(struct lockf_entry), M_LOCKF, M_WAITOK|M_ZERO); 335dfdcada3SDoug Rabson 336dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 337dfdcada3SDoug Rabson if (lockf_debug & 4) 338dfdcada3SDoug Rabson printf("Allocated lock %p\n", lf); 339dfdcada3SDoug Rabson #endif 340dfdcada3SDoug Rabson if (lo) { 341dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 342dfdcada3SDoug Rabson lo->lo_refs++; 343dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 344dfdcada3SDoug Rabson lf->lf_owner = lo; 345dfdcada3SDoug Rabson } 346dfdcada3SDoug Rabson 347dfdcada3SDoug Rabson return (lf); 348dfdcada3SDoug Rabson } 349dfdcada3SDoug Rabson 3508af54d4cSKonstantin Belousov static int 351dfdcada3SDoug Rabson lf_free_lock(struct lockf_entry *lock) 352dfdcada3SDoug Rabson { 3538af54d4cSKonstantin Belousov 3548af54d4cSKonstantin Belousov KASSERT(lock->lf_refs > 0, ("lockf_entry negative ref count %p", lock)); 3558af54d4cSKonstantin Belousov if (--lock->lf_refs > 0) 3568af54d4cSKonstantin Belousov return (0); 357dfdcada3SDoug Rabson /* 358dfdcada3SDoug Rabson * Adjust the lock_owner reference count and 359dfdcada3SDoug Rabson * reclaim the entry if this is the last lock 360dfdcada3SDoug Rabson * for that owner. 361dfdcada3SDoug Rabson */ 362dfdcada3SDoug Rabson struct lock_owner *lo = lock->lf_owner; 363dfdcada3SDoug Rabson if (lo) { 364dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_outedges), 365dfdcada3SDoug Rabson ("freeing lock with dependancies")); 366dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_inedges), 367dfdcada3SDoug Rabson ("freeing lock with dependants")); 368dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 369dfdcada3SDoug Rabson KASSERT(lo->lo_refs > 0, ("lock owner refcount")); 370dfdcada3SDoug Rabson lo->lo_refs--; 371dfdcada3SDoug Rabson if (lo->lo_refs == 0) { 372dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 373dfdcada3SDoug Rabson if (lockf_debug & 1) 374dfdcada3SDoug Rabson printf("lf_free_lock: freeing lock owner %p\n", 375dfdcada3SDoug Rabson lo); 376dfdcada3SDoug Rabson #endif 377dfdcada3SDoug Rabson if (lo->lo_vertex) { 378dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 379dfdcada3SDoug Rabson graph_free_vertex(&lf_owner_graph, 380dfdcada3SDoug Rabson lo->lo_vertex); 381dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 382dfdcada3SDoug Rabson } 383dfdcada3SDoug Rabson LIST_REMOVE(lo, lo_link); 384dfdcada3SDoug Rabson free(lo, M_LOCKF); 385dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 386dfdcada3SDoug Rabson if (lockf_debug & 4) 387dfdcada3SDoug Rabson printf("Freed lock owner %p\n", lo); 388dfdcada3SDoug Rabson #endif 389dfdcada3SDoug Rabson } 390dfdcada3SDoug Rabson sx_unlock(&lf_lock_owners_lock); 391dfdcada3SDoug Rabson } 392dfdcada3SDoug Rabson if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) { 393dfdcada3SDoug Rabson vrele(lock->lf_vnode); 394dfdcada3SDoug Rabson lock->lf_vnode = NULL; 395dfdcada3SDoug Rabson } 396dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 397dfdcada3SDoug Rabson if (lockf_debug & 4) 398dfdcada3SDoug Rabson printf("Freed lock %p\n", lock); 399dfdcada3SDoug Rabson #endif 400dfdcada3SDoug Rabson free(lock, M_LOCKF); 4018af54d4cSKonstantin Belousov return (1); 402dfdcada3SDoug Rabson } 40392dc7331SDavid Greenman 40492dc7331SDavid Greenman /* 40592dc7331SDavid Greenman * Advisory record locking support 40692dc7331SDavid Greenman */ 40792dc7331SDavid Greenman int 408dfdcada3SDoug Rabson lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep, 409dfdcada3SDoug Rabson u_quad_t size) 41092dc7331SDavid Greenman { 411dfdcada3SDoug Rabson struct lockf *state, *freestate = NULL; 412bc02f1d9SJeff Roberson struct flock *fl = ap->a_fl; 413dfdcada3SDoug Rabson struct lockf_entry *lock; 414bc02f1d9SJeff Roberson struct vnode *vp = ap->a_vp; 415dfdcada3SDoug Rabson caddr_t id = ap->a_id; 416dfdcada3SDoug Rabson int flags = ap->a_flags; 417dfdcada3SDoug Rabson int hash; 418dfdcada3SDoug Rabson struct lock_owner *lo; 419c4778eedSAndrey A. Chernov off_t start, end, oadd; 42092dc7331SDavid Greenman int error; 42192dc7331SDavid Greenman 42292dc7331SDavid Greenman /* 423dfdcada3SDoug Rabson * Handle the F_UNLKSYS case first - no need to mess about 424dfdcada3SDoug Rabson * creating a lock owner for this one. 425dfdcada3SDoug Rabson */ 426dfdcada3SDoug Rabson if (ap->a_op == F_UNLCKSYS) { 427dfdcada3SDoug Rabson lf_clearremotesys(fl->l_sysid); 428dfdcada3SDoug Rabson return (0); 429dfdcada3SDoug Rabson } 430dfdcada3SDoug Rabson 431dfdcada3SDoug Rabson /* 43292dc7331SDavid Greenman * Convert the flock structure into a start and end. 43392dc7331SDavid Greenman */ 43492dc7331SDavid Greenman switch (fl->l_whence) { 43592dc7331SDavid Greenman 43692dc7331SDavid Greenman case SEEK_SET: 43792dc7331SDavid Greenman case SEEK_CUR: 43892dc7331SDavid Greenman /* 43992dc7331SDavid Greenman * Caller is responsible for adding any necessary offset 44092dc7331SDavid Greenman * when SEEK_CUR is used. 44192dc7331SDavid Greenman */ 44292dc7331SDavid Greenman start = fl->l_start; 44392dc7331SDavid Greenman break; 44492dc7331SDavid Greenman 44592dc7331SDavid Greenman case SEEK_END: 446c8e76343SAndrey A. Chernov if (size > OFF_MAX || 447bc02f1d9SJeff Roberson (fl->l_start > 0 && size > OFF_MAX - fl->l_start)) 448bc02f1d9SJeff Roberson return (EOVERFLOW); 44992dc7331SDavid Greenman start = size + fl->l_start; 45092dc7331SDavid Greenman break; 45192dc7331SDavid Greenman 45292dc7331SDavid Greenman default: 453bc02f1d9SJeff Roberson return (EINVAL); 45492dc7331SDavid Greenman } 455bc02f1d9SJeff Roberson if (start < 0) 456bc02f1d9SJeff Roberson return (EINVAL); 457f510e1c2SAndrey A. Chernov if (fl->l_len < 0) { 458bc02f1d9SJeff Roberson if (start == 0) 459bc02f1d9SJeff Roberson return (EINVAL); 460f510e1c2SAndrey A. Chernov end = start - 1; 46162be011eSAndrey A. Chernov start += fl->l_len; 462bc02f1d9SJeff Roberson if (start < 0) 463bc02f1d9SJeff Roberson return (EINVAL); 464dfdcada3SDoug Rabson } else if (fl->l_len == 0) { 465dfdcada3SDoug Rabson end = OFF_MAX; 466dfdcada3SDoug Rabson } else { 467c4778eedSAndrey A. Chernov oadd = fl->l_len - 1; 468bc02f1d9SJeff Roberson if (oadd > OFF_MAX - start) 469bc02f1d9SJeff Roberson return (EOVERFLOW); 47069cc1d0dSAndrey A. Chernov end = start + oadd; 471a88bd8aaSBruce Evans } 472*3bcc218fSKonstantin Belousov 473*3bcc218fSKonstantin Belousov retry_setlock: 474*3bcc218fSKonstantin Belousov 475a88bd8aaSBruce Evans /* 476a88bd8aaSBruce Evans * Avoid the common case of unlocking when inode has no locks. 477a88bd8aaSBruce Evans */ 478842832aeSDoug Rabson VI_LOCK(vp); 479842832aeSDoug Rabson if ((*statep) == NULL) { 480a88bd8aaSBruce Evans if (ap->a_op != F_SETLK) { 481a88bd8aaSBruce Evans fl->l_type = F_UNLCK; 482842832aeSDoug Rabson VI_UNLOCK(vp); 483bc02f1d9SJeff Roberson return (0); 484a88bd8aaSBruce Evans } 485a88bd8aaSBruce Evans } 486842832aeSDoug Rabson VI_UNLOCK(vp); 487dfdcada3SDoug Rabson 48892dc7331SDavid Greenman /* 489dfdcada3SDoug Rabson * Map our arguments to an existing lock owner or create one 490dfdcada3SDoug Rabson * if this is the first time we have seen this owner. 491bc02f1d9SJeff Roberson */ 492dfdcada3SDoug Rabson hash = lf_hash_owner(id, fl, flags); 493dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 494dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[hash], lo_link) 495dfdcada3SDoug Rabson if (lf_owner_matches(lo, id, fl, flags)) 496dfdcada3SDoug Rabson break; 497dfdcada3SDoug Rabson if (!lo) { 498dfdcada3SDoug Rabson /* 499dfdcada3SDoug Rabson * We initialise the lock with a reference 500dfdcada3SDoug Rabson * count which matches the new lockf_entry 501dfdcada3SDoug Rabson * structure created below. 502dfdcada3SDoug Rabson */ 503dfdcada3SDoug Rabson lo = malloc(sizeof(struct lock_owner), M_LOCKF, 504dfdcada3SDoug Rabson M_WAITOK|M_ZERO); 505dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 506dfdcada3SDoug Rabson if (lockf_debug & 4) 507dfdcada3SDoug Rabson printf("Allocated lock owner %p\n", lo); 508dfdcada3SDoug Rabson #endif 509dfdcada3SDoug Rabson 510dfdcada3SDoug Rabson lo->lo_refs = 1; 511dfdcada3SDoug Rabson lo->lo_flags = flags; 512dfdcada3SDoug Rabson lo->lo_id = id; 513dfdcada3SDoug Rabson if (flags & F_REMOTE) { 514dfdcada3SDoug Rabson lo->lo_pid = fl->l_pid; 515dfdcada3SDoug Rabson lo->lo_sysid = fl->l_sysid; 516dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 517dfdcada3SDoug Rabson lo->lo_pid = -1; 518dfdcada3SDoug Rabson lo->lo_sysid = 0; 519dfdcada3SDoug Rabson } else { 520dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 521dfdcada3SDoug Rabson lo->lo_pid = p->p_pid; 522dfdcada3SDoug Rabson lo->lo_sysid = 0; 523004e08beSKonstantin Belousov } 524dfdcada3SDoug Rabson lo->lo_vertex = NULL; 525dfdcada3SDoug Rabson 526dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 527dfdcada3SDoug Rabson if (lockf_debug & 1) { 528dfdcada3SDoug Rabson printf("lf_advlockasync: new lock owner %p ", lo); 529dfdcada3SDoug Rabson lf_print_owner(lo); 530dfdcada3SDoug Rabson printf("\n"); 531dfdcada3SDoug Rabson } 532dfdcada3SDoug Rabson #endif 533dfdcada3SDoug Rabson 534dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_owners[hash], lo, lo_link); 535dfdcada3SDoug Rabson } else { 536bc02f1d9SJeff Roberson /* 537dfdcada3SDoug Rabson * We have seen this lock owner before, increase its 538dfdcada3SDoug Rabson * reference count to account for the new lockf_entry 539dfdcada3SDoug Rabson * structure we create below. 54092dc7331SDavid Greenman */ 541dfdcada3SDoug Rabson lo->lo_refs++; 542dfdcada3SDoug Rabson } 543dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 544dfdcada3SDoug Rabson 545dfdcada3SDoug Rabson /* 546dfdcada3SDoug Rabson * Create the lockf structure. We initialise the lf_owner 547dfdcada3SDoug Rabson * field here instead of in lf_alloc_lock() to avoid paying 548dfdcada3SDoug Rabson * the lf_lock_owners_lock tax twice. 549dfdcada3SDoug Rabson */ 550dfdcada3SDoug Rabson lock = lf_alloc_lock(NULL); 5518af54d4cSKonstantin Belousov lock->lf_refs = 1; 55292dc7331SDavid Greenman lock->lf_start = start; 55392dc7331SDavid Greenman lock->lf_end = end; 554dfdcada3SDoug Rabson lock->lf_owner = lo; 555dfdcada3SDoug Rabson lock->lf_vnode = vp; 556dfdcada3SDoug Rabson if (flags & F_REMOTE) { 557dfdcada3SDoug Rabson /* 558dfdcada3SDoug Rabson * For remote locks, the caller may release its ref to 559dfdcada3SDoug Rabson * the vnode at any time - we have to ref it here to 560dfdcada3SDoug Rabson * prevent it from being recycled unexpectedly. 561dfdcada3SDoug Rabson */ 562dfdcada3SDoug Rabson vref(vp); 563dfdcada3SDoug Rabson } 564dfdcada3SDoug Rabson 56559aff5fcSAlfred Perlstein /* 56659aff5fcSAlfred Perlstein * XXX The problem is that VTOI is ufs specific, so it will 56759aff5fcSAlfred Perlstein * break LOCKF_DEBUG for all other FS's other than UFS because 56859aff5fcSAlfred Perlstein * it casts the vnode->data ptr to struct inode *. 56959aff5fcSAlfred Perlstein */ 57059aff5fcSAlfred Perlstein /* lock->lf_inode = VTOI(ap->a_vp); */ 57159aff5fcSAlfred Perlstein lock->lf_inode = (struct inode *)0; 57292dc7331SDavid Greenman lock->lf_type = fl->l_type; 573dfdcada3SDoug Rabson LIST_INIT(&lock->lf_outedges); 574dfdcada3SDoug Rabson LIST_INIT(&lock->lf_inedges); 575dfdcada3SDoug Rabson lock->lf_async_task = ap->a_task; 57692dc7331SDavid Greenman lock->lf_flags = ap->a_flags; 577dfdcada3SDoug Rabson 57892dc7331SDavid Greenman /* 579dfdcada3SDoug Rabson * Do the requested operation. First find our state structure 580dfdcada3SDoug Rabson * and create a new one if necessary - the caller's *statep 581dfdcada3SDoug Rabson * variable and the state's ls_threads count is protected by 582dfdcada3SDoug Rabson * the vnode interlock. 58392dc7331SDavid Greenman */ 584bc02f1d9SJeff Roberson VI_LOCK(vp); 585eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 586eab626f1SKonstantin Belousov VI_UNLOCK(vp); 587eab626f1SKonstantin Belousov lf_free_lock(lock); 588eab626f1SKonstantin Belousov return (ENOENT); 589eab626f1SKonstantin Belousov } 590dfdcada3SDoug Rabson 591dfdcada3SDoug Rabson /* 592dfdcada3SDoug Rabson * Allocate a state structure if necessary. 593dfdcada3SDoug Rabson */ 594dfdcada3SDoug Rabson state = *statep; 595dfdcada3SDoug Rabson if (state == NULL) { 596dfdcada3SDoug Rabson struct lockf *ls; 597dfdcada3SDoug Rabson 598dfdcada3SDoug Rabson VI_UNLOCK(vp); 599dfdcada3SDoug Rabson 600dfdcada3SDoug Rabson ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO); 601dfdcada3SDoug Rabson sx_init(&ls->ls_lock, "ls_lock"); 602dfdcada3SDoug Rabson LIST_INIT(&ls->ls_active); 603dfdcada3SDoug Rabson LIST_INIT(&ls->ls_pending); 60460cdfde0SDoug Rabson ls->ls_threads = 1; 605dfdcada3SDoug Rabson 606dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 607dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link); 608dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 609dfdcada3SDoug Rabson 610dfdcada3SDoug Rabson /* 611dfdcada3SDoug Rabson * Cope if we lost a race with some other thread while 612dfdcada3SDoug Rabson * trying to allocate memory. 613dfdcada3SDoug Rabson */ 614dfdcada3SDoug Rabson VI_LOCK(vp); 615eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 616eab626f1SKonstantin Belousov VI_UNLOCK(vp); 617eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 618eab626f1SKonstantin Belousov LIST_REMOVE(ls, ls_link); 619eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 620eab626f1SKonstantin Belousov sx_destroy(&ls->ls_lock); 621eab626f1SKonstantin Belousov free(ls, M_LOCKF); 622eab626f1SKonstantin Belousov lf_free_lock(lock); 623eab626f1SKonstantin Belousov return (ENOENT); 624eab626f1SKonstantin Belousov } 625dfdcada3SDoug Rabson if ((*statep) == NULL) { 62660cdfde0SDoug Rabson state = *statep = ls; 62760cdfde0SDoug Rabson VI_UNLOCK(vp); 628dfdcada3SDoug Rabson } else { 62960cdfde0SDoug Rabson state = *statep; 63060cdfde0SDoug Rabson state->ls_threads++; 63160cdfde0SDoug Rabson VI_UNLOCK(vp); 63260cdfde0SDoug Rabson 633dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 634dfdcada3SDoug Rabson LIST_REMOVE(ls, ls_link); 635dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 636dfdcada3SDoug Rabson sx_destroy(&ls->ls_lock); 637dfdcada3SDoug Rabson free(ls, M_LOCKF); 638dfdcada3SDoug Rabson } 63960cdfde0SDoug Rabson } else { 640dfdcada3SDoug Rabson state->ls_threads++; 641dfdcada3SDoug Rabson VI_UNLOCK(vp); 64260cdfde0SDoug Rabson } 643dfdcada3SDoug Rabson 644dfdcada3SDoug Rabson sx_xlock(&state->ls_lock); 645b33d6177SKonstantin Belousov /* 646b33d6177SKonstantin Belousov * Recheck the doomed vnode after state->ls_lock is 647b33d6177SKonstantin Belousov * locked. lf_purgelocks() requires that no new threads add 648b33d6177SKonstantin Belousov * pending locks when vnode is marked by VI_DOOMED flag. 649b33d6177SKonstantin Belousov */ 650b33d6177SKonstantin Belousov VI_LOCK(vp); 651b33d6177SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 652f02c9d28SKonstantin Belousov state->ls_threads--; 653f02c9d28SKonstantin Belousov wakeup(state); 654b33d6177SKonstantin Belousov VI_UNLOCK(vp); 6555dd6aabaSKonstantin Belousov sx_xunlock(&state->ls_lock); 656b33d6177SKonstantin Belousov lf_free_lock(lock); 657b33d6177SKonstantin Belousov return (ENOENT); 658b33d6177SKonstantin Belousov } 659b33d6177SKonstantin Belousov VI_UNLOCK(vp); 660b33d6177SKonstantin Belousov 66192dc7331SDavid Greenman switch (ap->a_op) { 66292dc7331SDavid Greenman case F_SETLK: 663dfdcada3SDoug Rabson error = lf_setlock(state, lock, vp, ap->a_cookiep); 664bc02f1d9SJeff Roberson break; 66592dc7331SDavid Greenman 66692dc7331SDavid Greenman case F_UNLCK: 667dfdcada3SDoug Rabson error = lf_clearlock(state, lock); 668dfdcada3SDoug Rabson lf_free_lock(lock); 669bc02f1d9SJeff Roberson break; 67092dc7331SDavid Greenman 67192dc7331SDavid Greenman case F_GETLK: 672dfdcada3SDoug Rabson error = lf_getlock(state, lock, fl); 673dfdcada3SDoug Rabson lf_free_lock(lock); 674dfdcada3SDoug Rabson break; 675dfdcada3SDoug Rabson 676dfdcada3SDoug Rabson case F_CANCEL: 677dfdcada3SDoug Rabson if (ap->a_cookiep) 678dfdcada3SDoug Rabson error = lf_cancel(state, lock, *ap->a_cookiep); 679dfdcada3SDoug Rabson else 680dfdcada3SDoug Rabson error = EINVAL; 681dfdcada3SDoug Rabson lf_free_lock(lock); 682bc02f1d9SJeff Roberson break; 68392dc7331SDavid Greenman 68492dc7331SDavid Greenman default: 685dfdcada3SDoug Rabson lf_free_lock(lock); 686013e6650SJeff Roberson error = EINVAL; 687bc02f1d9SJeff Roberson break; 68892dc7331SDavid Greenman } 689dfdcada3SDoug Rabson 690dfdcada3SDoug Rabson #ifdef INVARIANTS 691dfdcada3SDoug Rabson /* 692dfdcada3SDoug Rabson * Check for some can't happen stuff. In this case, the active 693dfdcada3SDoug Rabson * lock list becoming disordered or containing mutually 694dfdcada3SDoug Rabson * blocking locks. We also check the pending list for locks 695dfdcada3SDoug Rabson * which should be active (i.e. have no out-going edges). 696dfdcada3SDoug Rabson */ 697dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_active, lf_link) { 698dfdcada3SDoug Rabson struct lockf_entry *lf; 699dfdcada3SDoug Rabson if (LIST_NEXT(lock, lf_link)) 700dfdcada3SDoug Rabson KASSERT((lock->lf_start 701dfdcada3SDoug Rabson <= LIST_NEXT(lock, lf_link)->lf_start), 702dfdcada3SDoug Rabson ("locks disordered")); 703dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 704dfdcada3SDoug Rabson if (lock == lf) 705dfdcada3SDoug Rabson break; 706dfdcada3SDoug Rabson KASSERT(!lf_blocks(lock, lf), 707dfdcada3SDoug Rabson ("two conflicting active locks")); 708dfdcada3SDoug Rabson if (lock->lf_owner == lf->lf_owner) 709dfdcada3SDoug Rabson KASSERT(!lf_overlaps(lock, lf), 710dfdcada3SDoug Rabson ("two overlapping locks from same owner")); 711dfdcada3SDoug Rabson } 712dfdcada3SDoug Rabson } 713dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_pending, lf_link) { 714dfdcada3SDoug Rabson KASSERT(!LIST_EMPTY(&lock->lf_outedges), 715dfdcada3SDoug Rabson ("pending lock which should be active")); 716dfdcada3SDoug Rabson } 717dfdcada3SDoug Rabson #endif 718dfdcada3SDoug Rabson sx_xunlock(&state->ls_lock); 719dfdcada3SDoug Rabson 720dfdcada3SDoug Rabson /* 721dfdcada3SDoug Rabson * If we have removed the last active lock on the vnode and 722dfdcada3SDoug Rabson * this is the last thread that was in-progress, we can free 723dfdcada3SDoug Rabson * the state structure. We update the caller's pointer inside 724dfdcada3SDoug Rabson * the vnode interlock but call free outside. 725dfdcada3SDoug Rabson * 726dfdcada3SDoug Rabson * XXX alternatively, keep the state structure around until 727dfdcada3SDoug Rabson * the filesystem recycles - requires a callback from the 728dfdcada3SDoug Rabson * filesystem. 729dfdcada3SDoug Rabson */ 730dfdcada3SDoug Rabson VI_LOCK(vp); 731dfdcada3SDoug Rabson 732dfdcada3SDoug Rabson state->ls_threads--; 733eab626f1SKonstantin Belousov wakeup(state); 734dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 735dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&state->ls_pending), 736dfdcada3SDoug Rabson ("freeing state with pending locks")); 737dfdcada3SDoug Rabson freestate = state; 738dfdcada3SDoug Rabson *statep = NULL; 739dfdcada3SDoug Rabson } 740dfdcada3SDoug Rabson 741bc02f1d9SJeff Roberson VI_UNLOCK(vp); 742dfdcada3SDoug Rabson 743dfdcada3SDoug Rabson if (freestate) { 744dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 745dfdcada3SDoug Rabson LIST_REMOVE(freestate, ls_link); 746dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 747dfdcada3SDoug Rabson sx_destroy(&freestate->ls_lock); 748dfdcada3SDoug Rabson free(freestate, M_LOCKF); 749004e08beSKonstantin Belousov } 750*3bcc218fSKonstantin Belousov 751*3bcc218fSKonstantin Belousov if (error == EDOOFUS) { 752*3bcc218fSKonstantin Belousov KASSERT(ap->a_op == F_SETLK, ("EDOOFUS")); 753*3bcc218fSKonstantin Belousov goto retry_setlock; 754*3bcc218fSKonstantin Belousov } 755013e6650SJeff Roberson return (error); 75692dc7331SDavid Greenman } 75792dc7331SDavid Greenman 758dfdcada3SDoug Rabson int 759dfdcada3SDoug Rabson lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size) 760dfdcada3SDoug Rabson { 761dfdcada3SDoug Rabson struct vop_advlockasync_args a; 762dfdcada3SDoug Rabson 763dfdcada3SDoug Rabson a.a_vp = ap->a_vp; 764dfdcada3SDoug Rabson a.a_id = ap->a_id; 765dfdcada3SDoug Rabson a.a_op = ap->a_op; 766dfdcada3SDoug Rabson a.a_fl = ap->a_fl; 767dfdcada3SDoug Rabson a.a_flags = ap->a_flags; 768dfdcada3SDoug Rabson a.a_task = NULL; 769dfdcada3SDoug Rabson a.a_cookiep = NULL; 770dfdcada3SDoug Rabson 771dfdcada3SDoug Rabson return (lf_advlockasync(&a, statep, size)); 772dfdcada3SDoug Rabson } 773dfdcada3SDoug Rabson 774eab626f1SKonstantin Belousov void 775eab626f1SKonstantin Belousov lf_purgelocks(struct vnode *vp, struct lockf **statep) 776eab626f1SKonstantin Belousov { 777eab626f1SKonstantin Belousov struct lockf *state; 778eab626f1SKonstantin Belousov struct lockf_entry *lock, *nlock; 779eab626f1SKonstantin Belousov 780eab626f1SKonstantin Belousov /* 781eab626f1SKonstantin Belousov * For this to work correctly, the caller must ensure that no 782eab626f1SKonstantin Belousov * other threads enter the locking system for this vnode, 783eab626f1SKonstantin Belousov * e.g. by checking VI_DOOMED. We wake up any threads that are 784eab626f1SKonstantin Belousov * sleeping waiting for locks on this vnode and then free all 785eab626f1SKonstantin Belousov * the remaining locks. 786eab626f1SKonstantin Belousov */ 787eab626f1SKonstantin Belousov VI_LOCK(vp); 788b33d6177SKonstantin Belousov KASSERT(vp->v_iflag & VI_DOOMED, 789b33d6177SKonstantin Belousov ("lf_purgelocks: vp %p has not vgone yet", vp)); 790eab626f1SKonstantin Belousov state = *statep; 791eab626f1SKonstantin Belousov if (state) { 792b33d6177SKonstantin Belousov *statep = NULL; 793eab626f1SKonstantin Belousov state->ls_threads++; 794eab626f1SKonstantin Belousov VI_UNLOCK(vp); 795eab626f1SKonstantin Belousov 796eab626f1SKonstantin Belousov sx_xlock(&state->ls_lock); 797eab626f1SKonstantin Belousov sx_xlock(&lf_owner_graph_lock); 798eab626f1SKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 799eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 800eab626f1SKonstantin Belousov lf_remove_outgoing(lock); 801eab626f1SKonstantin Belousov lf_remove_incoming(lock); 802eab626f1SKonstantin Belousov 803eab626f1SKonstantin Belousov /* 804eab626f1SKonstantin Belousov * If its an async lock, we can just free it 805eab626f1SKonstantin Belousov * here, otherwise we let the sleeping thread 806eab626f1SKonstantin Belousov * free it. 807eab626f1SKonstantin Belousov */ 808eab626f1SKonstantin Belousov if (lock->lf_async_task) { 809eab626f1SKonstantin Belousov lf_free_lock(lock); 810eab626f1SKonstantin Belousov } else { 811eab626f1SKonstantin Belousov lock->lf_flags |= F_INTR; 812eab626f1SKonstantin Belousov wakeup(lock); 813eab626f1SKonstantin Belousov } 814eab626f1SKonstantin Belousov } 815eab626f1SKonstantin Belousov sx_xunlock(&lf_owner_graph_lock); 816eab626f1SKonstantin Belousov sx_xunlock(&state->ls_lock); 817eab626f1SKonstantin Belousov 818eab626f1SKonstantin Belousov /* 819eab626f1SKonstantin Belousov * Wait for all other threads, sleeping and otherwise 820eab626f1SKonstantin Belousov * to leave. 821eab626f1SKonstantin Belousov */ 822eab626f1SKonstantin Belousov VI_LOCK(vp); 823eab626f1SKonstantin Belousov while (state->ls_threads > 1) 824eab626f1SKonstantin Belousov msleep(state, VI_MTX(vp), 0, "purgelocks", 0); 825eab626f1SKonstantin Belousov VI_UNLOCK(vp); 826eab626f1SKonstantin Belousov 827eab626f1SKonstantin Belousov /* 828eab626f1SKonstantin Belousov * We can just free all the active locks since they 829eab626f1SKonstantin Belousov * will have no dependancies (we removed them all 830eab626f1SKonstantin Belousov * above). We don't need to bother locking since we 831eab626f1SKonstantin Belousov * are the last thread using this state structure. 832eab626f1SKonstantin Belousov */ 8339727972eSKonstantin Belousov KASSERT(LIST_EMPTY(&state->ls_pending), 8349727972eSKonstantin Belousov ("lock pending for %p", state)); 8359727972eSKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_active, lf_link, nlock) { 836eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 837eab626f1SKonstantin Belousov lf_free_lock(lock); 838eab626f1SKonstantin Belousov } 839eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 840eab626f1SKonstantin Belousov LIST_REMOVE(state, ls_link); 841eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 842eab626f1SKonstantin Belousov sx_destroy(&state->ls_lock); 843eab626f1SKonstantin Belousov free(state, M_LOCKF); 844eab626f1SKonstantin Belousov } else { 845eab626f1SKonstantin Belousov VI_UNLOCK(vp); 846eab626f1SKonstantin Belousov } 847eab626f1SKonstantin Belousov } 848eab626f1SKonstantin Belousov 849dfdcada3SDoug Rabson /* 850dfdcada3SDoug Rabson * Return non-zero if locks 'x' and 'y' overlap. 851dfdcada3SDoug Rabson */ 852dfdcada3SDoug Rabson static int 853dfdcada3SDoug Rabson lf_overlaps(struct lockf_entry *x, struct lockf_entry *y) 854dfdcada3SDoug Rabson { 855dfdcada3SDoug Rabson 856dfdcada3SDoug Rabson return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start); 857dfdcada3SDoug Rabson } 858dfdcada3SDoug Rabson 859dfdcada3SDoug Rabson /* 860dfdcada3SDoug Rabson * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa). 861dfdcada3SDoug Rabson */ 862dfdcada3SDoug Rabson static int 863dfdcada3SDoug Rabson lf_blocks(struct lockf_entry *x, struct lockf_entry *y) 864dfdcada3SDoug Rabson { 865dfdcada3SDoug Rabson 866dfdcada3SDoug Rabson return x->lf_owner != y->lf_owner 867dfdcada3SDoug Rabson && (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK) 868dfdcada3SDoug Rabson && lf_overlaps(x, y); 869dfdcada3SDoug Rabson } 870dfdcada3SDoug Rabson 871dfdcada3SDoug Rabson /* 872dfdcada3SDoug Rabson * Allocate a lock edge from the free list 873dfdcada3SDoug Rabson */ 874dfdcada3SDoug Rabson static struct lockf_edge * 875dfdcada3SDoug Rabson lf_alloc_edge(void) 876dfdcada3SDoug Rabson { 877dfdcada3SDoug Rabson 878dfdcada3SDoug Rabson return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO)); 879dfdcada3SDoug Rabson } 880dfdcada3SDoug Rabson 881dfdcada3SDoug Rabson /* 882dfdcada3SDoug Rabson * Free a lock edge. 883dfdcada3SDoug Rabson */ 884dfdcada3SDoug Rabson static void 885dfdcada3SDoug Rabson lf_free_edge(struct lockf_edge *e) 886dfdcada3SDoug Rabson { 887dfdcada3SDoug Rabson 888dfdcada3SDoug Rabson free(e, M_LOCKF); 889dfdcada3SDoug Rabson } 890dfdcada3SDoug Rabson 891dfdcada3SDoug Rabson 892dfdcada3SDoug Rabson /* 893dfdcada3SDoug Rabson * Ensure that the lock's owner has a corresponding vertex in the 894dfdcada3SDoug Rabson * owner graph. 895dfdcada3SDoug Rabson */ 896dfdcada3SDoug Rabson static void 897dfdcada3SDoug Rabson lf_alloc_vertex(struct lockf_entry *lock) 898dfdcada3SDoug Rabson { 899dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 900dfdcada3SDoug Rabson 901dfdcada3SDoug Rabson if (!lock->lf_owner->lo_vertex) 902dfdcada3SDoug Rabson lock->lf_owner->lo_vertex = 903dfdcada3SDoug Rabson graph_alloc_vertex(g, lock->lf_owner); 904dfdcada3SDoug Rabson } 905dfdcada3SDoug Rabson 906dfdcada3SDoug Rabson /* 907dfdcada3SDoug Rabson * Attempt to record an edge from lock x to lock y. Return EDEADLK if 908dfdcada3SDoug Rabson * the new edge would cause a cycle in the owner graph. 909dfdcada3SDoug Rabson */ 910dfdcada3SDoug Rabson static int 911dfdcada3SDoug Rabson lf_add_edge(struct lockf_entry *x, struct lockf_entry *y) 912dfdcada3SDoug Rabson { 913dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 914dfdcada3SDoug Rabson struct lockf_edge *e; 915dfdcada3SDoug Rabson int error; 916dfdcada3SDoug Rabson 917dfdcada3SDoug Rabson #ifdef INVARIANTS 918dfdcada3SDoug Rabson LIST_FOREACH(e, &x->lf_outedges, le_outlink) 919dfdcada3SDoug Rabson KASSERT(e->le_to != y, ("adding lock edge twice")); 920dfdcada3SDoug Rabson #endif 921dfdcada3SDoug Rabson 922dfdcada3SDoug Rabson /* 923dfdcada3SDoug Rabson * Make sure the two owners have entries in the owner graph. 924dfdcada3SDoug Rabson */ 925dfdcada3SDoug Rabson lf_alloc_vertex(x); 926dfdcada3SDoug Rabson lf_alloc_vertex(y); 927dfdcada3SDoug Rabson 928dfdcada3SDoug Rabson error = graph_add_edge(g, x->lf_owner->lo_vertex, 929dfdcada3SDoug Rabson y->lf_owner->lo_vertex); 930dfdcada3SDoug Rabson if (error) 931dfdcada3SDoug Rabson return (error); 932dfdcada3SDoug Rabson 933dfdcada3SDoug Rabson e = lf_alloc_edge(); 934dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink); 935dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink); 936dfdcada3SDoug Rabson e->le_from = x; 937dfdcada3SDoug Rabson e->le_to = y; 938dfdcada3SDoug Rabson 939dfdcada3SDoug Rabson return (0); 940dfdcada3SDoug Rabson } 941dfdcada3SDoug Rabson 942dfdcada3SDoug Rabson /* 943dfdcada3SDoug Rabson * Remove an edge from the lock graph. 944dfdcada3SDoug Rabson */ 945dfdcada3SDoug Rabson static void 946dfdcada3SDoug Rabson lf_remove_edge(struct lockf_edge *e) 947dfdcada3SDoug Rabson { 948dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 949dfdcada3SDoug Rabson struct lockf_entry *x = e->le_from; 950dfdcada3SDoug Rabson struct lockf_entry *y = e->le_to; 951dfdcada3SDoug Rabson 952dfdcada3SDoug Rabson graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex); 953dfdcada3SDoug Rabson LIST_REMOVE(e, le_outlink); 954dfdcada3SDoug Rabson LIST_REMOVE(e, le_inlink); 955dfdcada3SDoug Rabson e->le_from = NULL; 956dfdcada3SDoug Rabson e->le_to = NULL; 957dfdcada3SDoug Rabson lf_free_edge(e); 958dfdcada3SDoug Rabson } 959dfdcada3SDoug Rabson 960dfdcada3SDoug Rabson /* 961dfdcada3SDoug Rabson * Remove all out-going edges from lock x. 962dfdcada3SDoug Rabson */ 963dfdcada3SDoug Rabson static void 964dfdcada3SDoug Rabson lf_remove_outgoing(struct lockf_entry *x) 965dfdcada3SDoug Rabson { 966dfdcada3SDoug Rabson struct lockf_edge *e; 967dfdcada3SDoug Rabson 968dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) { 969dfdcada3SDoug Rabson lf_remove_edge(e); 970dfdcada3SDoug Rabson } 971dfdcada3SDoug Rabson } 972dfdcada3SDoug Rabson 973dfdcada3SDoug Rabson /* 974dfdcada3SDoug Rabson * Remove all in-coming edges from lock x. 975dfdcada3SDoug Rabson */ 976dfdcada3SDoug Rabson static void 977dfdcada3SDoug Rabson lf_remove_incoming(struct lockf_entry *x) 978dfdcada3SDoug Rabson { 979dfdcada3SDoug Rabson struct lockf_edge *e; 980dfdcada3SDoug Rabson 981dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) { 982dfdcada3SDoug Rabson lf_remove_edge(e); 983dfdcada3SDoug Rabson } 984dfdcada3SDoug Rabson } 985dfdcada3SDoug Rabson 986dfdcada3SDoug Rabson /* 987dfdcada3SDoug Rabson * Walk the list of locks for the file and create an out-going edge 988dfdcada3SDoug Rabson * from lock to each blocking lock. 989dfdcada3SDoug Rabson */ 990dfdcada3SDoug Rabson static int 991dfdcada3SDoug Rabson lf_add_outgoing(struct lockf *state, struct lockf_entry *lock) 992dfdcada3SDoug Rabson { 993dfdcada3SDoug Rabson struct lockf_entry *overlap; 994dfdcada3SDoug Rabson int error; 995dfdcada3SDoug Rabson 996dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 997dfdcada3SDoug Rabson /* 998dfdcada3SDoug Rabson * We may assume that the active list is sorted by 999dfdcada3SDoug Rabson * lf_start. 1000dfdcada3SDoug Rabson */ 1001dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1002dfdcada3SDoug Rabson break; 1003dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1004dfdcada3SDoug Rabson continue; 1005dfdcada3SDoug Rabson 1006dfdcada3SDoug Rabson /* 1007dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1008dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1009dfdcada3SDoug Rabson * deadlock. 1010dfdcada3SDoug Rabson */ 1011dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1012dfdcada3SDoug Rabson 1013dfdcada3SDoug Rabson /* 1014dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1015dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1016dfdcada3SDoug Rabson */ 1017dfdcada3SDoug Rabson if (error) { 1018dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1019dfdcada3SDoug Rabson return (error); 1020dfdcada3SDoug Rabson } 1021dfdcada3SDoug Rabson } 1022dfdcada3SDoug Rabson 1023dfdcada3SDoug Rabson /* 1024dfdcada3SDoug Rabson * We also need to add edges to sleeping locks that block 1025dfdcada3SDoug Rabson * us. This ensures that lf_wakeup_lock cannot grant two 1026dfdcada3SDoug Rabson * mutually blocking locks simultaneously and also enforces a 1027dfdcada3SDoug Rabson * 'first come, first served' fairness model. Note that this 1028dfdcada3SDoug Rabson * only happens if we are blocked by at least one active lock 1029dfdcada3SDoug Rabson * due to the call to lf_getblock in lf_setlock below. 1030dfdcada3SDoug Rabson */ 1031dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1032dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1033dfdcada3SDoug Rabson continue; 1034dfdcada3SDoug Rabson /* 1035dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1036dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1037dfdcada3SDoug Rabson * deadlock. 1038dfdcada3SDoug Rabson */ 1039dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1040dfdcada3SDoug Rabson 1041dfdcada3SDoug Rabson /* 1042dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1043dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1044dfdcada3SDoug Rabson */ 1045dfdcada3SDoug Rabson if (error) { 1046dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1047dfdcada3SDoug Rabson return (error); 1048dfdcada3SDoug Rabson } 1049dfdcada3SDoug Rabson } 1050dfdcada3SDoug Rabson 1051dfdcada3SDoug Rabson return (0); 1052dfdcada3SDoug Rabson } 1053dfdcada3SDoug Rabson 1054dfdcada3SDoug Rabson /* 1055dfdcada3SDoug Rabson * Walk the list of pending locks for the file and create an in-coming 1056dfdcada3SDoug Rabson * edge from lock to each blocking lock. 1057dfdcada3SDoug Rabson */ 1058dfdcada3SDoug Rabson static int 1059dfdcada3SDoug Rabson lf_add_incoming(struct lockf *state, struct lockf_entry *lock) 1060dfdcada3SDoug Rabson { 1061dfdcada3SDoug Rabson struct lockf_entry *overlap; 1062dfdcada3SDoug Rabson int error; 1063dfdcada3SDoug Rabson 1064dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1065dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1066dfdcada3SDoug Rabson continue; 1067dfdcada3SDoug Rabson 1068dfdcada3SDoug Rabson /* 1069dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1070dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1071dfdcada3SDoug Rabson * deadlock. 1072dfdcada3SDoug Rabson */ 1073dfdcada3SDoug Rabson error = lf_add_edge(overlap, lock); 1074dfdcada3SDoug Rabson 1075dfdcada3SDoug Rabson /* 1076dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1077dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1078dfdcada3SDoug Rabson */ 1079dfdcada3SDoug Rabson if (error) { 1080dfdcada3SDoug Rabson lf_remove_incoming(lock); 1081dfdcada3SDoug Rabson return (error); 1082dfdcada3SDoug Rabson } 1083dfdcada3SDoug Rabson } 1084dfdcada3SDoug Rabson return (0); 1085dfdcada3SDoug Rabson } 1086dfdcada3SDoug Rabson 1087dfdcada3SDoug Rabson /* 1088dfdcada3SDoug Rabson * Insert lock into the active list, keeping list entries ordered by 1089dfdcada3SDoug Rabson * increasing values of lf_start. 1090dfdcada3SDoug Rabson */ 1091dfdcada3SDoug Rabson static void 1092dfdcada3SDoug Rabson lf_insert_lock(struct lockf *state, struct lockf_entry *lock) 1093dfdcada3SDoug Rabson { 1094dfdcada3SDoug Rabson struct lockf_entry *lf, *lfprev; 1095dfdcada3SDoug Rabson 1096dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active)) { 1097dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_active, lock, lf_link); 1098dfdcada3SDoug Rabson return; 1099dfdcada3SDoug Rabson } 1100dfdcada3SDoug Rabson 1101dfdcada3SDoug Rabson lfprev = NULL; 1102dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 1103dfdcada3SDoug Rabson if (lf->lf_start > lock->lf_start) { 1104dfdcada3SDoug Rabson LIST_INSERT_BEFORE(lf, lock, lf_link); 1105dfdcada3SDoug Rabson return; 1106dfdcada3SDoug Rabson } 1107dfdcada3SDoug Rabson lfprev = lf; 1108dfdcada3SDoug Rabson } 1109dfdcada3SDoug Rabson LIST_INSERT_AFTER(lfprev, lock, lf_link); 1110dfdcada3SDoug Rabson } 1111dfdcada3SDoug Rabson 1112dfdcada3SDoug Rabson /* 1113dfdcada3SDoug Rabson * Wake up a sleeping lock and remove it from the pending list now 1114dfdcada3SDoug Rabson * that all its dependancies have been resolved. The caller should 1115dfdcada3SDoug Rabson * arrange for the lock to be added to the active list, adjusting any 1116dfdcada3SDoug Rabson * existing locks for the same owner as needed. 1117dfdcada3SDoug Rabson */ 1118dfdcada3SDoug Rabson static void 1119dfdcada3SDoug Rabson lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock) 1120dfdcada3SDoug Rabson { 1121dfdcada3SDoug Rabson 1122dfdcada3SDoug Rabson /* 1123dfdcada3SDoug Rabson * Remove from ls_pending list and wake up the caller 1124dfdcada3SDoug Rabson * or start the async notification, as appropriate. 1125dfdcada3SDoug Rabson */ 1126dfdcada3SDoug Rabson LIST_REMOVE(wakelock, lf_link); 1127dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1128dfdcada3SDoug Rabson if (lockf_debug & 1) 1129dfdcada3SDoug Rabson lf_print("lf_wakeup_lock: awakening", wakelock); 1130dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1131dfdcada3SDoug Rabson if (wakelock->lf_async_task) { 1132dfdcada3SDoug Rabson taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task); 1133dfdcada3SDoug Rabson } else { 1134dfdcada3SDoug Rabson wakeup(wakelock); 1135dfdcada3SDoug Rabson } 1136dfdcada3SDoug Rabson } 1137dfdcada3SDoug Rabson 1138dfdcada3SDoug Rabson /* 1139dfdcada3SDoug Rabson * Re-check all dependant locks and remove edges to locks that we no 1140dfdcada3SDoug Rabson * longer block. If 'all' is non-zero, the lock has been removed and 1141dfdcada3SDoug Rabson * we must remove all the dependancies, otherwise it has simply been 1142dfdcada3SDoug Rabson * reduced but remains active. Any pending locks which have been been 1143dfdcada3SDoug Rabson * unblocked are added to 'granted' 1144dfdcada3SDoug Rabson */ 1145dfdcada3SDoug Rabson static void 1146dfdcada3SDoug Rabson lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all, 1147dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1148dfdcada3SDoug Rabson { 1149dfdcada3SDoug Rabson struct lockf_edge *e, *ne; 1150dfdcada3SDoug Rabson struct lockf_entry *deplock; 1151dfdcada3SDoug Rabson 1152dfdcada3SDoug Rabson LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) { 1153dfdcada3SDoug Rabson deplock = e->le_from; 1154dfdcada3SDoug Rabson if (all || !lf_blocks(lock, deplock)) { 1155dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1156dfdcada3SDoug Rabson lf_remove_edge(e); 1157dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1158dfdcada3SDoug Rabson if (LIST_EMPTY(&deplock->lf_outedges)) { 1159dfdcada3SDoug Rabson lf_wakeup_lock(state, deplock); 1160dfdcada3SDoug Rabson LIST_INSERT_HEAD(granted, deplock, lf_link); 1161dfdcada3SDoug Rabson } 1162dfdcada3SDoug Rabson } 1163dfdcada3SDoug Rabson } 1164dfdcada3SDoug Rabson } 1165dfdcada3SDoug Rabson 1166dfdcada3SDoug Rabson /* 1167dfdcada3SDoug Rabson * Set the start of an existing active lock, updating dependancies and 1168dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1169dfdcada3SDoug Rabson */ 1170dfdcada3SDoug Rabson static void 1171dfdcada3SDoug Rabson lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start, 1172dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1173dfdcada3SDoug Rabson { 1174dfdcada3SDoug Rabson 1175dfdcada3SDoug Rabson KASSERT(new_start >= lock->lf_start, ("can't increase lock")); 1176dfdcada3SDoug Rabson lock->lf_start = new_start; 1177dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1178dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1179dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1180dfdcada3SDoug Rabson } 1181dfdcada3SDoug Rabson 1182dfdcada3SDoug Rabson /* 1183dfdcada3SDoug Rabson * Set the end of an existing active lock, updating dependancies and 1184dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1185dfdcada3SDoug Rabson */ 1186dfdcada3SDoug Rabson static void 1187dfdcada3SDoug Rabson lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end, 1188dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1189dfdcada3SDoug Rabson { 1190dfdcada3SDoug Rabson 1191dfdcada3SDoug Rabson KASSERT(new_end <= lock->lf_end, ("can't increase lock")); 1192dfdcada3SDoug Rabson lock->lf_end = new_end; 1193dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1194dfdcada3SDoug Rabson } 1195dfdcada3SDoug Rabson 1196dfdcada3SDoug Rabson /* 1197dfdcada3SDoug Rabson * Add a lock to the active list, updating or removing any current 1198dfdcada3SDoug Rabson * locks owned by the same owner and processing any pending locks that 1199dfdcada3SDoug Rabson * become unblocked as a result. This code is also used for unlock 1200dfdcada3SDoug Rabson * since the logic for updating existing locks is identical. 1201dfdcada3SDoug Rabson * 1202dfdcada3SDoug Rabson * As a result of processing the new lock, we may unblock existing 1203dfdcada3SDoug Rabson * pending locks as a result of downgrading/unlocking. We simply 1204dfdcada3SDoug Rabson * activate the newly granted locks by looping. 1205dfdcada3SDoug Rabson * 1206dfdcada3SDoug Rabson * Since the new lock already has its dependancies set up, we always 1207dfdcada3SDoug Rabson * add it to the list (unless its an unlock request). This may 1208dfdcada3SDoug Rabson * fragment the lock list in some pathological cases but its probably 1209dfdcada3SDoug Rabson * not a real problem. 1210dfdcada3SDoug Rabson */ 1211dfdcada3SDoug Rabson static void 1212dfdcada3SDoug Rabson lf_activate_lock(struct lockf *state, struct lockf_entry *lock) 1213dfdcada3SDoug Rabson { 1214dfdcada3SDoug Rabson struct lockf_entry *overlap, *lf; 1215dfdcada3SDoug Rabson struct lockf_entry_list granted; 1216dfdcada3SDoug Rabson int ovcase; 1217dfdcada3SDoug Rabson 1218dfdcada3SDoug Rabson LIST_INIT(&granted); 1219dfdcada3SDoug Rabson LIST_INSERT_HEAD(&granted, lock, lf_link); 1220dfdcada3SDoug Rabson 1221dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1222dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1223dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1224dfdcada3SDoug Rabson 1225dfdcada3SDoug Rabson /* 1226dfdcada3SDoug Rabson * Skip over locks owned by other processes. Handle 1227dfdcada3SDoug Rabson * any locks that overlap and are owned by ourselves. 1228dfdcada3SDoug Rabson */ 1229dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1230dfdcada3SDoug Rabson for (;;) { 1231dfdcada3SDoug Rabson ovcase = lf_findoverlap(&overlap, lock, SELF); 1232dfdcada3SDoug Rabson 1233dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1234dfdcada3SDoug Rabson if (ovcase && (lockf_debug & 2)) { 1235dfdcada3SDoug Rabson printf("lf_setlock: overlap %d", ovcase); 1236dfdcada3SDoug Rabson lf_print("", overlap); 1237dfdcada3SDoug Rabson } 1238dfdcada3SDoug Rabson #endif 1239dfdcada3SDoug Rabson /* 1240dfdcada3SDoug Rabson * Six cases: 1241dfdcada3SDoug Rabson * 0) no overlap 1242dfdcada3SDoug Rabson * 1) overlap == lock 1243dfdcada3SDoug Rabson * 2) overlap contains lock 1244dfdcada3SDoug Rabson * 3) lock contains overlap 1245dfdcada3SDoug Rabson * 4) overlap starts before lock 1246dfdcada3SDoug Rabson * 5) overlap ends after lock 1247dfdcada3SDoug Rabson */ 1248dfdcada3SDoug Rabson switch (ovcase) { 1249dfdcada3SDoug Rabson case 0: /* no overlap */ 1250dfdcada3SDoug Rabson break; 1251dfdcada3SDoug Rabson 1252dfdcada3SDoug Rabson case 1: /* overlap == lock */ 1253dfdcada3SDoug Rabson /* 1254dfdcada3SDoug Rabson * We have already setup the 1255dfdcada3SDoug Rabson * dependants for the new lock, taking 1256dfdcada3SDoug Rabson * into account a possible downgrade 1257dfdcada3SDoug Rabson * or unlock. Remove the old lock. 1258dfdcada3SDoug Rabson */ 1259dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1260dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1261dfdcada3SDoug Rabson &granted); 1262dfdcada3SDoug Rabson lf_free_lock(overlap); 1263dfdcada3SDoug Rabson break; 1264dfdcada3SDoug Rabson 1265dfdcada3SDoug Rabson case 2: /* overlap contains lock */ 1266dfdcada3SDoug Rabson /* 1267dfdcada3SDoug Rabson * Just split the existing lock. 1268dfdcada3SDoug Rabson */ 1269dfdcada3SDoug Rabson lf_split(state, overlap, lock, &granted); 1270dfdcada3SDoug Rabson break; 1271dfdcada3SDoug Rabson 1272dfdcada3SDoug Rabson case 3: /* lock contains overlap */ 1273dfdcada3SDoug Rabson /* 1274dfdcada3SDoug Rabson * Delete the overlap and advance to 1275dfdcada3SDoug Rabson * the next entry in the list. 1276dfdcada3SDoug Rabson */ 1277dfdcada3SDoug Rabson lf = LIST_NEXT(overlap, lf_link); 1278dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1279dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1280dfdcada3SDoug Rabson &granted); 1281dfdcada3SDoug Rabson lf_free_lock(overlap); 1282dfdcada3SDoug Rabson overlap = lf; 1283dfdcada3SDoug Rabson continue; 1284dfdcada3SDoug Rabson 1285dfdcada3SDoug Rabson case 4: /* overlap starts before lock */ 1286dfdcada3SDoug Rabson /* 1287dfdcada3SDoug Rabson * Just update the overlap end and 1288dfdcada3SDoug Rabson * move on. 1289dfdcada3SDoug Rabson */ 1290dfdcada3SDoug Rabson lf_set_end(state, overlap, lock->lf_start - 1, 1291dfdcada3SDoug Rabson &granted); 1292dfdcada3SDoug Rabson overlap = LIST_NEXT(overlap, lf_link); 1293dfdcada3SDoug Rabson continue; 1294dfdcada3SDoug Rabson 1295dfdcada3SDoug Rabson case 5: /* overlap ends after lock */ 1296dfdcada3SDoug Rabson /* 1297dfdcada3SDoug Rabson * Change the start of overlap and 1298dfdcada3SDoug Rabson * re-insert. 1299dfdcada3SDoug Rabson */ 1300dfdcada3SDoug Rabson lf_set_start(state, overlap, lock->lf_end + 1, 1301dfdcada3SDoug Rabson &granted); 1302dfdcada3SDoug Rabson break; 1303dfdcada3SDoug Rabson } 1304dfdcada3SDoug Rabson break; 1305dfdcada3SDoug Rabson } 1306dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1307dfdcada3SDoug Rabson if (lockf_debug & 1) { 1308dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1309dfdcada3SDoug Rabson lf_print("lf_activate_lock: activated", lock); 1310dfdcada3SDoug Rabson else 1311dfdcada3SDoug Rabson lf_print("lf_activate_lock: unlocked", lock); 1312dfdcada3SDoug Rabson lf_printlist("lf_activate_lock", lock); 1313dfdcada3SDoug Rabson } 1314dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1315dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1316dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1317dfdcada3SDoug Rabson } 1318dfdcada3SDoug Rabson } 1319dfdcada3SDoug Rabson 1320dfdcada3SDoug Rabson /* 1321dfdcada3SDoug Rabson * Cancel a pending lock request, either as a result of a signal or a 1322dfdcada3SDoug Rabson * cancel request for an async lock. 1323dfdcada3SDoug Rabson */ 1324dfdcada3SDoug Rabson static void 1325dfdcada3SDoug Rabson lf_cancel_lock(struct lockf *state, struct lockf_entry *lock) 1326dfdcada3SDoug Rabson { 1327dfdcada3SDoug Rabson struct lockf_entry_list granted; 1328dfdcada3SDoug Rabson 1329dfdcada3SDoug Rabson /* 1330dfdcada3SDoug Rabson * Note it is theoretically possible that cancelling this lock 1331dfdcada3SDoug Rabson * may allow some other pending lock to become 1332dfdcada3SDoug Rabson * active. Consider this case: 1333dfdcada3SDoug Rabson * 1334dfdcada3SDoug Rabson * Owner Action Result Dependancies 1335dfdcada3SDoug Rabson * 1336dfdcada3SDoug Rabson * A: lock [0..0] succeeds 1337dfdcada3SDoug Rabson * B: lock [2..2] succeeds 1338dfdcada3SDoug Rabson * C: lock [1..2] blocked C->B 1339dfdcada3SDoug Rabson * D: lock [0..1] blocked C->B,D->A,D->C 1340dfdcada3SDoug Rabson * A: unlock [0..0] C->B,D->C 1341dfdcada3SDoug Rabson * C: cancel [1..2] 1342dfdcada3SDoug Rabson */ 1343dfdcada3SDoug Rabson 1344dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1345dfdcada3SDoug Rabson 1346dfdcada3SDoug Rabson /* 1347dfdcada3SDoug Rabson * Removing out-going edges is simple. 1348dfdcada3SDoug Rabson */ 1349dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1350dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1351dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1352dfdcada3SDoug Rabson 1353dfdcada3SDoug Rabson /* 1354dfdcada3SDoug Rabson * Removing in-coming edges may allow some other lock to 1355dfdcada3SDoug Rabson * become active - we use lf_update_dependancies to figure 1356dfdcada3SDoug Rabson * this out. 1357dfdcada3SDoug Rabson */ 1358dfdcada3SDoug Rabson LIST_INIT(&granted); 1359dfdcada3SDoug Rabson lf_update_dependancies(state, lock, TRUE, &granted); 1360dfdcada3SDoug Rabson lf_free_lock(lock); 1361dfdcada3SDoug Rabson 1362dfdcada3SDoug Rabson /* 1363dfdcada3SDoug Rabson * Feed any newly active locks to lf_activate_lock. 1364dfdcada3SDoug Rabson */ 1365dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1366dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1367dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1368dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1369dfdcada3SDoug Rabson } 1370dfdcada3SDoug Rabson } 1371dfdcada3SDoug Rabson 137292dc7331SDavid Greenman /* 137392dc7331SDavid Greenman * Set a byte-range lock. 137492dc7331SDavid Greenman */ 137587b6de2bSPoul-Henning Kamp static int 1376dfdcada3SDoug Rabson lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp, 1377dfdcada3SDoug Rabson void **cookiep) 137892dc7331SDavid Greenman { 137992dc7331SDavid Greenman static char lockstr[] = "lockf"; 1380dfdcada3SDoug Rabson int priority, error; 138192dc7331SDavid Greenman 138292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 138392dc7331SDavid Greenman if (lockf_debug & 1) 138492dc7331SDavid Greenman lf_print("lf_setlock", lock); 138592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 138692dc7331SDavid Greenman 138792dc7331SDavid Greenman /* 138892dc7331SDavid Greenman * Set the priority 138992dc7331SDavid Greenman */ 139092dc7331SDavid Greenman priority = PLOCK; 139192dc7331SDavid Greenman if (lock->lf_type == F_WRLCK) 139292dc7331SDavid Greenman priority += 4; 1393c675522fSDoug Rabson if (!(lock->lf_flags & F_NOINTR)) 139492dc7331SDavid Greenman priority |= PCATCH; 139592dc7331SDavid Greenman /* 139692dc7331SDavid Greenman * Scan lock list for this file looking for locks that would block us. 139792dc7331SDavid Greenman */ 13988aec91b5SKonstantin Belousov if (lf_getblock(state, lock)) { 139992dc7331SDavid Greenman /* 140092dc7331SDavid Greenman * Free the structure and return if nonblocking. 140192dc7331SDavid Greenman */ 1402dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0 1403dfdcada3SDoug Rabson && lock->lf_async_task == NULL) { 1404dfdcada3SDoug Rabson lf_free_lock(lock); 1405dfdcada3SDoug Rabson error = EAGAIN; 1406dfdcada3SDoug Rabson goto out; 140792dc7331SDavid Greenman } 140892dc7331SDavid Greenman 1409dfdcada3SDoug Rabson /* 141006c85cefSDoug Rabson * For flock type locks, we must first remove 141106c85cefSDoug Rabson * any shared locks that we hold before we sleep 141206c85cefSDoug Rabson * waiting for an exclusive lock. 141306c85cefSDoug Rabson */ 141406c85cefSDoug Rabson if ((lock->lf_flags & F_FLOCK) && 141506c85cefSDoug Rabson lock->lf_type == F_WRLCK) { 141606c85cefSDoug Rabson lock->lf_type = F_UNLCK; 141706c85cefSDoug Rabson lf_activate_lock(state, lock); 141806c85cefSDoug Rabson lock->lf_type = F_WRLCK; 141906c85cefSDoug Rabson } 142006c85cefSDoug Rabson 142106c85cefSDoug Rabson /* 1422dfdcada3SDoug Rabson * We are blocked. Create edges to each blocking lock, 1423dfdcada3SDoug Rabson * checking for deadlock using the owner graph. For 1424dfdcada3SDoug Rabson * simplicity, we run deadlock detection for all 1425dfdcada3SDoug Rabson * locks, posix and otherwise. 1426dfdcada3SDoug Rabson */ 1427dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1428dfdcada3SDoug Rabson error = lf_add_outgoing(state, lock); 1429dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1430dfdcada3SDoug Rabson 1431dfdcada3SDoug Rabson if (error) { 1432dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1433dfdcada3SDoug Rabson if (lockf_debug & 1) 1434dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1435dfdcada3SDoug Rabson #endif 1436dfdcada3SDoug Rabson lf_free_lock(lock); 1437dfdcada3SDoug Rabson goto out; 143892dc7331SDavid Greenman } 1439dfdcada3SDoug Rabson 144092dc7331SDavid Greenman /* 1441dfdcada3SDoug Rabson * We have added edges to everything that blocks 1442dfdcada3SDoug Rabson * us. Sleep until they all go away. 144392dc7331SDavid Greenman */ 1444dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link); 144592dc7331SDavid Greenman #ifdef LOCKF_DEBUG 144692dc7331SDavid Greenman if (lockf_debug & 1) { 1447dfdcada3SDoug Rabson struct lockf_edge *e; 1448dfdcada3SDoug Rabson LIST_FOREACH(e, &lock->lf_outedges, le_outlink) { 1449dfdcada3SDoug Rabson lf_print("lf_setlock: blocking on", e->le_to); 1450dfdcada3SDoug Rabson lf_printlist("lf_setlock", e->le_to); 1451dfdcada3SDoug Rabson } 145292dc7331SDavid Greenman } 145392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1454dfdcada3SDoug Rabson 1455dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0) { 1456dfdcada3SDoug Rabson /* 1457dfdcada3SDoug Rabson * The caller requested async notification - 1458dfdcada3SDoug Rabson * this callback happens when the blocking 1459dfdcada3SDoug Rabson * lock is released, allowing the caller to 1460dfdcada3SDoug Rabson * make another attempt to take the lock. 1461dfdcada3SDoug Rabson */ 1462dfdcada3SDoug Rabson *cookiep = (void *) lock; 1463dfdcada3SDoug Rabson error = EINPROGRESS; 1464dfdcada3SDoug Rabson goto out; 1465dfdcada3SDoug Rabson } 1466dfdcada3SDoug Rabson 14678af54d4cSKonstantin Belousov lock->lf_refs++; 1468dfdcada3SDoug Rabson error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0); 14698af54d4cSKonstantin Belousov if (lf_free_lock(lock)) { 1470*3bcc218fSKonstantin Belousov error = EDOOFUS; 14718af54d4cSKonstantin Belousov goto out; 14728af54d4cSKonstantin Belousov } 14738af54d4cSKonstantin Belousov 147492dc7331SDavid Greenman /* 14751168ab08SBruce Evans * We may have been awakened by a signal and/or by a 1476dfdcada3SDoug Rabson * debugger continuing us (in which cases we must 1477dfdcada3SDoug Rabson * remove our lock graph edges) and/or by another 1478dfdcada3SDoug Rabson * process releasing a lock (in which case our edges 1479dfdcada3SDoug Rabson * have already been removed and we have been moved to 1480eab626f1SKonstantin Belousov * the active list). We may also have been woken by 1481eab626f1SKonstantin Belousov * lf_purgelocks which we report to the caller as 1482eab626f1SKonstantin Belousov * EINTR. In that case, lf_purgelocks will have 1483eab626f1SKonstantin Belousov * removed our lock graph edges. 1484dfdcada3SDoug Rabson * 1485dfdcada3SDoug Rabson * Note that it is possible to receive a signal after 1486dfdcada3SDoug Rabson * we were successfully woken (and moved to the active 1487dfdcada3SDoug Rabson * list) but before we resumed execution. In this 1488dfdcada3SDoug Rabson * case, our lf_outedges list will be clear. We 1489dfdcada3SDoug Rabson * pretend there was no error. 1490dfdcada3SDoug Rabson * 1491dfdcada3SDoug Rabson * Note also, if we have been sleeping long enough, we 1492dfdcada3SDoug Rabson * may now have incoming edges from some newer lock 1493dfdcada3SDoug Rabson * which is waiting behind us in the queue. 149492dc7331SDavid Greenman */ 1495eab626f1SKonstantin Belousov if (lock->lf_flags & F_INTR) { 1496eab626f1SKonstantin Belousov error = EINTR; 1497eab626f1SKonstantin Belousov lf_free_lock(lock); 1498eab626f1SKonstantin Belousov goto out; 1499eab626f1SKonstantin Belousov } 1500dfdcada3SDoug Rabson if (LIST_EMPTY(&lock->lf_outedges)) { 1501dfdcada3SDoug Rabson error = 0; 1502dfdcada3SDoug Rabson } else { 1503dfdcada3SDoug Rabson lf_cancel_lock(state, lock); 1504dfdcada3SDoug Rabson goto out; 15051168ab08SBruce Evans } 1506dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1507dfdcada3SDoug Rabson if (lockf_debug & 1) { 1508dfdcada3SDoug Rabson lf_print("lf_setlock: granted", lock); 1509dfdcada3SDoug Rabson } 1510dfdcada3SDoug Rabson #endif 1511dfdcada3SDoug Rabson goto out; 1512dfdcada3SDoug Rabson } 1513dfdcada3SDoug Rabson /* 1514dfdcada3SDoug Rabson * It looks like we are going to grant the lock. First add 1515dfdcada3SDoug Rabson * edges from any currently pending lock that the new lock 1516dfdcada3SDoug Rabson * would block. 1517dfdcada3SDoug Rabson */ 1518dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1519dfdcada3SDoug Rabson error = lf_add_incoming(state, lock); 1520dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 15211168ab08SBruce Evans if (error) { 1522dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1523dfdcada3SDoug Rabson if (lockf_debug & 1) 1524dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1525dfdcada3SDoug Rabson #endif 1526dfdcada3SDoug Rabson lf_free_lock(lock); 1527dfdcada3SDoug Rabson goto out; 152892dc7331SDavid Greenman } 1529dfdcada3SDoug Rabson 153092dc7331SDavid Greenman /* 153192dc7331SDavid Greenman * No blocks!! Add the lock. Note that we will 153292dc7331SDavid Greenman * downgrade or upgrade any overlapping locks this 153392dc7331SDavid Greenman * process already owns. 153492dc7331SDavid Greenman */ 1535dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1536dfdcada3SDoug Rabson error = 0; 1537dfdcada3SDoug Rabson out: 1538dfdcada3SDoug Rabson return (error); 153992dc7331SDavid Greenman } 154092dc7331SDavid Greenman 154192dc7331SDavid Greenman /* 154292dc7331SDavid Greenman * Remove a byte-range lock on an inode. 154392dc7331SDavid Greenman * 154492dc7331SDavid Greenman * Generally, find the lock (or an overlap to that lock) 154592dc7331SDavid Greenman * and remove it (or shrink it), then wakeup anyone we can. 154692dc7331SDavid Greenman */ 154787b6de2bSPoul-Henning Kamp static int 1548dfdcada3SDoug Rabson lf_clearlock(struct lockf *state, struct lockf_entry *unlock) 154992dc7331SDavid Greenman { 1550dfdcada3SDoug Rabson struct lockf_entry *overlap; 155192dc7331SDavid Greenman 1552dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1553dfdcada3SDoug Rabson 1554dfdcada3SDoug Rabson if (overlap == NOLOCKF) 155592dc7331SDavid Greenman return (0); 155692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 155792dc7331SDavid Greenman if (unlock->lf_type != F_UNLCK) 155892dc7331SDavid Greenman panic("lf_clearlock: bad type"); 155992dc7331SDavid Greenman if (lockf_debug & 1) 156092dc7331SDavid Greenman lf_print("lf_clearlock", unlock); 156192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 156292dc7331SDavid Greenman 1563dfdcada3SDoug Rabson lf_activate_lock(state, unlock); 156492dc7331SDavid Greenman 156592dc7331SDavid Greenman return (0); 156692dc7331SDavid Greenman } 156792dc7331SDavid Greenman 156892dc7331SDavid Greenman /* 1569dfdcada3SDoug Rabson * Check whether there is a blocking lock, and if so return its 1570dfdcada3SDoug Rabson * details in '*fl'. 157192dc7331SDavid Greenman */ 157287b6de2bSPoul-Henning Kamp static int 1573dfdcada3SDoug Rabson lf_getlock(struct lockf *state, struct lockf_entry *lock, struct flock *fl) 157492dc7331SDavid Greenman { 1575dfdcada3SDoug Rabson struct lockf_entry *block; 157692dc7331SDavid Greenman 157792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 157892dc7331SDavid Greenman if (lockf_debug & 1) 157992dc7331SDavid Greenman lf_print("lf_getlock", lock); 158092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 158192dc7331SDavid Greenman 1582dfdcada3SDoug Rabson if ((block = lf_getblock(state, lock))) { 158392dc7331SDavid Greenman fl->l_type = block->lf_type; 158492dc7331SDavid Greenman fl->l_whence = SEEK_SET; 158592dc7331SDavid Greenman fl->l_start = block->lf_start; 1586dfdcada3SDoug Rabson if (block->lf_end == OFF_MAX) 158792dc7331SDavid Greenman fl->l_len = 0; 158892dc7331SDavid Greenman else 158992dc7331SDavid Greenman fl->l_len = block->lf_end - block->lf_start + 1; 1590dfdcada3SDoug Rabson fl->l_pid = block->lf_owner->lo_pid; 1591dfdcada3SDoug Rabson fl->l_sysid = block->lf_owner->lo_sysid; 159292dc7331SDavid Greenman } else { 159392dc7331SDavid Greenman fl->l_type = F_UNLCK; 159492dc7331SDavid Greenman } 159592dc7331SDavid Greenman return (0); 159692dc7331SDavid Greenman } 159792dc7331SDavid Greenman 159892dc7331SDavid Greenman /* 1599dfdcada3SDoug Rabson * Cancel an async lock request. 1600dfdcada3SDoug Rabson */ 1601dfdcada3SDoug Rabson static int 1602dfdcada3SDoug Rabson lf_cancel(struct lockf *state, struct lockf_entry *lock, void *cookie) 1603dfdcada3SDoug Rabson { 1604dfdcada3SDoug Rabson struct lockf_entry *reallock; 1605dfdcada3SDoug Rabson 1606dfdcada3SDoug Rabson /* 1607dfdcada3SDoug Rabson * We need to match this request with an existing lock 1608dfdcada3SDoug Rabson * request. 1609dfdcada3SDoug Rabson */ 1610dfdcada3SDoug Rabson LIST_FOREACH(reallock, &state->ls_pending, lf_link) { 1611dfdcada3SDoug Rabson if ((void *) reallock == cookie) { 1612dfdcada3SDoug Rabson /* 1613dfdcada3SDoug Rabson * Double-check that this lock looks right 1614dfdcada3SDoug Rabson * (maybe use a rolling ID for the cancel 1615dfdcada3SDoug Rabson * cookie instead?) 1616dfdcada3SDoug Rabson */ 1617dfdcada3SDoug Rabson if (!(reallock->lf_vnode == lock->lf_vnode 1618dfdcada3SDoug Rabson && reallock->lf_start == lock->lf_start 1619dfdcada3SDoug Rabson && reallock->lf_end == lock->lf_end)) { 1620dfdcada3SDoug Rabson return (ENOENT); 1621dfdcada3SDoug Rabson } 1622dfdcada3SDoug Rabson 1623dfdcada3SDoug Rabson /* 1624dfdcada3SDoug Rabson * Make sure this lock was async and then just 1625dfdcada3SDoug Rabson * remove it from its wait lists. 1626dfdcada3SDoug Rabson */ 1627dfdcada3SDoug Rabson if (!reallock->lf_async_task) { 1628dfdcada3SDoug Rabson return (ENOENT); 1629dfdcada3SDoug Rabson } 1630dfdcada3SDoug Rabson 1631dfdcada3SDoug Rabson /* 1632dfdcada3SDoug Rabson * Note that since any other thread must take 1633dfdcada3SDoug Rabson * state->ls_lock before it can possibly 1634dfdcada3SDoug Rabson * trigger the async callback, we are safe 1635dfdcada3SDoug Rabson * from a race with lf_wakeup_lock, i.e. we 1636dfdcada3SDoug Rabson * can free the lock (actually our caller does 1637dfdcada3SDoug Rabson * this). 1638dfdcada3SDoug Rabson */ 1639dfdcada3SDoug Rabson lf_cancel_lock(state, reallock); 1640dfdcada3SDoug Rabson return (0); 1641dfdcada3SDoug Rabson } 1642dfdcada3SDoug Rabson } 1643dfdcada3SDoug Rabson 1644dfdcada3SDoug Rabson /* 1645dfdcada3SDoug Rabson * We didn't find a matching lock - not much we can do here. 1646dfdcada3SDoug Rabson */ 1647dfdcada3SDoug Rabson return (ENOENT); 1648dfdcada3SDoug Rabson } 1649dfdcada3SDoug Rabson 1650dfdcada3SDoug Rabson /* 165192dc7331SDavid Greenman * Walk the list of locks for an inode and 165292dc7331SDavid Greenman * return the first blocking lock. 165392dc7331SDavid Greenman */ 1654dfdcada3SDoug Rabson static struct lockf_entry * 1655dfdcada3SDoug Rabson lf_getblock(struct lockf *state, struct lockf_entry *lock) 165692dc7331SDavid Greenman { 1657dfdcada3SDoug Rabson struct lockf_entry *overlap; 165892dc7331SDavid Greenman 1659dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 166092dc7331SDavid Greenman /* 1661dfdcada3SDoug Rabson * We may assume that the active list is sorted by 1662dfdcada3SDoug Rabson * lf_start. 166392dc7331SDavid Greenman */ 1664dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1665dfdcada3SDoug Rabson break; 1666dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1667dfdcada3SDoug Rabson continue; 166892dc7331SDavid Greenman return (overlap); 166992dc7331SDavid Greenman } 167092dc7331SDavid Greenman return (NOLOCKF); 167192dc7331SDavid Greenman } 167292dc7331SDavid Greenman 167392dc7331SDavid Greenman /* 1674dfdcada3SDoug Rabson * Walk the list of locks for an inode to find an overlapping lock (if 1675dfdcada3SDoug Rabson * any) and return a classification of that overlap. 1676dfdcada3SDoug Rabson * 1677dfdcada3SDoug Rabson * Arguments: 1678dfdcada3SDoug Rabson * *overlap The place in the lock list to start looking 1679dfdcada3SDoug Rabson * lock The lock which is being tested 1680dfdcada3SDoug Rabson * type Pass 'SELF' to test only locks with the same 1681dfdcada3SDoug Rabson * owner as lock, or 'OTHER' to test only locks 1682dfdcada3SDoug Rabson * with a different owner 1683dfdcada3SDoug Rabson * 1684dfdcada3SDoug Rabson * Returns one of six values: 1685dfdcada3SDoug Rabson * 0) no overlap 1686dfdcada3SDoug Rabson * 1) overlap == lock 1687dfdcada3SDoug Rabson * 2) overlap contains lock 1688dfdcada3SDoug Rabson * 3) lock contains overlap 1689dfdcada3SDoug Rabson * 4) overlap starts before lock 1690dfdcada3SDoug Rabson * 5) overlap ends after lock 1691dfdcada3SDoug Rabson * 1692dfdcada3SDoug Rabson * If there is an overlapping lock, '*overlap' is set to point at the 1693dfdcada3SDoug Rabson * overlapping lock. 169492dc7331SDavid Greenman * 169592dc7331SDavid Greenman * NOTE: this returns only the FIRST overlapping lock. There 169692dc7331SDavid Greenman * may be more than one. 169792dc7331SDavid Greenman */ 169887b6de2bSPoul-Henning Kamp static int 1699dfdcada3SDoug Rabson lf_findoverlap(struct lockf_entry **overlap, struct lockf_entry *lock, int type) 170092dc7331SDavid Greenman { 1701dfdcada3SDoug Rabson struct lockf_entry *lf; 170292dc7331SDavid Greenman off_t start, end; 1703dfdcada3SDoug Rabson int res; 170492dc7331SDavid Greenman 1705dfdcada3SDoug Rabson if ((*overlap) == NOLOCKF) { 170692dc7331SDavid Greenman return (0); 1707dfdcada3SDoug Rabson } 170892dc7331SDavid Greenman #ifdef LOCKF_DEBUG 170992dc7331SDavid Greenman if (lockf_debug & 2) 171092dc7331SDavid Greenman lf_print("lf_findoverlap: looking for overlap in", lock); 171192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 171292dc7331SDavid Greenman start = lock->lf_start; 171392dc7331SDavid Greenman end = lock->lf_end; 1714dfdcada3SDoug Rabson res = 0; 1715dfdcada3SDoug Rabson while (*overlap) { 1716dfdcada3SDoug Rabson lf = *overlap; 1717dfdcada3SDoug Rabson if (lf->lf_start > end) 1718dfdcada3SDoug Rabson break; 1719dfdcada3SDoug Rabson if (((type & SELF) && lf->lf_owner != lock->lf_owner) || 1720dfdcada3SDoug Rabson ((type & OTHERS) && lf->lf_owner == lock->lf_owner)) { 1721dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 172292dc7331SDavid Greenman continue; 172392dc7331SDavid Greenman } 172492dc7331SDavid Greenman #ifdef LOCKF_DEBUG 172592dc7331SDavid Greenman if (lockf_debug & 2) 172692dc7331SDavid Greenman lf_print("\tchecking", lf); 172792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 172892dc7331SDavid Greenman /* 172992dc7331SDavid Greenman * OK, check for overlap 173092dc7331SDavid Greenman * 173192dc7331SDavid Greenman * Six cases: 173292dc7331SDavid Greenman * 0) no overlap 173392dc7331SDavid Greenman * 1) overlap == lock 173492dc7331SDavid Greenman * 2) overlap contains lock 173592dc7331SDavid Greenman * 3) lock contains overlap 173692dc7331SDavid Greenman * 4) overlap starts before lock 173792dc7331SDavid Greenman * 5) overlap ends after lock 173892dc7331SDavid Greenman */ 1739dfdcada3SDoug Rabson if (start > lf->lf_end) { 174092dc7331SDavid Greenman /* Case 0 */ 174192dc7331SDavid Greenman #ifdef LOCKF_DEBUG 174292dc7331SDavid Greenman if (lockf_debug & 2) 174392dc7331SDavid Greenman printf("no overlap\n"); 174492dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1745dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 174692dc7331SDavid Greenman continue; 174792dc7331SDavid Greenman } 1748dfdcada3SDoug Rabson if (lf->lf_start == start && lf->lf_end == end) { 174992dc7331SDavid Greenman /* Case 1 */ 175092dc7331SDavid Greenman #ifdef LOCKF_DEBUG 175192dc7331SDavid Greenman if (lockf_debug & 2) 175292dc7331SDavid Greenman printf("overlap == lock\n"); 175392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1754dfdcada3SDoug Rabson res = 1; 1755dfdcada3SDoug Rabson break; 175692dc7331SDavid Greenman } 1757dfdcada3SDoug Rabson if (lf->lf_start <= start && lf->lf_end >= end) { 175892dc7331SDavid Greenman /* Case 2 */ 175992dc7331SDavid Greenman #ifdef LOCKF_DEBUG 176092dc7331SDavid Greenman if (lockf_debug & 2) 176192dc7331SDavid Greenman printf("overlap contains lock\n"); 176292dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1763dfdcada3SDoug Rabson res = 2; 1764dfdcada3SDoug Rabson break; 176592dc7331SDavid Greenman } 1766dfdcada3SDoug Rabson if (start <= lf->lf_start && end >= lf->lf_end) { 176792dc7331SDavid Greenman /* Case 3 */ 176892dc7331SDavid Greenman #ifdef LOCKF_DEBUG 176992dc7331SDavid Greenman if (lockf_debug & 2) 177092dc7331SDavid Greenman printf("lock contains overlap\n"); 177192dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1772dfdcada3SDoug Rabson res = 3; 1773dfdcada3SDoug Rabson break; 177492dc7331SDavid Greenman } 1775dfdcada3SDoug Rabson if (lf->lf_start < start && lf->lf_end >= start) { 177692dc7331SDavid Greenman /* Case 4 */ 177792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 177892dc7331SDavid Greenman if (lockf_debug & 2) 177992dc7331SDavid Greenman printf("overlap starts before lock\n"); 178092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1781dfdcada3SDoug Rabson res = 4; 1782dfdcada3SDoug Rabson break; 178392dc7331SDavid Greenman } 1784dfdcada3SDoug Rabson if (lf->lf_start > start && lf->lf_end > end) { 178592dc7331SDavid Greenman /* Case 5 */ 178692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 178792dc7331SDavid Greenman if (lockf_debug & 2) 178892dc7331SDavid Greenman printf("overlap ends after lock\n"); 178992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1790dfdcada3SDoug Rabson res = 5; 1791dfdcada3SDoug Rabson break; 179292dc7331SDavid Greenman } 179392dc7331SDavid Greenman panic("lf_findoverlap: default"); 179492dc7331SDavid Greenman } 1795dfdcada3SDoug Rabson return (res); 179692dc7331SDavid Greenman } 179792dc7331SDavid Greenman 179892dc7331SDavid Greenman /* 1799dfdcada3SDoug Rabson * Split an the existing 'lock1', based on the extent of the lock 1800dfdcada3SDoug Rabson * described by 'lock2'. The existing lock should cover 'lock2' 1801dfdcada3SDoug Rabson * entirely. 1802dfdcada3SDoug Rabson * 1803dfdcada3SDoug Rabson * Any pending locks which have been been unblocked are added to 1804dfdcada3SDoug Rabson * 'granted' 180592dc7331SDavid Greenman */ 180687b6de2bSPoul-Henning Kamp static void 1807dfdcada3SDoug Rabson lf_split(struct lockf *state, struct lockf_entry *lock1, 1808dfdcada3SDoug Rabson struct lockf_entry *lock2, struct lockf_entry_list *granted) 180992dc7331SDavid Greenman { 1810dfdcada3SDoug Rabson struct lockf_entry *splitlock; 181192dc7331SDavid Greenman 181292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 181392dc7331SDavid Greenman if (lockf_debug & 2) { 181492dc7331SDavid Greenman lf_print("lf_split", lock1); 181592dc7331SDavid Greenman lf_print("splitting from", lock2); 181692dc7331SDavid Greenman } 181792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 181892dc7331SDavid Greenman /* 1819dfdcada3SDoug Rabson * Check to see if we don't need to split at all. 182092dc7331SDavid Greenman */ 182192dc7331SDavid Greenman if (lock1->lf_start == lock2->lf_start) { 1822dfdcada3SDoug Rabson lf_set_start(state, lock1, lock2->lf_end + 1, granted); 182392dc7331SDavid Greenman return; 182492dc7331SDavid Greenman } 182592dc7331SDavid Greenman if (lock1->lf_end == lock2->lf_end) { 1826dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 182792dc7331SDavid Greenman return; 182892dc7331SDavid Greenman } 182992dc7331SDavid Greenman /* 183092dc7331SDavid Greenman * Make a new lock consisting of the last part of 1831dfdcada3SDoug Rabson * the encompassing lock. 183292dc7331SDavid Greenman */ 1833dfdcada3SDoug Rabson splitlock = lf_alloc_lock(lock1->lf_owner); 1834dfdcada3SDoug Rabson memcpy(splitlock, lock1, sizeof *splitlock); 18358af54d4cSKonstantin Belousov splitlock->lf_refs = 1; 1836dfdcada3SDoug Rabson if (splitlock->lf_flags & F_REMOTE) 1837dfdcada3SDoug Rabson vref(splitlock->lf_vnode); 1838dfdcada3SDoug Rabson 1839dfdcada3SDoug Rabson /* 1840dfdcada3SDoug Rabson * This cannot cause a deadlock since any edges we would add 1841dfdcada3SDoug Rabson * to splitlock already exist in lock1. We must be sure to add 1842dfdcada3SDoug Rabson * necessary dependancies to splitlock before we reduce lock1 1843dfdcada3SDoug Rabson * otherwise we may accidentally grant a pending lock that 1844dfdcada3SDoug Rabson * was blocked by the tail end of lock1. 1845dfdcada3SDoug Rabson */ 184692dc7331SDavid Greenman splitlock->lf_start = lock2->lf_end + 1; 1847dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_outedges); 1848dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_inedges); 1849dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1850dfdcada3SDoug Rabson lf_add_incoming(state, splitlock); 1851dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1852dfdcada3SDoug Rabson 1853dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1854dfdcada3SDoug Rabson 185592dc7331SDavid Greenman /* 185692dc7331SDavid Greenman * OK, now link it in 185792dc7331SDavid Greenman */ 1858dfdcada3SDoug Rabson lf_insert_lock(state, splitlock); 1859dfdcada3SDoug Rabson } 1860dfdcada3SDoug Rabson 1861c675522fSDoug Rabson struct lockdesc { 1862c675522fSDoug Rabson STAILQ_ENTRY(lockdesc) link; 1863dfdcada3SDoug Rabson struct vnode *vp; 1864dfdcada3SDoug Rabson struct flock fl; 1865dfdcada3SDoug Rabson }; 1866c675522fSDoug Rabson STAILQ_HEAD(lockdesclist, lockdesc); 1867dfdcada3SDoug Rabson 1868c675522fSDoug Rabson int 1869c675522fSDoug Rabson lf_iteratelocks_sysid(int sysid, lf_iterator *fn, void *arg) 1870dfdcada3SDoug Rabson { 1871dfdcada3SDoug Rabson struct lockf *ls; 1872dfdcada3SDoug Rabson struct lockf_entry *lf; 1873c675522fSDoug Rabson struct lockdesc *ldesc; 1874c675522fSDoug Rabson struct lockdesclist locks; 1875c675522fSDoug Rabson int error; 1876dfdcada3SDoug Rabson 1877dfdcada3SDoug Rabson /* 1878dfdcada3SDoug Rabson * In order to keep the locking simple, we iterate over the 1879dfdcada3SDoug Rabson * active lock lists to build a list of locks that need 1880c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1881dfdcada3SDoug Rabson * 1882dfdcada3SDoug Rabson * We take an extra reference to the vnode for the duration to 1883dfdcada3SDoug Rabson * make sure it doesn't go away before we are finished. 1884dfdcada3SDoug Rabson */ 1885dfdcada3SDoug Rabson STAILQ_INIT(&locks); 1886dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 1887dfdcada3SDoug Rabson LIST_FOREACH(ls, &lf_lock_states, ls_link) { 1888dfdcada3SDoug Rabson sx_xlock(&ls->ls_lock); 1889dfdcada3SDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1890dfdcada3SDoug Rabson if (lf->lf_owner->lo_sysid != sysid) 1891dfdcada3SDoug Rabson continue; 1892dfdcada3SDoug Rabson 1893c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1894dfdcada3SDoug Rabson M_WAITOK); 1895c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1896c675522fSDoug Rabson vref(ldesc->vp); 1897c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1898dfdcada3SDoug Rabson if (lf->lf_end == OFF_MAX) 1899c675522fSDoug Rabson ldesc->fl.l_len = 0; 1900dfdcada3SDoug Rabson else 1901c675522fSDoug Rabson ldesc->fl.l_len = 1902dfdcada3SDoug Rabson lf->lf_end - lf->lf_start + 1; 1903c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1904c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1905c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1906c675522fSDoug Rabson ldesc->fl.l_sysid = sysid; 1907c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1908dfdcada3SDoug Rabson } 1909dfdcada3SDoug Rabson sx_xunlock(&ls->ls_lock); 1910dfdcada3SDoug Rabson } 1911dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 1912dfdcada3SDoug Rabson 1913c675522fSDoug Rabson /* 1914c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1915c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1916c675522fSDoug Rabson * lockdesc structures. 1917c675522fSDoug Rabson */ 1918c675522fSDoug Rabson error = 0; 1919c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1920dfdcada3SDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1921c675522fSDoug Rabson if (!error) 1922c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1923c675522fSDoug Rabson vrele(ldesc->vp); 1924c675522fSDoug Rabson free(ldesc, M_LOCKF); 1925dfdcada3SDoug Rabson } 1926c675522fSDoug Rabson 1927c675522fSDoug Rabson return (error); 1928c675522fSDoug Rabson } 1929c675522fSDoug Rabson 1930c675522fSDoug Rabson int 1931c675522fSDoug Rabson lf_iteratelocks_vnode(struct vnode *vp, lf_iterator *fn, void *arg) 1932c675522fSDoug Rabson { 1933c675522fSDoug Rabson struct lockf *ls; 1934c675522fSDoug Rabson struct lockf_entry *lf; 1935c675522fSDoug Rabson struct lockdesc *ldesc; 1936c675522fSDoug Rabson struct lockdesclist locks; 1937c675522fSDoug Rabson int error; 1938c675522fSDoug Rabson 1939c675522fSDoug Rabson /* 1940c675522fSDoug Rabson * In order to keep the locking simple, we iterate over the 1941c675522fSDoug Rabson * active lock lists to build a list of locks that need 1942c675522fSDoug Rabson * releasing. We then call the iterator for each one in turn. 1943c675522fSDoug Rabson * 1944c675522fSDoug Rabson * We take an extra reference to the vnode for the duration to 1945c675522fSDoug Rabson * make sure it doesn't go away before we are finished. 1946c675522fSDoug Rabson */ 1947c675522fSDoug Rabson STAILQ_INIT(&locks); 194828fe6a3fSKonstantin Belousov VI_LOCK(vp); 1949c675522fSDoug Rabson ls = vp->v_lockf; 195028fe6a3fSKonstantin Belousov if (!ls) { 195128fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1952c675522fSDoug Rabson return (0); 195328fe6a3fSKonstantin Belousov } 195428fe6a3fSKonstantin Belousov ls->ls_threads++; 195528fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1956c675522fSDoug Rabson 1957c675522fSDoug Rabson sx_xlock(&ls->ls_lock); 1958c675522fSDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1959c675522fSDoug Rabson ldesc = malloc(sizeof(struct lockdesc), M_LOCKF, 1960c675522fSDoug Rabson M_WAITOK); 1961c675522fSDoug Rabson ldesc->vp = lf->lf_vnode; 1962c675522fSDoug Rabson vref(ldesc->vp); 1963c675522fSDoug Rabson ldesc->fl.l_start = lf->lf_start; 1964c675522fSDoug Rabson if (lf->lf_end == OFF_MAX) 1965c675522fSDoug Rabson ldesc->fl.l_len = 0; 1966c675522fSDoug Rabson else 1967c675522fSDoug Rabson ldesc->fl.l_len = 1968c675522fSDoug Rabson lf->lf_end - lf->lf_start + 1; 1969c675522fSDoug Rabson ldesc->fl.l_whence = SEEK_SET; 1970c675522fSDoug Rabson ldesc->fl.l_type = F_UNLCK; 1971c675522fSDoug Rabson ldesc->fl.l_pid = lf->lf_owner->lo_pid; 1972c675522fSDoug Rabson ldesc->fl.l_sysid = lf->lf_owner->lo_sysid; 1973c675522fSDoug Rabson STAILQ_INSERT_TAIL(&locks, ldesc, link); 1974c675522fSDoug Rabson } 1975c675522fSDoug Rabson sx_xunlock(&ls->ls_lock); 197628fe6a3fSKonstantin Belousov VI_LOCK(vp); 197728fe6a3fSKonstantin Belousov ls->ls_threads--; 197828fe6a3fSKonstantin Belousov wakeup(ls); 197928fe6a3fSKonstantin Belousov VI_UNLOCK(vp); 1980c675522fSDoug Rabson 1981c675522fSDoug Rabson /* 1982c675522fSDoug Rabson * Call the iterator function for each lock in turn. If the 1983c675522fSDoug Rabson * iterator returns an error code, just free the rest of the 1984c675522fSDoug Rabson * lockdesc structures. 1985c675522fSDoug Rabson */ 1986c675522fSDoug Rabson error = 0; 1987c675522fSDoug Rabson while ((ldesc = STAILQ_FIRST(&locks)) != NULL) { 1988c675522fSDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1989c675522fSDoug Rabson if (!error) 1990c675522fSDoug Rabson error = fn(ldesc->vp, &ldesc->fl, arg); 1991c675522fSDoug Rabson vrele(ldesc->vp); 1992c675522fSDoug Rabson free(ldesc, M_LOCKF); 1993c675522fSDoug Rabson } 1994c675522fSDoug Rabson 1995c675522fSDoug Rabson return (error); 1996c675522fSDoug Rabson } 1997c675522fSDoug Rabson 1998c675522fSDoug Rabson static int 1999c675522fSDoug Rabson lf_clearremotesys_iterator(struct vnode *vp, struct flock *fl, void *arg) 2000c675522fSDoug Rabson { 2001c675522fSDoug Rabson 2002c675522fSDoug Rabson VOP_ADVLOCK(vp, 0, F_UNLCK, fl, F_REMOTE); 2003c675522fSDoug Rabson return (0); 2004c675522fSDoug Rabson } 2005c675522fSDoug Rabson 2006c675522fSDoug Rabson void 2007c675522fSDoug Rabson lf_clearremotesys(int sysid) 2008c675522fSDoug Rabson { 2009c675522fSDoug Rabson 2010c675522fSDoug Rabson KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS")); 2011c675522fSDoug Rabson lf_iteratelocks_sysid(sysid, lf_clearremotesys_iterator, NULL); 2012dfdcada3SDoug Rabson } 2013dfdcada3SDoug Rabson 2014dfdcada3SDoug Rabson int 2015dfdcada3SDoug Rabson lf_countlocks(int sysid) 2016dfdcada3SDoug Rabson { 2017dfdcada3SDoug Rabson int i; 2018dfdcada3SDoug Rabson struct lock_owner *lo; 2019dfdcada3SDoug Rabson int count; 2020dfdcada3SDoug Rabson 2021dfdcada3SDoug Rabson count = 0; 2022dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 2023dfdcada3SDoug Rabson for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 2024dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[i], lo_link) 2025dfdcada3SDoug Rabson if (lo->lo_sysid == sysid) 2026dfdcada3SDoug Rabson count += lo->lo_refs; 2027dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 2028dfdcada3SDoug Rabson 2029dfdcada3SDoug Rabson return (count); 2030dfdcada3SDoug Rabson } 2031dfdcada3SDoug Rabson 2032dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2033dfdcada3SDoug Rabson 2034dfdcada3SDoug Rabson /* 2035dfdcada3SDoug Rabson * Return non-zero if y is reachable from x using a brute force 2036dfdcada3SDoug Rabson * search. If reachable and path is non-null, return the route taken 2037dfdcada3SDoug Rabson * in path. 2038dfdcada3SDoug Rabson */ 2039dfdcada3SDoug Rabson static int 2040dfdcada3SDoug Rabson graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 2041dfdcada3SDoug Rabson struct owner_vertex_list *path) 2042dfdcada3SDoug Rabson { 2043dfdcada3SDoug Rabson struct owner_edge *e; 2044dfdcada3SDoug Rabson 2045dfdcada3SDoug Rabson if (x == y) { 2046dfdcada3SDoug Rabson if (path) 2047dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2048dfdcada3SDoug Rabson return 1; 2049dfdcada3SDoug Rabson } 2050dfdcada3SDoug Rabson 2051dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2052dfdcada3SDoug Rabson if (graph_reaches(e->e_to, y, path)) { 2053dfdcada3SDoug Rabson if (path) 2054dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 2055dfdcada3SDoug Rabson return 1; 2056dfdcada3SDoug Rabson } 2057dfdcada3SDoug Rabson } 2058dfdcada3SDoug Rabson return 0; 205992dc7331SDavid Greenman } 206092dc7331SDavid Greenman 206192dc7331SDavid Greenman /* 2062dfdcada3SDoug Rabson * Perform consistency checks on the graph. Make sure the values of 2063dfdcada3SDoug Rabson * v_order are correct. If checkorder is non-zero, check no vertex can 2064dfdcada3SDoug Rabson * reach any other vertex with a smaller order. 206592dc7331SDavid Greenman */ 206687b6de2bSPoul-Henning Kamp static void 2067dfdcada3SDoug Rabson graph_check(struct owner_graph *g, int checkorder) 206892dc7331SDavid Greenman { 2069dfdcada3SDoug Rabson int i, j; 207092dc7331SDavid Greenman 2071dfdcada3SDoug Rabson for (i = 0; i < g->g_size; i++) { 2072dfdcada3SDoug Rabson if (!g->g_vertices[i]->v_owner) 2073dfdcada3SDoug Rabson continue; 2074dfdcada3SDoug Rabson KASSERT(g->g_vertices[i]->v_order == i, 2075dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2076dfdcada3SDoug Rabson if (checkorder) { 2077dfdcada3SDoug Rabson for (j = 0; j < i; j++) { 2078dfdcada3SDoug Rabson if (!g->g_vertices[j]->v_owner) 2079dfdcada3SDoug Rabson continue; 2080dfdcada3SDoug Rabson KASSERT(!graph_reaches(g->g_vertices[i], 2081dfdcada3SDoug Rabson g->g_vertices[j], NULL), 2082dfdcada3SDoug Rabson ("lock graph vertices disordered")); 2083dfdcada3SDoug Rabson } 2084dfdcada3SDoug Rabson } 2085dfdcada3SDoug Rabson } 2086dfdcada3SDoug Rabson } 2087dfdcada3SDoug Rabson 2088dfdcada3SDoug Rabson static void 2089dfdcada3SDoug Rabson graph_print_vertices(struct owner_vertex_list *set) 2090dfdcada3SDoug Rabson { 2091dfdcada3SDoug Rabson struct owner_vertex *v; 2092dfdcada3SDoug Rabson 2093dfdcada3SDoug Rabson printf("{ "); 2094dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2095dfdcada3SDoug Rabson printf("%d:", v->v_order); 2096dfdcada3SDoug Rabson lf_print_owner(v->v_owner); 2097dfdcada3SDoug Rabson if (TAILQ_NEXT(v, v_link)) 2098dfdcada3SDoug Rabson printf(", "); 2099dfdcada3SDoug Rabson } 2100dfdcada3SDoug Rabson printf(" }\n"); 2101dfdcada3SDoug Rabson } 2102dfdcada3SDoug Rabson 2103dfdcada3SDoug Rabson #endif 2104dfdcada3SDoug Rabson 2105dfdcada3SDoug Rabson /* 2106dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2107dfdcada3SDoug Rabson * where v is reachable from y. Return -1 if a loop was detected 2108dfdcada3SDoug Rabson * (i.e. x is reachable from y, otherwise the number of vertices in 2109dfdcada3SDoug Rabson * this subset. 2110dfdcada3SDoug Rabson */ 2111dfdcada3SDoug Rabson static int 2112dfdcada3SDoug Rabson graph_delta_forward(struct owner_graph *g, struct owner_vertex *x, 2113dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2114dfdcada3SDoug Rabson { 2115dfdcada3SDoug Rabson uint32_t gen; 2116dfdcada3SDoug Rabson struct owner_vertex *v; 2117dfdcada3SDoug Rabson struct owner_edge *e; 2118dfdcada3SDoug Rabson int n; 2119dfdcada3SDoug Rabson 2120dfdcada3SDoug Rabson /* 2121dfdcada3SDoug Rabson * We start with a set containing just y. Then for each vertex 2122dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2123dfdcada3SDoug Rabson * has an out-edge to and that is within the affected region 2124dfdcada3SDoug Rabson * [y..x]. If we see the vertex x on our travels, stop 2125dfdcada3SDoug Rabson * immediately. 2126dfdcada3SDoug Rabson */ 2127dfdcada3SDoug Rabson TAILQ_INIT(delta); 2128dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, y, v_link); 2129dfdcada3SDoug Rabson v = y; 2130dfdcada3SDoug Rabson n = 1; 2131dfdcada3SDoug Rabson gen = g->g_gen; 2132dfdcada3SDoug Rabson while (v) { 2133dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_outedges, e_outlink) { 2134dfdcada3SDoug Rabson if (e->e_to == x) 2135dfdcada3SDoug Rabson return -1; 2136dfdcada3SDoug Rabson if (e->e_to->v_order < x->v_order 2137dfdcada3SDoug Rabson && e->e_to->v_gen != gen) { 2138dfdcada3SDoug Rabson e->e_to->v_gen = gen; 2139dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, e->e_to, v_link); 2140dfdcada3SDoug Rabson n++; 2141dfdcada3SDoug Rabson } 2142dfdcada3SDoug Rabson } 2143dfdcada3SDoug Rabson v = TAILQ_NEXT(v, v_link); 2144dfdcada3SDoug Rabson } 2145dfdcada3SDoug Rabson 2146dfdcada3SDoug Rabson return (n); 2147dfdcada3SDoug Rabson } 2148dfdcada3SDoug Rabson 2149dfdcada3SDoug Rabson /* 2150dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2151dfdcada3SDoug Rabson * where v reaches x. Return the number of vertices in this subset. 2152dfdcada3SDoug Rabson */ 2153dfdcada3SDoug Rabson static int 2154dfdcada3SDoug Rabson graph_delta_backward(struct owner_graph *g, struct owner_vertex *x, 2155dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2156dfdcada3SDoug Rabson { 2157dfdcada3SDoug Rabson uint32_t gen; 2158dfdcada3SDoug Rabson struct owner_vertex *v; 2159dfdcada3SDoug Rabson struct owner_edge *e; 2160dfdcada3SDoug Rabson int n; 2161dfdcada3SDoug Rabson 2162dfdcada3SDoug Rabson /* 2163dfdcada3SDoug Rabson * We start with a set containing just x. Then for each vertex 2164dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2165dfdcada3SDoug Rabson * has an in-edge from and that is within the affected region 2166dfdcada3SDoug Rabson * [y..x]. 2167dfdcada3SDoug Rabson */ 2168dfdcada3SDoug Rabson TAILQ_INIT(delta); 2169dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, x, v_link); 2170dfdcada3SDoug Rabson v = x; 2171dfdcada3SDoug Rabson n = 1; 2172dfdcada3SDoug Rabson gen = g->g_gen; 2173dfdcada3SDoug Rabson while (v) { 2174dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_inedges, e_inlink) { 2175dfdcada3SDoug Rabson if (e->e_from->v_order > y->v_order 2176dfdcada3SDoug Rabson && e->e_from->v_gen != gen) { 2177dfdcada3SDoug Rabson e->e_from->v_gen = gen; 2178dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(delta, e->e_from, v_link); 2179dfdcada3SDoug Rabson n++; 2180dfdcada3SDoug Rabson } 2181dfdcada3SDoug Rabson } 2182dfdcada3SDoug Rabson v = TAILQ_PREV(v, owner_vertex_list, v_link); 2183dfdcada3SDoug Rabson } 2184dfdcada3SDoug Rabson 2185dfdcada3SDoug Rabson return (n); 2186dfdcada3SDoug Rabson } 2187dfdcada3SDoug Rabson 2188dfdcada3SDoug Rabson static int 2189dfdcada3SDoug Rabson graph_add_indices(int *indices, int n, struct owner_vertex_list *set) 2190dfdcada3SDoug Rabson { 2191dfdcada3SDoug Rabson struct owner_vertex *v; 2192dfdcada3SDoug Rabson int i, j; 2193dfdcada3SDoug Rabson 2194dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2195dfdcada3SDoug Rabson for (i = n; 2196dfdcada3SDoug Rabson i > 0 && indices[i - 1] > v->v_order; i--) 2197dfdcada3SDoug Rabson ; 2198dfdcada3SDoug Rabson for (j = n - 1; j >= i; j--) 2199dfdcada3SDoug Rabson indices[j + 1] = indices[j]; 2200dfdcada3SDoug Rabson indices[i] = v->v_order; 2201dfdcada3SDoug Rabson n++; 2202dfdcada3SDoug Rabson } 2203dfdcada3SDoug Rabson 2204dfdcada3SDoug Rabson return (n); 2205dfdcada3SDoug Rabson } 2206dfdcada3SDoug Rabson 2207dfdcada3SDoug Rabson static int 2208dfdcada3SDoug Rabson graph_assign_indices(struct owner_graph *g, int *indices, int nextunused, 2209dfdcada3SDoug Rabson struct owner_vertex_list *set) 2210dfdcada3SDoug Rabson { 2211dfdcada3SDoug Rabson struct owner_vertex *v, *vlowest; 2212dfdcada3SDoug Rabson 2213dfdcada3SDoug Rabson while (!TAILQ_EMPTY(set)) { 2214dfdcada3SDoug Rabson vlowest = NULL; 2215dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2216dfdcada3SDoug Rabson if (!vlowest || v->v_order < vlowest->v_order) 2217dfdcada3SDoug Rabson vlowest = v; 2218dfdcada3SDoug Rabson } 2219dfdcada3SDoug Rabson TAILQ_REMOVE(set, vlowest, v_link); 2220dfdcada3SDoug Rabson vlowest->v_order = indices[nextunused]; 2221dfdcada3SDoug Rabson g->g_vertices[vlowest->v_order] = vlowest; 2222dfdcada3SDoug Rabson nextunused++; 2223dfdcada3SDoug Rabson } 2224dfdcada3SDoug Rabson 2225dfdcada3SDoug Rabson return (nextunused); 2226dfdcada3SDoug Rabson } 2227dfdcada3SDoug Rabson 2228dfdcada3SDoug Rabson static int 2229dfdcada3SDoug Rabson graph_add_edge(struct owner_graph *g, struct owner_vertex *x, 2230dfdcada3SDoug Rabson struct owner_vertex *y) 2231dfdcada3SDoug Rabson { 2232dfdcada3SDoug Rabson struct owner_edge *e; 2233dfdcada3SDoug Rabson struct owner_vertex_list deltaF, deltaB; 2234dfdcada3SDoug Rabson int nF, nB, n, vi, i; 2235dfdcada3SDoug Rabson int *indices; 2236dfdcada3SDoug Rabson 2237dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2238dfdcada3SDoug Rabson 2239dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2240dfdcada3SDoug Rabson if (e->e_to == y) { 2241dfdcada3SDoug Rabson e->e_refs++; 2242dfdcada3SDoug Rabson return (0); 224392dc7331SDavid Greenman } 224492dc7331SDavid Greenman } 224592dc7331SDavid Greenman 224692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 2247dfdcada3SDoug Rabson if (lockf_debug & 8) { 2248dfdcada3SDoug Rabson printf("adding edge %d:", x->v_order); 2249dfdcada3SDoug Rabson lf_print_owner(x->v_owner); 2250dfdcada3SDoug Rabson printf(" -> %d:", y->v_order); 2251dfdcada3SDoug Rabson lf_print_owner(y->v_owner); 2252dfdcada3SDoug Rabson printf("\n"); 2253dfdcada3SDoug Rabson } 2254dfdcada3SDoug Rabson #endif 2255dfdcada3SDoug Rabson if (y->v_order < x->v_order) { 2256dfdcada3SDoug Rabson /* 2257dfdcada3SDoug Rabson * The new edge violates the order. First find the set 2258dfdcada3SDoug Rabson * of affected vertices reachable from y (deltaF) and 2259dfdcada3SDoug Rabson * the set of affect vertices affected that reach x 2260dfdcada3SDoug Rabson * (deltaB), using the graph generation number to 2261dfdcada3SDoug Rabson * detect whether we have visited a given vertex 2262dfdcada3SDoug Rabson * already. We re-order the graph so that each vertex 2263dfdcada3SDoug Rabson * in deltaB appears before each vertex in deltaF. 2264dfdcada3SDoug Rabson * 2265dfdcada3SDoug Rabson * If x is a member of deltaF, then the new edge would 2266dfdcada3SDoug Rabson * create a cycle. Otherwise, we may assume that 2267dfdcada3SDoug Rabson * deltaF and deltaB are disjoint. 2268dfdcada3SDoug Rabson */ 2269dfdcada3SDoug Rabson g->g_gen++; 2270dfdcada3SDoug Rabson if (g->g_gen == 0) { 2271dfdcada3SDoug Rabson /* 2272dfdcada3SDoug Rabson * Generation wrap. 2273dfdcada3SDoug Rabson */ 2274dfdcada3SDoug Rabson for (vi = 0; vi < g->g_size; vi++) { 2275dfdcada3SDoug Rabson g->g_vertices[vi]->v_gen = 0; 2276dfdcada3SDoug Rabson } 2277dfdcada3SDoug Rabson g->g_gen++; 2278dfdcada3SDoug Rabson } 2279dfdcada3SDoug Rabson nF = graph_delta_forward(g, x, y, &deltaF); 2280dfdcada3SDoug Rabson if (nF < 0) { 2281dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2282dfdcada3SDoug Rabson if (lockf_debug & 8) { 2283dfdcada3SDoug Rabson struct owner_vertex_list path; 2284dfdcada3SDoug Rabson printf("deadlock: "); 2285dfdcada3SDoug Rabson TAILQ_INIT(&path); 2286dfdcada3SDoug Rabson graph_reaches(y, x, &path); 2287dfdcada3SDoug Rabson graph_print_vertices(&path); 2288dfdcada3SDoug Rabson } 2289dfdcada3SDoug Rabson #endif 2290dfdcada3SDoug Rabson return (EDEADLK); 2291dfdcada3SDoug Rabson } 2292dfdcada3SDoug Rabson 2293dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2294dfdcada3SDoug Rabson if (lockf_debug & 8) { 2295dfdcada3SDoug Rabson printf("re-ordering graph vertices\n"); 2296dfdcada3SDoug Rabson printf("deltaF = "); 2297dfdcada3SDoug Rabson graph_print_vertices(&deltaF); 2298dfdcada3SDoug Rabson } 2299dfdcada3SDoug Rabson #endif 2300dfdcada3SDoug Rabson 2301dfdcada3SDoug Rabson nB = graph_delta_backward(g, x, y, &deltaB); 2302dfdcada3SDoug Rabson 2303dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2304dfdcada3SDoug Rabson if (lockf_debug & 8) { 2305dfdcada3SDoug Rabson printf("deltaB = "); 2306dfdcada3SDoug Rabson graph_print_vertices(&deltaB); 2307dfdcada3SDoug Rabson } 2308dfdcada3SDoug Rabson #endif 2309dfdcada3SDoug Rabson 2310dfdcada3SDoug Rabson /* 2311dfdcada3SDoug Rabson * We first build a set of vertex indices (vertex 2312dfdcada3SDoug Rabson * order values) that we may use, then we re-assign 2313dfdcada3SDoug Rabson * orders first to those vertices in deltaB, then to 2314dfdcada3SDoug Rabson * deltaF. Note that the contents of deltaF and deltaB 2315dfdcada3SDoug Rabson * may be partially disordered - we perform an 2316dfdcada3SDoug Rabson * insertion sort while building our index set. 2317dfdcada3SDoug Rabson */ 2318dfdcada3SDoug Rabson indices = g->g_indexbuf; 2319dfdcada3SDoug Rabson n = graph_add_indices(indices, 0, &deltaF); 2320dfdcada3SDoug Rabson graph_add_indices(indices, n, &deltaB); 2321dfdcada3SDoug Rabson 2322dfdcada3SDoug Rabson /* 2323dfdcada3SDoug Rabson * We must also be sure to maintain the relative 2324dfdcada3SDoug Rabson * ordering of deltaF and deltaB when re-assigning 2325dfdcada3SDoug Rabson * vertices. We do this by iteratively removing the 2326dfdcada3SDoug Rabson * lowest ordered element from the set and assigning 2327dfdcada3SDoug Rabson * it the next value from our new ordering. 2328dfdcada3SDoug Rabson */ 2329dfdcada3SDoug Rabson i = graph_assign_indices(g, indices, 0, &deltaB); 2330dfdcada3SDoug Rabson graph_assign_indices(g, indices, i, &deltaF); 2331dfdcada3SDoug Rabson 2332dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2333dfdcada3SDoug Rabson if (lockf_debug & 8) { 2334dfdcada3SDoug Rabson struct owner_vertex_list set; 2335dfdcada3SDoug Rabson TAILQ_INIT(&set); 2336dfdcada3SDoug Rabson for (i = 0; i < nB + nF; i++) 2337dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(&set, 2338dfdcada3SDoug Rabson g->g_vertices[indices[i]], v_link); 2339dfdcada3SDoug Rabson printf("new ordering = "); 2340dfdcada3SDoug Rabson graph_print_vertices(&set); 2341dfdcada3SDoug Rabson } 2342dfdcada3SDoug Rabson #endif 2343dfdcada3SDoug Rabson } 2344dfdcada3SDoug Rabson 2345dfdcada3SDoug Rabson KASSERT(x->v_order < y->v_order, ("Failed to re-order graph")); 2346dfdcada3SDoug Rabson 2347dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2348dfdcada3SDoug Rabson if (lockf_debug & 8) { 2349dfdcada3SDoug Rabson graph_check(g, TRUE); 2350dfdcada3SDoug Rabson } 2351dfdcada3SDoug Rabson #endif 2352dfdcada3SDoug Rabson 2353dfdcada3SDoug Rabson e = malloc(sizeof(struct owner_edge), M_LOCKF, M_WAITOK); 2354dfdcada3SDoug Rabson 2355dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->v_outedges, e, e_outlink); 2356dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->v_inedges, e, e_inlink); 2357dfdcada3SDoug Rabson e->e_refs = 1; 2358dfdcada3SDoug Rabson e->e_from = x; 2359dfdcada3SDoug Rabson e->e_to = y; 2360dfdcada3SDoug Rabson 2361dfdcada3SDoug Rabson return (0); 2362dfdcada3SDoug Rabson } 2363dfdcada3SDoug Rabson 2364dfdcada3SDoug Rabson /* 2365dfdcada3SDoug Rabson * Remove an edge x->y from the graph. 2366dfdcada3SDoug Rabson */ 2367dfdcada3SDoug Rabson static void 2368dfdcada3SDoug Rabson graph_remove_edge(struct owner_graph *g, struct owner_vertex *x, 2369dfdcada3SDoug Rabson struct owner_vertex *y) 2370dfdcada3SDoug Rabson { 2371dfdcada3SDoug Rabson struct owner_edge *e; 2372dfdcada3SDoug Rabson 2373dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2374dfdcada3SDoug Rabson 2375dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2376dfdcada3SDoug Rabson if (e->e_to == y) 2377dfdcada3SDoug Rabson break; 2378dfdcada3SDoug Rabson } 2379dfdcada3SDoug Rabson KASSERT(e, ("Removing non-existent edge from deadlock graph")); 2380dfdcada3SDoug Rabson 2381dfdcada3SDoug Rabson e->e_refs--; 2382dfdcada3SDoug Rabson if (e->e_refs == 0) { 2383dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2384dfdcada3SDoug Rabson if (lockf_debug & 8) { 2385dfdcada3SDoug Rabson printf("removing edge %d:", x->v_order); 2386dfdcada3SDoug Rabson lf_print_owner(x->v_owner); 2387dfdcada3SDoug Rabson printf(" -> %d:", y->v_order); 2388dfdcada3SDoug Rabson lf_print_owner(y->v_owner); 2389dfdcada3SDoug Rabson printf("\n"); 2390dfdcada3SDoug Rabson } 2391dfdcada3SDoug Rabson #endif 2392dfdcada3SDoug Rabson LIST_REMOVE(e, e_outlink); 2393dfdcada3SDoug Rabson LIST_REMOVE(e, e_inlink); 2394dfdcada3SDoug Rabson free(e, M_LOCKF); 2395dfdcada3SDoug Rabson } 2396dfdcada3SDoug Rabson } 2397dfdcada3SDoug Rabson 2398dfdcada3SDoug Rabson /* 2399dfdcada3SDoug Rabson * Allocate a vertex from the free list. Return ENOMEM if there are 2400dfdcada3SDoug Rabson * none. 2401dfdcada3SDoug Rabson */ 2402dfdcada3SDoug Rabson static struct owner_vertex * 2403dfdcada3SDoug Rabson graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo) 2404dfdcada3SDoug Rabson { 2405dfdcada3SDoug Rabson struct owner_vertex *v; 2406dfdcada3SDoug Rabson 2407dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2408dfdcada3SDoug Rabson 2409dfdcada3SDoug Rabson v = malloc(sizeof(struct owner_vertex), M_LOCKF, M_WAITOK); 2410dfdcada3SDoug Rabson if (g->g_size == g->g_space) { 2411dfdcada3SDoug Rabson g->g_vertices = realloc(g->g_vertices, 2412dfdcada3SDoug Rabson 2 * g->g_space * sizeof(struct owner_vertex *), 2413dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2414dfdcada3SDoug Rabson free(g->g_indexbuf, M_LOCKF); 2415dfdcada3SDoug Rabson g->g_indexbuf = malloc(2 * g->g_space * sizeof(int), 2416dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2417dfdcada3SDoug Rabson g->g_space = 2 * g->g_space; 2418dfdcada3SDoug Rabson } 2419dfdcada3SDoug Rabson v->v_order = g->g_size; 2420dfdcada3SDoug Rabson v->v_gen = g->g_gen; 2421dfdcada3SDoug Rabson g->g_vertices[g->g_size] = v; 2422dfdcada3SDoug Rabson g->g_size++; 2423dfdcada3SDoug Rabson 2424dfdcada3SDoug Rabson LIST_INIT(&v->v_outedges); 2425dfdcada3SDoug Rabson LIST_INIT(&v->v_inedges); 2426dfdcada3SDoug Rabson v->v_owner = lo; 2427dfdcada3SDoug Rabson 2428dfdcada3SDoug Rabson return (v); 2429dfdcada3SDoug Rabson } 2430dfdcada3SDoug Rabson 2431dfdcada3SDoug Rabson static void 2432dfdcada3SDoug Rabson graph_free_vertex(struct owner_graph *g, struct owner_vertex *v) 2433dfdcada3SDoug Rabson { 2434dfdcada3SDoug Rabson struct owner_vertex *w; 2435dfdcada3SDoug Rabson int i; 2436dfdcada3SDoug Rabson 2437dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2438dfdcada3SDoug Rabson 2439dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges")); 2440dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges")); 2441dfdcada3SDoug Rabson 2442dfdcada3SDoug Rabson /* 2443dfdcada3SDoug Rabson * Remove from the graph's array and close up the gap, 2444dfdcada3SDoug Rabson * renumbering the other vertices. 2445dfdcada3SDoug Rabson */ 2446dfdcada3SDoug Rabson for (i = v->v_order + 1; i < g->g_size; i++) { 2447dfdcada3SDoug Rabson w = g->g_vertices[i]; 2448dfdcada3SDoug Rabson w->v_order--; 2449dfdcada3SDoug Rabson g->g_vertices[i - 1] = w; 2450dfdcada3SDoug Rabson } 2451dfdcada3SDoug Rabson g->g_size--; 2452dfdcada3SDoug Rabson 2453dfdcada3SDoug Rabson free(v, M_LOCKF); 2454dfdcada3SDoug Rabson } 2455dfdcada3SDoug Rabson 2456dfdcada3SDoug Rabson static struct owner_graph * 2457dfdcada3SDoug Rabson graph_init(struct owner_graph *g) 2458dfdcada3SDoug Rabson { 2459dfdcada3SDoug Rabson 2460dfdcada3SDoug Rabson g->g_vertices = malloc(10 * sizeof(struct owner_vertex *), 2461dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2462dfdcada3SDoug Rabson g->g_size = 0; 2463dfdcada3SDoug Rabson g->g_space = 10; 2464dfdcada3SDoug Rabson g->g_indexbuf = malloc(g->g_space * sizeof(int), M_LOCKF, M_WAITOK); 2465dfdcada3SDoug Rabson g->g_gen = 0; 2466dfdcada3SDoug Rabson 2467dfdcada3SDoug Rabson return (g); 2468dfdcada3SDoug Rabson } 2469dfdcada3SDoug Rabson 2470dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2471dfdcada3SDoug Rabson /* 2472dfdcada3SDoug Rabson * Print description of a lock owner 2473dfdcada3SDoug Rabson */ 2474dfdcada3SDoug Rabson static void 2475dfdcada3SDoug Rabson lf_print_owner(struct lock_owner *lo) 2476dfdcada3SDoug Rabson { 2477dfdcada3SDoug Rabson 2478dfdcada3SDoug Rabson if (lo->lo_flags & F_REMOTE) { 2479dfdcada3SDoug Rabson printf("remote pid %d, system %d", 2480dfdcada3SDoug Rabson lo->lo_pid, lo->lo_sysid); 2481dfdcada3SDoug Rabson } else if (lo->lo_flags & F_FLOCK) { 2482dfdcada3SDoug Rabson printf("file %p", lo->lo_id); 2483dfdcada3SDoug Rabson } else { 2484dfdcada3SDoug Rabson printf("local pid %d", lo->lo_pid); 2485dfdcada3SDoug Rabson } 2486dfdcada3SDoug Rabson } 2487dfdcada3SDoug Rabson 248892dc7331SDavid Greenman /* 248992dc7331SDavid Greenman * Print out a lock. 249092dc7331SDavid Greenman */ 2491013e6650SJeff Roberson static void 2492dfdcada3SDoug Rabson lf_print(char *tag, struct lockf_entry *lock) 249392dc7331SDavid Greenman { 249492dc7331SDavid Greenman 2495d974cf4dSBruce Evans printf("%s: lock %p for ", tag, (void *)lock); 2496dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 249759aff5fcSAlfred Perlstein if (lock->lf_inode != (struct inode *)0) 2498dfdcada3SDoug Rabson printf(" in ino %ju on dev <%s>,", 2499a7a00d05SMaxime Henrion (uintmax_t)lock->lf_inode->i_number, 2500dfdcada3SDoug Rabson devtoname(lock->lf_inode->i_dev)); 2501dfdcada3SDoug Rabson printf(" %s, start %jd, end ", 250292dc7331SDavid Greenman lock->lf_type == F_RDLCK ? "shared" : 250392dc7331SDavid Greenman lock->lf_type == F_WRLCK ? "exclusive" : 2504a7a00d05SMaxime Henrion lock->lf_type == F_UNLCK ? "unlock" : "unknown", 2505dfdcada3SDoug Rabson (intmax_t)lock->lf_start); 2506dfdcada3SDoug Rabson if (lock->lf_end == OFF_MAX) 2507dfdcada3SDoug Rabson printf("EOF"); 250859aff5fcSAlfred Perlstein else 2509dfdcada3SDoug Rabson printf("%jd", (intmax_t)lock->lf_end); 2510dfdcada3SDoug Rabson if (!LIST_EMPTY(&lock->lf_outedges)) 2511dfdcada3SDoug Rabson printf(" block %p\n", 2512dfdcada3SDoug Rabson (void *)LIST_FIRST(&lock->lf_outedges)->le_to); 251392dc7331SDavid Greenman else 251492dc7331SDavid Greenman printf("\n"); 251592dc7331SDavid Greenman } 251692dc7331SDavid Greenman 2517013e6650SJeff Roberson static void 2518dfdcada3SDoug Rabson lf_printlist(char *tag, struct lockf_entry *lock) 251992dc7331SDavid Greenman { 2520dfdcada3SDoug Rabson struct lockf_entry *lf, *blk; 2521dfdcada3SDoug Rabson struct lockf_edge *e; 252292dc7331SDavid Greenman 252359aff5fcSAlfred Perlstein if (lock->lf_inode == (struct inode *)0) 252459aff5fcSAlfred Perlstein return; 252559aff5fcSAlfred Perlstein 252697eb8cfaSPoul-Henning Kamp printf("%s: Lock list for ino %ju on dev <%s>:\n", 2527a7a00d05SMaxime Henrion tag, (uintmax_t)lock->lf_inode->i_number, 252897eb8cfaSPoul-Henning Kamp devtoname(lock->lf_inode->i_dev)); 2529a365ea5fSDoug Rabson LIST_FOREACH(lf, &lock->lf_vnode->v_lockf->ls_active, lf_link) { 2530d974cf4dSBruce Evans printf("\tlock %p for ",(void *)lf); 2531dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 2532a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 253392dc7331SDavid Greenman lf->lf_type == F_RDLCK ? "shared" : 253492dc7331SDavid Greenman lf->lf_type == F_WRLCK ? "exclusive" : 253592dc7331SDavid Greenman lf->lf_type == F_UNLCK ? "unlock" : 2536a7a00d05SMaxime Henrion "unknown", (intmax_t)lf->lf_start, (intmax_t)lf->lf_end); 2537dfdcada3SDoug Rabson LIST_FOREACH(e, &lf->lf_outedges, le_outlink) { 2538dfdcada3SDoug Rabson blk = e->le_to; 2539d974cf4dSBruce Evans printf("\n\t\tlock request %p for ", (void *)blk); 2540dfdcada3SDoug Rabson lf_print_owner(blk->lf_owner); 2541a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 2542996c772fSJohn Dyson blk->lf_type == F_RDLCK ? "shared" : 2543996c772fSJohn Dyson blk->lf_type == F_WRLCK ? "exclusive" : 2544996c772fSJohn Dyson blk->lf_type == F_UNLCK ? "unlock" : 2545a7a00d05SMaxime Henrion "unknown", (intmax_t)blk->lf_start, 2546a7a00d05SMaxime Henrion (intmax_t)blk->lf_end); 2547dfdcada3SDoug Rabson if (!LIST_EMPTY(&blk->lf_inedges)) 2548996c772fSJohn Dyson panic("lf_printlist: bad list"); 2549996c772fSJohn Dyson } 255092dc7331SDavid Greenman printf("\n"); 255192dc7331SDavid Greenman } 255292dc7331SDavid Greenman } 255392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 2554