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