1 /*- 2 * Copyright (c) 2008 Isilon Inc http://www.isilon.com/ 3 * Authors: Doug Rabson <dfr@rabson.org> 4 * Developed with Red Inc: Alfred Perlstein <alfred@freebsd.org> 5 * 6 * Redistribution and use in source and binary forms, with or without 7 * modification, are permitted provided that the following conditions 8 * are met: 9 * 1. Redistributions of source code must retain the above copyright 10 * notice, this list of conditions and the following disclaimer. 11 * 2. Redistributions in binary form must reproduce the above copyright 12 * notice, this list of conditions and the following disclaimer in the 13 * documentation and/or other materials provided with the distribution. 14 * 15 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND 16 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 17 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 18 * ARE DISCLAIMED. IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE 19 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 20 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 21 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 22 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 23 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 24 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 25 * SUCH DAMAGE. 26 */ 27 /*- 28 * Copyright (c) 1982, 1986, 1989, 1993 29 * The Regents of the University of California. All rights reserved. 30 * 31 * This code is derived from software contributed to Berkeley by 32 * Scooter Morris at Genentech Inc. 33 * 34 * Redistribution and use in source and binary forms, with or without 35 * modification, are permitted provided that the following conditions 36 * are met: 37 * 1. Redistributions of source code must retain the above copyright 38 * notice, this list of conditions and the following disclaimer. 39 * 2. Redistributions in binary form must reproduce the above copyright 40 * notice, this list of conditions and the following disclaimer in the 41 * documentation and/or other materials provided with the distribution. 42 * 4. Neither the name of the University nor the names of its contributors 43 * may be used to endorse or promote products derived from this software 44 * without specific prior written permission. 45 * 46 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND 47 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE 48 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE 49 * ARE DISCLAIMED. IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE 50 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL 51 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS 52 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) 53 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT 54 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY 55 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF 56 * SUCH DAMAGE. 57 * 58 * @(#)ufs_lockf.c 8.3 (Berkeley) 1/6/94 59 */ 60 61 #include <sys/cdefs.h> 62 __FBSDID("$FreeBSD$"); 63 64 #include "opt_debug_lockf.h" 65 66 #include <sys/param.h> 67 #include <sys/systm.h> 68 #include <sys/hash.h> 69 #include <sys/kernel.h> 70 #include <sys/limits.h> 71 #include <sys/lock.h> 72 #include <sys/mount.h> 73 #include <sys/mutex.h> 74 #include <sys/proc.h> 75 #include <sys/sx.h> 76 #include <sys/unistd.h> 77 #include <sys/vnode.h> 78 #include <sys/malloc.h> 79 #include <sys/fcntl.h> 80 #include <sys/lockf.h> 81 #include <sys/taskqueue.h> 82 83 #ifdef LOCKF_DEBUG 84 #include <sys/sysctl.h> 85 86 #include <ufs/ufs/quota.h> 87 #include <ufs/ufs/inode.h> 88 89 static int lockf_debug = 0; /* control debug output */ 90 SYSCTL_INT(_debug, OID_AUTO, lockf_debug, CTLFLAG_RW, &lockf_debug, 0, ""); 91 #endif 92 93 MALLOC_DEFINE(M_LOCKF, "lockf", "Byte-range locking structures"); 94 95 struct owner_edge; 96 struct owner_vertex; 97 struct owner_vertex_list; 98 struct owner_graph; 99 100 #define NOLOCKF (struct lockf_entry *)0 101 #define SELF 0x1 102 #define OTHERS 0x2 103 static void lf_init(void *); 104 static int lf_hash_owner(caddr_t, struct flock *, int); 105 static int lf_owner_matches(struct lock_owner *, caddr_t, struct flock *, 106 int); 107 static struct lockf_entry * 108 lf_alloc_lock(struct lock_owner *); 109 static void lf_free_lock(struct lockf_entry *); 110 static int lf_clearlock(struct lockf *, struct lockf_entry *); 111 static int lf_overlaps(struct lockf_entry *, struct lockf_entry *); 112 static int lf_blocks(struct lockf_entry *, struct lockf_entry *); 113 static void lf_free_edge(struct lockf_edge *); 114 static struct lockf_edge * 115 lf_alloc_edge(void); 116 static void lf_alloc_vertex(struct lockf_entry *); 117 static int lf_add_edge(struct lockf_entry *, struct lockf_entry *); 118 static void lf_remove_edge(struct lockf_edge *); 119 static void lf_remove_outgoing(struct lockf_entry *); 120 static void lf_remove_incoming(struct lockf_entry *); 121 static int lf_add_outgoing(struct lockf *, struct lockf_entry *); 122 static int lf_add_incoming(struct lockf *, struct lockf_entry *); 123 static int lf_findoverlap(struct lockf_entry **, struct lockf_entry *, 124 int); 125 static struct lockf_entry * 126 lf_getblock(struct lockf *, struct lockf_entry *); 127 static int lf_getlock(struct lockf *, struct lockf_entry *, struct flock *); 128 static void lf_insert_lock(struct lockf *, struct lockf_entry *); 129 static void lf_wakeup_lock(struct lockf *, struct lockf_entry *); 130 static void lf_update_dependancies(struct lockf *, struct lockf_entry *, 131 int all, struct lockf_entry_list *); 132 static void lf_set_start(struct lockf *, struct lockf_entry *, off_t, 133 struct lockf_entry_list*); 134 static void lf_set_end(struct lockf *, struct lockf_entry *, off_t, 135 struct lockf_entry_list*); 136 static int lf_setlock(struct lockf *, struct lockf_entry *, 137 struct vnode *, void **cookiep); 138 static int lf_cancel(struct lockf *, struct lockf_entry *, void *); 139 static void lf_split(struct lockf *, struct lockf_entry *, 140 struct lockf_entry *, struct lockf_entry_list *); 141 #ifdef LOCKF_DEBUG 142 static int graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 143 struct owner_vertex_list *path); 144 static void graph_check(struct owner_graph *g, int checkorder); 145 static void graph_print_vertices(struct owner_vertex_list *set); 146 #endif 147 static int graph_delta_forward(struct owner_graph *g, 148 struct owner_vertex *x, struct owner_vertex *y, 149 struct owner_vertex_list *delta); 150 static int graph_delta_backward(struct owner_graph *g, 151 struct owner_vertex *x, struct owner_vertex *y, 152 struct owner_vertex_list *delta); 153 static int graph_add_indices(int *indices, int n, 154 struct owner_vertex_list *set); 155 static int graph_assign_indices(struct owner_graph *g, int *indices, 156 int nextunused, struct owner_vertex_list *set); 157 static int graph_add_edge(struct owner_graph *g, 158 struct owner_vertex *x, struct owner_vertex *y); 159 static void graph_remove_edge(struct owner_graph *g, 160 struct owner_vertex *x, struct owner_vertex *y); 161 static struct owner_vertex *graph_alloc_vertex(struct owner_graph *g, 162 struct lock_owner *lo); 163 static void graph_free_vertex(struct owner_graph *g, 164 struct owner_vertex *v); 165 static struct owner_graph * graph_init(struct owner_graph *g); 166 #ifdef LOCKF_DEBUG 167 static void lf_print(char *, struct lockf_entry *); 168 static void lf_printlist(char *, struct lockf_entry *); 169 static void lf_print_owner(struct lock_owner *); 170 #endif 171 172 /* 173 * This structure is used to keep track of both local and remote lock 174 * owners. The lf_owner field of the struct lockf_entry points back at 175 * the lock owner structure. Each possible lock owner (local proc for 176 * POSIX fcntl locks, local file for BSD flock locks or <pid,sysid> 177 * pair for remote locks) is represented by a unique instance of 178 * struct lock_owner. 179 * 180 * If a lock owner has a lock that blocks some other lock or a lock 181 * that is waiting for some other lock, it also has a vertex in the 182 * owner_graph below. 183 * 184 * Locks: 185 * (s) locked by state->ls_lock 186 * (S) locked by lf_lock_states_lock 187 * (l) locked by lf_lock_owners_lock 188 * (g) locked by lf_owner_graph_lock 189 * (c) const until freeing 190 */ 191 #define LOCK_OWNER_HASH_SIZE 256 192 193 struct lock_owner { 194 LIST_ENTRY(lock_owner) lo_link; /* (l) hash chain */ 195 int lo_refs; /* (l) Number of locks referring to this */ 196 int lo_flags; /* (c) Flags passwd to lf_advlock */ 197 caddr_t lo_id; /* (c) Id value passed to lf_advlock */ 198 pid_t lo_pid; /* (c) Process Id of the lock owner */ 199 int lo_sysid; /* (c) System Id of the lock owner */ 200 struct owner_vertex *lo_vertex; /* (g) entry in deadlock graph */ 201 }; 202 203 LIST_HEAD(lock_owner_list, lock_owner); 204 205 static struct sx lf_lock_states_lock; 206 static struct lockf_list lf_lock_states; /* (S) */ 207 static struct sx lf_lock_owners_lock; 208 static struct lock_owner_list lf_lock_owners[LOCK_OWNER_HASH_SIZE]; /* (l) */ 209 210 /* 211 * Structures for deadlock detection. 212 * 213 * We have two types of directed graph, the first is the set of locks, 214 * both active and pending on a vnode. Within this graph, active locks 215 * are terminal nodes in the graph (i.e. have no out-going 216 * edges). Pending locks have out-going edges to each blocking active 217 * lock that prevents the lock from being granted and also to each 218 * older pending lock that would block them if it was active. The 219 * graph for each vnode is naturally acyclic; new edges are only ever 220 * added to or from new nodes (either new pending locks which only add 221 * out-going edges or new active locks which only add in-coming edges) 222 * therefore they cannot create loops in the lock graph. 223 * 224 * The second graph is a global graph of lock owners. Each lock owner 225 * is a vertex in that graph and an edge is added to the graph 226 * whenever an edge is added to a vnode graph, with end points 227 * corresponding to owner of the new pending lock and the owner of the 228 * lock upon which it waits. In order to prevent deadlock, we only add 229 * an edge to this graph if the new edge would not create a cycle. 230 * 231 * The lock owner graph is topologically sorted, i.e. if a node has 232 * any outgoing edges, then it has an order strictly less than any 233 * node to which it has an outgoing edge. We preserve this ordering 234 * (and detect cycles) on edge insertion using Algorithm PK from the 235 * paper "A Dynamic Topological Sort Algorithm for Directed Acyclic 236 * Graphs" (ACM Journal of Experimental Algorithms, Vol 11, Article 237 * No. 1.7) 238 */ 239 struct owner_vertex; 240 241 struct owner_edge { 242 LIST_ENTRY(owner_edge) e_outlink; /* (g) link from's out-edge list */ 243 LIST_ENTRY(owner_edge) e_inlink; /* (g) link to's in-edge list */ 244 int e_refs; /* (g) number of times added */ 245 struct owner_vertex *e_from; /* (c) out-going from here */ 246 struct owner_vertex *e_to; /* (c) in-coming to here */ 247 }; 248 LIST_HEAD(owner_edge_list, owner_edge); 249 250 struct owner_vertex { 251 TAILQ_ENTRY(owner_vertex) v_link; /* (g) workspace for edge insertion */ 252 uint32_t v_gen; /* (g) workspace for edge insertion */ 253 int v_order; /* (g) order of vertex in graph */ 254 struct owner_edge_list v_outedges;/* (g) list of out-edges */ 255 struct owner_edge_list v_inedges; /* (g) list of in-edges */ 256 struct lock_owner *v_owner; /* (c) corresponding lock owner */ 257 }; 258 TAILQ_HEAD(owner_vertex_list, owner_vertex); 259 260 struct owner_graph { 261 struct owner_vertex** g_vertices; /* (g) pointers to vertices */ 262 int g_size; /* (g) number of vertices */ 263 int g_space; /* (g) space allocated for vertices */ 264 int *g_indexbuf; /* (g) workspace for loop detection */ 265 uint32_t g_gen; /* (g) increment when re-ordering */ 266 }; 267 268 static struct sx lf_owner_graph_lock; 269 static struct owner_graph lf_owner_graph; 270 271 /* 272 * Initialise various structures and locks. 273 */ 274 static void 275 lf_init(void *dummy) 276 { 277 int i; 278 279 sx_init(&lf_lock_states_lock, "lock states lock"); 280 LIST_INIT(&lf_lock_states); 281 282 sx_init(&lf_lock_owners_lock, "lock owners lock"); 283 for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 284 LIST_INIT(&lf_lock_owners[i]); 285 286 sx_init(&lf_owner_graph_lock, "owner graph lock"); 287 graph_init(&lf_owner_graph); 288 } 289 SYSINIT(lf_init, SI_SUB_LOCK, SI_ORDER_FIRST, lf_init, NULL); 290 291 /* 292 * Generate a hash value for a lock owner. 293 */ 294 static int 295 lf_hash_owner(caddr_t id, struct flock *fl, int flags) 296 { 297 uint32_t h; 298 299 if (flags & F_REMOTE) { 300 h = HASHSTEP(0, fl->l_pid); 301 h = HASHSTEP(h, fl->l_sysid); 302 } else if (flags & F_FLOCK) { 303 h = ((uintptr_t) id) >> 7; 304 } else { 305 struct proc *p = (struct proc *) id; 306 h = HASHSTEP(0, p->p_pid); 307 h = HASHSTEP(h, 0); 308 } 309 310 return (h % LOCK_OWNER_HASH_SIZE); 311 } 312 313 /* 314 * Return true if a lock owner matches the details passed to 315 * lf_advlock. 316 */ 317 static int 318 lf_owner_matches(struct lock_owner *lo, caddr_t id, struct flock *fl, 319 int flags) 320 { 321 if (flags & F_REMOTE) { 322 return lo->lo_pid == fl->l_pid 323 && lo->lo_sysid == fl->l_sysid; 324 } else { 325 return lo->lo_id == id; 326 } 327 } 328 329 static struct lockf_entry * 330 lf_alloc_lock(struct lock_owner *lo) 331 { 332 struct lockf_entry *lf; 333 334 lf = malloc(sizeof(struct lockf_entry), M_LOCKF, M_WAITOK|M_ZERO); 335 336 #ifdef LOCKF_DEBUG 337 if (lockf_debug & 4) 338 printf("Allocated lock %p\n", lf); 339 #endif 340 if (lo) { 341 sx_xlock(&lf_lock_owners_lock); 342 lo->lo_refs++; 343 sx_xunlock(&lf_lock_owners_lock); 344 lf->lf_owner = lo; 345 } 346 347 return (lf); 348 } 349 350 static void 351 lf_free_lock(struct lockf_entry *lock) 352 { 353 /* 354 * Adjust the lock_owner reference count and 355 * reclaim the entry if this is the last lock 356 * for that owner. 357 */ 358 struct lock_owner *lo = lock->lf_owner; 359 if (lo) { 360 KASSERT(LIST_EMPTY(&lock->lf_outedges), 361 ("freeing lock with dependancies")); 362 KASSERT(LIST_EMPTY(&lock->lf_inedges), 363 ("freeing lock with dependants")); 364 sx_xlock(&lf_lock_owners_lock); 365 KASSERT(lo->lo_refs > 0, ("lock owner refcount")); 366 lo->lo_refs--; 367 if (lo->lo_refs == 0) { 368 #ifdef LOCKF_DEBUG 369 if (lockf_debug & 1) 370 printf("lf_free_lock: freeing lock owner %p\n", 371 lo); 372 #endif 373 if (lo->lo_vertex) { 374 sx_xlock(&lf_owner_graph_lock); 375 graph_free_vertex(&lf_owner_graph, 376 lo->lo_vertex); 377 sx_xunlock(&lf_owner_graph_lock); 378 } 379 LIST_REMOVE(lo, lo_link); 380 free(lo, M_LOCKF); 381 #ifdef LOCKF_DEBUG 382 if (lockf_debug & 4) 383 printf("Freed lock owner %p\n", lo); 384 #endif 385 } 386 sx_unlock(&lf_lock_owners_lock); 387 } 388 if ((lock->lf_flags & F_REMOTE) && lock->lf_vnode) { 389 vrele(lock->lf_vnode); 390 lock->lf_vnode = NULL; 391 } 392 #ifdef LOCKF_DEBUG 393 if (lockf_debug & 4) 394 printf("Freed lock %p\n", lock); 395 #endif 396 free(lock, M_LOCKF); 397 } 398 399 /* 400 * Advisory record locking support 401 */ 402 int 403 lf_advlockasync(struct vop_advlockasync_args *ap, struct lockf **statep, 404 u_quad_t size) 405 { 406 struct lockf *state, *freestate = NULL; 407 struct flock *fl = ap->a_fl; 408 struct lockf_entry *lock; 409 struct vnode *vp = ap->a_vp; 410 caddr_t id = ap->a_id; 411 int flags = ap->a_flags; 412 int hash; 413 struct lock_owner *lo; 414 off_t start, end, oadd; 415 int error; 416 417 /* 418 * Handle the F_UNLKSYS case first - no need to mess about 419 * creating a lock owner for this one. 420 */ 421 if (ap->a_op == F_UNLCKSYS) { 422 lf_clearremotesys(fl->l_sysid); 423 return (0); 424 } 425 426 /* 427 * Convert the flock structure into a start and end. 428 */ 429 switch (fl->l_whence) { 430 431 case SEEK_SET: 432 case SEEK_CUR: 433 /* 434 * Caller is responsible for adding any necessary offset 435 * when SEEK_CUR is used. 436 */ 437 start = fl->l_start; 438 break; 439 440 case SEEK_END: 441 if (size > OFF_MAX || 442 (fl->l_start > 0 && size > OFF_MAX - fl->l_start)) 443 return (EOVERFLOW); 444 start = size + fl->l_start; 445 break; 446 447 default: 448 return (EINVAL); 449 } 450 if (start < 0) 451 return (EINVAL); 452 if (fl->l_len < 0) { 453 if (start == 0) 454 return (EINVAL); 455 end = start - 1; 456 start += fl->l_len; 457 if (start < 0) 458 return (EINVAL); 459 } else if (fl->l_len == 0) { 460 end = OFF_MAX; 461 } else { 462 oadd = fl->l_len - 1; 463 if (oadd > OFF_MAX - start) 464 return (EOVERFLOW); 465 end = start + oadd; 466 } 467 /* 468 * Avoid the common case of unlocking when inode has no locks. 469 */ 470 if ((*statep) == NULL || LIST_EMPTY(&(*statep)->ls_active)) { 471 if (ap->a_op != F_SETLK) { 472 fl->l_type = F_UNLCK; 473 return (0); 474 } 475 } 476 477 /* 478 * Map our arguments to an existing lock owner or create one 479 * if this is the first time we have seen this owner. 480 */ 481 hash = lf_hash_owner(id, fl, flags); 482 sx_xlock(&lf_lock_owners_lock); 483 LIST_FOREACH(lo, &lf_lock_owners[hash], lo_link) 484 if (lf_owner_matches(lo, id, fl, flags)) 485 break; 486 if (!lo) { 487 /* 488 * We initialise the lock with a reference 489 * count which matches the new lockf_entry 490 * structure created below. 491 */ 492 lo = malloc(sizeof(struct lock_owner), M_LOCKF, 493 M_WAITOK|M_ZERO); 494 #ifdef LOCKF_DEBUG 495 if (lockf_debug & 4) 496 printf("Allocated lock owner %p\n", lo); 497 #endif 498 499 lo->lo_refs = 1; 500 lo->lo_flags = flags; 501 lo->lo_id = id; 502 if (flags & F_REMOTE) { 503 lo->lo_pid = fl->l_pid; 504 lo->lo_sysid = fl->l_sysid; 505 } else if (flags & F_FLOCK) { 506 lo->lo_pid = -1; 507 lo->lo_sysid = 0; 508 } else { 509 struct proc *p = (struct proc *) id; 510 lo->lo_pid = p->p_pid; 511 lo->lo_sysid = 0; 512 } 513 lo->lo_vertex = NULL; 514 515 #ifdef LOCKF_DEBUG 516 if (lockf_debug & 1) { 517 printf("lf_advlockasync: new lock owner %p ", lo); 518 lf_print_owner(lo); 519 printf("\n"); 520 } 521 #endif 522 523 LIST_INSERT_HEAD(&lf_lock_owners[hash], lo, lo_link); 524 } else { 525 /* 526 * We have seen this lock owner before, increase its 527 * reference count to account for the new lockf_entry 528 * structure we create below. 529 */ 530 lo->lo_refs++; 531 } 532 sx_xunlock(&lf_lock_owners_lock); 533 534 /* 535 * Create the lockf structure. We initialise the lf_owner 536 * field here instead of in lf_alloc_lock() to avoid paying 537 * the lf_lock_owners_lock tax twice. 538 */ 539 lock = lf_alloc_lock(NULL); 540 lock->lf_start = start; 541 lock->lf_end = end; 542 lock->lf_owner = lo; 543 lock->lf_vnode = vp; 544 if (flags & F_REMOTE) { 545 /* 546 * For remote locks, the caller may release its ref to 547 * the vnode at any time - we have to ref it here to 548 * prevent it from being recycled unexpectedly. 549 */ 550 vref(vp); 551 } 552 553 /* 554 * XXX The problem is that VTOI is ufs specific, so it will 555 * break LOCKF_DEBUG for all other FS's other than UFS because 556 * it casts the vnode->data ptr to struct inode *. 557 */ 558 /* lock->lf_inode = VTOI(ap->a_vp); */ 559 lock->lf_inode = (struct inode *)0; 560 lock->lf_type = fl->l_type; 561 LIST_INIT(&lock->lf_outedges); 562 LIST_INIT(&lock->lf_inedges); 563 lock->lf_async_task = ap->a_task; 564 lock->lf_flags = ap->a_flags; 565 566 /* 567 * Do the requested operation. First find our state structure 568 * and create a new one if necessary - the caller's *statep 569 * variable and the state's ls_threads count is protected by 570 * the vnode interlock. 571 */ 572 VI_LOCK(vp); 573 if (vp->v_iflag & VI_DOOMED) { 574 VI_UNLOCK(vp); 575 lf_free_lock(lock); 576 return (ENOENT); 577 } 578 579 /* 580 * Allocate a state structure if necessary. 581 */ 582 state = *statep; 583 if (state == NULL) { 584 struct lockf *ls; 585 586 VI_UNLOCK(vp); 587 588 ls = malloc(sizeof(struct lockf), M_LOCKF, M_WAITOK|M_ZERO); 589 sx_init(&ls->ls_lock, "ls_lock"); 590 LIST_INIT(&ls->ls_active); 591 LIST_INIT(&ls->ls_pending); 592 ls->ls_threads = 1; 593 594 sx_xlock(&lf_lock_states_lock); 595 LIST_INSERT_HEAD(&lf_lock_states, ls, ls_link); 596 sx_xunlock(&lf_lock_states_lock); 597 598 /* 599 * Cope if we lost a race with some other thread while 600 * trying to allocate memory. 601 */ 602 VI_LOCK(vp); 603 if (vp->v_iflag & VI_DOOMED) { 604 VI_UNLOCK(vp); 605 sx_xlock(&lf_lock_states_lock); 606 LIST_REMOVE(ls, ls_link); 607 sx_xunlock(&lf_lock_states_lock); 608 sx_destroy(&ls->ls_lock); 609 free(ls, M_LOCKF); 610 lf_free_lock(lock); 611 return (ENOENT); 612 } 613 if ((*statep) == NULL) { 614 state = *statep = ls; 615 VI_UNLOCK(vp); 616 } else { 617 state = *statep; 618 state->ls_threads++; 619 VI_UNLOCK(vp); 620 621 sx_xlock(&lf_lock_states_lock); 622 LIST_REMOVE(ls, ls_link); 623 sx_xunlock(&lf_lock_states_lock); 624 sx_destroy(&ls->ls_lock); 625 free(ls, M_LOCKF); 626 } 627 } else { 628 state->ls_threads++; 629 VI_UNLOCK(vp); 630 } 631 632 sx_xlock(&state->ls_lock); 633 switch(ap->a_op) { 634 case F_SETLK: 635 error = lf_setlock(state, lock, vp, ap->a_cookiep); 636 break; 637 638 case F_UNLCK: 639 error = lf_clearlock(state, lock); 640 lf_free_lock(lock); 641 break; 642 643 case F_GETLK: 644 error = lf_getlock(state, lock, fl); 645 lf_free_lock(lock); 646 break; 647 648 case F_CANCEL: 649 if (ap->a_cookiep) 650 error = lf_cancel(state, lock, *ap->a_cookiep); 651 else 652 error = EINVAL; 653 lf_free_lock(lock); 654 break; 655 656 default: 657 lf_free_lock(lock); 658 error = EINVAL; 659 break; 660 } 661 662 #ifdef INVARIANTS 663 /* 664 * Check for some can't happen stuff. In this case, the active 665 * lock list becoming disordered or containing mutually 666 * blocking locks. We also check the pending list for locks 667 * which should be active (i.e. have no out-going edges). 668 */ 669 LIST_FOREACH(lock, &state->ls_active, lf_link) { 670 struct lockf_entry *lf; 671 if (LIST_NEXT(lock, lf_link)) 672 KASSERT((lock->lf_start 673 <= LIST_NEXT(lock, lf_link)->lf_start), 674 ("locks disordered")); 675 LIST_FOREACH(lf, &state->ls_active, lf_link) { 676 if (lock == lf) 677 break; 678 KASSERT(!lf_blocks(lock, lf), 679 ("two conflicting active locks")); 680 if (lock->lf_owner == lf->lf_owner) 681 KASSERT(!lf_overlaps(lock, lf), 682 ("two overlapping locks from same owner")); 683 } 684 } 685 LIST_FOREACH(lock, &state->ls_pending, lf_link) { 686 KASSERT(!LIST_EMPTY(&lock->lf_outedges), 687 ("pending lock which should be active")); 688 } 689 #endif 690 sx_xunlock(&state->ls_lock); 691 692 /* 693 * If we have removed the last active lock on the vnode and 694 * this is the last thread that was in-progress, we can free 695 * the state structure. We update the caller's pointer inside 696 * the vnode interlock but call free outside. 697 * 698 * XXX alternatively, keep the state structure around until 699 * the filesystem recycles - requires a callback from the 700 * filesystem. 701 */ 702 VI_LOCK(vp); 703 704 state->ls_threads--; 705 wakeup(state); 706 if (LIST_EMPTY(&state->ls_active) && state->ls_threads == 0) { 707 KASSERT(LIST_EMPTY(&state->ls_pending), 708 ("freeing state with pending locks")); 709 freestate = state; 710 *statep = NULL; 711 } 712 713 VI_UNLOCK(vp); 714 715 if (freestate) { 716 sx_xlock(&lf_lock_states_lock); 717 LIST_REMOVE(freestate, ls_link); 718 sx_xunlock(&lf_lock_states_lock); 719 sx_destroy(&freestate->ls_lock); 720 free(freestate, M_LOCKF); 721 } 722 return (error); 723 } 724 725 int 726 lf_advlock(struct vop_advlock_args *ap, struct lockf **statep, u_quad_t size) 727 { 728 struct vop_advlockasync_args a; 729 730 a.a_vp = ap->a_vp; 731 a.a_id = ap->a_id; 732 a.a_op = ap->a_op; 733 a.a_fl = ap->a_fl; 734 a.a_flags = ap->a_flags; 735 a.a_task = NULL; 736 a.a_cookiep = NULL; 737 738 return (lf_advlockasync(&a, statep, size)); 739 } 740 741 void 742 lf_purgelocks(struct vnode *vp, struct lockf **statep) 743 { 744 struct lockf *state; 745 struct lockf_entry *lock, *nlock; 746 747 /* 748 * For this to work correctly, the caller must ensure that no 749 * other threads enter the locking system for this vnode, 750 * e.g. by checking VI_DOOMED. We wake up any threads that are 751 * sleeping waiting for locks on this vnode and then free all 752 * the remaining locks. 753 */ 754 VI_LOCK(vp); 755 state = *statep; 756 if (state) { 757 state->ls_threads++; 758 VI_UNLOCK(vp); 759 760 sx_xlock(&state->ls_lock); 761 sx_xlock(&lf_owner_graph_lock); 762 LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 763 LIST_REMOVE(lock, lf_link); 764 lf_remove_outgoing(lock); 765 lf_remove_incoming(lock); 766 767 /* 768 * If its an async lock, we can just free it 769 * here, otherwise we let the sleeping thread 770 * free it. 771 */ 772 if (lock->lf_async_task) { 773 lf_free_lock(lock); 774 } else { 775 lock->lf_flags |= F_INTR; 776 wakeup(lock); 777 } 778 } 779 sx_xunlock(&lf_owner_graph_lock); 780 sx_xunlock(&state->ls_lock); 781 782 /* 783 * Wait for all other threads, sleeping and otherwise 784 * to leave. 785 */ 786 VI_LOCK(vp); 787 while (state->ls_threads > 1) 788 msleep(state, VI_MTX(vp), 0, "purgelocks", 0); 789 *statep = 0; 790 VI_UNLOCK(vp); 791 792 /* 793 * We can just free all the active locks since they 794 * will have no dependancies (we removed them all 795 * above). We don't need to bother locking since we 796 * are the last thread using this state structure. 797 */ 798 LIST_FOREACH_SAFE(lock, &state->ls_pending, lf_link, nlock) { 799 LIST_REMOVE(lock, lf_link); 800 lf_free_lock(lock); 801 } 802 sx_xlock(&lf_lock_states_lock); 803 LIST_REMOVE(state, ls_link); 804 sx_xunlock(&lf_lock_states_lock); 805 sx_destroy(&state->ls_lock); 806 free(state, M_LOCKF); 807 } else { 808 VI_UNLOCK(vp); 809 } 810 } 811 812 /* 813 * Return non-zero if locks 'x' and 'y' overlap. 814 */ 815 static int 816 lf_overlaps(struct lockf_entry *x, struct lockf_entry *y) 817 { 818 819 return (x->lf_start <= y->lf_end && x->lf_end >= y->lf_start); 820 } 821 822 /* 823 * Return non-zero if lock 'x' is blocked by lock 'y' (or vice versa). 824 */ 825 static int 826 lf_blocks(struct lockf_entry *x, struct lockf_entry *y) 827 { 828 829 return x->lf_owner != y->lf_owner 830 && (x->lf_type == F_WRLCK || y->lf_type == F_WRLCK) 831 && lf_overlaps(x, y); 832 } 833 834 /* 835 * Allocate a lock edge from the free list 836 */ 837 static struct lockf_edge * 838 lf_alloc_edge(void) 839 { 840 841 return (malloc(sizeof(struct lockf_edge), M_LOCKF, M_WAITOK|M_ZERO)); 842 } 843 844 /* 845 * Free a lock edge. 846 */ 847 static void 848 lf_free_edge(struct lockf_edge *e) 849 { 850 851 free(e, M_LOCKF); 852 } 853 854 855 /* 856 * Ensure that the lock's owner has a corresponding vertex in the 857 * owner graph. 858 */ 859 static void 860 lf_alloc_vertex(struct lockf_entry *lock) 861 { 862 struct owner_graph *g = &lf_owner_graph; 863 864 if (!lock->lf_owner->lo_vertex) 865 lock->lf_owner->lo_vertex = 866 graph_alloc_vertex(g, lock->lf_owner); 867 } 868 869 /* 870 * Attempt to record an edge from lock x to lock y. Return EDEADLK if 871 * the new edge would cause a cycle in the owner graph. 872 */ 873 static int 874 lf_add_edge(struct lockf_entry *x, struct lockf_entry *y) 875 { 876 struct owner_graph *g = &lf_owner_graph; 877 struct lockf_edge *e; 878 int error; 879 880 #ifdef INVARIANTS 881 LIST_FOREACH(e, &x->lf_outedges, le_outlink) 882 KASSERT(e->le_to != y, ("adding lock edge twice")); 883 #endif 884 885 /* 886 * Make sure the two owners have entries in the owner graph. 887 */ 888 lf_alloc_vertex(x); 889 lf_alloc_vertex(y); 890 891 error = graph_add_edge(g, x->lf_owner->lo_vertex, 892 y->lf_owner->lo_vertex); 893 if (error) 894 return (error); 895 896 e = lf_alloc_edge(); 897 LIST_INSERT_HEAD(&x->lf_outedges, e, le_outlink); 898 LIST_INSERT_HEAD(&y->lf_inedges, e, le_inlink); 899 e->le_from = x; 900 e->le_to = y; 901 902 return (0); 903 } 904 905 /* 906 * Remove an edge from the lock graph. 907 */ 908 static void 909 lf_remove_edge(struct lockf_edge *e) 910 { 911 struct owner_graph *g = &lf_owner_graph; 912 struct lockf_entry *x = e->le_from; 913 struct lockf_entry *y = e->le_to; 914 915 graph_remove_edge(g, x->lf_owner->lo_vertex, y->lf_owner->lo_vertex); 916 LIST_REMOVE(e, le_outlink); 917 LIST_REMOVE(e, le_inlink); 918 e->le_from = NULL; 919 e->le_to = NULL; 920 lf_free_edge(e); 921 } 922 923 /* 924 * Remove all out-going edges from lock x. 925 */ 926 static void 927 lf_remove_outgoing(struct lockf_entry *x) 928 { 929 struct lockf_edge *e; 930 931 while ((e = LIST_FIRST(&x->lf_outedges)) != NULL) { 932 lf_remove_edge(e); 933 } 934 } 935 936 /* 937 * Remove all in-coming edges from lock x. 938 */ 939 static void 940 lf_remove_incoming(struct lockf_entry *x) 941 { 942 struct lockf_edge *e; 943 944 while ((e = LIST_FIRST(&x->lf_inedges)) != NULL) { 945 lf_remove_edge(e); 946 } 947 } 948 949 /* 950 * Walk the list of locks for the file and create an out-going edge 951 * from lock to each blocking lock. 952 */ 953 static int 954 lf_add_outgoing(struct lockf *state, struct lockf_entry *lock) 955 { 956 struct lockf_entry *overlap; 957 int error; 958 959 LIST_FOREACH(overlap, &state->ls_active, lf_link) { 960 /* 961 * We may assume that the active list is sorted by 962 * lf_start. 963 */ 964 if (overlap->lf_start > lock->lf_end) 965 break; 966 if (!lf_blocks(lock, overlap)) 967 continue; 968 969 /* 970 * We've found a blocking lock. Add the corresponding 971 * edge to the graphs and see if it would cause a 972 * deadlock. 973 */ 974 error = lf_add_edge(lock, overlap); 975 976 /* 977 * The only error that lf_add_edge returns is EDEADLK. 978 * Remove any edges we added and return the error. 979 */ 980 if (error) { 981 lf_remove_outgoing(lock); 982 return (error); 983 } 984 } 985 986 /* 987 * We also need to add edges to sleeping locks that block 988 * us. This ensures that lf_wakeup_lock cannot grant two 989 * mutually blocking locks simultaneously and also enforces a 990 * 'first come, first served' fairness model. Note that this 991 * only happens if we are blocked by at least one active lock 992 * due to the call to lf_getblock in lf_setlock below. 993 */ 994 LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 995 if (!lf_blocks(lock, overlap)) 996 continue; 997 /* 998 * We've found a blocking lock. Add the corresponding 999 * edge to the graphs and see if it would cause a 1000 * deadlock. 1001 */ 1002 error = lf_add_edge(lock, overlap); 1003 1004 /* 1005 * The only error that lf_add_edge returns is EDEADLK. 1006 * Remove any edges we added and return the error. 1007 */ 1008 if (error) { 1009 lf_remove_outgoing(lock); 1010 return (error); 1011 } 1012 } 1013 1014 return (0); 1015 } 1016 1017 /* 1018 * Walk the list of pending locks for the file and create an in-coming 1019 * edge from lock to each blocking lock. 1020 */ 1021 static int 1022 lf_add_incoming(struct lockf *state, struct lockf_entry *lock) 1023 { 1024 struct lockf_entry *overlap; 1025 int error; 1026 1027 LIST_FOREACH(overlap, &state->ls_pending, lf_link) { 1028 if (!lf_blocks(lock, overlap)) 1029 continue; 1030 1031 /* 1032 * We've found a blocking lock. Add the corresponding 1033 * edge to the graphs and see if it would cause a 1034 * deadlock. 1035 */ 1036 error = lf_add_edge(overlap, lock); 1037 1038 /* 1039 * The only error that lf_add_edge returns is EDEADLK. 1040 * Remove any edges we added and return the error. 1041 */ 1042 if (error) { 1043 lf_remove_incoming(lock); 1044 return (error); 1045 } 1046 } 1047 return (0); 1048 } 1049 1050 /* 1051 * Insert lock into the active list, keeping list entries ordered by 1052 * increasing values of lf_start. 1053 */ 1054 static void 1055 lf_insert_lock(struct lockf *state, struct lockf_entry *lock) 1056 { 1057 struct lockf_entry *lf, *lfprev; 1058 1059 if (LIST_EMPTY(&state->ls_active)) { 1060 LIST_INSERT_HEAD(&state->ls_active, lock, lf_link); 1061 return; 1062 } 1063 1064 lfprev = NULL; 1065 LIST_FOREACH(lf, &state->ls_active, lf_link) { 1066 if (lf->lf_start > lock->lf_start) { 1067 LIST_INSERT_BEFORE(lf, lock, lf_link); 1068 return; 1069 } 1070 lfprev = lf; 1071 } 1072 LIST_INSERT_AFTER(lfprev, lock, lf_link); 1073 } 1074 1075 /* 1076 * Wake up a sleeping lock and remove it from the pending list now 1077 * that all its dependancies have been resolved. The caller should 1078 * arrange for the lock to be added to the active list, adjusting any 1079 * existing locks for the same owner as needed. 1080 */ 1081 static void 1082 lf_wakeup_lock(struct lockf *state, struct lockf_entry *wakelock) 1083 { 1084 1085 /* 1086 * Remove from ls_pending list and wake up the caller 1087 * or start the async notification, as appropriate. 1088 */ 1089 LIST_REMOVE(wakelock, lf_link); 1090 #ifdef LOCKF_DEBUG 1091 if (lockf_debug & 1) 1092 lf_print("lf_wakeup_lock: awakening", wakelock); 1093 #endif /* LOCKF_DEBUG */ 1094 if (wakelock->lf_async_task) { 1095 taskqueue_enqueue(taskqueue_thread, wakelock->lf_async_task); 1096 } else { 1097 wakeup(wakelock); 1098 } 1099 } 1100 1101 /* 1102 * Re-check all dependant locks and remove edges to locks that we no 1103 * longer block. If 'all' is non-zero, the lock has been removed and 1104 * we must remove all the dependancies, otherwise it has simply been 1105 * reduced but remains active. Any pending locks which have been been 1106 * unblocked are added to 'granted' 1107 */ 1108 static void 1109 lf_update_dependancies(struct lockf *state, struct lockf_entry *lock, int all, 1110 struct lockf_entry_list *granted) 1111 { 1112 struct lockf_edge *e, *ne; 1113 struct lockf_entry *deplock; 1114 1115 LIST_FOREACH_SAFE(e, &lock->lf_inedges, le_inlink, ne) { 1116 deplock = e->le_from; 1117 if (all || !lf_blocks(lock, deplock)) { 1118 sx_xlock(&lf_owner_graph_lock); 1119 lf_remove_edge(e); 1120 sx_xunlock(&lf_owner_graph_lock); 1121 if (LIST_EMPTY(&deplock->lf_outedges)) { 1122 lf_wakeup_lock(state, deplock); 1123 LIST_INSERT_HEAD(granted, deplock, lf_link); 1124 } 1125 } 1126 } 1127 } 1128 1129 /* 1130 * Set the start of an existing active lock, updating dependancies and 1131 * adding any newly woken locks to 'granted'. 1132 */ 1133 static void 1134 lf_set_start(struct lockf *state, struct lockf_entry *lock, off_t new_start, 1135 struct lockf_entry_list *granted) 1136 { 1137 1138 KASSERT(new_start >= lock->lf_start, ("can't increase lock")); 1139 lock->lf_start = new_start; 1140 LIST_REMOVE(lock, lf_link); 1141 lf_insert_lock(state, lock); 1142 lf_update_dependancies(state, lock, FALSE, granted); 1143 } 1144 1145 /* 1146 * Set the end of an existing active lock, updating dependancies and 1147 * adding any newly woken locks to 'granted'. 1148 */ 1149 static void 1150 lf_set_end(struct lockf *state, struct lockf_entry *lock, off_t new_end, 1151 struct lockf_entry_list *granted) 1152 { 1153 1154 KASSERT(new_end <= lock->lf_end, ("can't increase lock")); 1155 lock->lf_end = new_end; 1156 lf_update_dependancies(state, lock, FALSE, granted); 1157 } 1158 1159 /* 1160 * Add a lock to the active list, updating or removing any current 1161 * locks owned by the same owner and processing any pending locks that 1162 * become unblocked as a result. This code is also used for unlock 1163 * since the logic for updating existing locks is identical. 1164 * 1165 * As a result of processing the new lock, we may unblock existing 1166 * pending locks as a result of downgrading/unlocking. We simply 1167 * activate the newly granted locks by looping. 1168 * 1169 * Since the new lock already has its dependancies set up, we always 1170 * add it to the list (unless its an unlock request). This may 1171 * fragment the lock list in some pathological cases but its probably 1172 * not a real problem. 1173 */ 1174 static void 1175 lf_activate_lock(struct lockf *state, struct lockf_entry *lock) 1176 { 1177 struct lockf_entry *overlap, *lf; 1178 struct lockf_entry_list granted; 1179 int ovcase; 1180 1181 LIST_INIT(&granted); 1182 LIST_INSERT_HEAD(&granted, lock, lf_link); 1183 1184 while (!LIST_EMPTY(&granted)) { 1185 lock = LIST_FIRST(&granted); 1186 LIST_REMOVE(lock, lf_link); 1187 1188 /* 1189 * Skip over locks owned by other processes. Handle 1190 * any locks that overlap and are owned by ourselves. 1191 */ 1192 overlap = LIST_FIRST(&state->ls_active); 1193 for (;;) { 1194 ovcase = lf_findoverlap(&overlap, lock, SELF); 1195 1196 #ifdef LOCKF_DEBUG 1197 if (ovcase && (lockf_debug & 2)) { 1198 printf("lf_setlock: overlap %d", ovcase); 1199 lf_print("", overlap); 1200 } 1201 #endif 1202 /* 1203 * Six cases: 1204 * 0) no overlap 1205 * 1) overlap == lock 1206 * 2) overlap contains lock 1207 * 3) lock contains overlap 1208 * 4) overlap starts before lock 1209 * 5) overlap ends after lock 1210 */ 1211 switch (ovcase) { 1212 case 0: /* no overlap */ 1213 break; 1214 1215 case 1: /* overlap == lock */ 1216 /* 1217 * We have already setup the 1218 * dependants for the new lock, taking 1219 * into account a possible downgrade 1220 * or unlock. Remove the old lock. 1221 */ 1222 LIST_REMOVE(overlap, lf_link); 1223 lf_update_dependancies(state, overlap, TRUE, 1224 &granted); 1225 lf_free_lock(overlap); 1226 break; 1227 1228 case 2: /* overlap contains lock */ 1229 /* 1230 * Just split the existing lock. 1231 */ 1232 lf_split(state, overlap, lock, &granted); 1233 break; 1234 1235 case 3: /* lock contains overlap */ 1236 /* 1237 * Delete the overlap and advance to 1238 * the next entry in the list. 1239 */ 1240 lf = LIST_NEXT(overlap, lf_link); 1241 LIST_REMOVE(overlap, lf_link); 1242 lf_update_dependancies(state, overlap, TRUE, 1243 &granted); 1244 lf_free_lock(overlap); 1245 overlap = lf; 1246 continue; 1247 1248 case 4: /* overlap starts before lock */ 1249 /* 1250 * Just update the overlap end and 1251 * move on. 1252 */ 1253 lf_set_end(state, overlap, lock->lf_start - 1, 1254 &granted); 1255 overlap = LIST_NEXT(overlap, lf_link); 1256 continue; 1257 1258 case 5: /* overlap ends after lock */ 1259 /* 1260 * Change the start of overlap and 1261 * re-insert. 1262 */ 1263 lf_set_start(state, overlap, lock->lf_end + 1, 1264 &granted); 1265 break; 1266 } 1267 break; 1268 } 1269 #ifdef LOCKF_DEBUG 1270 if (lockf_debug & 1) { 1271 if (lock->lf_type != F_UNLCK) 1272 lf_print("lf_activate_lock: activated", lock); 1273 else 1274 lf_print("lf_activate_lock: unlocked", lock); 1275 lf_printlist("lf_activate_lock", lock); 1276 } 1277 #endif /* LOCKF_DEBUG */ 1278 if (lock->lf_type != F_UNLCK) 1279 lf_insert_lock(state, lock); 1280 } 1281 } 1282 1283 /* 1284 * Cancel a pending lock request, either as a result of a signal or a 1285 * cancel request for an async lock. 1286 */ 1287 static void 1288 lf_cancel_lock(struct lockf *state, struct lockf_entry *lock) 1289 { 1290 struct lockf_entry_list granted; 1291 1292 /* 1293 * Note it is theoretically possible that cancelling this lock 1294 * may allow some other pending lock to become 1295 * active. Consider this case: 1296 * 1297 * Owner Action Result Dependancies 1298 * 1299 * A: lock [0..0] succeeds 1300 * B: lock [2..2] succeeds 1301 * C: lock [1..2] blocked C->B 1302 * D: lock [0..1] blocked C->B,D->A,D->C 1303 * A: unlock [0..0] C->B,D->C 1304 * C: cancel [1..2] 1305 */ 1306 1307 LIST_REMOVE(lock, lf_link); 1308 1309 /* 1310 * Removing out-going edges is simple. 1311 */ 1312 sx_xlock(&lf_owner_graph_lock); 1313 lf_remove_outgoing(lock); 1314 sx_xunlock(&lf_owner_graph_lock); 1315 1316 /* 1317 * Removing in-coming edges may allow some other lock to 1318 * become active - we use lf_update_dependancies to figure 1319 * this out. 1320 */ 1321 LIST_INIT(&granted); 1322 lf_update_dependancies(state, lock, TRUE, &granted); 1323 lf_free_lock(lock); 1324 1325 /* 1326 * Feed any newly active locks to lf_activate_lock. 1327 */ 1328 while (!LIST_EMPTY(&granted)) { 1329 lock = LIST_FIRST(&granted); 1330 LIST_REMOVE(lock, lf_link); 1331 lf_activate_lock(state, lock); 1332 } 1333 } 1334 1335 /* 1336 * Set a byte-range lock. 1337 */ 1338 static int 1339 lf_setlock(struct lockf *state, struct lockf_entry *lock, struct vnode *vp, 1340 void **cookiep) 1341 { 1342 struct lockf_entry *block; 1343 static char lockstr[] = "lockf"; 1344 int priority, error; 1345 1346 #ifdef LOCKF_DEBUG 1347 if (lockf_debug & 1) 1348 lf_print("lf_setlock", lock); 1349 #endif /* LOCKF_DEBUG */ 1350 1351 /* 1352 * Set the priority 1353 */ 1354 priority = PLOCK; 1355 if (lock->lf_type == F_WRLCK) 1356 priority += 4; 1357 priority |= PCATCH; 1358 /* 1359 * Scan lock list for this file looking for locks that would block us. 1360 */ 1361 while ((block = lf_getblock(state, lock))) { 1362 /* 1363 * Free the structure and return if nonblocking. 1364 */ 1365 if ((lock->lf_flags & F_WAIT) == 0 1366 && lock->lf_async_task == NULL) { 1367 lf_free_lock(lock); 1368 error = EAGAIN; 1369 goto out; 1370 } 1371 1372 /* 1373 * For flock type locks, we must first remove 1374 * any shared locks that we hold before we sleep 1375 * waiting for an exclusive lock. 1376 */ 1377 if ((lock->lf_flags & F_FLOCK) && 1378 lock->lf_type == F_WRLCK) { 1379 lock->lf_type = F_UNLCK; 1380 lf_activate_lock(state, lock); 1381 lock->lf_type = F_WRLCK; 1382 } 1383 1384 /* 1385 * We are blocked. Create edges to each blocking lock, 1386 * checking for deadlock using the owner graph. For 1387 * simplicity, we run deadlock detection for all 1388 * locks, posix and otherwise. 1389 */ 1390 sx_xlock(&lf_owner_graph_lock); 1391 error = lf_add_outgoing(state, lock); 1392 sx_xunlock(&lf_owner_graph_lock); 1393 1394 if (error) { 1395 #ifdef LOCKF_DEBUG 1396 if (lockf_debug & 1) 1397 lf_print("lf_setlock: deadlock", lock); 1398 #endif 1399 lf_free_lock(lock); 1400 goto out; 1401 } 1402 1403 /* 1404 * We have added edges to everything that blocks 1405 * us. Sleep until they all go away. 1406 */ 1407 LIST_INSERT_HEAD(&state->ls_pending, lock, lf_link); 1408 #ifdef LOCKF_DEBUG 1409 if (lockf_debug & 1) { 1410 struct lockf_edge *e; 1411 LIST_FOREACH(e, &lock->lf_outedges, le_outlink) { 1412 lf_print("lf_setlock: blocking on", e->le_to); 1413 lf_printlist("lf_setlock", e->le_to); 1414 } 1415 } 1416 #endif /* LOCKF_DEBUG */ 1417 1418 if ((lock->lf_flags & F_WAIT) == 0) { 1419 /* 1420 * The caller requested async notification - 1421 * this callback happens when the blocking 1422 * lock is released, allowing the caller to 1423 * make another attempt to take the lock. 1424 */ 1425 *cookiep = (void *) lock; 1426 error = EINPROGRESS; 1427 goto out; 1428 } 1429 1430 error = sx_sleep(lock, &state->ls_lock, priority, lockstr, 0); 1431 /* 1432 * We may have been awakened by a signal and/or by a 1433 * debugger continuing us (in which cases we must 1434 * remove our lock graph edges) and/or by another 1435 * process releasing a lock (in which case our edges 1436 * have already been removed and we have been moved to 1437 * the active list). We may also have been woken by 1438 * lf_purgelocks which we report to the caller as 1439 * EINTR. In that case, lf_purgelocks will have 1440 * removed our lock graph edges. 1441 * 1442 * Note that it is possible to receive a signal after 1443 * we were successfully woken (and moved to the active 1444 * list) but before we resumed execution. In this 1445 * case, our lf_outedges list will be clear. We 1446 * pretend there was no error. 1447 * 1448 * Note also, if we have been sleeping long enough, we 1449 * may now have incoming edges from some newer lock 1450 * which is waiting behind us in the queue. 1451 */ 1452 if (lock->lf_flags & F_INTR) { 1453 error = EINTR; 1454 lf_free_lock(lock); 1455 goto out; 1456 } 1457 if (LIST_EMPTY(&lock->lf_outedges)) { 1458 error = 0; 1459 } else { 1460 lf_cancel_lock(state, lock); 1461 goto out; 1462 } 1463 #ifdef LOCKF_DEBUG 1464 if (lockf_debug & 1) { 1465 lf_print("lf_setlock: granted", lock); 1466 } 1467 #endif 1468 goto out; 1469 } 1470 /* 1471 * It looks like we are going to grant the lock. First add 1472 * edges from any currently pending lock that the new lock 1473 * would block. 1474 */ 1475 sx_xlock(&lf_owner_graph_lock); 1476 error = lf_add_incoming(state, lock); 1477 sx_xunlock(&lf_owner_graph_lock); 1478 if (error) { 1479 #ifdef LOCKF_DEBUG 1480 if (lockf_debug & 1) 1481 lf_print("lf_setlock: deadlock", lock); 1482 #endif 1483 lf_free_lock(lock); 1484 goto out; 1485 } 1486 1487 /* 1488 * No blocks!! Add the lock. Note that we will 1489 * downgrade or upgrade any overlapping locks this 1490 * process already owns. 1491 */ 1492 lf_activate_lock(state, lock); 1493 error = 0; 1494 out: 1495 return (error); 1496 } 1497 1498 /* 1499 * Remove a byte-range lock on an inode. 1500 * 1501 * Generally, find the lock (or an overlap to that lock) 1502 * and remove it (or shrink it), then wakeup anyone we can. 1503 */ 1504 static int 1505 lf_clearlock(struct lockf *state, struct lockf_entry *unlock) 1506 { 1507 struct lockf_entry *overlap; 1508 1509 overlap = LIST_FIRST(&state->ls_active); 1510 1511 if (overlap == NOLOCKF) 1512 return (0); 1513 #ifdef LOCKF_DEBUG 1514 if (unlock->lf_type != F_UNLCK) 1515 panic("lf_clearlock: bad type"); 1516 if (lockf_debug & 1) 1517 lf_print("lf_clearlock", unlock); 1518 #endif /* LOCKF_DEBUG */ 1519 1520 lf_activate_lock(state, unlock); 1521 1522 return (0); 1523 } 1524 1525 /* 1526 * Check whether there is a blocking lock, and if so return its 1527 * details in '*fl'. 1528 */ 1529 static int 1530 lf_getlock(struct lockf *state, struct lockf_entry *lock, struct flock *fl) 1531 { 1532 struct lockf_entry *block; 1533 1534 #ifdef LOCKF_DEBUG 1535 if (lockf_debug & 1) 1536 lf_print("lf_getlock", lock); 1537 #endif /* LOCKF_DEBUG */ 1538 1539 if ((block = lf_getblock(state, lock))) { 1540 fl->l_type = block->lf_type; 1541 fl->l_whence = SEEK_SET; 1542 fl->l_start = block->lf_start; 1543 if (block->lf_end == OFF_MAX) 1544 fl->l_len = 0; 1545 else 1546 fl->l_len = block->lf_end - block->lf_start + 1; 1547 fl->l_pid = block->lf_owner->lo_pid; 1548 fl->l_sysid = block->lf_owner->lo_sysid; 1549 } else { 1550 fl->l_type = F_UNLCK; 1551 } 1552 return (0); 1553 } 1554 1555 /* 1556 * Cancel an async lock request. 1557 */ 1558 static int 1559 lf_cancel(struct lockf *state, struct lockf_entry *lock, void *cookie) 1560 { 1561 struct lockf_entry *reallock; 1562 1563 /* 1564 * We need to match this request with an existing lock 1565 * request. 1566 */ 1567 LIST_FOREACH(reallock, &state->ls_pending, lf_link) { 1568 if ((void *) reallock == cookie) { 1569 /* 1570 * Double-check that this lock looks right 1571 * (maybe use a rolling ID for the cancel 1572 * cookie instead?) 1573 */ 1574 if (!(reallock->lf_vnode == lock->lf_vnode 1575 && reallock->lf_start == lock->lf_start 1576 && reallock->lf_end == lock->lf_end)) { 1577 return (ENOENT); 1578 } 1579 1580 /* 1581 * Make sure this lock was async and then just 1582 * remove it from its wait lists. 1583 */ 1584 if (!reallock->lf_async_task) { 1585 return (ENOENT); 1586 } 1587 1588 /* 1589 * Note that since any other thread must take 1590 * state->ls_lock before it can possibly 1591 * trigger the async callback, we are safe 1592 * from a race with lf_wakeup_lock, i.e. we 1593 * can free the lock (actually our caller does 1594 * this). 1595 */ 1596 lf_cancel_lock(state, reallock); 1597 return (0); 1598 } 1599 } 1600 1601 /* 1602 * We didn't find a matching lock - not much we can do here. 1603 */ 1604 return (ENOENT); 1605 } 1606 1607 /* 1608 * Walk the list of locks for an inode and 1609 * return the first blocking lock. 1610 */ 1611 static struct lockf_entry * 1612 lf_getblock(struct lockf *state, struct lockf_entry *lock) 1613 { 1614 struct lockf_entry *overlap; 1615 1616 LIST_FOREACH(overlap, &state->ls_active, lf_link) { 1617 /* 1618 * We may assume that the active list is sorted by 1619 * lf_start. 1620 */ 1621 if (overlap->lf_start > lock->lf_end) 1622 break; 1623 if (!lf_blocks(lock, overlap)) 1624 continue; 1625 return (overlap); 1626 } 1627 return (NOLOCKF); 1628 } 1629 1630 /* 1631 * Walk the list of locks for an inode to find an overlapping lock (if 1632 * any) and return a classification of that overlap. 1633 * 1634 * Arguments: 1635 * *overlap The place in the lock list to start looking 1636 * lock The lock which is being tested 1637 * type Pass 'SELF' to test only locks with the same 1638 * owner as lock, or 'OTHER' to test only locks 1639 * with a different owner 1640 * 1641 * Returns one of six values: 1642 * 0) no overlap 1643 * 1) overlap == lock 1644 * 2) overlap contains lock 1645 * 3) lock contains overlap 1646 * 4) overlap starts before lock 1647 * 5) overlap ends after lock 1648 * 1649 * If there is an overlapping lock, '*overlap' is set to point at the 1650 * overlapping lock. 1651 * 1652 * NOTE: this returns only the FIRST overlapping lock. There 1653 * may be more than one. 1654 */ 1655 static int 1656 lf_findoverlap(struct lockf_entry **overlap, struct lockf_entry *lock, int type) 1657 { 1658 struct lockf_entry *lf; 1659 off_t start, end; 1660 int res; 1661 1662 if ((*overlap) == NOLOCKF) { 1663 return (0); 1664 } 1665 #ifdef LOCKF_DEBUG 1666 if (lockf_debug & 2) 1667 lf_print("lf_findoverlap: looking for overlap in", lock); 1668 #endif /* LOCKF_DEBUG */ 1669 start = lock->lf_start; 1670 end = lock->lf_end; 1671 res = 0; 1672 while (*overlap) { 1673 lf = *overlap; 1674 if (lf->lf_start > end) 1675 break; 1676 if (((type & SELF) && lf->lf_owner != lock->lf_owner) || 1677 ((type & OTHERS) && lf->lf_owner == lock->lf_owner)) { 1678 *overlap = LIST_NEXT(lf, lf_link); 1679 continue; 1680 } 1681 #ifdef LOCKF_DEBUG 1682 if (lockf_debug & 2) 1683 lf_print("\tchecking", lf); 1684 #endif /* LOCKF_DEBUG */ 1685 /* 1686 * OK, check for overlap 1687 * 1688 * Six cases: 1689 * 0) no overlap 1690 * 1) overlap == lock 1691 * 2) overlap contains lock 1692 * 3) lock contains overlap 1693 * 4) overlap starts before lock 1694 * 5) overlap ends after lock 1695 */ 1696 if (start > lf->lf_end) { 1697 /* Case 0 */ 1698 #ifdef LOCKF_DEBUG 1699 if (lockf_debug & 2) 1700 printf("no overlap\n"); 1701 #endif /* LOCKF_DEBUG */ 1702 *overlap = LIST_NEXT(lf, lf_link); 1703 continue; 1704 } 1705 if (lf->lf_start == start && lf->lf_end == end) { 1706 /* Case 1 */ 1707 #ifdef LOCKF_DEBUG 1708 if (lockf_debug & 2) 1709 printf("overlap == lock\n"); 1710 #endif /* LOCKF_DEBUG */ 1711 res = 1; 1712 break; 1713 } 1714 if (lf->lf_start <= start && lf->lf_end >= end) { 1715 /* Case 2 */ 1716 #ifdef LOCKF_DEBUG 1717 if (lockf_debug & 2) 1718 printf("overlap contains lock\n"); 1719 #endif /* LOCKF_DEBUG */ 1720 res = 2; 1721 break; 1722 } 1723 if (start <= lf->lf_start && end >= lf->lf_end) { 1724 /* Case 3 */ 1725 #ifdef LOCKF_DEBUG 1726 if (lockf_debug & 2) 1727 printf("lock contains overlap\n"); 1728 #endif /* LOCKF_DEBUG */ 1729 res = 3; 1730 break; 1731 } 1732 if (lf->lf_start < start && lf->lf_end >= start) { 1733 /* Case 4 */ 1734 #ifdef LOCKF_DEBUG 1735 if (lockf_debug & 2) 1736 printf("overlap starts before lock\n"); 1737 #endif /* LOCKF_DEBUG */ 1738 res = 4; 1739 break; 1740 } 1741 if (lf->lf_start > start && lf->lf_end > end) { 1742 /* Case 5 */ 1743 #ifdef LOCKF_DEBUG 1744 if (lockf_debug & 2) 1745 printf("overlap ends after lock\n"); 1746 #endif /* LOCKF_DEBUG */ 1747 res = 5; 1748 break; 1749 } 1750 panic("lf_findoverlap: default"); 1751 } 1752 return (res); 1753 } 1754 1755 /* 1756 * Split an the existing 'lock1', based on the extent of the lock 1757 * described by 'lock2'. The existing lock should cover 'lock2' 1758 * entirely. 1759 * 1760 * Any pending locks which have been been unblocked are added to 1761 * 'granted' 1762 */ 1763 static void 1764 lf_split(struct lockf *state, struct lockf_entry *lock1, 1765 struct lockf_entry *lock2, struct lockf_entry_list *granted) 1766 { 1767 struct lockf_entry *splitlock; 1768 1769 #ifdef LOCKF_DEBUG 1770 if (lockf_debug & 2) { 1771 lf_print("lf_split", lock1); 1772 lf_print("splitting from", lock2); 1773 } 1774 #endif /* LOCKF_DEBUG */ 1775 /* 1776 * Check to see if we don't need to split at all. 1777 */ 1778 if (lock1->lf_start == lock2->lf_start) { 1779 lf_set_start(state, lock1, lock2->lf_end + 1, granted); 1780 return; 1781 } 1782 if (lock1->lf_end == lock2->lf_end) { 1783 lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1784 return; 1785 } 1786 /* 1787 * Make a new lock consisting of the last part of 1788 * the encompassing lock. 1789 */ 1790 splitlock = lf_alloc_lock(lock1->lf_owner); 1791 memcpy(splitlock, lock1, sizeof *splitlock); 1792 if (splitlock->lf_flags & F_REMOTE) 1793 vref(splitlock->lf_vnode); 1794 1795 /* 1796 * This cannot cause a deadlock since any edges we would add 1797 * to splitlock already exist in lock1. We must be sure to add 1798 * necessary dependancies to splitlock before we reduce lock1 1799 * otherwise we may accidentally grant a pending lock that 1800 * was blocked by the tail end of lock1. 1801 */ 1802 splitlock->lf_start = lock2->lf_end + 1; 1803 LIST_INIT(&splitlock->lf_outedges); 1804 LIST_INIT(&splitlock->lf_inedges); 1805 sx_xlock(&lf_owner_graph_lock); 1806 lf_add_incoming(state, splitlock); 1807 sx_xunlock(&lf_owner_graph_lock); 1808 1809 lf_set_end(state, lock1, lock2->lf_start - 1, granted); 1810 1811 /* 1812 * OK, now link it in 1813 */ 1814 lf_insert_lock(state, splitlock); 1815 } 1816 1817 struct clearlock { 1818 STAILQ_ENTRY(clearlock) link; 1819 struct vnode *vp; 1820 struct flock fl; 1821 }; 1822 STAILQ_HEAD(clearlocklist, clearlock); 1823 1824 void 1825 lf_clearremotesys(int sysid) 1826 { 1827 struct lockf *ls; 1828 struct lockf_entry *lf; 1829 struct clearlock *cl; 1830 struct clearlocklist locks; 1831 1832 KASSERT(sysid != 0, ("Can't clear local locks with F_UNLCKSYS")); 1833 1834 /* 1835 * In order to keep the locking simple, we iterate over the 1836 * active lock lists to build a list of locks that need 1837 * releasing. We then call VOP_ADVLOCK for each one in turn. 1838 * 1839 * We take an extra reference to the vnode for the duration to 1840 * make sure it doesn't go away before we are finished. 1841 */ 1842 STAILQ_INIT(&locks); 1843 sx_xlock(&lf_lock_states_lock); 1844 LIST_FOREACH(ls, &lf_lock_states, ls_link) { 1845 sx_xlock(&ls->ls_lock); 1846 LIST_FOREACH(lf, &ls->ls_active, lf_link) { 1847 if (lf->lf_owner->lo_sysid != sysid) 1848 continue; 1849 1850 cl = malloc(sizeof(struct clearlock), M_LOCKF, 1851 M_WAITOK); 1852 cl->vp = lf->lf_vnode; 1853 vref(cl->vp); 1854 cl->fl.l_start = lf->lf_start; 1855 if (lf->lf_end == OFF_MAX) 1856 cl->fl.l_len = 0; 1857 else 1858 cl->fl.l_len = 1859 lf->lf_end - lf->lf_start + 1; 1860 cl->fl.l_whence = SEEK_SET; 1861 cl->fl.l_type = F_UNLCK; 1862 cl->fl.l_pid = lf->lf_owner->lo_pid; 1863 cl->fl.l_sysid = sysid; 1864 STAILQ_INSERT_TAIL(&locks, cl, link); 1865 } 1866 sx_xunlock(&ls->ls_lock); 1867 } 1868 sx_xunlock(&lf_lock_states_lock); 1869 1870 while ((cl = STAILQ_FIRST(&locks)) != NULL) { 1871 STAILQ_REMOVE_HEAD(&locks, link); 1872 VOP_ADVLOCK(cl->vp, 0, F_UNLCK, &cl->fl, F_REMOTE); 1873 vrele(cl->vp); 1874 free(cl, M_LOCKF); 1875 } 1876 } 1877 1878 int 1879 lf_countlocks(int sysid) 1880 { 1881 int i; 1882 struct lock_owner *lo; 1883 int count; 1884 1885 count = 0; 1886 sx_xlock(&lf_lock_owners_lock); 1887 for (i = 0; i < LOCK_OWNER_HASH_SIZE; i++) 1888 LIST_FOREACH(lo, &lf_lock_owners[i], lo_link) 1889 if (lo->lo_sysid == sysid) 1890 count += lo->lo_refs; 1891 sx_xunlock(&lf_lock_owners_lock); 1892 1893 return (count); 1894 } 1895 1896 #ifdef LOCKF_DEBUG 1897 1898 /* 1899 * Return non-zero if y is reachable from x using a brute force 1900 * search. If reachable and path is non-null, return the route taken 1901 * in path. 1902 */ 1903 static int 1904 graph_reaches(struct owner_vertex *x, struct owner_vertex *y, 1905 struct owner_vertex_list *path) 1906 { 1907 struct owner_edge *e; 1908 1909 if (x == y) { 1910 if (path) 1911 TAILQ_INSERT_HEAD(path, x, v_link); 1912 return 1; 1913 } 1914 1915 LIST_FOREACH(e, &x->v_outedges, e_outlink) { 1916 if (graph_reaches(e->e_to, y, path)) { 1917 if (path) 1918 TAILQ_INSERT_HEAD(path, x, v_link); 1919 return 1; 1920 } 1921 } 1922 return 0; 1923 } 1924 1925 /* 1926 * Perform consistency checks on the graph. Make sure the values of 1927 * v_order are correct. If checkorder is non-zero, check no vertex can 1928 * reach any other vertex with a smaller order. 1929 */ 1930 static void 1931 graph_check(struct owner_graph *g, int checkorder) 1932 { 1933 int i, j; 1934 1935 for (i = 0; i < g->g_size; i++) { 1936 if (!g->g_vertices[i]->v_owner) 1937 continue; 1938 KASSERT(g->g_vertices[i]->v_order == i, 1939 ("lock graph vertices disordered")); 1940 if (checkorder) { 1941 for (j = 0; j < i; j++) { 1942 if (!g->g_vertices[j]->v_owner) 1943 continue; 1944 KASSERT(!graph_reaches(g->g_vertices[i], 1945 g->g_vertices[j], NULL), 1946 ("lock graph vertices disordered")); 1947 } 1948 } 1949 } 1950 } 1951 1952 static void 1953 graph_print_vertices(struct owner_vertex_list *set) 1954 { 1955 struct owner_vertex *v; 1956 1957 printf("{ "); 1958 TAILQ_FOREACH(v, set, v_link) { 1959 printf("%d:", v->v_order); 1960 lf_print_owner(v->v_owner); 1961 if (TAILQ_NEXT(v, v_link)) 1962 printf(", "); 1963 } 1964 printf(" }\n"); 1965 } 1966 1967 #endif 1968 1969 /* 1970 * Calculate the sub-set of vertices v from the affected region [y..x] 1971 * where v is reachable from y. Return -1 if a loop was detected 1972 * (i.e. x is reachable from y, otherwise the number of vertices in 1973 * this subset. 1974 */ 1975 static int 1976 graph_delta_forward(struct owner_graph *g, struct owner_vertex *x, 1977 struct owner_vertex *y, struct owner_vertex_list *delta) 1978 { 1979 uint32_t gen; 1980 struct owner_vertex *v; 1981 struct owner_edge *e; 1982 int n; 1983 1984 /* 1985 * We start with a set containing just y. Then for each vertex 1986 * v in the set so far unprocessed, we add each vertex that v 1987 * has an out-edge to and that is within the affected region 1988 * [y..x]. If we see the vertex x on our travels, stop 1989 * immediately. 1990 */ 1991 TAILQ_INIT(delta); 1992 TAILQ_INSERT_TAIL(delta, y, v_link); 1993 v = y; 1994 n = 1; 1995 gen = g->g_gen; 1996 while (v) { 1997 LIST_FOREACH(e, &v->v_outedges, e_outlink) { 1998 if (e->e_to == x) 1999 return -1; 2000 if (e->e_to->v_order < x->v_order 2001 && e->e_to->v_gen != gen) { 2002 e->e_to->v_gen = gen; 2003 TAILQ_INSERT_TAIL(delta, e->e_to, v_link); 2004 n++; 2005 } 2006 } 2007 v = TAILQ_NEXT(v, v_link); 2008 } 2009 2010 return (n); 2011 } 2012 2013 /* 2014 * Calculate the sub-set of vertices v from the affected region [y..x] 2015 * where v reaches x. Return the number of vertices in this subset. 2016 */ 2017 static int 2018 graph_delta_backward(struct owner_graph *g, struct owner_vertex *x, 2019 struct owner_vertex *y, struct owner_vertex_list *delta) 2020 { 2021 uint32_t gen; 2022 struct owner_vertex *v; 2023 struct owner_edge *e; 2024 int n; 2025 2026 /* 2027 * We start with a set containing just x. Then for each vertex 2028 * v in the set so far unprocessed, we add each vertex that v 2029 * has an in-edge from and that is within the affected region 2030 * [y..x]. 2031 */ 2032 TAILQ_INIT(delta); 2033 TAILQ_INSERT_TAIL(delta, x, v_link); 2034 v = x; 2035 n = 1; 2036 gen = g->g_gen; 2037 while (v) { 2038 LIST_FOREACH(e, &v->v_inedges, e_inlink) { 2039 if (e->e_from->v_order > y->v_order 2040 && e->e_from->v_gen != gen) { 2041 e->e_from->v_gen = gen; 2042 TAILQ_INSERT_HEAD(delta, e->e_from, v_link); 2043 n++; 2044 } 2045 } 2046 v = TAILQ_PREV(v, owner_vertex_list, v_link); 2047 } 2048 2049 return (n); 2050 } 2051 2052 static int 2053 graph_add_indices(int *indices, int n, struct owner_vertex_list *set) 2054 { 2055 struct owner_vertex *v; 2056 int i, j; 2057 2058 TAILQ_FOREACH(v, set, v_link) { 2059 for (i = n; 2060 i > 0 && indices[i - 1] > v->v_order; i--) 2061 ; 2062 for (j = n - 1; j >= i; j--) 2063 indices[j + 1] = indices[j]; 2064 indices[i] = v->v_order; 2065 n++; 2066 } 2067 2068 return (n); 2069 } 2070 2071 static int 2072 graph_assign_indices(struct owner_graph *g, int *indices, int nextunused, 2073 struct owner_vertex_list *set) 2074 { 2075 struct owner_vertex *v, *vlowest; 2076 2077 while (!TAILQ_EMPTY(set)) { 2078 vlowest = NULL; 2079 TAILQ_FOREACH(v, set, v_link) { 2080 if (!vlowest || v->v_order < vlowest->v_order) 2081 vlowest = v; 2082 } 2083 TAILQ_REMOVE(set, vlowest, v_link); 2084 vlowest->v_order = indices[nextunused]; 2085 g->g_vertices[vlowest->v_order] = vlowest; 2086 nextunused++; 2087 } 2088 2089 return (nextunused); 2090 } 2091 2092 static int 2093 graph_add_edge(struct owner_graph *g, struct owner_vertex *x, 2094 struct owner_vertex *y) 2095 { 2096 struct owner_edge *e; 2097 struct owner_vertex_list deltaF, deltaB; 2098 int nF, nB, n, vi, i; 2099 int *indices; 2100 2101 sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2102 2103 LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2104 if (e->e_to == y) { 2105 e->e_refs++; 2106 return (0); 2107 } 2108 } 2109 2110 #ifdef LOCKF_DEBUG 2111 if (lockf_debug & 8) { 2112 printf("adding edge %d:", x->v_order); 2113 lf_print_owner(x->v_owner); 2114 printf(" -> %d:", y->v_order); 2115 lf_print_owner(y->v_owner); 2116 printf("\n"); 2117 } 2118 #endif 2119 if (y->v_order < x->v_order) { 2120 /* 2121 * The new edge violates the order. First find the set 2122 * of affected vertices reachable from y (deltaF) and 2123 * the set of affect vertices affected that reach x 2124 * (deltaB), using the graph generation number to 2125 * detect whether we have visited a given vertex 2126 * already. We re-order the graph so that each vertex 2127 * in deltaB appears before each vertex in deltaF. 2128 * 2129 * If x is a member of deltaF, then the new edge would 2130 * create a cycle. Otherwise, we may assume that 2131 * deltaF and deltaB are disjoint. 2132 */ 2133 g->g_gen++; 2134 if (g->g_gen == 0) { 2135 /* 2136 * Generation wrap. 2137 */ 2138 for (vi = 0; vi < g->g_size; vi++) { 2139 g->g_vertices[vi]->v_gen = 0; 2140 } 2141 g->g_gen++; 2142 } 2143 nF = graph_delta_forward(g, x, y, &deltaF); 2144 if (nF < 0) { 2145 #ifdef LOCKF_DEBUG 2146 if (lockf_debug & 8) { 2147 struct owner_vertex_list path; 2148 printf("deadlock: "); 2149 TAILQ_INIT(&path); 2150 graph_reaches(y, x, &path); 2151 graph_print_vertices(&path); 2152 } 2153 #endif 2154 return (EDEADLK); 2155 } 2156 2157 #ifdef LOCKF_DEBUG 2158 if (lockf_debug & 8) { 2159 printf("re-ordering graph vertices\n"); 2160 printf("deltaF = "); 2161 graph_print_vertices(&deltaF); 2162 } 2163 #endif 2164 2165 nB = graph_delta_backward(g, x, y, &deltaB); 2166 2167 #ifdef LOCKF_DEBUG 2168 if (lockf_debug & 8) { 2169 printf("deltaB = "); 2170 graph_print_vertices(&deltaB); 2171 } 2172 #endif 2173 2174 /* 2175 * We first build a set of vertex indices (vertex 2176 * order values) that we may use, then we re-assign 2177 * orders first to those vertices in deltaB, then to 2178 * deltaF. Note that the contents of deltaF and deltaB 2179 * may be partially disordered - we perform an 2180 * insertion sort while building our index set. 2181 */ 2182 indices = g->g_indexbuf; 2183 n = graph_add_indices(indices, 0, &deltaF); 2184 graph_add_indices(indices, n, &deltaB); 2185 2186 /* 2187 * We must also be sure to maintain the relative 2188 * ordering of deltaF and deltaB when re-assigning 2189 * vertices. We do this by iteratively removing the 2190 * lowest ordered element from the set and assigning 2191 * it the next value from our new ordering. 2192 */ 2193 i = graph_assign_indices(g, indices, 0, &deltaB); 2194 graph_assign_indices(g, indices, i, &deltaF); 2195 2196 #ifdef LOCKF_DEBUG 2197 if (lockf_debug & 8) { 2198 struct owner_vertex_list set; 2199 TAILQ_INIT(&set); 2200 for (i = 0; i < nB + nF; i++) 2201 TAILQ_INSERT_TAIL(&set, 2202 g->g_vertices[indices[i]], v_link); 2203 printf("new ordering = "); 2204 graph_print_vertices(&set); 2205 } 2206 #endif 2207 } 2208 2209 KASSERT(x->v_order < y->v_order, ("Failed to re-order graph")); 2210 2211 #ifdef LOCKF_DEBUG 2212 if (lockf_debug & 8) { 2213 graph_check(g, TRUE); 2214 } 2215 #endif 2216 2217 e = malloc(sizeof(struct owner_edge), M_LOCKF, M_WAITOK); 2218 2219 LIST_INSERT_HEAD(&x->v_outedges, e, e_outlink); 2220 LIST_INSERT_HEAD(&y->v_inedges, e, e_inlink); 2221 e->e_refs = 1; 2222 e->e_from = x; 2223 e->e_to = y; 2224 2225 return (0); 2226 } 2227 2228 /* 2229 * Remove an edge x->y from the graph. 2230 */ 2231 static void 2232 graph_remove_edge(struct owner_graph *g, struct owner_vertex *x, 2233 struct owner_vertex *y) 2234 { 2235 struct owner_edge *e; 2236 2237 sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2238 2239 LIST_FOREACH(e, &x->v_outedges, e_outlink) { 2240 if (e->e_to == y) 2241 break; 2242 } 2243 KASSERT(e, ("Removing non-existent edge from deadlock graph")); 2244 2245 e->e_refs--; 2246 if (e->e_refs == 0) { 2247 #ifdef LOCKF_DEBUG 2248 if (lockf_debug & 8) { 2249 printf("removing edge %d:", x->v_order); 2250 lf_print_owner(x->v_owner); 2251 printf(" -> %d:", y->v_order); 2252 lf_print_owner(y->v_owner); 2253 printf("\n"); 2254 } 2255 #endif 2256 LIST_REMOVE(e, e_outlink); 2257 LIST_REMOVE(e, e_inlink); 2258 free(e, M_LOCKF); 2259 } 2260 } 2261 2262 /* 2263 * Allocate a vertex from the free list. Return ENOMEM if there are 2264 * none. 2265 */ 2266 static struct owner_vertex * 2267 graph_alloc_vertex(struct owner_graph *g, struct lock_owner *lo) 2268 { 2269 struct owner_vertex *v; 2270 2271 sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2272 2273 v = malloc(sizeof(struct owner_vertex), M_LOCKF, M_WAITOK); 2274 if (g->g_size == g->g_space) { 2275 g->g_vertices = realloc(g->g_vertices, 2276 2 * g->g_space * sizeof(struct owner_vertex *), 2277 M_LOCKF, M_WAITOK); 2278 free(g->g_indexbuf, M_LOCKF); 2279 g->g_indexbuf = malloc(2 * g->g_space * sizeof(int), 2280 M_LOCKF, M_WAITOK); 2281 g->g_space = 2 * g->g_space; 2282 } 2283 v->v_order = g->g_size; 2284 v->v_gen = g->g_gen; 2285 g->g_vertices[g->g_size] = v; 2286 g->g_size++; 2287 2288 LIST_INIT(&v->v_outedges); 2289 LIST_INIT(&v->v_inedges); 2290 v->v_owner = lo; 2291 2292 return (v); 2293 } 2294 2295 static void 2296 graph_free_vertex(struct owner_graph *g, struct owner_vertex *v) 2297 { 2298 struct owner_vertex *w; 2299 int i; 2300 2301 sx_assert(&lf_owner_graph_lock, SX_XLOCKED); 2302 2303 KASSERT(LIST_EMPTY(&v->v_outedges), ("Freeing vertex with edges")); 2304 KASSERT(LIST_EMPTY(&v->v_inedges), ("Freeing vertex with edges")); 2305 2306 /* 2307 * Remove from the graph's array and close up the gap, 2308 * renumbering the other vertices. 2309 */ 2310 for (i = v->v_order + 1; i < g->g_size; i++) { 2311 w = g->g_vertices[i]; 2312 w->v_order--; 2313 g->g_vertices[i - 1] = w; 2314 } 2315 g->g_size--; 2316 2317 free(v, M_LOCKF); 2318 } 2319 2320 static struct owner_graph * 2321 graph_init(struct owner_graph *g) 2322 { 2323 2324 g->g_vertices = malloc(10 * sizeof(struct owner_vertex *), 2325 M_LOCKF, M_WAITOK); 2326 g->g_size = 0; 2327 g->g_space = 10; 2328 g->g_indexbuf = malloc(g->g_space * sizeof(int), M_LOCKF, M_WAITOK); 2329 g->g_gen = 0; 2330 2331 return (g); 2332 } 2333 2334 #ifdef LOCKF_DEBUG 2335 /* 2336 * Print description of a lock owner 2337 */ 2338 static void 2339 lf_print_owner(struct lock_owner *lo) 2340 { 2341 2342 if (lo->lo_flags & F_REMOTE) { 2343 printf("remote pid %d, system %d", 2344 lo->lo_pid, lo->lo_sysid); 2345 } else if (lo->lo_flags & F_FLOCK) { 2346 printf("file %p", lo->lo_id); 2347 } else { 2348 printf("local pid %d", lo->lo_pid); 2349 } 2350 } 2351 2352 /* 2353 * Print out a lock. 2354 */ 2355 static void 2356 lf_print(char *tag, struct lockf_entry *lock) 2357 { 2358 2359 printf("%s: lock %p for ", tag, (void *)lock); 2360 lf_print_owner(lock->lf_owner); 2361 if (lock->lf_inode != (struct inode *)0) 2362 printf(" in ino %ju on dev <%s>,", 2363 (uintmax_t)lock->lf_inode->i_number, 2364 devtoname(lock->lf_inode->i_dev)); 2365 printf(" %s, start %jd, end ", 2366 lock->lf_type == F_RDLCK ? "shared" : 2367 lock->lf_type == F_WRLCK ? "exclusive" : 2368 lock->lf_type == F_UNLCK ? "unlock" : "unknown", 2369 (intmax_t)lock->lf_start); 2370 if (lock->lf_end == OFF_MAX) 2371 printf("EOF"); 2372 else 2373 printf("%jd", (intmax_t)lock->lf_end); 2374 if (!LIST_EMPTY(&lock->lf_outedges)) 2375 printf(" block %p\n", 2376 (void *)LIST_FIRST(&lock->lf_outedges)->le_to); 2377 else 2378 printf("\n"); 2379 } 2380 2381 static void 2382 lf_printlist(char *tag, struct lockf_entry *lock) 2383 { 2384 struct lockf_entry *lf, *blk; 2385 struct lockf_edge *e; 2386 2387 if (lock->lf_inode == (struct inode *)0) 2388 return; 2389 2390 printf("%s: Lock list for ino %ju on dev <%s>:\n", 2391 tag, (uintmax_t)lock->lf_inode->i_number, 2392 devtoname(lock->lf_inode->i_dev)); 2393 LIST_FOREACH(lf, &lock->lf_vnode->v_lockf->ls_active, lf_link) { 2394 printf("\tlock %p for ",(void *)lf); 2395 lf_print_owner(lock->lf_owner); 2396 printf(", %s, start %jd, end %jd", 2397 lf->lf_type == F_RDLCK ? "shared" : 2398 lf->lf_type == F_WRLCK ? "exclusive" : 2399 lf->lf_type == F_UNLCK ? "unlock" : 2400 "unknown", (intmax_t)lf->lf_start, (intmax_t)lf->lf_end); 2401 LIST_FOREACH(e, &lf->lf_outedges, le_outlink) { 2402 blk = e->le_to; 2403 printf("\n\t\tlock request %p for ", (void *)blk); 2404 lf_print_owner(blk->lf_owner); 2405 printf(", %s, start %jd, end %jd", 2406 blk->lf_type == F_RDLCK ? "shared" : 2407 blk->lf_type == F_WRLCK ? "exclusive" : 2408 blk->lf_type == F_UNLCK ? "unlock" : 2409 "unknown", (intmax_t)blk->lf_start, 2410 (intmax_t)blk->lf_end); 2411 if (!LIST_EMPTY(&blk->lf_inedges)) 2412 panic("lf_printlist: bad list"); 2413 } 2414 printf("\n"); 2415 } 2416 } 2417 #endif /* LOCKF_DEBUG */ 2418