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 93603c8667SAlfred Perlstein 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 *); 109dfdcada3SDoug Rabson static void 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 350dfdcada3SDoug Rabson static void 351dfdcada3SDoug Rabson lf_free_lock(struct lockf_entry *lock) 352dfdcada3SDoug Rabson { 353dfdcada3SDoug Rabson /* 354dfdcada3SDoug Rabson * Adjust the lock_owner reference count and 355dfdcada3SDoug Rabson * reclaim the entry if this is the last lock 356dfdcada3SDoug Rabson * for that owner. 357dfdcada3SDoug Rabson */ 358dfdcada3SDoug Rabson struct lock_owner *lo = lock->lf_owner; 359dfdcada3SDoug Rabson if (lo) { 360dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_outedges), 361dfdcada3SDoug Rabson ("freeing lock with dependancies")); 362dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&lock->lf_inedges), 363dfdcada3SDoug Rabson ("freeing lock with dependants")); 364dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 365dfdcada3SDoug Rabson KASSERT(lo->lo_refs > 0, ("lock owner refcount")); 366dfdcada3SDoug Rabson lo->lo_refs--; 367dfdcada3SDoug Rabson if (lo->lo_refs == 0) { 368dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 369dfdcada3SDoug Rabson if (lockf_debug & 1) 370dfdcada3SDoug Rabson printf("lf_free_lock: freeing lock owner %p\n", 371dfdcada3SDoug Rabson lo); 372dfdcada3SDoug Rabson #endif 373dfdcada3SDoug Rabson if (lo->lo_vertex) { 374dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 375dfdcada3SDoug Rabson graph_free_vertex(&lf_owner_graph, 376dfdcada3SDoug Rabson lo->lo_vertex); 377dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 378dfdcada3SDoug Rabson } 379dfdcada3SDoug Rabson LIST_REMOVE(lo, lo_link); 380dfdcada3SDoug Rabson free(lo, M_LOCKF); 381dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 382dfdcada3SDoug Rabson if (lockf_debug & 4) 383dfdcada3SDoug Rabson printf("Freed lock owner %p\n", lo); 384dfdcada3SDoug Rabson #endif 385dfdcada3SDoug Rabson } 386dfdcada3SDoug Rabson sx_unlock(&lf_lock_owners_lock); 387dfdcada3SDoug Rabson } 388dfdcada3SDoug Rabson if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) { 389dfdcada3SDoug Rabson vrele(lock->lf_vnode); 390dfdcada3SDoug Rabson lock->lf_vnode = NULL; 391dfdcada3SDoug Rabson } 392dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 393dfdcada3SDoug Rabson if (lockf_debug & 4) 394dfdcada3SDoug Rabson printf("Freed lock %p\n", lock); 395dfdcada3SDoug Rabson #endif 396dfdcada3SDoug Rabson free(lock, M_LOCKF); 397dfdcada3SDoug Rabson } 39892dc7331SDavid Greenman 39992dc7331SDavid Greenman /* 40092dc7331SDavid Greenman * Advisory record locking support 40192dc7331SDavid Greenman */ 40292dc7331SDavid Greenman int 403dfdcada3SDoug Rabson lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep, 404dfdcada3SDoug Rabson u_quad_t size) 40592dc7331SDavid Greenman { 406dfdcada3SDoug Rabson struct lockf *state, *freestate = NULL; 407bc02f1d9SJeff Roberson struct flock *fl = ap->a_fl; 408dfdcada3SDoug Rabson struct lockf_entry *lock; 409bc02f1d9SJeff Roberson struct vnode *vp = ap->a_vp; 410dfdcada3SDoug Rabson caddr_t id = ap->a_id; 411dfdcada3SDoug Rabson int flags = ap->a_flags; 412dfdcada3SDoug Rabson int hash; 413dfdcada3SDoug Rabson struct lock_owner *lo; 414c4778eedSAndrey A. Chernov off_t start, end, oadd; 41592dc7331SDavid Greenman int error; 41692dc7331SDavid Greenman 41792dc7331SDavid Greenman /* 418dfdcada3SDoug Rabson * Handle the F_UNLKSYS case first - no need to mess about 419dfdcada3SDoug Rabson * creating a lock owner for this one. 420dfdcada3SDoug Rabson */ 421dfdcada3SDoug Rabson if (ap->a_op == F_UNLCKSYS) { 422dfdcada3SDoug Rabson lf_clearremotesys(fl->l_sysid); 423dfdcada3SDoug Rabson return (0); 424dfdcada3SDoug Rabson } 425dfdcada3SDoug Rabson 426dfdcada3SDoug Rabson /* 42792dc7331SDavid Greenman * Convert the flock structure into a start and end. 42892dc7331SDavid Greenman */ 42992dc7331SDavid Greenman switch (fl->l_whence) { 43092dc7331SDavid Greenman 43192dc7331SDavid Greenman case SEEK_SET: 43292dc7331SDavid Greenman case SEEK_CUR: 43392dc7331SDavid Greenman /* 43492dc7331SDavid Greenman * Caller is responsible for adding any necessary offset 43592dc7331SDavid Greenman * when SEEK_CUR is used. 43692dc7331SDavid Greenman */ 43792dc7331SDavid Greenman start = fl->l_start; 43892dc7331SDavid Greenman break; 43992dc7331SDavid Greenman 44092dc7331SDavid Greenman case SEEK_END: 441c8e76343SAndrey A. Chernov if (size > OFF_MAX || 442bc02f1d9SJeff Roberson (fl->l_start > 0 && size > OFF_MAX - fl->l_start)) 443bc02f1d9SJeff Roberson return (EOVERFLOW); 44492dc7331SDavid Greenman start = size + fl->l_start; 44592dc7331SDavid Greenman break; 44692dc7331SDavid Greenman 44792dc7331SDavid Greenman default: 448bc02f1d9SJeff Roberson return (EINVAL); 44992dc7331SDavid Greenman } 450bc02f1d9SJeff Roberson if (start < 0) 451bc02f1d9SJeff Roberson return (EINVAL); 452f510e1c2SAndrey A. Chernov if (fl->l_len < 0) { 453bc02f1d9SJeff Roberson if (start == 0) 454bc02f1d9SJeff Roberson return (EINVAL); 455f510e1c2SAndrey A. Chernov end = start - 1; 45662be011eSAndrey A. Chernov start += fl->l_len; 457bc02f1d9SJeff Roberson if (start < 0) 458bc02f1d9SJeff Roberson return (EINVAL); 459dfdcada3SDoug Rabson } else if (fl->l_len == 0) { 460dfdcada3SDoug Rabson end = OFF_MAX; 461dfdcada3SDoug Rabson } else { 462c4778eedSAndrey A. Chernov oadd = fl->l_len - 1; 463bc02f1d9SJeff Roberson if (oadd > OFF_MAX - start) 464bc02f1d9SJeff Roberson return (EOVERFLOW); 46569cc1d0dSAndrey A. Chernov end = start + oadd; 466a88bd8aaSBruce Evans } 467a88bd8aaSBruce Evans /* 468a88bd8aaSBruce Evans * Avoid the common case of unlocking when inode has no locks. 469a88bd8aaSBruce Evans */ 470dfdcada3SDoug Rabson if ((*statep) == NULL || LIST_EMPTY(&(*statep)->ls_active)) { 471a88bd8aaSBruce Evans if (ap->a_op != F_SETLK) { 472a88bd8aaSBruce Evans fl->l_type = F_UNLCK; 473bc02f1d9SJeff Roberson return (0); 474a88bd8aaSBruce Evans } 475a88bd8aaSBruce Evans } 476dfdcada3SDoug Rabson 47792dc7331SDavid Greenman /* 478dfdcada3SDoug Rabson * Map our arguments to an existing lock owner or create one 479dfdcada3SDoug Rabson * if this is the first time we have seen this owner. 480bc02f1d9SJeff Roberson */ 481dfdcada3SDoug Rabson hash = lf_hash_owner(id, fl, flags); 482dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 483dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[hash], lo_link) 484dfdcada3SDoug Rabson if (lf_owner_matches(lo, id, fl, flags)) 485dfdcada3SDoug Rabson break; 486dfdcada3SDoug Rabson if (!lo) { 487dfdcada3SDoug Rabson /* 488dfdcada3SDoug Rabson * We initialise the lock with a reference 489dfdcada3SDoug Rabson * count which matches the new lockf_entry 490dfdcada3SDoug Rabson * structure created below. 491dfdcada3SDoug Rabson */ 492dfdcada3SDoug Rabson lo = malloc(sizeof(struct lock_owner), M_LOCKF, 493dfdcada3SDoug Rabson M_WAITOK|M_ZERO); 494dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 495dfdcada3SDoug Rabson if (lockf_debug & 4) 496dfdcada3SDoug Rabson printf("Allocated lock owner %p\n", lo); 497dfdcada3SDoug Rabson #endif 498dfdcada3SDoug Rabson 499dfdcada3SDoug Rabson lo->lo_refs = 1; 500dfdcada3SDoug Rabson lo->lo_flags = flags; 501dfdcada3SDoug Rabson lo->lo_id = id; 502dfdcada3SDoug Rabson if (flags & F_REMOTE) { 503dfdcada3SDoug Rabson lo->lo_pid = fl->l_pid; 504dfdcada3SDoug Rabson lo->lo_sysid = fl->l_sysid; 505dfdcada3SDoug Rabson } else if (flags & F_FLOCK) { 506dfdcada3SDoug Rabson lo->lo_pid = -1; 507dfdcada3SDoug Rabson lo->lo_sysid = 0; 508dfdcada3SDoug Rabson } else { 509dfdcada3SDoug Rabson struct proc *p = (struct proc *) id; 510dfdcada3SDoug Rabson lo->lo_pid = p->p_pid; 511dfdcada3SDoug Rabson lo->lo_sysid = 0; 512004e08beSKonstantin Belousov } 513dfdcada3SDoug Rabson lo->lo_vertex = NULL; 514dfdcada3SDoug Rabson 515dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 516dfdcada3SDoug Rabson if (lockf_debug & 1) { 517dfdcada3SDoug Rabson printf("lf_advlockasync: new lock owner %p ", lo); 518dfdcada3SDoug Rabson lf_print_owner(lo); 519dfdcada3SDoug Rabson printf("\n"); 520dfdcada3SDoug Rabson } 521dfdcada3SDoug Rabson #endif 522dfdcada3SDoug Rabson 523dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_owners[hash], lo, lo_link); 524dfdcada3SDoug Rabson } else { 525bc02f1d9SJeff Roberson /* 526dfdcada3SDoug Rabson * We have seen this lock owner before, increase its 527dfdcada3SDoug Rabson * reference count to account for the new lockf_entry 528dfdcada3SDoug Rabson * structure we create below. 52992dc7331SDavid Greenman */ 530dfdcada3SDoug Rabson lo->lo_refs++; 531dfdcada3SDoug Rabson } 532dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 533dfdcada3SDoug Rabson 534dfdcada3SDoug Rabson /* 535dfdcada3SDoug Rabson * Create the lockf structure. We initialise the lf_owner 536dfdcada3SDoug Rabson * field here instead of in lf_alloc_lock() to avoid paying 537dfdcada3SDoug Rabson * the lf_lock_owners_lock tax twice. 538dfdcada3SDoug Rabson */ 539dfdcada3SDoug Rabson lock = lf_alloc_lock(NULL); 54092dc7331SDavid Greenman lock->lf_start = start; 54192dc7331SDavid Greenman lock->lf_end = end; 542dfdcada3SDoug Rabson lock->lf_owner = lo; 543dfdcada3SDoug Rabson lock->lf_vnode = vp; 544dfdcada3SDoug Rabson if (flags & F_REMOTE) { 545dfdcada3SDoug Rabson /* 546dfdcada3SDoug Rabson * For remote locks, the caller may release its ref to 547dfdcada3SDoug Rabson * the vnode at any time - we have to ref it here to 548dfdcada3SDoug Rabson * prevent it from being recycled unexpectedly. 549dfdcada3SDoug Rabson */ 550dfdcada3SDoug Rabson vref(vp); 551dfdcada3SDoug Rabson } 552dfdcada3SDoug Rabson 55359aff5fcSAlfred Perlstein /* 55459aff5fcSAlfred Perlstein * XXX The problem is that VTOI is ufs specific, so it will 55559aff5fcSAlfred Perlstein * break LOCKF_DEBUG for all other FS's other than UFS because 55659aff5fcSAlfred Perlstein * it casts the vnode->data ptr to struct inode *. 55759aff5fcSAlfred Perlstein */ 55859aff5fcSAlfred Perlstein /* lock->lf_inode = VTOI(ap->a_vp); */ 55959aff5fcSAlfred Perlstein lock->lf_inode = (struct inode *)0; 56092dc7331SDavid Greenman lock->lf_type = fl->l_type; 561dfdcada3SDoug Rabson LIST_INIT(&lock->lf_outedges); 562dfdcada3SDoug Rabson LIST_INIT(&lock->lf_inedges); 563dfdcada3SDoug Rabson lock->lf_async_task = ap->a_task; 56492dc7331SDavid Greenman lock->lf_flags = ap->a_flags; 565dfdcada3SDoug Rabson 56692dc7331SDavid Greenman /* 567dfdcada3SDoug Rabson * Do the requested operation. First find our state structure 568dfdcada3SDoug Rabson * and create a new one if necessary - the caller's *statep 569dfdcada3SDoug Rabson * variable and the state's ls_threads count is protected by 570dfdcada3SDoug Rabson * the vnode interlock. 57192dc7331SDavid Greenman */ 572bc02f1d9SJeff Roberson VI_LOCK(vp); 573eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 574eab626f1SKonstantin Belousov VI_UNLOCK(vp); 575eab626f1SKonstantin Belousov lf_free_lock(lock); 576eab626f1SKonstantin Belousov return (ENOENT); 577eab626f1SKonstantin Belousov } 578dfdcada3SDoug Rabson 579dfdcada3SDoug Rabson /* 580dfdcada3SDoug Rabson * Allocate a state structure if necessary. 581dfdcada3SDoug Rabson */ 582dfdcada3SDoug Rabson state = *statep; 583dfdcada3SDoug Rabson if (state == NULL) { 584dfdcada3SDoug Rabson struct lockf *ls; 585dfdcada3SDoug Rabson 586dfdcada3SDoug Rabson VI_UNLOCK(vp); 587dfdcada3SDoug Rabson 588dfdcada3SDoug Rabson ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO); 589dfdcada3SDoug Rabson sx_init(&ls->ls_lock, "ls_lock"); 590dfdcada3SDoug Rabson LIST_INIT(&ls->ls_active); 591dfdcada3SDoug Rabson LIST_INIT(&ls->ls_pending); 59260cdfde0SDoug Rabson ls->ls_threads = 1; 593dfdcada3SDoug Rabson 594dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 595dfdcada3SDoug Rabson LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link); 596dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 597dfdcada3SDoug Rabson 598dfdcada3SDoug Rabson /* 599dfdcada3SDoug Rabson * Cope if we lost a race with some other thread while 600dfdcada3SDoug Rabson * trying to allocate memory. 601dfdcada3SDoug Rabson */ 602dfdcada3SDoug Rabson VI_LOCK(vp); 603eab626f1SKonstantin Belousov if (vp->v_iflag & VI_DOOMED) { 604eab626f1SKonstantin Belousov VI_UNLOCK(vp); 605eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 606eab626f1SKonstantin Belousov LIST_REMOVE(ls, ls_link); 607eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 608eab626f1SKonstantin Belousov sx_destroy(&ls->ls_lock); 609eab626f1SKonstantin Belousov free(ls, M_LOCKF); 610eab626f1SKonstantin Belousov lf_free_lock(lock); 611eab626f1SKonstantin Belousov return (ENOENT); 612eab626f1SKonstantin Belousov } 613dfdcada3SDoug Rabson if ((*statep) == NULL) { 61460cdfde0SDoug Rabson state = *statep = ls; 61560cdfde0SDoug Rabson VI_UNLOCK(vp); 616dfdcada3SDoug Rabson } else { 61760cdfde0SDoug Rabson state = *statep; 61860cdfde0SDoug Rabson state->ls_threads++; 61960cdfde0SDoug Rabson VI_UNLOCK(vp); 62060cdfde0SDoug Rabson 621dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 622dfdcada3SDoug Rabson LIST_REMOVE(ls, ls_link); 623dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 624dfdcada3SDoug Rabson sx_destroy(&ls->ls_lock); 625dfdcada3SDoug Rabson free(ls, M_LOCKF); 626dfdcada3SDoug Rabson } 62760cdfde0SDoug Rabson } else { 628dfdcada3SDoug Rabson state->ls_threads++; 629dfdcada3SDoug Rabson VI_UNLOCK(vp); 63060cdfde0SDoug Rabson } 631dfdcada3SDoug Rabson 632dfdcada3SDoug Rabson sx_xlock(&state->ls_lock); 63392dc7331SDavid Greenman switch(ap->a_op) { 63492dc7331SDavid Greenman case F_SETLK: 635dfdcada3SDoug Rabson error = lf_setlock(state, lock, vp, ap->a_cookiep); 636bc02f1d9SJeff Roberson break; 63792dc7331SDavid Greenman 63892dc7331SDavid Greenman case F_UNLCK: 639dfdcada3SDoug Rabson error = lf_clearlock(state, lock); 640dfdcada3SDoug Rabson lf_free_lock(lock); 641bc02f1d9SJeff Roberson break; 64292dc7331SDavid Greenman 64392dc7331SDavid Greenman case F_GETLK: 644dfdcada3SDoug Rabson error = lf_getlock(state, lock, fl); 645dfdcada3SDoug Rabson lf_free_lock(lock); 646dfdcada3SDoug Rabson break; 647dfdcada3SDoug Rabson 648dfdcada3SDoug Rabson case F_CANCEL: 649dfdcada3SDoug Rabson if (ap->a_cookiep) 650dfdcada3SDoug Rabson error = lf_cancel(state, lock, *ap->a_cookiep); 651dfdcada3SDoug Rabson else 652dfdcada3SDoug Rabson error = EINVAL; 653dfdcada3SDoug Rabson lf_free_lock(lock); 654bc02f1d9SJeff Roberson break; 65592dc7331SDavid Greenman 65692dc7331SDavid Greenman default: 657dfdcada3SDoug Rabson lf_free_lock(lock); 658013e6650SJeff Roberson error = EINVAL; 659bc02f1d9SJeff Roberson break; 66092dc7331SDavid Greenman } 661dfdcada3SDoug Rabson 662dfdcada3SDoug Rabson #ifdef INVARIANTS 663dfdcada3SDoug Rabson /* 664dfdcada3SDoug Rabson * Check for some can't happen stuff. In this case, the active 665dfdcada3SDoug Rabson * lock list becoming disordered or containing mutually 666dfdcada3SDoug Rabson * blocking locks. We also check the pending list for locks 667dfdcada3SDoug Rabson * which should be active (i.e. have no out-going edges). 668dfdcada3SDoug Rabson */ 669dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_active, lf_link) { 670dfdcada3SDoug Rabson struct lockf_entry *lf; 671dfdcada3SDoug Rabson if (LIST_NEXT(lock, lf_link)) 672dfdcada3SDoug Rabson KASSERT((lock->lf_start 673dfdcada3SDoug Rabson <= LIST_NEXT(lock, lf_link)->lf_start), 674dfdcada3SDoug Rabson ("locks disordered")); 675dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 676dfdcada3SDoug Rabson if (lock == lf) 677dfdcada3SDoug Rabson break; 678dfdcada3SDoug Rabson KASSERT(!lf_blocks(lock, lf), 679dfdcada3SDoug Rabson ("two conflicting active locks")); 680dfdcada3SDoug Rabson if (lock->lf_owner == lf->lf_owner) 681dfdcada3SDoug Rabson KASSERT(!lf_overlaps(lock, lf), 682dfdcada3SDoug Rabson ("two overlapping locks from same owner")); 683dfdcada3SDoug Rabson } 684dfdcada3SDoug Rabson } 685dfdcada3SDoug Rabson LIST_FOREACH(lock, &state->ls_pending, lf_link) { 686dfdcada3SDoug Rabson KASSERT(!LIST_EMPTY(&lock->lf_outedges), 687dfdcada3SDoug Rabson ("pending lock which should be active")); 688dfdcada3SDoug Rabson } 689dfdcada3SDoug Rabson #endif 690dfdcada3SDoug Rabson sx_xunlock(&state->ls_lock); 691dfdcada3SDoug Rabson 692dfdcada3SDoug Rabson /* 693dfdcada3SDoug Rabson * If we have removed the last active lock on the vnode and 694dfdcada3SDoug Rabson * this is the last thread that was in-progress, we can free 695dfdcada3SDoug Rabson * the state structure. We update the caller's pointer inside 696dfdcada3SDoug Rabson * the vnode interlock but call free outside. 697dfdcada3SDoug Rabson * 698dfdcada3SDoug Rabson * XXX alternatively, keep the state structure around until 699dfdcada3SDoug Rabson * the filesystem recycles - requires a callback from the 700dfdcada3SDoug Rabson * filesystem. 701dfdcada3SDoug Rabson */ 702dfdcada3SDoug Rabson VI_LOCK(vp); 703dfdcada3SDoug Rabson 704dfdcada3SDoug Rabson state->ls_threads--; 705eab626f1SKonstantin Belousov wakeup(state); 706dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 707dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&state->ls_pending), 708dfdcada3SDoug Rabson ("freeing state with pending locks")); 709dfdcada3SDoug Rabson freestate = state; 710dfdcada3SDoug Rabson *statep = NULL; 711dfdcada3SDoug Rabson } 712dfdcada3SDoug Rabson 713bc02f1d9SJeff Roberson VI_UNLOCK(vp); 714dfdcada3SDoug Rabson 715dfdcada3SDoug Rabson if (freestate) { 716dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 717dfdcada3SDoug Rabson LIST_REMOVE(freestate, ls_link); 718dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 719dfdcada3SDoug Rabson sx_destroy(&freestate->ls_lock); 720dfdcada3SDoug Rabson free(freestate, M_LOCKF); 721004e08beSKonstantin Belousov } 722013e6650SJeff Roberson return (error); 72392dc7331SDavid Greenman } 72492dc7331SDavid Greenman 725dfdcada3SDoug Rabson int 726dfdcada3SDoug Rabson lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size) 727dfdcada3SDoug Rabson { 728dfdcada3SDoug Rabson struct vop_advlockasync_args a; 729dfdcada3SDoug Rabson 730dfdcada3SDoug Rabson a.a_vp = ap->a_vp; 731dfdcada3SDoug Rabson a.a_id = ap->a_id; 732dfdcada3SDoug Rabson a.a_op = ap->a_op; 733dfdcada3SDoug Rabson a.a_fl = ap->a_fl; 734dfdcada3SDoug Rabson a.a_flags = ap->a_flags; 735dfdcada3SDoug Rabson a.a_task = NULL; 736dfdcada3SDoug Rabson a.a_cookiep = NULL; 737dfdcada3SDoug Rabson 738dfdcada3SDoug Rabson return (lf_advlockasync(&a, statep, size)); 739dfdcada3SDoug Rabson } 740dfdcada3SDoug Rabson 741eab626f1SKonstantin Belousov void 742eab626f1SKonstantin Belousov lf_purgelocks(struct vnode *vp, struct lockf **statep) 743eab626f1SKonstantin Belousov { 744eab626f1SKonstantin Belousov struct lockf *state; 745eab626f1SKonstantin Belousov struct lockf_entry *lock, *nlock; 746eab626f1SKonstantin Belousov 747eab626f1SKonstantin Belousov /* 748eab626f1SKonstantin Belousov * For this to work correctly, the caller must ensure that no 749eab626f1SKonstantin Belousov * other threads enter the locking system for this vnode, 750eab626f1SKonstantin Belousov * e.g. by checking VI_DOOMED. We wake up any threads that are 751eab626f1SKonstantin Belousov * sleeping waiting for locks on this vnode and then free all 752eab626f1SKonstantin Belousov * the remaining locks. 753eab626f1SKonstantin Belousov */ 754eab626f1SKonstantin Belousov VI_LOCK(vp); 755eab626f1SKonstantin Belousov state = *statep; 756eab626f1SKonstantin Belousov if (state) { 757eab626f1SKonstantin Belousov state->ls_threads++; 758eab626f1SKonstantin Belousov VI_UNLOCK(vp); 759eab626f1SKonstantin Belousov 760eab626f1SKonstantin Belousov sx_xlock(&state->ls_lock); 761eab626f1SKonstantin Belousov sx_xlock(&lf_owner_graph_lock); 762eab626f1SKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 763eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 764eab626f1SKonstantin Belousov lf_remove_outgoing(lock); 765eab626f1SKonstantin Belousov lf_remove_incoming(lock); 766eab626f1SKonstantin Belousov 767eab626f1SKonstantin Belousov /* 768eab626f1SKonstantin Belousov * If its an async lock, we can just free it 769eab626f1SKonstantin Belousov * here, otherwise we let the sleeping thread 770eab626f1SKonstantin Belousov * free it. 771eab626f1SKonstantin Belousov */ 772eab626f1SKonstantin Belousov if (lock->lf_async_task) { 773eab626f1SKonstantin Belousov lf_free_lock(lock); 774eab626f1SKonstantin Belousov } else { 775eab626f1SKonstantin Belousov lock->lf_flags |= F_INTR; 776eab626f1SKonstantin Belousov wakeup(lock); 777eab626f1SKonstantin Belousov } 778eab626f1SKonstantin Belousov } 779eab626f1SKonstantin Belousov sx_xunlock(&lf_owner_graph_lock); 780eab626f1SKonstantin Belousov sx_xunlock(&state->ls_lock); 781eab626f1SKonstantin Belousov 782eab626f1SKonstantin Belousov /* 783eab626f1SKonstantin Belousov * Wait for all other threads, sleeping and otherwise 784eab626f1SKonstantin Belousov * to leave. 785eab626f1SKonstantin Belousov */ 786eab626f1SKonstantin Belousov VI_LOCK(vp); 787eab626f1SKonstantin Belousov while (state->ls_threads > 1) 788eab626f1SKonstantin Belousov msleep(state, VI_MTX(vp), 0, "purgelocks", 0); 789eab626f1SKonstantin Belousov *statep = 0; 790eab626f1SKonstantin Belousov VI_UNLOCK(vp); 791eab626f1SKonstantin Belousov 792eab626f1SKonstantin Belousov /* 793eab626f1SKonstantin Belousov * We can just free all the active locks since they 794eab626f1SKonstantin Belousov * will have no dependancies (we removed them all 795eab626f1SKonstantin Belousov * above). We don't need to bother locking since we 796eab626f1SKonstantin Belousov * are the last thread using this state structure. 797eab626f1SKonstantin Belousov */ 798eab626f1SKonstantin Belousov LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 799eab626f1SKonstantin Belousov LIST_REMOVE(lock, lf_link); 800eab626f1SKonstantin Belousov lf_free_lock(lock); 801eab626f1SKonstantin Belousov } 802eab626f1SKonstantin Belousov sx_xlock(&lf_lock_states_lock); 803eab626f1SKonstantin Belousov LIST_REMOVE(state, ls_link); 804eab626f1SKonstantin Belousov sx_xunlock(&lf_lock_states_lock); 805eab626f1SKonstantin Belousov sx_destroy(&state->ls_lock); 806eab626f1SKonstantin Belousov free(state, M_LOCKF); 807eab626f1SKonstantin Belousov } else { 808eab626f1SKonstantin Belousov VI_UNLOCK(vp); 809eab626f1SKonstantin Belousov } 810eab626f1SKonstantin Belousov } 811eab626f1SKonstantin Belousov 812dfdcada3SDoug Rabson /* 813dfdcada3SDoug Rabson * Return non-zero if locks 'x' and 'y' overlap. 814dfdcada3SDoug Rabson */ 815dfdcada3SDoug Rabson static int 816dfdcada3SDoug Rabson lf_overlaps(struct lockf_entry *x, struct lockf_entry *y) 817dfdcada3SDoug Rabson { 818dfdcada3SDoug Rabson 819dfdcada3SDoug Rabson return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start); 820dfdcada3SDoug Rabson } 821dfdcada3SDoug Rabson 822dfdcada3SDoug Rabson /* 823dfdcada3SDoug Rabson * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa). 824dfdcada3SDoug Rabson */ 825dfdcada3SDoug Rabson static int 826dfdcada3SDoug Rabson lf_blocks(struct lockf_entry *x, struct lockf_entry *y) 827dfdcada3SDoug Rabson { 828dfdcada3SDoug Rabson 829dfdcada3SDoug Rabson return x->lf_owner != y->lf_owner 830dfdcada3SDoug Rabson && (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK) 831dfdcada3SDoug Rabson && lf_overlaps(x, y); 832dfdcada3SDoug Rabson } 833dfdcada3SDoug Rabson 834dfdcada3SDoug Rabson /* 835dfdcada3SDoug Rabson * Allocate a lock edge from the free list 836dfdcada3SDoug Rabson */ 837dfdcada3SDoug Rabson static struct lockf_edge * 838dfdcada3SDoug Rabson lf_alloc_edge(void) 839dfdcada3SDoug Rabson { 840dfdcada3SDoug Rabson 841dfdcada3SDoug Rabson return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO)); 842dfdcada3SDoug Rabson } 843dfdcada3SDoug Rabson 844dfdcada3SDoug Rabson /* 845dfdcada3SDoug Rabson * Free a lock edge. 846dfdcada3SDoug Rabson */ 847dfdcada3SDoug Rabson static void 848dfdcada3SDoug Rabson lf_free_edge(struct lockf_edge *e) 849dfdcada3SDoug Rabson { 850dfdcada3SDoug Rabson 851dfdcada3SDoug Rabson free(e, M_LOCKF); 852dfdcada3SDoug Rabson } 853dfdcada3SDoug Rabson 854dfdcada3SDoug Rabson 855dfdcada3SDoug Rabson /* 856dfdcada3SDoug Rabson * Ensure that the lock's owner has a corresponding vertex in the 857dfdcada3SDoug Rabson * owner graph. 858dfdcada3SDoug Rabson */ 859dfdcada3SDoug Rabson static void 860dfdcada3SDoug Rabson lf_alloc_vertex(struct lockf_entry *lock) 861dfdcada3SDoug Rabson { 862dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 863dfdcada3SDoug Rabson 864dfdcada3SDoug Rabson if (!lock->lf_owner->lo_vertex) 865dfdcada3SDoug Rabson lock->lf_owner->lo_vertex = 866dfdcada3SDoug Rabson graph_alloc_vertex(g, lock->lf_owner); 867dfdcada3SDoug Rabson } 868dfdcada3SDoug Rabson 869dfdcada3SDoug Rabson /* 870dfdcada3SDoug Rabson * Attempt to record an edge from lock x to lock y. Return EDEADLK if 871dfdcada3SDoug Rabson * the new edge would cause a cycle in the owner graph. 872dfdcada3SDoug Rabson */ 873dfdcada3SDoug Rabson static int 874dfdcada3SDoug Rabson lf_add_edge(struct lockf_entry *x, struct lockf_entry *y) 875dfdcada3SDoug Rabson { 876dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 877dfdcada3SDoug Rabson struct lockf_edge *e; 878dfdcada3SDoug Rabson int error; 879dfdcada3SDoug Rabson 880dfdcada3SDoug Rabson #ifdef INVARIANTS 881dfdcada3SDoug Rabson LIST_FOREACH(e, &x->lf_outedges, le_outlink) 882dfdcada3SDoug Rabson KASSERT(e->le_to != y, ("adding lock edge twice")); 883dfdcada3SDoug Rabson #endif 884dfdcada3SDoug Rabson 885dfdcada3SDoug Rabson /* 886dfdcada3SDoug Rabson * Make sure the two owners have entries in the owner graph. 887dfdcada3SDoug Rabson */ 888dfdcada3SDoug Rabson lf_alloc_vertex(x); 889dfdcada3SDoug Rabson lf_alloc_vertex(y); 890dfdcada3SDoug Rabson 891dfdcada3SDoug Rabson error = graph_add_edge(g, x->lf_owner->lo_vertex, 892dfdcada3SDoug Rabson y->lf_owner->lo_vertex); 893dfdcada3SDoug Rabson if (error) 894dfdcada3SDoug Rabson return (error); 895dfdcada3SDoug Rabson 896dfdcada3SDoug Rabson e = lf_alloc_edge(); 897dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink); 898dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink); 899dfdcada3SDoug Rabson e->le_from = x; 900dfdcada3SDoug Rabson e->le_to = y; 901dfdcada3SDoug Rabson 902dfdcada3SDoug Rabson return (0); 903dfdcada3SDoug Rabson } 904dfdcada3SDoug Rabson 905dfdcada3SDoug Rabson /* 906dfdcada3SDoug Rabson * Remove an edge from the lock graph. 907dfdcada3SDoug Rabson */ 908dfdcada3SDoug Rabson static void 909dfdcada3SDoug Rabson lf_remove_edge(struct lockf_edge *e) 910dfdcada3SDoug Rabson { 911dfdcada3SDoug Rabson struct owner_graph *g = &lf_owner_graph; 912dfdcada3SDoug Rabson struct lockf_entry *x = e->le_from; 913dfdcada3SDoug Rabson struct lockf_entry *y = e->le_to; 914dfdcada3SDoug Rabson 915dfdcada3SDoug Rabson graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex); 916dfdcada3SDoug Rabson LIST_REMOVE(e, le_outlink); 917dfdcada3SDoug Rabson LIST_REMOVE(e, le_inlink); 918dfdcada3SDoug Rabson e->le_from = NULL; 919dfdcada3SDoug Rabson e->le_to = NULL; 920dfdcada3SDoug Rabson lf_free_edge(e); 921dfdcada3SDoug Rabson } 922dfdcada3SDoug Rabson 923dfdcada3SDoug Rabson /* 924dfdcada3SDoug Rabson * Remove all out-going edges from lock x. 925dfdcada3SDoug Rabson */ 926dfdcada3SDoug Rabson static void 927dfdcada3SDoug Rabson lf_remove_outgoing(struct lockf_entry *x) 928dfdcada3SDoug Rabson { 929dfdcada3SDoug Rabson struct lockf_edge *e; 930dfdcada3SDoug Rabson 931dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) { 932dfdcada3SDoug Rabson lf_remove_edge(e); 933dfdcada3SDoug Rabson } 934dfdcada3SDoug Rabson } 935dfdcada3SDoug Rabson 936dfdcada3SDoug Rabson /* 937dfdcada3SDoug Rabson * Remove all in-coming edges from lock x. 938dfdcada3SDoug Rabson */ 939dfdcada3SDoug Rabson static void 940dfdcada3SDoug Rabson lf_remove_incoming(struct lockf_entry *x) 941dfdcada3SDoug Rabson { 942dfdcada3SDoug Rabson struct lockf_edge *e; 943dfdcada3SDoug Rabson 944dfdcada3SDoug Rabson while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) { 945dfdcada3SDoug Rabson lf_remove_edge(e); 946dfdcada3SDoug Rabson } 947dfdcada3SDoug Rabson } 948dfdcada3SDoug Rabson 949dfdcada3SDoug Rabson /* 950dfdcada3SDoug Rabson * Walk the list of locks for the file and create an out-going edge 951dfdcada3SDoug Rabson * from lock to each blocking lock. 952dfdcada3SDoug Rabson */ 953dfdcada3SDoug Rabson static int 954dfdcada3SDoug Rabson lf_add_outgoing(struct lockf *state, struct lockf_entry *lock) 955dfdcada3SDoug Rabson { 956dfdcada3SDoug Rabson struct lockf_entry *overlap; 957dfdcada3SDoug Rabson int error; 958dfdcada3SDoug Rabson 959dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 960dfdcada3SDoug Rabson /* 961dfdcada3SDoug Rabson * We may assume that the active list is sorted by 962dfdcada3SDoug Rabson * lf_start. 963dfdcada3SDoug Rabson */ 964dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 965dfdcada3SDoug Rabson break; 966dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 967dfdcada3SDoug Rabson continue; 968dfdcada3SDoug Rabson 969dfdcada3SDoug Rabson /* 970dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 971dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 972dfdcada3SDoug Rabson * deadlock. 973dfdcada3SDoug Rabson */ 974dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 975dfdcada3SDoug Rabson 976dfdcada3SDoug Rabson /* 977dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 978dfdcada3SDoug Rabson * Remove any edges we added and return the error. 979dfdcada3SDoug Rabson */ 980dfdcada3SDoug Rabson if (error) { 981dfdcada3SDoug Rabson lf_remove_outgoing(lock); 982dfdcada3SDoug Rabson return (error); 983dfdcada3SDoug Rabson } 984dfdcada3SDoug Rabson } 985dfdcada3SDoug Rabson 986dfdcada3SDoug Rabson /* 987dfdcada3SDoug Rabson * We also need to add edges to sleeping locks that block 988dfdcada3SDoug Rabson * us. This ensures that lf_wakeup_lock cannot grant two 989dfdcada3SDoug Rabson * mutually blocking locks simultaneously and also enforces a 990dfdcada3SDoug Rabson * 'first come, first served' fairness model. Note that this 991dfdcada3SDoug Rabson * only happens if we are blocked by at least one active lock 992dfdcada3SDoug Rabson * due to the call to lf_getblock in lf_setlock below. 993dfdcada3SDoug Rabson */ 994dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 995dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 996dfdcada3SDoug Rabson continue; 997dfdcada3SDoug Rabson /* 998dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 999dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1000dfdcada3SDoug Rabson * deadlock. 1001dfdcada3SDoug Rabson */ 1002dfdcada3SDoug Rabson error = lf_add_edge(lock, overlap); 1003dfdcada3SDoug Rabson 1004dfdcada3SDoug Rabson /* 1005dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1006dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1007dfdcada3SDoug Rabson */ 1008dfdcada3SDoug Rabson if (error) { 1009dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1010dfdcada3SDoug Rabson return (error); 1011dfdcada3SDoug Rabson } 1012dfdcada3SDoug Rabson } 1013dfdcada3SDoug Rabson 1014dfdcada3SDoug Rabson return (0); 1015dfdcada3SDoug Rabson } 1016dfdcada3SDoug Rabson 1017dfdcada3SDoug Rabson /* 1018dfdcada3SDoug Rabson * Walk the list of pending locks for the file and create an in-coming 1019dfdcada3SDoug Rabson * edge from lock to each blocking lock. 1020dfdcada3SDoug Rabson */ 1021dfdcada3SDoug Rabson static int 1022dfdcada3SDoug Rabson lf_add_incoming(struct lockf *state, struct lockf_entry *lock) 1023dfdcada3SDoug Rabson { 1024dfdcada3SDoug Rabson struct lockf_entry *overlap; 1025dfdcada3SDoug Rabson int error; 1026dfdcada3SDoug Rabson 1027dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1028dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1029dfdcada3SDoug Rabson continue; 1030dfdcada3SDoug Rabson 1031dfdcada3SDoug Rabson /* 1032dfdcada3SDoug Rabson * We've found a blocking lock. Add the corresponding 1033dfdcada3SDoug Rabson * edge to the graphs and see if it would cause a 1034dfdcada3SDoug Rabson * deadlock. 1035dfdcada3SDoug Rabson */ 1036dfdcada3SDoug Rabson error = lf_add_edge(overlap, lock); 1037dfdcada3SDoug Rabson 1038dfdcada3SDoug Rabson /* 1039dfdcada3SDoug Rabson * The only error that lf_add_edge returns is EDEADLK. 1040dfdcada3SDoug Rabson * Remove any edges we added and return the error. 1041dfdcada3SDoug Rabson */ 1042dfdcada3SDoug Rabson if (error) { 1043dfdcada3SDoug Rabson lf_remove_incoming(lock); 1044dfdcada3SDoug Rabson return (error); 1045dfdcada3SDoug Rabson } 1046dfdcada3SDoug Rabson } 1047dfdcada3SDoug Rabson return (0); 1048dfdcada3SDoug Rabson } 1049dfdcada3SDoug Rabson 1050dfdcada3SDoug Rabson /* 1051dfdcada3SDoug Rabson * Insert lock into the active list, keeping list entries ordered by 1052dfdcada3SDoug Rabson * increasing values of lf_start. 1053dfdcada3SDoug Rabson */ 1054dfdcada3SDoug Rabson static void 1055dfdcada3SDoug Rabson lf_insert_lock(struct lockf *state, struct lockf_entry *lock) 1056dfdcada3SDoug Rabson { 1057dfdcada3SDoug Rabson struct lockf_entry *lf, *lfprev; 1058dfdcada3SDoug Rabson 1059dfdcada3SDoug Rabson if (LIST_EMPTY(&state->ls_active)) { 1060dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_active, lock, lf_link); 1061dfdcada3SDoug Rabson return; 1062dfdcada3SDoug Rabson } 1063dfdcada3SDoug Rabson 1064dfdcada3SDoug Rabson lfprev = NULL; 1065dfdcada3SDoug Rabson LIST_FOREACH(lf, &state->ls_active, lf_link) { 1066dfdcada3SDoug Rabson if (lf->lf_start > lock->lf_start) { 1067dfdcada3SDoug Rabson LIST_INSERT_BEFORE(lf, lock, lf_link); 1068dfdcada3SDoug Rabson return; 1069dfdcada3SDoug Rabson } 1070dfdcada3SDoug Rabson lfprev = lf; 1071dfdcada3SDoug Rabson } 1072dfdcada3SDoug Rabson LIST_INSERT_AFTER(lfprev, lock, lf_link); 1073dfdcada3SDoug Rabson } 1074dfdcada3SDoug Rabson 1075dfdcada3SDoug Rabson /* 1076dfdcada3SDoug Rabson * Wake up a sleeping lock and remove it from the pending list now 1077dfdcada3SDoug Rabson * that all its dependancies have been resolved. The caller should 1078dfdcada3SDoug Rabson * arrange for the lock to be added to the active list, adjusting any 1079dfdcada3SDoug Rabson * existing locks for the same owner as needed. 1080dfdcada3SDoug Rabson */ 1081dfdcada3SDoug Rabson static void 1082dfdcada3SDoug Rabson lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock) 1083dfdcada3SDoug Rabson { 1084dfdcada3SDoug Rabson 1085dfdcada3SDoug Rabson /* 1086dfdcada3SDoug Rabson * Remove from ls_pending list and wake up the caller 1087dfdcada3SDoug Rabson * or start the async notification, as appropriate. 1088dfdcada3SDoug Rabson */ 1089dfdcada3SDoug Rabson LIST_REMOVE(wakelock, lf_link); 1090dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1091dfdcada3SDoug Rabson if (lockf_debug & 1) 1092dfdcada3SDoug Rabson lf_print("lf_wakeup_lock: awakening", wakelock); 1093dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1094dfdcada3SDoug Rabson if (wakelock->lf_async_task) { 1095dfdcada3SDoug Rabson taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task); 1096dfdcada3SDoug Rabson } else { 1097dfdcada3SDoug Rabson wakeup(wakelock); 1098dfdcada3SDoug Rabson } 1099dfdcada3SDoug Rabson } 1100dfdcada3SDoug Rabson 1101dfdcada3SDoug Rabson /* 1102dfdcada3SDoug Rabson * Re-check all dependant locks and remove edges to locks that we no 1103dfdcada3SDoug Rabson * longer block. If 'all' is non-zero, the lock has been removed and 1104dfdcada3SDoug Rabson * we must remove all the dependancies, otherwise it has simply been 1105dfdcada3SDoug Rabson * reduced but remains active. Any pending locks which have been been 1106dfdcada3SDoug Rabson * unblocked are added to 'granted' 1107dfdcada3SDoug Rabson */ 1108dfdcada3SDoug Rabson static void 1109dfdcada3SDoug Rabson lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all, 1110dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1111dfdcada3SDoug Rabson { 1112dfdcada3SDoug Rabson struct lockf_edge *e, *ne; 1113dfdcada3SDoug Rabson struct lockf_entry *deplock; 1114dfdcada3SDoug Rabson 1115dfdcada3SDoug Rabson LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) { 1116dfdcada3SDoug Rabson deplock = e->le_from; 1117dfdcada3SDoug Rabson if (all || !lf_blocks(lock, deplock)) { 1118dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1119dfdcada3SDoug Rabson lf_remove_edge(e); 1120dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1121dfdcada3SDoug Rabson if (LIST_EMPTY(&deplock->lf_outedges)) { 1122dfdcada3SDoug Rabson lf_wakeup_lock(state, deplock); 1123dfdcada3SDoug Rabson LIST_INSERT_HEAD(granted, deplock, lf_link); 1124dfdcada3SDoug Rabson } 1125dfdcada3SDoug Rabson } 1126dfdcada3SDoug Rabson } 1127dfdcada3SDoug Rabson } 1128dfdcada3SDoug Rabson 1129dfdcada3SDoug Rabson /* 1130dfdcada3SDoug Rabson * Set the start of an existing active lock, updating dependancies and 1131dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1132dfdcada3SDoug Rabson */ 1133dfdcada3SDoug Rabson static void 1134dfdcada3SDoug Rabson lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start, 1135dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1136dfdcada3SDoug Rabson { 1137dfdcada3SDoug Rabson 1138dfdcada3SDoug Rabson KASSERT(new_start >= lock->lf_start, ("can't increase lock")); 1139dfdcada3SDoug Rabson lock->lf_start = new_start; 1140dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1141dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1142dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1143dfdcada3SDoug Rabson } 1144dfdcada3SDoug Rabson 1145dfdcada3SDoug Rabson /* 1146dfdcada3SDoug Rabson * Set the end of an existing active lock, updating dependancies and 1147dfdcada3SDoug Rabson * adding any newly woken locks to 'granted'. 1148dfdcada3SDoug Rabson */ 1149dfdcada3SDoug Rabson static void 1150dfdcada3SDoug Rabson lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end, 1151dfdcada3SDoug Rabson struct lockf_entry_list *granted) 1152dfdcada3SDoug Rabson { 1153dfdcada3SDoug Rabson 1154dfdcada3SDoug Rabson KASSERT(new_end <= lock->lf_end, ("can't increase lock")); 1155dfdcada3SDoug Rabson lock->lf_end = new_end; 1156dfdcada3SDoug Rabson lf_update_dependancies(state, lock, FALSE, granted); 1157dfdcada3SDoug Rabson } 1158dfdcada3SDoug Rabson 1159dfdcada3SDoug Rabson /* 1160dfdcada3SDoug Rabson * Add a lock to the active list, updating or removing any current 1161dfdcada3SDoug Rabson * locks owned by the same owner and processing any pending locks that 1162dfdcada3SDoug Rabson * become unblocked as a result. This code is also used for unlock 1163dfdcada3SDoug Rabson * since the logic for updating existing locks is identical. 1164dfdcada3SDoug Rabson * 1165dfdcada3SDoug Rabson * As a result of processing the new lock, we may unblock existing 1166dfdcada3SDoug Rabson * pending locks as a result of downgrading/unlocking. We simply 1167dfdcada3SDoug Rabson * activate the newly granted locks by looping. 1168dfdcada3SDoug Rabson * 1169dfdcada3SDoug Rabson * Since the new lock already has its dependancies set up, we always 1170dfdcada3SDoug Rabson * add it to the list (unless its an unlock request). This may 1171dfdcada3SDoug Rabson * fragment the lock list in some pathological cases but its probably 1172dfdcada3SDoug Rabson * not a real problem. 1173dfdcada3SDoug Rabson */ 1174dfdcada3SDoug Rabson static void 1175dfdcada3SDoug Rabson lf_activate_lock(struct lockf *state, struct lockf_entry *lock) 1176dfdcada3SDoug Rabson { 1177dfdcada3SDoug Rabson struct lockf_entry *overlap, *lf; 1178dfdcada3SDoug Rabson struct lockf_entry_list granted; 1179dfdcada3SDoug Rabson int ovcase; 1180dfdcada3SDoug Rabson 1181dfdcada3SDoug Rabson LIST_INIT(&granted); 1182dfdcada3SDoug Rabson LIST_INSERT_HEAD(&granted, lock, lf_link); 1183dfdcada3SDoug Rabson 1184dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1185dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1186dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1187dfdcada3SDoug Rabson 1188dfdcada3SDoug Rabson /* 1189dfdcada3SDoug Rabson * Skip over locks owned by other processes. Handle 1190dfdcada3SDoug Rabson * any locks that overlap and are owned by ourselves. 1191dfdcada3SDoug Rabson */ 1192dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1193dfdcada3SDoug Rabson for (;;) { 1194dfdcada3SDoug Rabson ovcase = lf_findoverlap(&overlap, lock, SELF); 1195dfdcada3SDoug Rabson 1196dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1197dfdcada3SDoug Rabson if (ovcase && (lockf_debug & 2)) { 1198dfdcada3SDoug Rabson printf("lf_setlock: overlap %d", ovcase); 1199dfdcada3SDoug Rabson lf_print("", overlap); 1200dfdcada3SDoug Rabson } 1201dfdcada3SDoug Rabson #endif 1202dfdcada3SDoug Rabson /* 1203dfdcada3SDoug Rabson * Six cases: 1204dfdcada3SDoug Rabson * 0) no overlap 1205dfdcada3SDoug Rabson * 1) overlap == lock 1206dfdcada3SDoug Rabson * 2) overlap contains lock 1207dfdcada3SDoug Rabson * 3) lock contains overlap 1208dfdcada3SDoug Rabson * 4) overlap starts before lock 1209dfdcada3SDoug Rabson * 5) overlap ends after lock 1210dfdcada3SDoug Rabson */ 1211dfdcada3SDoug Rabson switch (ovcase) { 1212dfdcada3SDoug Rabson case 0: /* no overlap */ 1213dfdcada3SDoug Rabson break; 1214dfdcada3SDoug Rabson 1215dfdcada3SDoug Rabson case 1: /* overlap == lock */ 1216dfdcada3SDoug Rabson /* 1217dfdcada3SDoug Rabson * We have already setup the 1218dfdcada3SDoug Rabson * dependants for the new lock, taking 1219dfdcada3SDoug Rabson * into account a possible downgrade 1220dfdcada3SDoug Rabson * or unlock. Remove the old lock. 1221dfdcada3SDoug Rabson */ 1222dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1223dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1224dfdcada3SDoug Rabson &granted); 1225dfdcada3SDoug Rabson lf_free_lock(overlap); 1226dfdcada3SDoug Rabson break; 1227dfdcada3SDoug Rabson 1228dfdcada3SDoug Rabson case 2: /* overlap contains lock */ 1229dfdcada3SDoug Rabson /* 1230dfdcada3SDoug Rabson * Just split the existing lock. 1231dfdcada3SDoug Rabson */ 1232dfdcada3SDoug Rabson lf_split(state, overlap, lock, &granted); 1233dfdcada3SDoug Rabson break; 1234dfdcada3SDoug Rabson 1235dfdcada3SDoug Rabson case 3: /* lock contains overlap */ 1236dfdcada3SDoug Rabson /* 1237dfdcada3SDoug Rabson * Delete the overlap and advance to 1238dfdcada3SDoug Rabson * the next entry in the list. 1239dfdcada3SDoug Rabson */ 1240dfdcada3SDoug Rabson lf = LIST_NEXT(overlap, lf_link); 1241dfdcada3SDoug Rabson LIST_REMOVE(overlap, lf_link); 1242dfdcada3SDoug Rabson lf_update_dependancies(state, overlap, TRUE, 1243dfdcada3SDoug Rabson &granted); 1244dfdcada3SDoug Rabson lf_free_lock(overlap); 1245dfdcada3SDoug Rabson overlap = lf; 1246dfdcada3SDoug Rabson continue; 1247dfdcada3SDoug Rabson 1248dfdcada3SDoug Rabson case 4: /* overlap starts before lock */ 1249dfdcada3SDoug Rabson /* 1250dfdcada3SDoug Rabson * Just update the overlap end and 1251dfdcada3SDoug Rabson * move on. 1252dfdcada3SDoug Rabson */ 1253dfdcada3SDoug Rabson lf_set_end(state, overlap, lock->lf_start - 1, 1254dfdcada3SDoug Rabson &granted); 1255dfdcada3SDoug Rabson overlap = LIST_NEXT(overlap, lf_link); 1256dfdcada3SDoug Rabson continue; 1257dfdcada3SDoug Rabson 1258dfdcada3SDoug Rabson case 5: /* overlap ends after lock */ 1259dfdcada3SDoug Rabson /* 1260dfdcada3SDoug Rabson * Change the start of overlap and 1261dfdcada3SDoug Rabson * re-insert. 1262dfdcada3SDoug Rabson */ 1263dfdcada3SDoug Rabson lf_set_start(state, overlap, lock->lf_end + 1, 1264dfdcada3SDoug Rabson &granted); 1265dfdcada3SDoug Rabson break; 1266dfdcada3SDoug Rabson } 1267dfdcada3SDoug Rabson break; 1268dfdcada3SDoug Rabson } 1269dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1270dfdcada3SDoug Rabson if (lockf_debug & 1) { 1271dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1272dfdcada3SDoug Rabson lf_print("lf_activate_lock: activated", lock); 1273dfdcada3SDoug Rabson else 1274dfdcada3SDoug Rabson lf_print("lf_activate_lock: unlocked", lock); 1275dfdcada3SDoug Rabson lf_printlist("lf_activate_lock", lock); 1276dfdcada3SDoug Rabson } 1277dfdcada3SDoug Rabson #endif /* LOCKF_DEBUG */ 1278dfdcada3SDoug Rabson if (lock->lf_type != F_UNLCK) 1279dfdcada3SDoug Rabson lf_insert_lock(state, lock); 1280dfdcada3SDoug Rabson } 1281dfdcada3SDoug Rabson } 1282dfdcada3SDoug Rabson 1283dfdcada3SDoug Rabson /* 1284dfdcada3SDoug Rabson * Cancel a pending lock request, either as a result of a signal or a 1285dfdcada3SDoug Rabson * cancel request for an async lock. 1286dfdcada3SDoug Rabson */ 1287dfdcada3SDoug Rabson static void 1288dfdcada3SDoug Rabson lf_cancel_lock(struct lockf *state, struct lockf_entry *lock) 1289dfdcada3SDoug Rabson { 1290dfdcada3SDoug Rabson struct lockf_entry_list granted; 1291dfdcada3SDoug Rabson 1292dfdcada3SDoug Rabson /* 1293dfdcada3SDoug Rabson * Note it is theoretically possible that cancelling this lock 1294dfdcada3SDoug Rabson * may allow some other pending lock to become 1295dfdcada3SDoug Rabson * active. Consider this case: 1296dfdcada3SDoug Rabson * 1297dfdcada3SDoug Rabson * Owner Action Result Dependancies 1298dfdcada3SDoug Rabson * 1299dfdcada3SDoug Rabson * A: lock [0..0] succeeds 1300dfdcada3SDoug Rabson * B: lock [2..2] succeeds 1301dfdcada3SDoug Rabson * C: lock [1..2] blocked C->B 1302dfdcada3SDoug Rabson * D: lock [0..1] blocked C->B,D->A,D->C 1303dfdcada3SDoug Rabson * A: unlock [0..0] C->B,D->C 1304dfdcada3SDoug Rabson * C: cancel [1..2] 1305dfdcada3SDoug Rabson */ 1306dfdcada3SDoug Rabson 1307dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1308dfdcada3SDoug Rabson 1309dfdcada3SDoug Rabson /* 1310dfdcada3SDoug Rabson * Removing out-going edges is simple. 1311dfdcada3SDoug Rabson */ 1312dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1313dfdcada3SDoug Rabson lf_remove_outgoing(lock); 1314dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1315dfdcada3SDoug Rabson 1316dfdcada3SDoug Rabson /* 1317dfdcada3SDoug Rabson * Removing in-coming edges may allow some other lock to 1318dfdcada3SDoug Rabson * become active - we use lf_update_dependancies to figure 1319dfdcada3SDoug Rabson * this out. 1320dfdcada3SDoug Rabson */ 1321dfdcada3SDoug Rabson LIST_INIT(&granted); 1322dfdcada3SDoug Rabson lf_update_dependancies(state, lock, TRUE, &granted); 1323dfdcada3SDoug Rabson lf_free_lock(lock); 1324dfdcada3SDoug Rabson 1325dfdcada3SDoug Rabson /* 1326dfdcada3SDoug Rabson * Feed any newly active locks to lf_activate_lock. 1327dfdcada3SDoug Rabson */ 1328dfdcada3SDoug Rabson while (!LIST_EMPTY(&granted)) { 1329dfdcada3SDoug Rabson lock = LIST_FIRST(&granted); 1330dfdcada3SDoug Rabson LIST_REMOVE(lock, lf_link); 1331dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1332dfdcada3SDoug Rabson } 1333dfdcada3SDoug Rabson } 1334dfdcada3SDoug Rabson 133592dc7331SDavid Greenman /* 133692dc7331SDavid Greenman * Set a byte-range lock. 133792dc7331SDavid Greenman */ 133887b6de2bSPoul-Henning Kamp static int 1339dfdcada3SDoug Rabson lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp, 1340dfdcada3SDoug Rabson void **cookiep) 134192dc7331SDavid Greenman { 1342dfdcada3SDoug Rabson struct lockf_entry *block; 134392dc7331SDavid Greenman static char lockstr[] = "lockf"; 1344dfdcada3SDoug Rabson int priority, error; 134592dc7331SDavid Greenman 134692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 134792dc7331SDavid Greenman if (lockf_debug & 1) 134892dc7331SDavid Greenman lf_print("lf_setlock", lock); 134992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 135092dc7331SDavid Greenman 135192dc7331SDavid Greenman /* 135292dc7331SDavid Greenman * Set the priority 135392dc7331SDavid Greenman */ 135492dc7331SDavid Greenman priority = PLOCK; 135592dc7331SDavid Greenman if (lock->lf_type == F_WRLCK) 135692dc7331SDavid Greenman priority += 4; 135792dc7331SDavid Greenman priority |= PCATCH; 135892dc7331SDavid Greenman /* 135992dc7331SDavid Greenman * Scan lock list for this file looking for locks that would block us. 136092dc7331SDavid Greenman */ 1361dfdcada3SDoug Rabson while ((block = lf_getblock(state, lock))) { 136292dc7331SDavid Greenman /* 136392dc7331SDavid Greenman * Free the structure and return if nonblocking. 136492dc7331SDavid Greenman */ 1365dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0 1366dfdcada3SDoug Rabson && lock->lf_async_task == NULL) { 1367dfdcada3SDoug Rabson lf_free_lock(lock); 1368dfdcada3SDoug Rabson error = EAGAIN; 1369dfdcada3SDoug Rabson goto out; 137092dc7331SDavid Greenman } 137192dc7331SDavid Greenman 1372dfdcada3SDoug Rabson /* 1373dfdcada3SDoug Rabson * We are blocked. Create edges to each blocking lock, 1374dfdcada3SDoug Rabson * checking for deadlock using the owner graph. For 1375dfdcada3SDoug Rabson * simplicity, we run deadlock detection for all 1376dfdcada3SDoug Rabson * locks, posix and otherwise. 1377dfdcada3SDoug Rabson */ 1378dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1379dfdcada3SDoug Rabson error = lf_add_outgoing(state, lock); 1380dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1381dfdcada3SDoug Rabson 1382dfdcada3SDoug Rabson if (error) { 1383dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1384dfdcada3SDoug Rabson if (lockf_debug & 1) 1385dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1386dfdcada3SDoug Rabson #endif 1387dfdcada3SDoug Rabson lf_free_lock(lock); 1388dfdcada3SDoug Rabson goto out; 138992dc7331SDavid Greenman } 1390dfdcada3SDoug Rabson 139192dc7331SDavid Greenman /* 139292dc7331SDavid Greenman * For flock type locks, we must first remove 139392dc7331SDavid Greenman * any shared locks that we hold before we sleep 139492dc7331SDavid Greenman * waiting for an exclusive lock. 139592dc7331SDavid Greenman */ 139692dc7331SDavid Greenman if ((lock->lf_flags & F_FLOCK) && 139792dc7331SDavid Greenman lock->lf_type == F_WRLCK) { 139892dc7331SDavid Greenman lock->lf_type = F_UNLCK; 1399dfdcada3SDoug Rabson lf_activate_lock(state, lock); 140092dc7331SDavid Greenman lock->lf_type = F_WRLCK; 140192dc7331SDavid Greenman } 140292dc7331SDavid Greenman /* 1403dfdcada3SDoug Rabson * We have added edges to everything that blocks 1404dfdcada3SDoug Rabson * us. Sleep until they all go away. 140592dc7331SDavid Greenman */ 1406dfdcada3SDoug Rabson LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link); 140792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 140892dc7331SDavid Greenman if (lockf_debug & 1) { 1409dfdcada3SDoug Rabson struct lockf_edge *e; 1410dfdcada3SDoug Rabson LIST_FOREACH(e, &lock->lf_outedges, le_outlink) { 1411dfdcada3SDoug Rabson lf_print("lf_setlock: blocking on", e->le_to); 1412dfdcada3SDoug Rabson lf_printlist("lf_setlock", e->le_to); 1413dfdcada3SDoug Rabson } 141492dc7331SDavid Greenman } 141592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1416dfdcada3SDoug Rabson 1417dfdcada3SDoug Rabson if ((lock->lf_flags & F_WAIT) == 0) { 1418dfdcada3SDoug Rabson /* 1419dfdcada3SDoug Rabson * The caller requested async notification - 1420dfdcada3SDoug Rabson * this callback happens when the blocking 1421dfdcada3SDoug Rabson * lock is released, allowing the caller to 1422dfdcada3SDoug Rabson * make another attempt to take the lock. 1423dfdcada3SDoug Rabson */ 1424dfdcada3SDoug Rabson *cookiep = (void *) lock; 1425dfdcada3SDoug Rabson error = EINPROGRESS; 1426dfdcada3SDoug Rabson goto out; 1427dfdcada3SDoug Rabson } 1428dfdcada3SDoug Rabson 1429dfdcada3SDoug Rabson error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0); 143092dc7331SDavid Greenman /* 14311168ab08SBruce Evans * We may have been awakened by a signal and/or by a 1432dfdcada3SDoug Rabson * debugger continuing us (in which cases we must 1433dfdcada3SDoug Rabson * remove our lock graph edges) and/or by another 1434dfdcada3SDoug Rabson * process releasing a lock (in which case our edges 1435dfdcada3SDoug Rabson * have already been removed and we have been moved to 1436eab626f1SKonstantin Belousov * the active list). We may also have been woken by 1437eab626f1SKonstantin Belousov * lf_purgelocks which we report to the caller as 1438eab626f1SKonstantin Belousov * EINTR. In that case, lf_purgelocks will have 1439eab626f1SKonstantin Belousov * removed our lock graph edges. 1440dfdcada3SDoug Rabson * 1441dfdcada3SDoug Rabson * Note that it is possible to receive a signal after 1442dfdcada3SDoug Rabson * we were successfully woken (and moved to the active 1443dfdcada3SDoug Rabson * list) but before we resumed execution. In this 1444dfdcada3SDoug Rabson * case, our lf_outedges list will be clear. We 1445dfdcada3SDoug Rabson * pretend there was no error. 1446dfdcada3SDoug Rabson * 1447dfdcada3SDoug Rabson * Note also, if we have been sleeping long enough, we 1448dfdcada3SDoug Rabson * may now have incoming edges from some newer lock 1449dfdcada3SDoug Rabson * which is waiting behind us in the queue. 145092dc7331SDavid Greenman */ 1451eab626f1SKonstantin Belousov if (lock->lf_flags & F_INTR) { 1452eab626f1SKonstantin Belousov error = EINTR; 1453eab626f1SKonstantin Belousov lf_free_lock(lock); 1454eab626f1SKonstantin Belousov goto out; 1455eab626f1SKonstantin Belousov } 1456dfdcada3SDoug Rabson if (LIST_EMPTY(&lock->lf_outedges)) { 1457dfdcada3SDoug Rabson error = 0; 1458dfdcada3SDoug Rabson } else { 1459dfdcada3SDoug Rabson lf_cancel_lock(state, lock); 1460dfdcada3SDoug Rabson goto out; 14611168ab08SBruce Evans } 1462dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1463dfdcada3SDoug Rabson if (lockf_debug & 1) { 1464dfdcada3SDoug Rabson lf_print("lf_setlock: granted", lock); 1465dfdcada3SDoug Rabson } 1466dfdcada3SDoug Rabson #endif 1467dfdcada3SDoug Rabson goto out; 1468dfdcada3SDoug Rabson } 1469dfdcada3SDoug Rabson /* 1470dfdcada3SDoug Rabson * It looks like we are going to grant the lock. First add 1471dfdcada3SDoug Rabson * edges from any currently pending lock that the new lock 1472dfdcada3SDoug Rabson * would block. 1473dfdcada3SDoug Rabson */ 1474dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1475dfdcada3SDoug Rabson error = lf_add_incoming(state, lock); 1476dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 14771168ab08SBruce Evans if (error) { 1478dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1479dfdcada3SDoug Rabson if (lockf_debug & 1) 1480dfdcada3SDoug Rabson lf_print("lf_setlock: deadlock", lock); 1481dfdcada3SDoug Rabson #endif 1482dfdcada3SDoug Rabson lf_free_lock(lock); 1483dfdcada3SDoug Rabson goto out; 148492dc7331SDavid Greenman } 1485dfdcada3SDoug Rabson 148692dc7331SDavid Greenman /* 148792dc7331SDavid Greenman * No blocks!! Add the lock. Note that we will 148892dc7331SDavid Greenman * downgrade or upgrade any overlapping locks this 148992dc7331SDavid Greenman * process already owns. 149092dc7331SDavid Greenman */ 1491dfdcada3SDoug Rabson lf_activate_lock(state, lock); 1492dfdcada3SDoug Rabson error = 0; 1493dfdcada3SDoug Rabson out: 1494dfdcada3SDoug Rabson return (error); 149592dc7331SDavid Greenman } 149692dc7331SDavid Greenman 149792dc7331SDavid Greenman /* 149892dc7331SDavid Greenman * Remove a byte-range lock on an inode. 149992dc7331SDavid Greenman * 150092dc7331SDavid Greenman * Generally, find the lock (or an overlap to that lock) 150192dc7331SDavid Greenman * and remove it (or shrink it), then wakeup anyone we can. 150292dc7331SDavid Greenman */ 150387b6de2bSPoul-Henning Kamp static int 1504dfdcada3SDoug Rabson lf_clearlock(struct lockf *state, struct lockf_entry *unlock) 150592dc7331SDavid Greenman { 1506dfdcada3SDoug Rabson struct lockf_entry *overlap; 150792dc7331SDavid Greenman 1508dfdcada3SDoug Rabson overlap = LIST_FIRST(&state->ls_active); 1509dfdcada3SDoug Rabson 1510dfdcada3SDoug Rabson if (overlap == NOLOCKF) 151192dc7331SDavid Greenman return (0); 151292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 151392dc7331SDavid Greenman if (unlock->lf_type != F_UNLCK) 151492dc7331SDavid Greenman panic("lf_clearlock: bad type"); 151592dc7331SDavid Greenman if (lockf_debug & 1) 151692dc7331SDavid Greenman lf_print("lf_clearlock", unlock); 151792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 151892dc7331SDavid Greenman 1519dfdcada3SDoug Rabson lf_activate_lock(state, unlock); 152092dc7331SDavid Greenman 152192dc7331SDavid Greenman return (0); 152292dc7331SDavid Greenman } 152392dc7331SDavid Greenman 152492dc7331SDavid Greenman /* 1525dfdcada3SDoug Rabson * Check whether there is a blocking lock, and if so return its 1526dfdcada3SDoug Rabson * details in '*fl'. 152792dc7331SDavid Greenman */ 152887b6de2bSPoul-Henning Kamp static int 1529dfdcada3SDoug Rabson lf_getlock(struct lockf *state, struct lockf_entry *lock, struct flock *fl) 153092dc7331SDavid Greenman { 1531dfdcada3SDoug Rabson struct lockf_entry *block; 153292dc7331SDavid Greenman 153392dc7331SDavid Greenman #ifdef LOCKF_DEBUG 153492dc7331SDavid Greenman if (lockf_debug & 1) 153592dc7331SDavid Greenman lf_print("lf_getlock", lock); 153692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 153792dc7331SDavid Greenman 1538dfdcada3SDoug Rabson if ((block = lf_getblock(state, lock))) { 153992dc7331SDavid Greenman fl->l_type = block->lf_type; 154092dc7331SDavid Greenman fl->l_whence = SEEK_SET; 154192dc7331SDavid Greenman fl->l_start = block->lf_start; 1542dfdcada3SDoug Rabson if (block->lf_end == OFF_MAX) 154392dc7331SDavid Greenman fl->l_len = 0; 154492dc7331SDavid Greenman else 154592dc7331SDavid Greenman fl->l_len = block->lf_end - block->lf_start + 1; 1546dfdcada3SDoug Rabson fl->l_pid = block->lf_owner->lo_pid; 1547dfdcada3SDoug Rabson fl->l_sysid = block->lf_owner->lo_sysid; 154892dc7331SDavid Greenman } else { 154992dc7331SDavid Greenman fl->l_type = F_UNLCK; 155092dc7331SDavid Greenman } 155192dc7331SDavid Greenman return (0); 155292dc7331SDavid Greenman } 155392dc7331SDavid Greenman 155492dc7331SDavid Greenman /* 1555dfdcada3SDoug Rabson * Cancel an async lock request. 1556dfdcada3SDoug Rabson */ 1557dfdcada3SDoug Rabson static int 1558dfdcada3SDoug Rabson lf_cancel(struct lockf *state, struct lockf_entry *lock, void *cookie) 1559dfdcada3SDoug Rabson { 1560dfdcada3SDoug Rabson struct lockf_entry *reallock; 1561dfdcada3SDoug Rabson 1562dfdcada3SDoug Rabson /* 1563dfdcada3SDoug Rabson * We need to match this request with an existing lock 1564dfdcada3SDoug Rabson * request. 1565dfdcada3SDoug Rabson */ 1566dfdcada3SDoug Rabson LIST_FOREACH(reallock, &state->ls_pending, lf_link) { 1567dfdcada3SDoug Rabson if ((void *) reallock == cookie) { 1568dfdcada3SDoug Rabson /* 1569dfdcada3SDoug Rabson * Double-check that this lock looks right 1570dfdcada3SDoug Rabson * (maybe use a rolling ID for the cancel 1571dfdcada3SDoug Rabson * cookie instead?) 1572dfdcada3SDoug Rabson */ 1573dfdcada3SDoug Rabson if (!(reallock->lf_vnode == lock->lf_vnode 1574dfdcada3SDoug Rabson && reallock->lf_start == lock->lf_start 1575dfdcada3SDoug Rabson && reallock->lf_end == lock->lf_end)) { 1576dfdcada3SDoug Rabson return (ENOENT); 1577dfdcada3SDoug Rabson } 1578dfdcada3SDoug Rabson 1579dfdcada3SDoug Rabson /* 1580dfdcada3SDoug Rabson * Make sure this lock was async and then just 1581dfdcada3SDoug Rabson * remove it from its wait lists. 1582dfdcada3SDoug Rabson */ 1583dfdcada3SDoug Rabson if (!reallock->lf_async_task) { 1584dfdcada3SDoug Rabson return (ENOENT); 1585dfdcada3SDoug Rabson } 1586dfdcada3SDoug Rabson 1587dfdcada3SDoug Rabson /* 1588dfdcada3SDoug Rabson * Note that since any other thread must take 1589dfdcada3SDoug Rabson * state->ls_lock before it can possibly 1590dfdcada3SDoug Rabson * trigger the async callback, we are safe 1591dfdcada3SDoug Rabson * from a race with lf_wakeup_lock, i.e. we 1592dfdcada3SDoug Rabson * can free the lock (actually our caller does 1593dfdcada3SDoug Rabson * this). 1594dfdcada3SDoug Rabson */ 1595dfdcada3SDoug Rabson lf_cancel_lock(state, reallock); 1596dfdcada3SDoug Rabson return (0); 1597dfdcada3SDoug Rabson } 1598dfdcada3SDoug Rabson } 1599dfdcada3SDoug Rabson 1600dfdcada3SDoug Rabson /* 1601dfdcada3SDoug Rabson * We didn't find a matching lock - not much we can do here. 1602dfdcada3SDoug Rabson */ 1603dfdcada3SDoug Rabson return (ENOENT); 1604dfdcada3SDoug Rabson } 1605dfdcada3SDoug Rabson 1606dfdcada3SDoug Rabson /* 160792dc7331SDavid Greenman * Walk the list of locks for an inode and 160892dc7331SDavid Greenman * return the first blocking lock. 160992dc7331SDavid Greenman */ 1610dfdcada3SDoug Rabson static struct lockf_entry * 1611dfdcada3SDoug Rabson lf_getblock(struct lockf *state, struct lockf_entry *lock) 161292dc7331SDavid Greenman { 1613dfdcada3SDoug Rabson struct lockf_entry *overlap; 161492dc7331SDavid Greenman 1615dfdcada3SDoug Rabson LIST_FOREACH(overlap, &state->ls_active, lf_link) { 161692dc7331SDavid Greenman /* 1617dfdcada3SDoug Rabson * We may assume that the active list is sorted by 1618dfdcada3SDoug Rabson * lf_start. 161992dc7331SDavid Greenman */ 1620dfdcada3SDoug Rabson if (overlap->lf_start > lock->lf_end) 1621dfdcada3SDoug Rabson break; 1622dfdcada3SDoug Rabson if (!lf_blocks(lock, overlap)) 1623dfdcada3SDoug Rabson continue; 162492dc7331SDavid Greenman return (overlap); 162592dc7331SDavid Greenman } 162692dc7331SDavid Greenman return (NOLOCKF); 162792dc7331SDavid Greenman } 162892dc7331SDavid Greenman 162992dc7331SDavid Greenman /* 1630dfdcada3SDoug Rabson * Walk the list of locks for an inode to find an overlapping lock (if 1631dfdcada3SDoug Rabson * any) and return a classification of that overlap. 1632dfdcada3SDoug Rabson * 1633dfdcada3SDoug Rabson * Arguments: 1634dfdcada3SDoug Rabson * *overlap The place in the lock list to start looking 1635dfdcada3SDoug Rabson * lock The lock which is being tested 1636dfdcada3SDoug Rabson * type Pass 'SELF' to test only locks with the same 1637dfdcada3SDoug Rabson * owner as lock, or 'OTHER' to test only locks 1638dfdcada3SDoug Rabson * with a different owner 1639dfdcada3SDoug Rabson * 1640dfdcada3SDoug Rabson * Returns one of six values: 1641dfdcada3SDoug Rabson * 0) no overlap 1642dfdcada3SDoug Rabson * 1) overlap == lock 1643dfdcada3SDoug Rabson * 2) overlap contains lock 1644dfdcada3SDoug Rabson * 3) lock contains overlap 1645dfdcada3SDoug Rabson * 4) overlap starts before lock 1646dfdcada3SDoug Rabson * 5) overlap ends after lock 1647dfdcada3SDoug Rabson * 1648dfdcada3SDoug Rabson * If there is an overlapping lock, '*overlap' is set to point at the 1649dfdcada3SDoug Rabson * overlapping lock. 165092dc7331SDavid Greenman * 165192dc7331SDavid Greenman * NOTE: this returns only the FIRST overlapping lock. There 165292dc7331SDavid Greenman * may be more than one. 165392dc7331SDavid Greenman */ 165487b6de2bSPoul-Henning Kamp static int 1655dfdcada3SDoug Rabson lf_findoverlap(struct lockf_entry **overlap, struct lockf_entry *lock, int type) 165692dc7331SDavid Greenman { 1657dfdcada3SDoug Rabson struct lockf_entry *lf; 165892dc7331SDavid Greenman off_t start, end; 1659dfdcada3SDoug Rabson int res; 166092dc7331SDavid Greenman 1661dfdcada3SDoug Rabson if ((*overlap) == NOLOCKF) { 166292dc7331SDavid Greenman return (0); 1663dfdcada3SDoug Rabson } 166492dc7331SDavid Greenman #ifdef LOCKF_DEBUG 166592dc7331SDavid Greenman if (lockf_debug & 2) 166692dc7331SDavid Greenman lf_print("lf_findoverlap: looking for overlap in", lock); 166792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 166892dc7331SDavid Greenman start = lock->lf_start; 166992dc7331SDavid Greenman end = lock->lf_end; 1670dfdcada3SDoug Rabson res = 0; 1671dfdcada3SDoug Rabson while (*overlap) { 1672dfdcada3SDoug Rabson lf = *overlap; 1673dfdcada3SDoug Rabson if (lf->lf_start > end) 1674dfdcada3SDoug Rabson break; 1675dfdcada3SDoug Rabson if (((type & SELF) && lf->lf_owner != lock->lf_owner) || 1676dfdcada3SDoug Rabson ((type & OTHERS) && lf->lf_owner == lock->lf_owner)) { 1677dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 167892dc7331SDavid Greenman continue; 167992dc7331SDavid Greenman } 168092dc7331SDavid Greenman #ifdef LOCKF_DEBUG 168192dc7331SDavid Greenman if (lockf_debug & 2) 168292dc7331SDavid Greenman lf_print("\tchecking", lf); 168392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 168492dc7331SDavid Greenman /* 168592dc7331SDavid Greenman * OK, check for overlap 168692dc7331SDavid Greenman * 168792dc7331SDavid Greenman * Six cases: 168892dc7331SDavid Greenman * 0) no overlap 168992dc7331SDavid Greenman * 1) overlap == lock 169092dc7331SDavid Greenman * 2) overlap contains lock 169192dc7331SDavid Greenman * 3) lock contains overlap 169292dc7331SDavid Greenman * 4) overlap starts before lock 169392dc7331SDavid Greenman * 5) overlap ends after lock 169492dc7331SDavid Greenman */ 1695dfdcada3SDoug Rabson if (start > lf->lf_end) { 169692dc7331SDavid Greenman /* Case 0 */ 169792dc7331SDavid Greenman #ifdef LOCKF_DEBUG 169892dc7331SDavid Greenman if (lockf_debug & 2) 169992dc7331SDavid Greenman printf("no overlap\n"); 170092dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1701dfdcada3SDoug Rabson *overlap = LIST_NEXT(lf, lf_link); 170292dc7331SDavid Greenman continue; 170392dc7331SDavid Greenman } 1704dfdcada3SDoug Rabson if (lf->lf_start == start && lf->lf_end == end) { 170592dc7331SDavid Greenman /* Case 1 */ 170692dc7331SDavid Greenman #ifdef LOCKF_DEBUG 170792dc7331SDavid Greenman if (lockf_debug & 2) 170892dc7331SDavid Greenman printf("overlap == lock\n"); 170992dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1710dfdcada3SDoug Rabson res = 1; 1711dfdcada3SDoug Rabson break; 171292dc7331SDavid Greenman } 1713dfdcada3SDoug Rabson if (lf->lf_start <= start && lf->lf_end >= end) { 171492dc7331SDavid Greenman /* Case 2 */ 171592dc7331SDavid Greenman #ifdef LOCKF_DEBUG 171692dc7331SDavid Greenman if (lockf_debug & 2) 171792dc7331SDavid Greenman printf("overlap contains lock\n"); 171892dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1719dfdcada3SDoug Rabson res = 2; 1720dfdcada3SDoug Rabson break; 172192dc7331SDavid Greenman } 1722dfdcada3SDoug Rabson if (start <= lf->lf_start && end >= lf->lf_end) { 172392dc7331SDavid Greenman /* Case 3 */ 172492dc7331SDavid Greenman #ifdef LOCKF_DEBUG 172592dc7331SDavid Greenman if (lockf_debug & 2) 172692dc7331SDavid Greenman printf("lock contains overlap\n"); 172792dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1728dfdcada3SDoug Rabson res = 3; 1729dfdcada3SDoug Rabson break; 173092dc7331SDavid Greenman } 1731dfdcada3SDoug Rabson if (lf->lf_start < start && lf->lf_end >= start) { 173292dc7331SDavid Greenman /* Case 4 */ 173392dc7331SDavid Greenman #ifdef LOCKF_DEBUG 173492dc7331SDavid Greenman if (lockf_debug & 2) 173592dc7331SDavid Greenman printf("overlap starts before lock\n"); 173692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1737dfdcada3SDoug Rabson res = 4; 1738dfdcada3SDoug Rabson break; 173992dc7331SDavid Greenman } 1740dfdcada3SDoug Rabson if (lf->lf_start > start && lf->lf_end > end) { 174192dc7331SDavid Greenman /* Case 5 */ 174292dc7331SDavid Greenman #ifdef LOCKF_DEBUG 174392dc7331SDavid Greenman if (lockf_debug & 2) 174492dc7331SDavid Greenman printf("overlap ends after lock\n"); 174592dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 1746dfdcada3SDoug Rabson res = 5; 1747dfdcada3SDoug Rabson break; 174892dc7331SDavid Greenman } 174992dc7331SDavid Greenman panic("lf_findoverlap: default"); 175092dc7331SDavid Greenman } 1751dfdcada3SDoug Rabson return (res); 175292dc7331SDavid Greenman } 175392dc7331SDavid Greenman 175492dc7331SDavid Greenman /* 1755dfdcada3SDoug Rabson * Split an the existing 'lock1', based on the extent of the lock 1756dfdcada3SDoug Rabson * described by 'lock2'. The existing lock should cover 'lock2' 1757dfdcada3SDoug Rabson * entirely. 1758dfdcada3SDoug Rabson * 1759dfdcada3SDoug Rabson * Any pending locks which have been been unblocked are added to 1760dfdcada3SDoug Rabson * 'granted' 176192dc7331SDavid Greenman */ 176287b6de2bSPoul-Henning Kamp static void 1763dfdcada3SDoug Rabson lf_split(struct lockf *state, struct lockf_entry *lock1, 1764dfdcada3SDoug Rabson struct lockf_entry *lock2, struct lockf_entry_list *granted) 176592dc7331SDavid Greenman { 1766dfdcada3SDoug Rabson struct lockf_entry *splitlock; 176792dc7331SDavid Greenman 176892dc7331SDavid Greenman #ifdef LOCKF_DEBUG 176992dc7331SDavid Greenman if (lockf_debug & 2) { 177092dc7331SDavid Greenman lf_print("lf_split", lock1); 177192dc7331SDavid Greenman lf_print("splitting from", lock2); 177292dc7331SDavid Greenman } 177392dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 177492dc7331SDavid Greenman /* 1775dfdcada3SDoug Rabson * Check to see if we don't need to split at all. 177692dc7331SDavid Greenman */ 177792dc7331SDavid Greenman if (lock1->lf_start == lock2->lf_start) { 1778dfdcada3SDoug Rabson lf_set_start(state, lock1, lock2->lf_end + 1, granted); 177992dc7331SDavid Greenman return; 178092dc7331SDavid Greenman } 178192dc7331SDavid Greenman if (lock1->lf_end == lock2->lf_end) { 1782dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 178392dc7331SDavid Greenman return; 178492dc7331SDavid Greenman } 178592dc7331SDavid Greenman /* 178692dc7331SDavid Greenman * Make a new lock consisting of the last part of 1787dfdcada3SDoug Rabson * the encompassing lock. 178892dc7331SDavid Greenman */ 1789dfdcada3SDoug Rabson splitlock = lf_alloc_lock(lock1->lf_owner); 1790dfdcada3SDoug Rabson memcpy(splitlock, lock1, sizeof *splitlock); 1791dfdcada3SDoug Rabson if (splitlock->lf_flags & F_REMOTE) 1792dfdcada3SDoug Rabson vref(splitlock->lf_vnode); 1793dfdcada3SDoug Rabson 1794dfdcada3SDoug Rabson /* 1795dfdcada3SDoug Rabson * This cannot cause a deadlock since any edges we would add 1796dfdcada3SDoug Rabson * to splitlock already exist in lock1. We must be sure to add 1797dfdcada3SDoug Rabson * necessary dependancies to splitlock before we reduce lock1 1798dfdcada3SDoug Rabson * otherwise we may accidentally grant a pending lock that 1799dfdcada3SDoug Rabson * was blocked by the tail end of lock1. 1800dfdcada3SDoug Rabson */ 180192dc7331SDavid Greenman splitlock->lf_start = lock2->lf_end + 1; 1802dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_outedges); 1803dfdcada3SDoug Rabson LIST_INIT(&splitlock->lf_inedges); 1804dfdcada3SDoug Rabson sx_xlock(&lf_owner_graph_lock); 1805dfdcada3SDoug Rabson lf_add_incoming(state, splitlock); 1806dfdcada3SDoug Rabson sx_xunlock(&lf_owner_graph_lock); 1807dfdcada3SDoug Rabson 1808dfdcada3SDoug Rabson lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1809dfdcada3SDoug Rabson 181092dc7331SDavid Greenman /* 181192dc7331SDavid Greenman * OK, now link it in 181292dc7331SDavid Greenman */ 1813dfdcada3SDoug Rabson lf_insert_lock(state, splitlock); 1814dfdcada3SDoug Rabson } 1815dfdcada3SDoug Rabson 1816dfdcada3SDoug Rabson struct clearlock { 1817dfdcada3SDoug Rabson STAILQ_ENTRY(clearlock) link; 1818dfdcada3SDoug Rabson struct vnode *vp; 1819dfdcada3SDoug Rabson struct flock fl; 1820dfdcada3SDoug Rabson }; 1821dfdcada3SDoug Rabson STAILQ_HEAD(clearlocklist, clearlock); 1822dfdcada3SDoug Rabson 1823dfdcada3SDoug Rabson void 1824dfdcada3SDoug Rabson lf_clearremotesys(int sysid) 1825dfdcada3SDoug Rabson { 1826dfdcada3SDoug Rabson struct lockf *ls; 1827dfdcada3SDoug Rabson struct lockf_entry *lf; 1828dfdcada3SDoug Rabson struct clearlock *cl; 1829dfdcada3SDoug Rabson struct clearlocklist locks; 1830dfdcada3SDoug Rabson 1831dfdcada3SDoug Rabson KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS")); 1832dfdcada3SDoug Rabson 1833dfdcada3SDoug Rabson /* 1834dfdcada3SDoug Rabson * In order to keep the locking simple, we iterate over the 1835dfdcada3SDoug Rabson * active lock lists to build a list of locks that need 1836dfdcada3SDoug Rabson * releasing. We then call VOP_ADVLOCK for each one in turn. 1837dfdcada3SDoug Rabson * 1838dfdcada3SDoug Rabson * We take an extra reference to the vnode for the duration to 1839dfdcada3SDoug Rabson * make sure it doesn't go away before we are finished. 1840dfdcada3SDoug Rabson */ 1841dfdcada3SDoug Rabson STAILQ_INIT(&locks); 1842dfdcada3SDoug Rabson sx_xlock(&lf_lock_states_lock); 1843dfdcada3SDoug Rabson LIST_FOREACH(ls, &lf_lock_states, ls_link) { 1844dfdcada3SDoug Rabson sx_xlock(&ls->ls_lock); 1845dfdcada3SDoug Rabson LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1846dfdcada3SDoug Rabson if (lf->lf_owner->lo_sysid != sysid) 1847dfdcada3SDoug Rabson continue; 1848dfdcada3SDoug Rabson 1849dfdcada3SDoug Rabson cl = malloc(sizeof(struct clearlock), M_LOCKF, 1850dfdcada3SDoug Rabson M_WAITOK); 1851dfdcada3SDoug Rabson cl->vp = lf->lf_vnode; 1852dfdcada3SDoug Rabson vref(cl->vp); 1853dfdcada3SDoug Rabson cl->fl.l_start = lf->lf_start; 1854dfdcada3SDoug Rabson if (lf->lf_end == OFF_MAX) 1855dfdcada3SDoug Rabson cl->fl.l_len = 0; 1856dfdcada3SDoug Rabson else 1857dfdcada3SDoug Rabson cl->fl.l_len = 1858dfdcada3SDoug Rabson lf->lf_end - lf->lf_start + 1; 1859dfdcada3SDoug Rabson cl->fl.l_whence = SEEK_SET; 1860dfdcada3SDoug Rabson cl->fl.l_type = F_UNLCK; 1861dfdcada3SDoug Rabson cl->fl.l_pid = lf->lf_owner->lo_pid; 1862dfdcada3SDoug Rabson cl->fl.l_sysid = sysid; 1863dfdcada3SDoug Rabson STAILQ_INSERT_TAIL(&locks, cl, link); 1864dfdcada3SDoug Rabson } 1865dfdcada3SDoug Rabson sx_xunlock(&ls->ls_lock); 1866dfdcada3SDoug Rabson } 1867dfdcada3SDoug Rabson sx_xunlock(&lf_lock_states_lock); 1868dfdcada3SDoug Rabson 1869dfdcada3SDoug Rabson while ((cl = STAILQ_FIRST(&locks)) != NULL) { 1870dfdcada3SDoug Rabson STAILQ_REMOVE_HEAD(&locks, link); 1871dfdcada3SDoug Rabson VOP_ADVLOCK(cl->vp, 0, F_UNLCK, &cl->fl, F_REMOTE); 1872dfdcada3SDoug Rabson vrele(cl->vp); 1873dfdcada3SDoug Rabson free(cl, M_LOCKF); 1874dfdcada3SDoug Rabson } 1875dfdcada3SDoug Rabson } 1876dfdcada3SDoug Rabson 1877dfdcada3SDoug Rabson int 1878dfdcada3SDoug Rabson lf_countlocks(int sysid) 1879dfdcada3SDoug Rabson { 1880dfdcada3SDoug Rabson int i; 1881dfdcada3SDoug Rabson struct lock_owner *lo; 1882dfdcada3SDoug Rabson int count; 1883dfdcada3SDoug Rabson 1884dfdcada3SDoug Rabson count = 0; 1885dfdcada3SDoug Rabson sx_xlock(&lf_lock_owners_lock); 1886dfdcada3SDoug Rabson for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 1887dfdcada3SDoug Rabson LIST_FOREACH(lo, &lf_lock_owners[i], lo_link) 1888dfdcada3SDoug Rabson if (lo->lo_sysid == sysid) 1889dfdcada3SDoug Rabson count += lo->lo_refs; 1890dfdcada3SDoug Rabson sx_xunlock(&lf_lock_owners_lock); 1891dfdcada3SDoug Rabson 1892dfdcada3SDoug Rabson return (count); 1893dfdcada3SDoug Rabson } 1894dfdcada3SDoug Rabson 1895dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 1896dfdcada3SDoug Rabson 1897dfdcada3SDoug Rabson /* 1898dfdcada3SDoug Rabson * Return non-zero if y is reachable from x using a brute force 1899dfdcada3SDoug Rabson * search. If reachable and path is non-null, return the route taken 1900dfdcada3SDoug Rabson * in path. 1901dfdcada3SDoug Rabson */ 1902dfdcada3SDoug Rabson static int 1903dfdcada3SDoug Rabson graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 1904dfdcada3SDoug Rabson struct owner_vertex_list *path) 1905dfdcada3SDoug Rabson { 1906dfdcada3SDoug Rabson struct owner_edge *e; 1907dfdcada3SDoug Rabson 1908dfdcada3SDoug Rabson if (x == y) { 1909dfdcada3SDoug Rabson if (path) 1910dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 1911dfdcada3SDoug Rabson return 1; 1912dfdcada3SDoug Rabson } 1913dfdcada3SDoug Rabson 1914dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 1915dfdcada3SDoug Rabson if (graph_reaches(e->e_to, y, path)) { 1916dfdcada3SDoug Rabson if (path) 1917dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(path, x, v_link); 1918dfdcada3SDoug Rabson return 1; 1919dfdcada3SDoug Rabson } 1920dfdcada3SDoug Rabson } 1921dfdcada3SDoug Rabson return 0; 192292dc7331SDavid Greenman } 192392dc7331SDavid Greenman 192492dc7331SDavid Greenman /* 1925dfdcada3SDoug Rabson * Perform consistency checks on the graph. Make sure the values of 1926dfdcada3SDoug Rabson * v_order are correct. If checkorder is non-zero, check no vertex can 1927dfdcada3SDoug Rabson * reach any other vertex with a smaller order. 192892dc7331SDavid Greenman */ 192987b6de2bSPoul-Henning Kamp static void 1930dfdcada3SDoug Rabson graph_check(struct owner_graph *g, int checkorder) 193192dc7331SDavid Greenman { 1932dfdcada3SDoug Rabson int i, j; 193392dc7331SDavid Greenman 1934dfdcada3SDoug Rabson for (i = 0; i < g->g_size; i++) { 1935dfdcada3SDoug Rabson if (!g->g_vertices[i]->v_owner) 1936dfdcada3SDoug Rabson continue; 1937dfdcada3SDoug Rabson KASSERT(g->g_vertices[i]->v_order == i, 1938dfdcada3SDoug Rabson ("lock graph vertices disordered")); 1939dfdcada3SDoug Rabson if (checkorder) { 1940dfdcada3SDoug Rabson for (j = 0; j < i; j++) { 1941dfdcada3SDoug Rabson if (!g->g_vertices[j]->v_owner) 1942dfdcada3SDoug Rabson continue; 1943dfdcada3SDoug Rabson KASSERT(!graph_reaches(g->g_vertices[i], 1944dfdcada3SDoug Rabson g->g_vertices[j], NULL), 1945dfdcada3SDoug Rabson ("lock graph vertices disordered")); 1946dfdcada3SDoug Rabson } 1947dfdcada3SDoug Rabson } 1948dfdcada3SDoug Rabson } 1949dfdcada3SDoug Rabson } 1950dfdcada3SDoug Rabson 1951dfdcada3SDoug Rabson static void 1952dfdcada3SDoug Rabson graph_print_vertices(struct owner_vertex_list *set) 1953dfdcada3SDoug Rabson { 1954dfdcada3SDoug Rabson struct owner_vertex *v; 1955dfdcada3SDoug Rabson 1956dfdcada3SDoug Rabson printf("{ "); 1957dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 1958dfdcada3SDoug Rabson printf("%d:", v->v_order); 1959dfdcada3SDoug Rabson lf_print_owner(v->v_owner); 1960dfdcada3SDoug Rabson if (TAILQ_NEXT(v, v_link)) 1961dfdcada3SDoug Rabson printf(", "); 1962dfdcada3SDoug Rabson } 1963dfdcada3SDoug Rabson printf(" }\n"); 1964dfdcada3SDoug Rabson } 1965dfdcada3SDoug Rabson 1966dfdcada3SDoug Rabson #endif 1967dfdcada3SDoug Rabson 1968dfdcada3SDoug Rabson /* 1969dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 1970dfdcada3SDoug Rabson * where v is reachable from y. Return -1 if a loop was detected 1971dfdcada3SDoug Rabson * (i.e. x is reachable from y, otherwise the number of vertices in 1972dfdcada3SDoug Rabson * this subset. 1973dfdcada3SDoug Rabson */ 1974dfdcada3SDoug Rabson static int 1975dfdcada3SDoug Rabson graph_delta_forward(struct owner_graph *g, struct owner_vertex *x, 1976dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 1977dfdcada3SDoug Rabson { 1978dfdcada3SDoug Rabson uint32_t gen; 1979dfdcada3SDoug Rabson struct owner_vertex *v; 1980dfdcada3SDoug Rabson struct owner_edge *e; 1981dfdcada3SDoug Rabson int n; 1982dfdcada3SDoug Rabson 1983dfdcada3SDoug Rabson /* 1984dfdcada3SDoug Rabson * We start with a set containing just y. Then for each vertex 1985dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 1986dfdcada3SDoug Rabson * has an out-edge to and that is within the affected region 1987dfdcada3SDoug Rabson * [y..x]. If we see the vertex x on our travels, stop 1988dfdcada3SDoug Rabson * immediately. 1989dfdcada3SDoug Rabson */ 1990dfdcada3SDoug Rabson TAILQ_INIT(delta); 1991dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, y, v_link); 1992dfdcada3SDoug Rabson v = y; 1993dfdcada3SDoug Rabson n = 1; 1994dfdcada3SDoug Rabson gen = g->g_gen; 1995dfdcada3SDoug Rabson while (v) { 1996dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_outedges, e_outlink) { 1997dfdcada3SDoug Rabson if (e->e_to == x) 1998dfdcada3SDoug Rabson return -1; 1999dfdcada3SDoug Rabson if (e->e_to->v_order < x->v_order 2000dfdcada3SDoug Rabson && e->e_to->v_gen != gen) { 2001dfdcada3SDoug Rabson e->e_to->v_gen = gen; 2002dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, e->e_to, v_link); 2003dfdcada3SDoug Rabson n++; 2004dfdcada3SDoug Rabson } 2005dfdcada3SDoug Rabson } 2006dfdcada3SDoug Rabson v = TAILQ_NEXT(v, v_link); 2007dfdcada3SDoug Rabson } 2008dfdcada3SDoug Rabson 2009dfdcada3SDoug Rabson return (n); 2010dfdcada3SDoug Rabson } 2011dfdcada3SDoug Rabson 2012dfdcada3SDoug Rabson /* 2013dfdcada3SDoug Rabson * Calculate the sub-set of vertices v from the affected region [y..x] 2014dfdcada3SDoug Rabson * where v reaches x. Return the number of vertices in this subset. 2015dfdcada3SDoug Rabson */ 2016dfdcada3SDoug Rabson static int 2017dfdcada3SDoug Rabson graph_delta_backward(struct owner_graph *g, struct owner_vertex *x, 2018dfdcada3SDoug Rabson struct owner_vertex *y, struct owner_vertex_list *delta) 2019dfdcada3SDoug Rabson { 2020dfdcada3SDoug Rabson uint32_t gen; 2021dfdcada3SDoug Rabson struct owner_vertex *v; 2022dfdcada3SDoug Rabson struct owner_edge *e; 2023dfdcada3SDoug Rabson int n; 2024dfdcada3SDoug Rabson 2025dfdcada3SDoug Rabson /* 2026dfdcada3SDoug Rabson * We start with a set containing just x. Then for each vertex 2027dfdcada3SDoug Rabson * v in the set so far unprocessed, we add each vertex that v 2028dfdcada3SDoug Rabson * has an in-edge from and that is within the affected region 2029dfdcada3SDoug Rabson * [y..x]. 2030dfdcada3SDoug Rabson */ 2031dfdcada3SDoug Rabson TAILQ_INIT(delta); 2032dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(delta, x, v_link); 2033dfdcada3SDoug Rabson v = x; 2034dfdcada3SDoug Rabson n = 1; 2035dfdcada3SDoug Rabson gen = g->g_gen; 2036dfdcada3SDoug Rabson while (v) { 2037dfdcada3SDoug Rabson LIST_FOREACH(e, &v->v_inedges, e_inlink) { 2038dfdcada3SDoug Rabson if (e->e_from->v_order > y->v_order 2039dfdcada3SDoug Rabson && e->e_from->v_gen != gen) { 2040dfdcada3SDoug Rabson e->e_from->v_gen = gen; 2041dfdcada3SDoug Rabson TAILQ_INSERT_HEAD(delta, e->e_from, v_link); 2042dfdcada3SDoug Rabson n++; 2043dfdcada3SDoug Rabson } 2044dfdcada3SDoug Rabson } 2045dfdcada3SDoug Rabson v = TAILQ_PREV(v, owner_vertex_list, v_link); 2046dfdcada3SDoug Rabson } 2047dfdcada3SDoug Rabson 2048dfdcada3SDoug Rabson return (n); 2049dfdcada3SDoug Rabson } 2050dfdcada3SDoug Rabson 2051dfdcada3SDoug Rabson static int 2052dfdcada3SDoug Rabson graph_add_indices(int *indices, int n, struct owner_vertex_list *set) 2053dfdcada3SDoug Rabson { 2054dfdcada3SDoug Rabson struct owner_vertex *v; 2055dfdcada3SDoug Rabson int i, j; 2056dfdcada3SDoug Rabson 2057dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2058dfdcada3SDoug Rabson for (i = n; 2059dfdcada3SDoug Rabson i > 0 && indices[i - 1] > v->v_order; i--) 2060dfdcada3SDoug Rabson ; 2061dfdcada3SDoug Rabson for (j = n - 1; j >= i; j--) 2062dfdcada3SDoug Rabson indices[j + 1] = indices[j]; 2063dfdcada3SDoug Rabson indices[i] = v->v_order; 2064dfdcada3SDoug Rabson n++; 2065dfdcada3SDoug Rabson } 2066dfdcada3SDoug Rabson 2067dfdcada3SDoug Rabson return (n); 2068dfdcada3SDoug Rabson } 2069dfdcada3SDoug Rabson 2070dfdcada3SDoug Rabson static int 2071dfdcada3SDoug Rabson graph_assign_indices(struct owner_graph *g, int *indices, int nextunused, 2072dfdcada3SDoug Rabson struct owner_vertex_list *set) 2073dfdcada3SDoug Rabson { 2074dfdcada3SDoug Rabson struct owner_vertex *v, *vlowest; 2075dfdcada3SDoug Rabson 2076dfdcada3SDoug Rabson while (!TAILQ_EMPTY(set)) { 2077dfdcada3SDoug Rabson vlowest = NULL; 2078dfdcada3SDoug Rabson TAILQ_FOREACH(v, set, v_link) { 2079dfdcada3SDoug Rabson if (!vlowest || v->v_order < vlowest->v_order) 2080dfdcada3SDoug Rabson vlowest = v; 2081dfdcada3SDoug Rabson } 2082dfdcada3SDoug Rabson TAILQ_REMOVE(set, vlowest, v_link); 2083dfdcada3SDoug Rabson vlowest->v_order = indices[nextunused]; 2084dfdcada3SDoug Rabson g->g_vertices[vlowest->v_order] = vlowest; 2085dfdcada3SDoug Rabson nextunused++; 2086dfdcada3SDoug Rabson } 2087dfdcada3SDoug Rabson 2088dfdcada3SDoug Rabson return (nextunused); 2089dfdcada3SDoug Rabson } 2090dfdcada3SDoug Rabson 2091dfdcada3SDoug Rabson static int 2092dfdcada3SDoug Rabson graph_add_edge(struct owner_graph *g, struct owner_vertex *x, 2093dfdcada3SDoug Rabson struct owner_vertex *y) 2094dfdcada3SDoug Rabson { 2095dfdcada3SDoug Rabson struct owner_edge *e; 2096dfdcada3SDoug Rabson struct owner_vertex_list deltaF, deltaB; 2097dfdcada3SDoug Rabson int nF, nB, n, vi, i; 2098dfdcada3SDoug Rabson int *indices; 2099dfdcada3SDoug Rabson 2100dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2101dfdcada3SDoug Rabson 2102dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2103dfdcada3SDoug Rabson if (e->e_to == y) { 2104dfdcada3SDoug Rabson e->e_refs++; 2105dfdcada3SDoug Rabson return (0); 210692dc7331SDavid Greenman } 210792dc7331SDavid Greenman } 210892dc7331SDavid Greenman 210992dc7331SDavid Greenman #ifdef LOCKF_DEBUG 2110dfdcada3SDoug Rabson if (lockf_debug & 8) { 2111dfdcada3SDoug Rabson printf("adding edge %d:", x->v_order); 2112dfdcada3SDoug Rabson lf_print_owner(x->v_owner); 2113dfdcada3SDoug Rabson printf(" -> %d:", y->v_order); 2114dfdcada3SDoug Rabson lf_print_owner(y->v_owner); 2115dfdcada3SDoug Rabson printf("\n"); 2116dfdcada3SDoug Rabson } 2117dfdcada3SDoug Rabson #endif 2118dfdcada3SDoug Rabson if (y->v_order < x->v_order) { 2119dfdcada3SDoug Rabson /* 2120dfdcada3SDoug Rabson * The new edge violates the order. First find the set 2121dfdcada3SDoug Rabson * of affected vertices reachable from y (deltaF) and 2122dfdcada3SDoug Rabson * the set of affect vertices affected that reach x 2123dfdcada3SDoug Rabson * (deltaB), using the graph generation number to 2124dfdcada3SDoug Rabson * detect whether we have visited a given vertex 2125dfdcada3SDoug Rabson * already. We re-order the graph so that each vertex 2126dfdcada3SDoug Rabson * in deltaB appears before each vertex in deltaF. 2127dfdcada3SDoug Rabson * 2128dfdcada3SDoug Rabson * If x is a member of deltaF, then the new edge would 2129dfdcada3SDoug Rabson * create a cycle. Otherwise, we may assume that 2130dfdcada3SDoug Rabson * deltaF and deltaB are disjoint. 2131dfdcada3SDoug Rabson */ 2132dfdcada3SDoug Rabson g->g_gen++; 2133dfdcada3SDoug Rabson if (g->g_gen == 0) { 2134dfdcada3SDoug Rabson /* 2135dfdcada3SDoug Rabson * Generation wrap. 2136dfdcada3SDoug Rabson */ 2137dfdcada3SDoug Rabson for (vi = 0; vi < g->g_size; vi++) { 2138dfdcada3SDoug Rabson g->g_vertices[vi]->v_gen = 0; 2139dfdcada3SDoug Rabson } 2140dfdcada3SDoug Rabson g->g_gen++; 2141dfdcada3SDoug Rabson } 2142dfdcada3SDoug Rabson nF = graph_delta_forward(g, x, y, &deltaF); 2143dfdcada3SDoug Rabson if (nF < 0) { 2144dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2145dfdcada3SDoug Rabson if (lockf_debug & 8) { 2146dfdcada3SDoug Rabson struct owner_vertex_list path; 2147dfdcada3SDoug Rabson printf("deadlock: "); 2148dfdcada3SDoug Rabson TAILQ_INIT(&path); 2149dfdcada3SDoug Rabson graph_reaches(y, x, &path); 2150dfdcada3SDoug Rabson graph_print_vertices(&path); 2151dfdcada3SDoug Rabson } 2152dfdcada3SDoug Rabson #endif 2153dfdcada3SDoug Rabson return (EDEADLK); 2154dfdcada3SDoug Rabson } 2155dfdcada3SDoug Rabson 2156dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2157dfdcada3SDoug Rabson if (lockf_debug & 8) { 2158dfdcada3SDoug Rabson printf("re-ordering graph vertices\n"); 2159dfdcada3SDoug Rabson printf("deltaF = "); 2160dfdcada3SDoug Rabson graph_print_vertices(&deltaF); 2161dfdcada3SDoug Rabson } 2162dfdcada3SDoug Rabson #endif 2163dfdcada3SDoug Rabson 2164dfdcada3SDoug Rabson nB = graph_delta_backward(g, x, y, &deltaB); 2165dfdcada3SDoug Rabson 2166dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2167dfdcada3SDoug Rabson if (lockf_debug & 8) { 2168dfdcada3SDoug Rabson printf("deltaB = "); 2169dfdcada3SDoug Rabson graph_print_vertices(&deltaB); 2170dfdcada3SDoug Rabson } 2171dfdcada3SDoug Rabson #endif 2172dfdcada3SDoug Rabson 2173dfdcada3SDoug Rabson /* 2174dfdcada3SDoug Rabson * We first build a set of vertex indices (vertex 2175dfdcada3SDoug Rabson * order values) that we may use, then we re-assign 2176dfdcada3SDoug Rabson * orders first to those vertices in deltaB, then to 2177dfdcada3SDoug Rabson * deltaF. Note that the contents of deltaF and deltaB 2178dfdcada3SDoug Rabson * may be partially disordered - we perform an 2179dfdcada3SDoug Rabson * insertion sort while building our index set. 2180dfdcada3SDoug Rabson */ 2181dfdcada3SDoug Rabson indices = g->g_indexbuf; 2182dfdcada3SDoug Rabson n = graph_add_indices(indices, 0, &deltaF); 2183dfdcada3SDoug Rabson graph_add_indices(indices, n, &deltaB); 2184dfdcada3SDoug Rabson 2185dfdcada3SDoug Rabson /* 2186dfdcada3SDoug Rabson * We must also be sure to maintain the relative 2187dfdcada3SDoug Rabson * ordering of deltaF and deltaB when re-assigning 2188dfdcada3SDoug Rabson * vertices. We do this by iteratively removing the 2189dfdcada3SDoug Rabson * lowest ordered element from the set and assigning 2190dfdcada3SDoug Rabson * it the next value from our new ordering. 2191dfdcada3SDoug Rabson */ 2192dfdcada3SDoug Rabson i = graph_assign_indices(g, indices, 0, &deltaB); 2193dfdcada3SDoug Rabson graph_assign_indices(g, indices, i, &deltaF); 2194dfdcada3SDoug Rabson 2195dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2196dfdcada3SDoug Rabson if (lockf_debug & 8) { 2197dfdcada3SDoug Rabson struct owner_vertex_list set; 2198dfdcada3SDoug Rabson TAILQ_INIT(&set); 2199dfdcada3SDoug Rabson for (i = 0; i < nB + nF; i++) 2200dfdcada3SDoug Rabson TAILQ_INSERT_TAIL(&set, 2201dfdcada3SDoug Rabson g->g_vertices[indices[i]], v_link); 2202dfdcada3SDoug Rabson printf("new ordering = "); 2203dfdcada3SDoug Rabson graph_print_vertices(&set); 2204dfdcada3SDoug Rabson } 2205dfdcada3SDoug Rabson #endif 2206dfdcada3SDoug Rabson } 2207dfdcada3SDoug Rabson 2208dfdcada3SDoug Rabson KASSERT(x->v_order < y->v_order, ("Failed to re-order graph")); 2209dfdcada3SDoug Rabson 2210dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2211dfdcada3SDoug Rabson if (lockf_debug & 8) { 2212dfdcada3SDoug Rabson graph_check(g, TRUE); 2213dfdcada3SDoug Rabson } 2214dfdcada3SDoug Rabson #endif 2215dfdcada3SDoug Rabson 2216dfdcada3SDoug Rabson e = malloc(sizeof(struct owner_edge), M_LOCKF, M_WAITOK); 2217dfdcada3SDoug Rabson 2218dfdcada3SDoug Rabson LIST_INSERT_HEAD(&x->v_outedges, e, e_outlink); 2219dfdcada3SDoug Rabson LIST_INSERT_HEAD(&y->v_inedges, e, e_inlink); 2220dfdcada3SDoug Rabson e->e_refs = 1; 2221dfdcada3SDoug Rabson e->e_from = x; 2222dfdcada3SDoug Rabson e->e_to = y; 2223dfdcada3SDoug Rabson 2224dfdcada3SDoug Rabson return (0); 2225dfdcada3SDoug Rabson } 2226dfdcada3SDoug Rabson 2227dfdcada3SDoug Rabson /* 2228dfdcada3SDoug Rabson * Remove an edge x->y from the graph. 2229dfdcada3SDoug Rabson */ 2230dfdcada3SDoug Rabson static void 2231dfdcada3SDoug Rabson graph_remove_edge(struct owner_graph *g, struct owner_vertex *x, 2232dfdcada3SDoug Rabson struct owner_vertex *y) 2233dfdcada3SDoug Rabson { 2234dfdcada3SDoug Rabson struct owner_edge *e; 2235dfdcada3SDoug Rabson 2236dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2237dfdcada3SDoug Rabson 2238dfdcada3SDoug Rabson LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2239dfdcada3SDoug Rabson if (e->e_to == y) 2240dfdcada3SDoug Rabson break; 2241dfdcada3SDoug Rabson } 2242dfdcada3SDoug Rabson KASSERT(e, ("Removing non-existent edge from deadlock graph")); 2243dfdcada3SDoug Rabson 2244dfdcada3SDoug Rabson e->e_refs--; 2245dfdcada3SDoug Rabson if (e->e_refs == 0) { 2246dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2247dfdcada3SDoug Rabson if (lockf_debug & 8) { 2248dfdcada3SDoug Rabson printf("removing 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 LIST_REMOVE(e, e_outlink); 2256dfdcada3SDoug Rabson LIST_REMOVE(e, e_inlink); 2257dfdcada3SDoug Rabson free(e, M_LOCKF); 2258dfdcada3SDoug Rabson } 2259dfdcada3SDoug Rabson } 2260dfdcada3SDoug Rabson 2261dfdcada3SDoug Rabson /* 2262dfdcada3SDoug Rabson * Allocate a vertex from the free list. Return ENOMEM if there are 2263dfdcada3SDoug Rabson * none. 2264dfdcada3SDoug Rabson */ 2265dfdcada3SDoug Rabson static struct owner_vertex * 2266dfdcada3SDoug Rabson graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo) 2267dfdcada3SDoug Rabson { 2268dfdcada3SDoug Rabson struct owner_vertex *v; 2269dfdcada3SDoug Rabson 2270dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2271dfdcada3SDoug Rabson 2272dfdcada3SDoug Rabson v = malloc(sizeof(struct owner_vertex), M_LOCKF, M_WAITOK); 2273dfdcada3SDoug Rabson if (g->g_size == g->g_space) { 2274dfdcada3SDoug Rabson g->g_vertices = realloc(g->g_vertices, 2275dfdcada3SDoug Rabson 2 * g->g_space * sizeof(struct owner_vertex *), 2276dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2277dfdcada3SDoug Rabson free(g->g_indexbuf, M_LOCKF); 2278dfdcada3SDoug Rabson g->g_indexbuf = malloc(2 * g->g_space * sizeof(int), 2279dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2280dfdcada3SDoug Rabson g->g_space = 2 * g->g_space; 2281dfdcada3SDoug Rabson } 2282dfdcada3SDoug Rabson v->v_order = g->g_size; 2283dfdcada3SDoug Rabson v->v_gen = g->g_gen; 2284dfdcada3SDoug Rabson g->g_vertices[g->g_size] = v; 2285dfdcada3SDoug Rabson g->g_size++; 2286dfdcada3SDoug Rabson 2287dfdcada3SDoug Rabson LIST_INIT(&v->v_outedges); 2288dfdcada3SDoug Rabson LIST_INIT(&v->v_inedges); 2289dfdcada3SDoug Rabson v->v_owner = lo; 2290dfdcada3SDoug Rabson 2291dfdcada3SDoug Rabson return (v); 2292dfdcada3SDoug Rabson } 2293dfdcada3SDoug Rabson 2294dfdcada3SDoug Rabson static void 2295dfdcada3SDoug Rabson graph_free_vertex(struct owner_graph *g, struct owner_vertex *v) 2296dfdcada3SDoug Rabson { 2297dfdcada3SDoug Rabson struct owner_vertex *w; 2298dfdcada3SDoug Rabson int i; 2299dfdcada3SDoug Rabson 2300dfdcada3SDoug Rabson sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2301dfdcada3SDoug Rabson 2302dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges")); 2303dfdcada3SDoug Rabson KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges")); 2304dfdcada3SDoug Rabson 2305dfdcada3SDoug Rabson /* 2306dfdcada3SDoug Rabson * Remove from the graph's array and close up the gap, 2307dfdcada3SDoug Rabson * renumbering the other vertices. 2308dfdcada3SDoug Rabson */ 2309dfdcada3SDoug Rabson for (i = v->v_order + 1; i < g->g_size; i++) { 2310dfdcada3SDoug Rabson w = g->g_vertices[i]; 2311dfdcada3SDoug Rabson w->v_order--; 2312dfdcada3SDoug Rabson g->g_vertices[i - 1] = w; 2313dfdcada3SDoug Rabson } 2314dfdcada3SDoug Rabson g->g_size--; 2315dfdcada3SDoug Rabson 2316dfdcada3SDoug Rabson free(v, M_LOCKF); 2317dfdcada3SDoug Rabson } 2318dfdcada3SDoug Rabson 2319dfdcada3SDoug Rabson static struct owner_graph * 2320dfdcada3SDoug Rabson graph_init(struct owner_graph *g) 2321dfdcada3SDoug Rabson { 2322dfdcada3SDoug Rabson 2323dfdcada3SDoug Rabson g->g_vertices = malloc(10 * sizeof(struct owner_vertex *), 2324dfdcada3SDoug Rabson M_LOCKF, M_WAITOK); 2325dfdcada3SDoug Rabson g->g_size = 0; 2326dfdcada3SDoug Rabson g->g_space = 10; 2327dfdcada3SDoug Rabson g->g_indexbuf = malloc(g->g_space * sizeof(int), M_LOCKF, M_WAITOK); 2328dfdcada3SDoug Rabson g->g_gen = 0; 2329dfdcada3SDoug Rabson 2330dfdcada3SDoug Rabson return (g); 2331dfdcada3SDoug Rabson } 2332dfdcada3SDoug Rabson 2333dfdcada3SDoug Rabson #ifdef LOCKF_DEBUG 2334dfdcada3SDoug Rabson /* 2335dfdcada3SDoug Rabson * Print description of a lock owner 2336dfdcada3SDoug Rabson */ 2337dfdcada3SDoug Rabson static void 2338dfdcada3SDoug Rabson lf_print_owner(struct lock_owner *lo) 2339dfdcada3SDoug Rabson { 2340dfdcada3SDoug Rabson 2341dfdcada3SDoug Rabson if (lo->lo_flags & F_REMOTE) { 2342dfdcada3SDoug Rabson printf("remote pid %d, system %d", 2343dfdcada3SDoug Rabson lo->lo_pid, lo->lo_sysid); 2344dfdcada3SDoug Rabson } else if (lo->lo_flags & F_FLOCK) { 2345dfdcada3SDoug Rabson printf("file %p", lo->lo_id); 2346dfdcada3SDoug Rabson } else { 2347dfdcada3SDoug Rabson printf("local pid %d", lo->lo_pid); 2348dfdcada3SDoug Rabson } 2349dfdcada3SDoug Rabson } 2350dfdcada3SDoug Rabson 235192dc7331SDavid Greenman /* 235292dc7331SDavid Greenman * Print out a lock. 235392dc7331SDavid Greenman */ 2354013e6650SJeff Roberson static void 2355dfdcada3SDoug Rabson lf_print(char *tag, struct lockf_entry *lock) 235692dc7331SDavid Greenman { 235792dc7331SDavid Greenman 2358d974cf4dSBruce Evans printf("%s: lock %p for ", tag, (void *)lock); 2359dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 236059aff5fcSAlfred Perlstein if (lock->lf_inode != (struct inode *)0) 2361dfdcada3SDoug Rabson printf(" in ino %ju on dev <%s>,", 2362a7a00d05SMaxime Henrion (uintmax_t)lock->lf_inode->i_number, 2363dfdcada3SDoug Rabson devtoname(lock->lf_inode->i_dev)); 2364dfdcada3SDoug Rabson printf(" %s, start %jd, end ", 236592dc7331SDavid Greenman lock->lf_type == F_RDLCK ? "shared" : 236692dc7331SDavid Greenman lock->lf_type == F_WRLCK ? "exclusive" : 2367a7a00d05SMaxime Henrion lock->lf_type == F_UNLCK ? "unlock" : "unknown", 2368dfdcada3SDoug Rabson (intmax_t)lock->lf_start); 2369dfdcada3SDoug Rabson if (lock->lf_end == OFF_MAX) 2370dfdcada3SDoug Rabson printf("EOF"); 237159aff5fcSAlfred Perlstein else 2372dfdcada3SDoug Rabson printf("%jd", (intmax_t)lock->lf_end); 2373dfdcada3SDoug Rabson if (!LIST_EMPTY(&lock->lf_outedges)) 2374dfdcada3SDoug Rabson printf(" block %p\n", 2375dfdcada3SDoug Rabson (void *)LIST_FIRST(&lock->lf_outedges)->le_to); 237692dc7331SDavid Greenman else 237792dc7331SDavid Greenman printf("\n"); 237892dc7331SDavid Greenman } 237992dc7331SDavid Greenman 2380013e6650SJeff Roberson static void 2381dfdcada3SDoug Rabson lf_printlist(char *tag, struct lockf_entry *lock) 238292dc7331SDavid Greenman { 2383dfdcada3SDoug Rabson struct lockf_entry *lf, *blk; 2384dfdcada3SDoug Rabson struct lockf_edge *e; 238592dc7331SDavid Greenman 238659aff5fcSAlfred Perlstein if (lock->lf_inode == (struct inode *)0) 238759aff5fcSAlfred Perlstein return; 238859aff5fcSAlfred Perlstein 238997eb8cfaSPoul-Henning Kamp printf("%s: Lock list for ino %ju on dev <%s>:\n", 2390a7a00d05SMaxime Henrion tag, (uintmax_t)lock->lf_inode->i_number, 239197eb8cfaSPoul-Henning Kamp devtoname(lock->lf_inode->i_dev)); 2392a365ea5fSDoug Rabson LIST_FOREACH(lf, &lock->lf_vnode->v_lockf->ls_active, lf_link) { 2393d974cf4dSBruce Evans printf("\tlock %p for ",(void *)lf); 2394dfdcada3SDoug Rabson lf_print_owner(lock->lf_owner); 2395a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 239692dc7331SDavid Greenman lf->lf_type == F_RDLCK ? "shared" : 239792dc7331SDavid Greenman lf->lf_type == F_WRLCK ? "exclusive" : 239892dc7331SDavid Greenman lf->lf_type == F_UNLCK ? "unlock" : 2399a7a00d05SMaxime Henrion "unknown", (intmax_t)lf->lf_start, (intmax_t)lf->lf_end); 2400dfdcada3SDoug Rabson LIST_FOREACH(e, &lf->lf_outedges, le_outlink) { 2401dfdcada3SDoug Rabson blk = e->le_to; 2402d974cf4dSBruce Evans printf("\n\t\tlock request %p for ", (void *)blk); 2403dfdcada3SDoug Rabson lf_print_owner(blk->lf_owner); 2404a7a00d05SMaxime Henrion printf(", %s, start %jd, end %jd", 2405996c772fSJohn Dyson blk->lf_type == F_RDLCK ? "shared" : 2406996c772fSJohn Dyson blk->lf_type == F_WRLCK ? "exclusive" : 2407996c772fSJohn Dyson blk->lf_type == F_UNLCK ? "unlock" : 2408a7a00d05SMaxime Henrion "unknown", (intmax_t)blk->lf_start, 2409a7a00d05SMaxime Henrion (intmax_t)blk->lf_end); 2410dfdcada3SDoug Rabson if (!LIST_EMPTY(&blk->lf_inedges)) 2411996c772fSJohn Dyson panic("lf_printlist: bad list"); 2412996c772fSJohn Dyson } 241392dc7331SDavid Greenman printf("\n"); 241492dc7331SDavid Greenman } 241592dc7331SDavid Greenman } 241692dc7331SDavid Greenman #endif /* LOCKF_DEBUG */ 2417