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