Whamcloud - gitweb
LU-13645 ldlm: re-process ldlm lock cleanup
[fs/lustre-release.git] / lustre / ldlm / ldlm_inodebits.c
1 /*
2  * GPL HEADER START
3  *
4  * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5  *
6  * This program is free software; you can redistribute it and/or modify
7  * it under the terms of the GNU General Public License version 2 only,
8  * as published by the Free Software Foundation.
9  *
10  * This program is distributed in the hope that it will be useful, but
11  * WITHOUT ANY WARRANTY; without even the implied warranty of
12  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
13  * General Public License version 2 for more details (a copy is included
14  * in the LICENSE file that accompanied this code).
15  *
16  * You should have received a copy of the GNU General Public License
17  * version 2 along with this program; If not, see
18  * http://www.gnu.org/licenses/gpl-2.0.html
19  *
20  * GPL HEADER END
21  */
22 /*
23  * Copyright (c) 2004, 2010, Oracle and/or its affiliates. All rights reserved.
24  * Use is subject to license terms.
25  *
26  * Copyright (c) 2011, 2017, Intel Corporation.
27  */
28 /*
29  * This file is part of Lustre, http://www.lustre.org/
30  * Lustre is a trademark of Sun Microsystems, Inc.
31  *
32  * lustre/ldlm/ldlm_inodebits.c
33  *
34  * Author: Peter Braam <braam@clusterfs.com>
35  * Author: Phil Schwan <phil@clusterfs.com>
36  */
37
38 /**
39  * This file contains implementation of IBITS lock type
40  *
41  * IBITS lock type contains a bit mask determining various properties of an
42  * object. The meanings of specific bits are specific to the caller and are
43  * opaque to LDLM code.
44  *
45  * Locks with intersecting bitmasks and conflicting lock modes (e.g.  LCK_PW)
46  * are considered conflicting.  See the lock mode compatibility matrix
47  * in lustre_dlm.h.
48  */
49
50 #define DEBUG_SUBSYSTEM S_LDLM
51
52 #include <lustre_dlm.h>
53 #include <obd_support.h>
54 #include <lustre_lib.h>
55 #include <obd_class.h>
56
57 #include "ldlm_internal.h"
58
59 #ifdef HAVE_SERVER_SUPPORT
60
61 /**
62  * It should iterate through all waiting locks on a given resource queue and
63  * attempt to grant them. An optimization is to check only heads waitintg
64  * locks for each inodebit type.
65  *
66  * Must be called with resource lock held.
67  */
68 int ldlm_reprocess_inodebits_queue(struct ldlm_resource *res,
69                                    struct list_head *queue,
70                                    struct list_head *work_list,
71                                    enum ldlm_process_intention intention,
72                                    struct ldlm_lock *hint)
73 {
74         __u64 flags;
75         int rc = LDLM_ITER_CONTINUE;
76         enum ldlm_error err;
77         LIST_HEAD(bl_ast_list);
78         struct ldlm_ibits_queues *queues = res->lr_ibits_queues;
79         int i;
80
81         ENTRY;
82
83         check_res_locked(res);
84
85         LASSERT(res->lr_type == LDLM_IBITS);
86         LASSERT(intention == LDLM_PROCESS_RESCAN ||
87                 intention == LDLM_PROCESS_RECOVERY);
88
89         if (intention == LDLM_PROCESS_RECOVERY)
90                 return ldlm_reprocess_queue(res, queue, work_list, intention,
91                                             NULL);
92
93 restart:
94         CDEBUG(D_DLMTRACE, "--- Reprocess resource "DLDLMRES" (%p)\n",
95                PLDLMRES(res), res);
96
97         for (i = 0; i < MDS_INODELOCK_NUMBITS; i++) {
98                 LIST_HEAD(rpc_list);
99                 struct list_head *head = &queues->liq_waiting[i];
100                 struct ldlm_lock *pending;
101                 struct ldlm_ibits_node *node;
102
103                 if (list_empty(head))
104                         continue;
105                 if (hint && !(hint->l_policy_data.l_inodebits.bits & BIT(i)))
106                         continue;
107
108                 node = list_entry(head->next, struct ldlm_ibits_node,
109                                   lin_link[i]);
110
111                 pending = node->lock;
112                 LDLM_DEBUG(pending, "Reprocessing lock from queue %d", i);
113
114                 flags = 0;
115                 rc = ldlm_process_inodebits_lock(pending, &flags, intention,
116                                                  &err, &rpc_list);
117                 if (ldlm_is_granted(pending)) {
118                         list_splice(&rpc_list, work_list);
119                         /* Try to grant more locks from current queue */
120                         i--;
121                 } else {
122                         list_splice(&rpc_list, &bl_ast_list);
123                 }
124         }
125
126         if (!list_empty(&bl_ast_list)) {
127                 unlock_res(res);
128
129                 rc = ldlm_run_ast_work(ldlm_res_to_ns(res), &bl_ast_list,
130                                        LDLM_WORK_BL_AST);
131
132                 lock_res(res);
133                 if (rc == -ERESTART)
134                         GOTO(restart, rc);
135         }
136
137         if (!list_empty(&bl_ast_list))
138                 ldlm_discard_bl_list(&bl_ast_list);
139
140         RETURN(rc);
141 }
142
143 /**
144  * Determine if the lock is compatible with all locks on the queue.
145  *
146  * If \a work_list is provided, conflicting locks are linked there.
147  * If \a work_list is not provided, we exit this function on first conflict.
148  *
149  * \retval 0 if there are conflicting locks in the \a queue
150  * \retval 1 if the lock is compatible to all locks in \a queue
151  *
152  * IBITS locks in granted queue are organized in bunches of
153  * same-mode/same-bits locks called "skip lists". The First lock in the
154  * bunch contains a pointer to the end of the bunch.  This allows us to
155  * skip an entire bunch when iterating the list in search for conflicting
156  * locks if first lock of the bunch is not conflicting with us.
157  */
158 static int
159 ldlm_inodebits_compat_queue(struct list_head *queue, struct ldlm_lock *req,
160                             struct list_head *work_list)
161 {
162         struct list_head *tmp;
163         struct ldlm_lock *lock;
164         __u64 req_bits = req->l_policy_data.l_inodebits.bits;
165         __u64 *try_bits = &req->l_policy_data.l_inodebits.try_bits;
166         int compat = 1;
167
168         ENTRY;
169
170         /* There is no sense in lock with no bits set. Also such a lock
171          * would be compatible with any other bit lock.
172          * Meanwhile that can be true if there were just try_bits and all
173          * are failed, so just exit gracefully and let the caller to care.
174          */
175         if ((req_bits | *try_bits) == 0)
176                 RETURN(0);
177
178         list_for_each(tmp, queue) {
179                 struct list_head *mode_tail;
180
181                 lock = list_entry(tmp, struct ldlm_lock, l_res_link);
182
183                 /* We stop walking the queue if we hit ourselves so we don't
184                  * take conflicting locks enqueued after us into account,
185                  * or we'd wait forever. */
186                 if (req == lock)
187                         RETURN(compat);
188
189                 /* last lock in mode group */
190                 LASSERT(lock->l_sl_mode.prev != NULL);
191                 mode_tail = &list_entry(lock->l_sl_mode.prev, struct ldlm_lock,
192                                         l_sl_mode)->l_res_link;
193
194                 /* if request lock is not COS_INCOMPAT and COS is disabled,
195                  * they are compatible, IOW this request is from a local
196                  * transaction on a DNE system. */
197                 if (lock->l_req_mode == LCK_COS && !ldlm_is_cos_incompat(req) &&
198                     !ldlm_is_cos_enabled(req)) {
199                         /* jump to last lock in mode group */
200                         tmp = mode_tail;
201                         continue;
202                 }
203
204                 /* locks' mode are compatible, bits don't matter */
205                 if (lockmode_compat(lock->l_req_mode, req->l_req_mode)) {
206                         /* jump to last lock in mode group */
207                         tmp = mode_tail;
208                         continue;
209                 }
210
211                 for (;;) {
212                         struct list_head *head;
213
214                         /* Advance loop cursor to last lock in policy group. */
215                         tmp = &list_entry(lock->l_sl_policy.prev,
216                                           struct ldlm_lock,
217                                           l_sl_policy)->l_res_link;
218
219                         /* New lock's try_bits are filtered out by ibits
220                          * of all locks in both granted and waiting queues.
221                          */
222                         *try_bits &= ~(lock->l_policy_data.l_inodebits.bits |
223                                 lock->l_policy_data.l_inodebits.try_bits);
224
225                         if ((req_bits | *try_bits) == 0)
226                                 RETURN(0);
227
228                         /* The new lock ibits is more preferable than try_bits
229                          * of waiting locks so drop conflicting try_bits in
230                          * the waiting queue.
231                          * Notice that try_bits of granted locks must be zero.
232                          */
233                         lock->l_policy_data.l_inodebits.try_bits &= ~req_bits;
234
235                         /* Locks with overlapping bits conflict. */
236                         if (lock->l_policy_data.l_inodebits.bits & req_bits) {
237                                 /* COS lock mode has a special compatibility
238                                  * requirement: it is only compatible with
239                                  * locks from the same client. */
240                                 if (lock->l_req_mode == LCK_COS &&
241                                     !ldlm_is_cos_incompat(req) &&
242                                     ldlm_is_cos_enabled(req) &&
243                                     lock->l_client_cookie == req->l_client_cookie)
244                                         goto not_conflicting;
245
246                                 /* Found a conflicting policy group. */
247                                 if (!work_list)
248                                         RETURN(0);
249
250                                 compat = 0;
251
252                                 /* Add locks of the policy group to @work_list
253                                  * as blocking locks for @req */
254                                 if (lock->l_blocking_ast)
255                                         ldlm_add_ast_work_item(lock, req,
256                                                                work_list);
257                                 head = &lock->l_sl_policy;
258                                 list_for_each_entry(lock, head, l_sl_policy)
259                                         if (lock->l_blocking_ast)
260                                                 ldlm_add_ast_work_item(lock,
261                                                                 req, work_list);
262                         }
263 not_conflicting:
264                         if (tmp == mode_tail)
265                                 break;
266
267                         tmp = tmp->next;
268                         lock = list_entry(tmp, struct ldlm_lock, l_res_link);
269                 } /* Loop over policy groups within one mode group. */
270         } /* Loop over mode groups within @queue. */
271
272         RETURN(compat);
273 }
274
275 /**
276  * Process a granting attempt for IBITS lock.
277  * Must be called with ns lock held
278  *
279  * This function looks for any conflicts for \a lock in the granted or
280  * waiting queues. The lock is granted if no conflicts are found in
281  * either queue.
282  */
283 int ldlm_process_inodebits_lock(struct ldlm_lock *lock, __u64 *flags,
284                                 enum ldlm_process_intention intention,
285                                 enum ldlm_error *err,
286                                 struct list_head *work_list)
287 {
288         struct ldlm_resource *res = lock->l_resource;
289         struct list_head *grant_work = intention == LDLM_PROCESS_ENQUEUE ?
290                                                         NULL : work_list;
291         int rc;
292         ENTRY;
293
294         *err = ELDLM_LOCK_ABORTED;
295         LASSERT(!ldlm_is_granted(lock));
296         check_res_locked(res);
297
298         if (intention == LDLM_PROCESS_RESCAN) {
299                 struct list_head *bl_list =
300                         *flags & LDLM_FL_BLOCK_NOWAIT ? NULL : work_list;
301
302                 LASSERT(lock->l_policy_data.l_inodebits.bits != 0);
303
304                 /* It is possible that some of granted locks was not canceled
305                  * but converted and is kept in granted queue. So there is
306                  * a window where lock with 'ast_sent' might become granted
307                  * again. Meanwhile a new lock may appear in that window and
308                  * conflicts with the converted lock so the following scenario
309                  * is possible:
310                  *
311                  * 1) lock1 conflicts with lock2
312                  * 2) bl_ast was sent for lock2
313                  * 3) lock3 comes and conflicts with lock2 too
314                  * 4) no bl_ast sent because lock2->l_bl_ast_sent is 1
315                  * 5) lock2 was converted for lock1 but not for lock3
316                  * 6) lock1 granted, lock3 still is waiting for lock2, but
317                  *    there will never be another bl_ast for that
318                  *
319                  * To avoid this scenario the work_list is used below to collect
320                  * any blocked locks from granted queue during every reprocess
321                  * and bl_ast will be sent if needed.
322                  */
323                 rc = ldlm_inodebits_compat_queue(&res->lr_granted, lock,
324                                                  bl_list);
325                 if (!rc)
326                         RETURN(LDLM_ITER_STOP);
327                 rc = ldlm_inodebits_compat_queue(&res->lr_waiting, lock, NULL);
328                 if (!rc)
329                         RETURN(LDLM_ITER_STOP);
330
331                 /* grant also try_bits if any */
332                 if (lock->l_policy_data.l_inodebits.try_bits != 0) {
333                         lock->l_policy_data.l_inodebits.bits |=
334                                 lock->l_policy_data.l_inodebits.try_bits;
335                         lock->l_policy_data.l_inodebits.try_bits = 0;
336                         *flags |= LDLM_FL_LOCK_CHANGED;
337                 }
338                 ldlm_resource_unlink_lock(lock);
339                 ldlm_grant_lock(lock, grant_work);
340
341                 *err = ELDLM_OK;
342                 RETURN(LDLM_ITER_CONTINUE);
343         }
344
345         rc = ldlm_inodebits_compat_queue(&res->lr_granted, lock, work_list);
346         rc += ldlm_inodebits_compat_queue(&res->lr_waiting, lock, work_list);
347
348         if (rc != 2) {
349                 /* if there were only bits to try and all are conflicting */
350                 if ((lock->l_policy_data.l_inodebits.bits |
351                      lock->l_policy_data.l_inodebits.try_bits)) {
352                         /* There is no sense to set LDLM_FL_NO_TIMEOUT to @flags
353                          * for DOM lock while they are enqueued through intents,
354                          * i.e. @lock here is local which does not timeout. */
355                         *err = ELDLM_OK;
356                 }
357         } else {
358                 /* grant also all remaining try_bits */
359                 if (lock->l_policy_data.l_inodebits.try_bits != 0) {
360                         lock->l_policy_data.l_inodebits.bits |=
361                                 lock->l_policy_data.l_inodebits.try_bits;
362                         lock->l_policy_data.l_inodebits.try_bits = 0;
363                         *flags |= LDLM_FL_LOCK_CHANGED;
364                 }
365                 LASSERT(lock->l_policy_data.l_inodebits.bits);
366                 ldlm_resource_unlink_lock(lock);
367                 ldlm_grant_lock(lock, grant_work);
368                 *err = ELDLM_OK;
369         }
370
371         RETURN(LDLM_ITER_CONTINUE);
372 }
373 #endif /* HAVE_SERVER_SUPPORT */
374
375 void ldlm_ibits_policy_wire_to_local(const union ldlm_wire_policy_data *wpolicy,
376                                      union ldlm_policy_data *lpolicy)
377 {
378         lpolicy->l_inodebits.bits = wpolicy->l_inodebits.bits;
379         /**
380          * try_bits are to be handled outside of generic write_to_local due
381          * to different behavior on a server and client.
382          */
383 }
384
385 void ldlm_ibits_policy_local_to_wire(const union ldlm_policy_data *lpolicy,
386                                      union ldlm_wire_policy_data *wpolicy)
387 {
388         memset(wpolicy, 0, sizeof(*wpolicy));
389         wpolicy->l_inodebits.bits = lpolicy->l_inodebits.bits;
390         wpolicy->l_inodebits.try_bits = lpolicy->l_inodebits.try_bits;
391 }
392
393 /**
394  * Attempt to convert already granted IBITS lock with several bits set to
395  * a lock with less bits (downgrade).
396  *
397  * Such lock conversion is used to keep lock with non-blocking bits instead of
398  * cancelling it, introduced for better support of DoM files.
399  */
400 int ldlm_inodebits_drop(struct ldlm_lock *lock, __u64 to_drop)
401 {
402         ENTRY;
403
404         check_res_locked(lock->l_resource);
405
406         /* Just return if there are no conflicting bits */
407         if ((lock->l_policy_data.l_inodebits.bits & to_drop) == 0) {
408                 LDLM_WARN(lock, "try to drop unset bits %#llx/%#llx",
409                           lock->l_policy_data.l_inodebits.bits, to_drop);
410                 /* nothing to do */
411                 RETURN(0);
412         }
413
414         /* remove lock from a skiplist and put in the new place
415          * according with new inodebits */
416         ldlm_resource_unlink_lock(lock);
417         lock->l_policy_data.l_inodebits.bits &= ~to_drop;
418         ldlm_grant_lock_with_skiplist(lock);
419         RETURN(0);
420 }
421 EXPORT_SYMBOL(ldlm_inodebits_drop);
422
423 /* convert single lock */
424 int ldlm_cli_inodebits_convert(struct ldlm_lock *lock,
425                                enum ldlm_cancel_flags cancel_flags)
426 {
427         struct ldlm_namespace *ns = ldlm_lock_to_ns(lock);
428         struct ldlm_lock_desc ld = { { 0 } };
429         __u64 drop_bits, new_bits;
430         __u32 flags = 0;
431         int rc;
432
433         ENTRY;
434
435         check_res_locked(lock->l_resource);
436
437         /* Lock is being converted already */
438         if (ldlm_is_converting(lock)) {
439                 if (!(cancel_flags & LCF_ASYNC)) {
440                         unlock_res_and_lock(lock);
441                         wait_event_idle(lock->l_waitq,
442                                         is_lock_converted(lock));
443                         lock_res_and_lock(lock);
444                 }
445                 RETURN(0);
446         }
447
448         /* lru_cancel may happen in parallel and call ldlm_cli_cancel_list()
449          * independently.
450          */
451         if (ldlm_is_canceling(lock))
452                 RETURN(-EINVAL);
453
454         /* no need in only local convert */
455         if (lock->l_flags & (LDLM_FL_LOCAL_ONLY | LDLM_FL_CANCEL_ON_BLOCK))
456                 RETURN(-EINVAL);
457
458         drop_bits = lock->l_policy_data.l_inodebits.cancel_bits;
459         /* no cancel bits - means that caller needs full cancel */
460         if (drop_bits == 0)
461                 RETURN(-EINVAL);
462
463         new_bits = lock->l_policy_data.l_inodebits.bits & ~drop_bits;
464         /* check if all lock bits are dropped, proceed with cancel */
465         if (!new_bits)
466                 RETURN(-EINVAL);
467
468         /* check if no dropped bits, consider this as successful convert */
469         if (lock->l_policy_data.l_inodebits.bits == new_bits)
470                 RETURN(0);
471
472         ldlm_set_converting(lock);
473         /* Finally call cancel callback for remaining bits only.
474          * It is important to have converting flag during that
475          * so blocking_ast callback can distinguish convert from
476          * cancels.
477          */
478         ld.l_policy_data.l_inodebits.cancel_bits = drop_bits;
479         unlock_res_and_lock(lock);
480         lock->l_blocking_ast(lock, &ld, lock->l_ast_data, LDLM_CB_CANCELING);
481         /* now notify server about convert */
482         rc = ldlm_cli_convert_req(lock, &flags, new_bits);
483         lock_res_and_lock(lock);
484         if (rc)
485                 GOTO(full_cancel, rc);
486
487         /* Finally clear these bits in lock ibits */
488         ldlm_inodebits_drop(lock, drop_bits);
489
490         /* Being locked again check if lock was canceled, it is important
491          * to do and don't drop cbpending below
492          */
493         if (ldlm_is_canceling(lock))
494                 GOTO(full_cancel, rc = -EINVAL);
495
496         /* also check again if more bits to be cancelled appeared */
497         if (drop_bits != lock->l_policy_data.l_inodebits.cancel_bits)
498                 GOTO(clear_converting, rc = -EAGAIN);
499
500         /* clear cbpending flag early, it is safe to match lock right after
501          * client convert because it is downgrade always.
502          */
503         ldlm_clear_cbpending(lock);
504         ldlm_clear_bl_ast(lock);
505         spin_lock(&ns->ns_lock);
506         if (list_empty(&lock->l_lru))
507                 ldlm_lock_add_to_lru_nolock(lock);
508         spin_unlock(&ns->ns_lock);
509
510         /* the job is done, zero the cancel_bits. If more conflicts appear,
511          * it will result in another cycle of ldlm_cli_inodebits_convert().
512          */
513 full_cancel:
514         lock->l_policy_data.l_inodebits.cancel_bits = 0;
515 clear_converting:
516         ldlm_clear_converting(lock);
517         RETURN(rc);
518 }
519
520 int ldlm_inodebits_alloc_lock(struct ldlm_lock *lock)
521 {
522         if (ldlm_is_ns_srv(lock)) {
523                 int i;
524
525                 OBD_SLAB_ALLOC_PTR(lock->l_ibits_node, ldlm_inodebits_slab);
526                 if (lock->l_ibits_node == NULL)
527                         return -ENOMEM;
528                 for (i = 0; i < MDS_INODELOCK_NUMBITS; i++)
529                         INIT_LIST_HEAD(&lock->l_ibits_node->lin_link[i]);
530                 lock->l_ibits_node->lock = lock;
531         } else {
532                 lock->l_ibits_node = NULL;
533         }
534         return 0;
535 }
536
537 void ldlm_inodebits_add_lock(struct ldlm_resource *res, struct list_head *head,
538                              struct ldlm_lock *lock)
539 {
540         int i;
541
542         if (!ldlm_is_ns_srv(lock))
543                 return;
544
545         if (head == &res->lr_waiting) {
546                 for (i = 0; i < MDS_INODELOCK_NUMBITS; i++) {
547                         if (lock->l_policy_data.l_inodebits.bits & BIT(i))
548                                 list_add_tail(&lock->l_ibits_node->lin_link[i],
549                                         &res->lr_ibits_queues->liq_waiting[i]);
550                 }
551         } else if (head == &res->lr_granted && lock->l_ibits_node != NULL) {
552                 for (i = 0; i < MDS_INODELOCK_NUMBITS; i++)
553                         LASSERT(list_empty(&lock->l_ibits_node->lin_link[i]));
554                 OBD_SLAB_FREE_PTR(lock->l_ibits_node, ldlm_inodebits_slab);
555                 lock->l_ibits_node = NULL;
556         }
557 }
558
559 void ldlm_inodebits_unlink_lock(struct ldlm_lock *lock)
560 {
561         int i;
562
563         ldlm_unlink_lock_skiplist(lock);
564         if (!ldlm_is_ns_srv(lock))
565                 return;
566
567         for (i = 0; i < MDS_INODELOCK_NUMBITS; i++)
568                 list_del_init(&lock->l_ibits_node->lin_link[i]);
569 }