lustre/ldlm/ldlm_extent.c

   1 /* -*- mode: c; c-basic-offset: 8; indent-tabs-mode: nil; -*-
   2  * vim:expandtab:shiftwidth=8:tabstop=8:
   3  *
   4  *  Copyright (c) 2002, 2003 Cluster File Systems, Inc.
   5  *   Author: Peter Braam <braam@clusterfs.com>
   6  *   Author: Phil Schwan <phil@clusterfs.com>
   7  *
   8  *   This file is part of Lustre, http://www.lustre.org.
   9  *
  10  *   Lustre is free software; you can redistribute it and/or
  11  *   modify it under the terms of version 2 of the GNU General Public
  12  *   License as published by the Free Software Foundation.
  13  *
  14  *   Lustre is distributed in the hope that it will be useful,
  15  *   but WITHOUT ANY WARRANTY; without even the implied warranty of
  16  *   MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  17  *   GNU General Public License for more details.
  18  *
  19  *   You should have received a copy of the GNU General Public License
  20  *   along with Lustre; if not, write to the Free Software
  21  *   Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
  22  */
  23
  24 #define DEBUG_SUBSYSTEM S_LDLM
  25 #ifndef __KERNEL__
  26 # include <liblustre.h>
  27 #endif
  28
  29 #include <linux/lustre_dlm.h>
  30 #include <linux/obd_support.h>
  31 #include <linux/lustre_lib.h>
  32
  33 #include "ldlm_internal.h"
  34
  35 /* The purpose of this function is to return:
  36  * - the maximum extent
  37  * - containing the requested extent
  38  * - and not overlapping existing conflicting extents outside the requested one
  39  */
  40 static void
  41 ldlm_extent_internal_policy(struct list_head *queue, struct ldlm_lock *req,
  42                             struct ldlm_extent *new_ex)
  43 {
  44         struct list_head *tmp;
  45         ldlm_mode_t req_mode = req->l_req_mode;
  46         __u64 req_start = req->l_req_extent.start;
  47         __u64 req_end = req->l_req_extent.end;
  48         ENTRY;
  49
  50         lockmode_verify(req_mode);
  51
  52         list_for_each(tmp, queue) {
  53                 struct ldlm_lock *lock;
  54                 struct ldlm_extent *l_extent;
  55
  56                 lock = list_entry(tmp, struct ldlm_lock, l_res_link);
  57                 l_extent = &lock->l_policy_data.l_extent;
  58
  59                 if (new_ex->start == req_start && new_ex->end == req_end) {
  60                         EXIT;
  61                         return;
  62                 }
  63
  64                 /* Don't conflict with ourselves */
  65                 if (req == lock)
  66                         continue;
  67
  68                 /* If lock doesn't overlap new_ex, skip it. */
  69                 if (l_extent->end < new_ex->start ||
  70                     l_extent->start > new_ex->end)
  71                         continue;
  72
  73                 /* Locks are compatible, overlap doesn't matter */
  74                 if (lockmode_compat(lock->l_req_mode, req_mode))
  75                         continue;
  76
  77                 /* Locks conflicting in requested extents and we can't satisfy
  78                  * both locks, so ignore it.  Either we will ping-pong this
  79                  * extent (we would regardless of what extent we granted) or
  80                  * lock is unused and it shouldn't limit our extent growth. */
  81                 if (lock->l_req_extent.end >= req_start &&
  82                     lock->l_req_extent.start <= req_end)
  83                         continue;
  84
  85                 /* We grow extents downwards only as far as they don't overlap
  86                  * with already-granted locks, on the assumtion that clients
  87                  * will be writing beyond the initial requested end and would
  88                  * then need to enqueue a new lock beyond the previous request.
  89                  * We don't grow downwards if there are lots of lockers. */
  90                 if (l_extent->start < req_start) {
  91                         if (atomic_read(&req->l_resource->lr_refcount) > 20)
  92                                 new_ex->start = req_start;
  93                         else
  94                                 new_ex->start = min(l_extent->end+1, req_start);
  95                 }
  96
  97                 /* If we need to cancel this lock anyways because our request
  98                  * overlaps the granted lock, we grow up to its requested
  99                  * extent start instead of limiting this extent, assuming that
 100                  * clients are writing forwards and the lock had over grown
 101                  * its extent downwards before we enqueued our request. */
 102                 if (l_extent->end > req_end) {
 103                         if (l_extent->start <= req_end)
 104                                 new_ex->end = max(lock->l_req_extent.start - 1,
 105                                                   req_end);
 106                         else
 107                                 new_ex->end = max(l_extent->start - 1, req_end);
 108                 }
 109         }
 110         EXIT;
 111 }
 112
 113 /* In order to determine the largest possible extent we can grant, we need
 114  * to scan all of the queues. */
 115 static void ldlm_extent_policy(struct ldlm_resource *res,
 116                                struct ldlm_lock *lock, int *flags)
 117 {
 118         struct ldlm_extent new_ex = { .start = 0, .end = ~0};
 119
 120         ldlm_extent_internal_policy(&res->lr_granted, lock, &new_ex);
 121         ldlm_extent_internal_policy(&res->lr_waiting, lock, &new_ex);
 122
 123         if (new_ex.start != lock->l_policy_data.l_extent.start ||
 124             new_ex.end != lock->l_policy_data.l_extent.end) {
 125                 *flags |= LDLM_FL_LOCK_CHANGED;
 126                 lock->l_policy_data.l_extent.start = new_ex.start;
 127                 lock->l_policy_data.l_extent.end = new_ex.end;
 128         }
 129 }
 130
 131 /* Determine if the lock is compatible with all locks on the queue.
 132  * We stop walking the queue if we hit ourselves so we don't take
 133  * conflicting locks enqueued after us into accound, or we'd wait forever.
 134  *
 135  * 0 if the lock is not compatible
 136  * 1 if the lock is compatible
 137  * 2 if this group lock is compatible and requires no further checking
 138  * negative error, such as EWOULDBLOCK for group locks
 139  */
 140 static int
 141 ldlm_extent_compat_queue(struct list_head *queue, struct ldlm_lock *req,
 142                          int send_cbs, int *flags, ldlm_error_t *err)
 143 {
 144         struct list_head *tmp;
 145         struct ldlm_lock *lock;
 146         ldlm_mode_t req_mode = req->l_req_mode;
 147         __u64 req_start = req->l_req_extent.start;
 148         __u64 req_end = req->l_req_extent.end;
 149         int compat = 1;
 150         ENTRY;
 151
 152         lockmode_verify(req_mode);
 153
 154         list_for_each(tmp, queue) {
 155                 lock = list_entry(tmp, struct ldlm_lock, l_res_link);
 156
 157                 if (req == lock)
 158                         RETURN(compat);
 159
 160                 /* locks are compatible, overlap doesn't matter */
 161                 if (lockmode_compat(lock->l_req_mode, req_mode)) {
 162                         /* non-group locks are compatible, overlap doesn't
 163                            matter */
 164                         if (req_mode != LCK_GROUP)
 165                                 continue;
 166
 167                         /* If we are trying to get a GROUP lock and there is
 168                            another one of this kind, we need to compare gid */
 169                         if (req->l_policy_data.l_extent.gid ==
 170                             lock->l_policy_data.l_extent.gid) {
 171                                 if (lock->l_req_mode == lock->l_granted_mode)
 172                                         RETURN(2);
 173
 174                                 /* If we are in nonblocking mode - return
 175                                    immediately */
 176                                 if (*flags & LDLM_FL_BLOCK_NOWAIT) {
 177                                         compat = -EWOULDBLOCK;
 178                                         goto destroylock;
 179                                 }
 180                                 /* If this group lock is compatible with another
 181                                  * group lock on the waiting list, they must be
 182                                  * together in the list, so they can be granted
 183                                  * at the same time.  Otherwise the later lock
 184                                  * can get stuck behind another, incompatible,
 185                                  * lock. */
 186                                 ldlm_resource_insert_lock_after(lock, req);
 187                                 /* Because 'lock' is not granted, we can stop
 188                                  * processing this queue and return immediately.
 189                                  * There is no need to check the rest of the
 190                                  * list. */
 191                                 RETURN(0);
 192                         }
 193                 }
 194
 195                 if (lock->l_req_mode == LCK_GROUP) {
 196                         /* If compared lock is GROUP, then requested is PR/PW/=>
 197                          * this is not compatible; extent range does not
 198                          * matter */
 199                         if (*flags & LDLM_FL_BLOCK_NOWAIT) {
 200                                 compat = -EWOULDBLOCK;
 201                                 goto destroylock;
 202                         } else {
 203                                 *flags |= LDLM_FL_NO_TIMEOUT;
 204                         }
 205                 } else if (lock->l_policy_data.l_extent.end < req_start ||
 206                            lock->l_policy_data.l_extent.start > req_end) {
 207                         /* if a non grouplock doesn't overlap skip it */
 208                         continue;
 209                 }
 210
 211                 if (!send_cbs)
 212                         RETURN(0);
 213
 214                 compat = 0;
 215                 if (lock->l_blocking_ast)
 216                         ldlm_add_ast_work_item(lock, req, NULL, 0);
 217         }
 218
 219         return(compat);
 220 destroylock:
 221         list_del_init(&req->l_res_link);
 222         ldlm_lock_destroy(req);
 223         *err = compat;
 224         RETURN(compat);
 225 }
 226
 227 /* If first_enq is 0 (ie, called from ldlm_reprocess_queue):
 228   *   - blocking ASTs have already been sent
 229   *   - the caller has already initialized req->lr_tmp
 230   *   - must call this function with the ns lock held
 231   *
 232   * If first_enq is 1 (ie, called from ldlm_lock_enqueue):
 233   *   - blocking ASTs have not been sent
 234   *   - the caller has NOT initialized req->lr_tmp, so we must
 235   *   - must call this function with the ns lock held once */
 236 int ldlm_process_extent_lock(struct ldlm_lock *lock, int *flags, int first_enq,
 237                              ldlm_error_t *err)
 238 {
 239         struct ldlm_resource *res = lock->l_resource;
 240         struct list_head rpc_list = LIST_HEAD_INIT(rpc_list);
 241         int rc, rc2;
 242         ENTRY;
 243
 244         LASSERT(list_empty(&res->lr_converting));
 245         *err = ELDLM_OK;
 246
 247         if (!first_enq) {
 248                 /* Careful observers will note that we don't handle -EWOULDBLOCK
 249                  * here, but it's ok for a non-obvious reason -- compat_queue
 250                  * can only return -EWOULDBLOCK if (flags & BLOCK_NOWAIT).
 251                  * flags should always be zero here, and if that ever stops
 252                  * being true, we want to find out. */
 253                 LASSERT(*flags == 0);
 254                 LASSERT(res->lr_tmp != NULL);
 255                 rc = ldlm_extent_compat_queue(&res->lr_granted, lock, 0, flags,
 256                                               err);
 257                 if (rc == 1) {
 258                         rc = ldlm_extent_compat_queue(&res->lr_waiting, lock, 0,
 259                                                       flags, err);
 260                 }
 261                 if (rc == 0)
 262                         RETURN(LDLM_ITER_STOP);
 263
 264                 ldlm_resource_unlink_lock(lock);
 265
 266                 ldlm_extent_policy(res, lock, flags);
 267                 ldlm_grant_lock(lock, NULL, 0, 1);
 268                 RETURN(LDLM_ITER_CONTINUE);
 269         }
 270
 271  restart:
 272         LASSERT(res->lr_tmp == NULL);
 273         res->lr_tmp = &rpc_list;
 274         rc = ldlm_extent_compat_queue(&res->lr_granted, lock, 1, flags, err);
 275         if (rc < 0)
 276                 RETURN(rc); /* lock was destroyed */
 277         if (rc == 2)
 278                 goto grant;
 279
 280         rc2 = ldlm_extent_compat_queue(&res->lr_waiting, lock, 1, flags, err);
 281         if (rc2 < 0)
 282                 RETURN(rc2); /* lock was destroyed */
 283         res->lr_tmp = NULL;
 284
 285         if (rc + rc2 == 2) {
 286         grant:
 287                 ldlm_extent_policy(res, lock, flags);
 288                 ldlm_resource_unlink_lock(lock);
 289                 ldlm_grant_lock(lock, NULL, 0, 0);
 290         } else {
 291                 /* If either of the compat_queue()s returned failure, then we
 292                  * have ASTs to send and must go onto the waiting list.
 293                  *
 294                  * bug 2322: we used to unlink and re-add here, which was a
 295                  * terrible folly -- if we goto restart, we could get
 296                  * re-ordered!  Causes deadlock, because ASTs aren't sent! */
 297                 if (list_empty(&lock->l_res_link))
 298                         ldlm_resource_add_lock(res, &res->lr_waiting, lock);
 299                 l_unlock(&res->lr_namespace->ns_lock);
 300                 rc = ldlm_run_ast_work(res->lr_namespace, &rpc_list);
 301                 l_lock(&res->lr_namespace->ns_lock);
 302                 if (rc == -ERESTART)
 303                         GOTO(restart, -ERESTART);
 304                 *flags |= LDLM_FL_BLOCK_GRANTED;
 305         }
 306         RETURN(0);
 307 }
 308
 309 /* When a lock is cancelled by a client, the KMS may undergo change if this
 310  * is the "highest lock".  This function returns the new KMS value.
 311  *
 312  * NB: A lock on [x,y] protects a KMS of up to y + 1 bytes! */
 313 __u64 ldlm_extent_shift_kms(struct ldlm_lock *lock, __u64 old_kms)
 314 {
 315         struct ldlm_resource *res = lock->l_resource;
 316         struct list_head *tmp;
 317         struct ldlm_lock *lck;
 318         __u64 kms = 0;
 319         ENTRY;
 320
 321         l_lock(&res->lr_namespace->ns_lock);
 322         list_for_each(tmp, &res->lr_granted) {
 323                 lck = list_entry(tmp, struct ldlm_lock, l_res_link);
 324
 325                 if (lock == lck)
 326                         continue;
 327                 if (lck->l_policy_data.l_extent.end >= old_kms)
 328                         GOTO(out, kms = old_kms);
 329                 kms = lck->l_policy_data.l_extent.end + 1;
 330         }
 331
 332         GOTO(out, kms);
 333  out:
 334         l_unlock(&res->lr_namespace->ns_lock);
 335         return kms;
 336 }