Whamcloud - gitweb
LU-12681 osc: wrong cache of LVB attrs, part2
[fs/lustre-release.git] / lustre / osc / osc_lock.c
index e06a900..85ab132 100644 (file)
  *
  * You should have received a copy of the GNU General Public License
  * version 2 along with this program; If not, see
- * http://www.sun.com/software/products/lustre/docs/GPLv2.pdf
- *
- * Please contact Sun Microsystems, Inc., 4150 Network Circle, Santa Clara,
- * CA 95054 USA or visit www.sun.com if you need additional information or
- * have any questions.
+ * http://www.gnu.org/licenses/gpl-2.0.html
  *
  * GPL HEADER END
  */
@@ -27,7 +23,7 @@
  * Copyright (c) 2008, 2010, Oracle and/or its affiliates. All rights reserved.
  * Use is subject to license terms.
  *
- * Copyright (c) 2011, 2013, Intel Corporation.
+ * Copyright (c) 2011, 2017, Intel Corporation.
  */
 /*
  * This file is part of Lustre, http://www.lustre.org/
 
 #define DEBUG_SUBSYSTEM S_OSC
 
-#ifdef __KERNEL__
-# include <libcfs/libcfs.h>
-#else
-# include <liblustre.h>
-#endif
 /* fid_build_reg_res_name() */
 #include <lustre_fid.h>
+#include <lustre_osc.h>
 
-#include "osc_cl_internal.h"
-
-/** \addtogroup osc 
- *  @{ 
- */
+#include "osc_internal.h"
 
-/*****************************************************************************
- *
- * Type conversions.
- *
+/** \addtogroup osc
+ *  @{
  */
 
-static const struct cl_lock_operations osc_lock_ops;
-static const struct cl_lock_operations osc_lock_lockless_ops;
-static void osc_lock_to_lockless(const struct lu_env *env,
-                                 struct osc_lock *ols, int force);
-static int osc_lock_has_pages(struct osc_lock *olck);
-
-int osc_lock_is_lockless(const struct osc_lock *olck)
-{
-        return (olck->ols_cl.cls_ops == &osc_lock_lockless_ops);
-}
-
 /**
  * Returns a weak pointer to the ldlm lock identified by a handle. Returned
  * pointer cannot be dereferenced, as lock is not protected from concurrent
@@ -93,11 +68,11 @@ static struct ldlm_lock *osc_handle_ptr(struct lustre_handle *handle)
 static int osc_lock_invariant(struct osc_lock *ols)
 {
        struct ldlm_lock *lock        = osc_handle_ptr(&ols->ols_handle);
-       struct ldlm_lock *olock       = ols->ols_lock;
+       struct ldlm_lock *olock       = ols->ols_dlmlock;
        int               handle_used = lustre_handle_is_used(&ols->ols_handle);
 
        if (ergo(osc_lock_is_lockless(ols),
-                ols->ols_locklessable && ols->ols_lock == NULL))
+                ols->ols_locklessable && ols->ols_dlmlock == NULL))
                return 1;
 
        /*
@@ -115,7 +90,7 @@ static int osc_lock_invariant(struct osc_lock *ols)
                   ergo(lock == NULL, olock == NULL)))
                return 0;
        /*
-        * Check that ->ols_handle and ->ols_lock are consistent, but
+        * Check that ->ols_handle and ->ols_dlmlock are consistent, but
         * take into account that they are set at the different time.
         */
        if (! ergo(ols->ols_state == OLS_CANCELLED,
@@ -131,7 +106,7 @@ static int osc_lock_invariant(struct osc_lock *ols)
 
        if (! ergo(ols->ols_state == OLS_GRANTED,
                   olock != NULL &&
-                  olock->l_req_mode == olock->l_granted_mode &&
+                  ldlm_is_granted(olock) &&
                   ols->ols_hold))
                return 0;
        return 1;
@@ -143,185 +118,25 @@ static int osc_lock_invariant(struct osc_lock *ols)
  *
  */
 
-/**
- * Breaks a link between osc_lock and dlm_lock.
- */
-static void osc_lock_detach(const struct lu_env *env, struct osc_lock *olck)
+void osc_lock_fini(const struct lu_env *env, struct cl_lock_slice *slice)
 {
-       struct ldlm_lock *dlmlock;
+       struct osc_lock  *ols = cl2osc_lock(slice);
 
-       spin_lock(&osc_ast_guard);
-       dlmlock = olck->ols_lock;
-       if (dlmlock == NULL) {
-               spin_unlock(&osc_ast_guard);
-                return;
-        }
-
-        olck->ols_lock = NULL;
-        /* wb(); --- for all who checks (ols->ols_lock != NULL) before
-         * call to osc_lock_detach() */
-        dlmlock->l_ast_data = NULL;
-        olck->ols_handle.cookie = 0ULL;
-       spin_unlock(&osc_ast_guard);
-
-        lock_res_and_lock(dlmlock);
-        if (dlmlock->l_granted_mode == dlmlock->l_req_mode) {
-                struct cl_object *obj = olck->ols_cl.cls_obj;
-                struct cl_attr *attr  = &osc_env_info(env)->oti_attr;
-                __u64 old_kms;
-
-                cl_object_attr_lock(obj);
-                /* Must get the value under the lock to avoid possible races. */
-                old_kms = cl2osc(obj)->oo_oinfo->loi_kms;
-                /* Update the kms. Need to loop all granted locks.
-                 * Not a problem for the client */
-                attr->cat_kms = ldlm_extent_shift_kms(dlmlock, old_kms);
-
-                cl_object_attr_set(env, obj, attr, CAT_KMS);
-                cl_object_attr_unlock(obj);
-        }
-        unlock_res_and_lock(dlmlock);
-
-        /* release a reference taken in osc_lock_upcall0(). */
-        LASSERT(olck->ols_has_ref);
-        lu_ref_del(&dlmlock->l_reference, "osc_lock", olck);
-        LDLM_LOCK_RELEASE(dlmlock);
-        olck->ols_has_ref = 0;
-}
+       LINVRNT(osc_lock_invariant(ols));
+       LASSERT(ols->ols_dlmlock == NULL);
 
-static int osc_lock_unhold(struct osc_lock *ols)
-{
-        int result = 0;
-
-        if (ols->ols_hold) {
-                ols->ols_hold = 0;
-                result = osc_cancel_base(&ols->ols_handle,
-                                         ols->ols_einfo.ei_mode);
-        }
-        return result;
-}
-
-static int osc_lock_unuse(const struct lu_env *env,
-                          const struct cl_lock_slice *slice)
-{
-        struct osc_lock *ols = cl2osc_lock(slice);
-
-        LINVRNT(osc_lock_invariant(ols));
-
-        switch (ols->ols_state) {
-        case OLS_NEW:
-                LASSERT(!ols->ols_hold);
-                LASSERT(ols->ols_agl);
-                return 0;
-       case OLS_UPCALL_RECEIVED:
-               osc_lock_unhold(ols);
-       case OLS_ENQUEUED:
-               LASSERT(!ols->ols_hold);
-               osc_lock_detach(env, ols);
-               ols->ols_state = OLS_NEW;
-               return 0;
-        case OLS_GRANTED:
-                LASSERT(!ols->ols_glimpse);
-                LASSERT(ols->ols_hold);
-                /*
-                 * Move lock into OLS_RELEASED state before calling
-                 * osc_cancel_base() so that possible synchronous cancellation
-                 * (that always happens e.g., for liblustre) sees that lock is
-                 * released.
-                 */
-                ols->ols_state = OLS_RELEASED;
-                return osc_lock_unhold(ols);
-        default:
-                CERROR("Impossible state: %d\n", ols->ols_state);
-                LBUG();
-        }
-}
-
-static void osc_lock_fini(const struct lu_env *env,
-                          struct cl_lock_slice *slice)
-{
-        struct osc_lock  *ols = cl2osc_lock(slice);
-
-        LINVRNT(osc_lock_invariant(ols));
-        /*
-         * ->ols_hold can still be true at this point if, for example, a
-         * thread that requested a lock was killed (and released a reference
-         * to the lock), before reply from a server was received. In this case
-         * lock is destroyed immediately after upcall.
-         */
-        osc_lock_unhold(ols);
-        LASSERT(ols->ols_lock == NULL);
-        OBD_SLAB_FREE_PTR(ols, osc_lock_kmem);
+       OBD_SLAB_FREE_PTR(ols, osc_lock_kmem);
 }
+EXPORT_SYMBOL(osc_lock_fini);
 
 static void osc_lock_build_policy(const struct lu_env *env,
-                                  const struct cl_lock *lock,
-                                  ldlm_policy_data_t *policy)
+                                 const struct cl_lock *lock,
+                                 union ldlm_policy_data *policy)
 {
-        const struct cl_lock_descr *d = &lock->cll_descr;
+       const struct cl_lock_descr *d = &lock->cll_descr;
 
-        osc_index2policy(policy, d->cld_obj, d->cld_start, d->cld_end);
-        policy->l_extent.gid = d->cld_gid;
-}
-
-static __u64 osc_enq2ldlm_flags(__u32 enqflags)
-{
-       __u64 result = 0;
-
-       LASSERT((enqflags & ~CEF_MASK) == 0);
-
-       if (enqflags & CEF_NONBLOCK)
-               result |= LDLM_FL_BLOCK_NOWAIT;
-       if (enqflags & CEF_ASYNC)
-               result |= LDLM_FL_HAS_INTENT;
-       if (enqflags & CEF_DISCARD_DATA)
-               result |= LDLM_FL_AST_DISCARD_DATA;
-       return result;
-}
-
-/**
- * Global spin-lock protecting consistency of ldlm_lock::l_ast_data
- * pointers. Initialized in osc_init().
- */
-spinlock_t osc_ast_guard;
-
-static struct osc_lock *osc_ast_data_get(struct ldlm_lock *dlm_lock)
-{
-       struct osc_lock *olck;
-
-       lock_res_and_lock(dlm_lock);
-       spin_lock(&osc_ast_guard);
-        olck = dlm_lock->l_ast_data;
-        if (olck != NULL) {
-                struct cl_lock *lock = olck->ols_cl.cls_lock;
-                /*
-                 * If osc_lock holds a reference on ldlm lock, return it even
-                 * when cl_lock is in CLS_FREEING state. This way
-                 *
-                 *         osc_ast_data_get(dlmlock) == NULL
-                 *
-                 * guarantees that all osc references on dlmlock were
-                 * released. osc_dlm_blocking_ast0() relies on that.
-                 */
-               if (lock->cll_state < CLS_FREEING || olck->ols_has_ref) {
-                       cl_lock_get_trust(lock);
-                       lu_ref_add_atomic(&lock->cll_reference,
-                                         "ast", current);
-               } else
-                       olck = NULL;
-        }
-       spin_unlock(&osc_ast_guard);
-       unlock_res_and_lock(dlm_lock);
-       return olck;
-}
-
-static void osc_ast_data_put(const struct lu_env *env, struct osc_lock *olck)
-{
-       struct cl_lock *lock;
-
-       lock = olck->ols_cl.cls_lock;
-       lu_ref_del(&lock->cll_reference, "ast", current);
-       cl_lock_put(env, lock);
+       osc_index2policy(policy, d->cld_obj, d->cld_start, d->cld_end);
+       policy->l_extent.gid = d->cld_gid;
 }
 
 /**
@@ -329,159 +144,118 @@ static void osc_ast_data_put(const struct lu_env *env, struct osc_lock *olck)
  * with the DLM lock reply from the server. Copy of osc_update_enqueue()
  * logic.
  *
- * This can be optimized to not update attributes when lock is a result of a
- * local match.
- *
  * Called under lock and resource spin-locks.
  */
-static void osc_lock_lvb_update(const struct lu_env *env, struct osc_lock *olck,
-                                int rc)
+void osc_lock_lvb_update(const struct lu_env *env,
+                        struct osc_object *osc,
+                        struct ldlm_lock *dlmlock,
+                        struct ost_lvb *lvb)
 {
-        struct ost_lvb    *lvb;
-        struct cl_object  *obj;
-        struct lov_oinfo  *oinfo;
-        struct cl_attr    *attr;
-        unsigned           valid;
+       struct cl_object *obj = osc2cl(osc);
+       struct lov_oinfo *oinfo = osc->oo_oinfo;
+       struct cl_attr *attr = &osc_env_info(env)->oti_attr;
+       unsigned valid, setkms = 0;
 
-        ENTRY;
-
-        if (!(olck->ols_flags & LDLM_FL_LVB_READY))
-                RETURN_EXIT;
+       ENTRY;
 
-        lvb   = &olck->ols_lvb;
-        obj   = olck->ols_cl.cls_obj;
-        oinfo = cl2osc(obj)->oo_oinfo;
-        attr  = &osc_env_info(env)->oti_attr;
-        valid = CAT_BLOCKS | CAT_ATIME | CAT_CTIME | CAT_MTIME | CAT_SIZE;
-        cl_lvb2attr(attr, lvb);
+       valid = CAT_BLOCKS | CAT_ATIME | CAT_CTIME | CAT_MTIME | CAT_SIZE;
+       if (lvb == NULL) {
+               LASSERT(dlmlock != NULL);
+               lvb = dlmlock->l_lvb_data;
+       }
+       cl_lvb2attr(attr, lvb);
 
-        cl_object_attr_lock(obj);
-        if (rc == 0) {
-                struct ldlm_lock  *dlmlock;
-                __u64 size;
+       cl_object_attr_lock(obj);
+       if (dlmlock != NULL) {
+               __u64 size;
 
-                dlmlock = olck->ols_lock;
-                LASSERT(dlmlock != NULL);
+               check_res_locked(dlmlock->l_resource);
 
-                /* re-grab LVB from a dlm lock under DLM spin-locks. */
-                *lvb = *(struct ost_lvb *)dlmlock->l_lvb_data;
+               LASSERT(lvb == dlmlock->l_lvb_data);
                 size = lvb->lvb_size;
+
                 /* Extend KMS up to the end of this lock and no further
                  * A lock on [x,y] means a KMS of up to y + 1 bytes! */
                 if (size > dlmlock->l_policy_data.l_extent.end)
                         size = dlmlock->l_policy_data.l_extent.end + 1;
                 if (size >= oinfo->loi_kms) {
-                        LDLM_DEBUG(dlmlock, "lock acquired, setting rss="LPU64
-                                   ", kms="LPU64, lvb->lvb_size, size);
                         valid |= CAT_KMS;
                         attr->cat_kms = size;
-                } else {
-                        LDLM_DEBUG(dlmlock, "lock acquired, setting rss="
-                                   LPU64"; leaving kms="LPU64", end="LPU64,
-                                   lvb->lvb_size, oinfo->loi_kms,
-                                   dlmlock->l_policy_data.l_extent.end);
+                       setkms = 1;
                 }
-                ldlm_lock_allow_match_locked(dlmlock);
-        } else if (rc == -ENAVAIL && olck->ols_glimpse) {
-                CDEBUG(D_INODE, "glimpsed, setting rss="LPU64"; leaving"
-                       " kms="LPU64"\n", lvb->lvb_size, oinfo->loi_kms);
-        } else
-                valid = 0;
+               ldlm_lock_allow_match_locked(dlmlock);
+       }
+
+       /* The size should not be less than the kms */
+       if (attr->cat_size < oinfo->loi_kms)
+               attr->cat_size = oinfo->loi_kms;
 
-        if (valid != 0)
-                cl_object_attr_set(env, obj, attr, valid);
+       LDLM_DEBUG(dlmlock, "acquired size %llu, setting rss=%llu;%s "
+                  "kms=%llu, end=%llu", lvb->lvb_size, attr->cat_size,
+                  setkms ? "" : " leaving",
+                  setkms ? attr->cat_kms : oinfo->loi_kms,
+                  dlmlock ? dlmlock->l_policy_data.l_extent.end : -1ull);
 
-        cl_object_attr_unlock(obj);
+       cl_object_attr_update(env, obj, attr, valid);
+       cl_object_attr_unlock(obj);
 
-        EXIT;
+       EXIT;
 }
 
-/**
- * Called when a lock is granted, from an upcall (when server returned a
- * granted lock), or from completion AST, when server returned a blocked lock.
- *
- * Called under lock and resource spin-locks, that are released temporarily
- * here.
- */
-static void osc_lock_granted(const struct lu_env *env, struct osc_lock *olck,
-                             struct ldlm_lock *dlmlock, int rc)
+static void osc_lock_granted(const struct lu_env *env, struct osc_lock *oscl,
+                            struct lustre_handle *lockh)
 {
-        struct ldlm_extent   *ext;
-        struct cl_lock       *lock;
-        struct cl_lock_descr *descr;
-
-        LASSERT(dlmlock->l_granted_mode == dlmlock->l_req_mode);
-
-        ENTRY;
-        if (olck->ols_state < OLS_GRANTED) {
-                lock  = olck->ols_cl.cls_lock;
-                ext   = &dlmlock->l_policy_data.l_extent;
-                descr = &osc_env_info(env)->oti_descr;
-                descr->cld_obj = lock->cll_descr.cld_obj;
-
-                /* XXX check that ->l_granted_mode is valid. */
-                descr->cld_mode  = osc_ldlm2cl_lock(dlmlock->l_granted_mode);
-                descr->cld_start = cl_index(descr->cld_obj, ext->start);
-                descr->cld_end   = cl_index(descr->cld_obj, ext->end);
-                descr->cld_gid   = ext->gid;
-                /*
-                 * tell upper layers the extent of the lock that was actually
-                 * granted
-                 */
-                olck->ols_state = OLS_GRANTED;
-                osc_lock_lvb_update(env, olck, rc);
-
-                /* release DLM spin-locks to allow cl_lock_{modify,signal}()
-                 * to take a semaphore on a parent lock. This is safe, because
-                 * spin-locks are needed to protect consistency of
-                 * dlmlock->l_*_mode and LVB, and we have finished processing
-                 * them. */
-                unlock_res_and_lock(dlmlock);
-                cl_lock_modify(env, lock, descr);
-                cl_lock_signal(env, lock);
-                LINVRNT(osc_lock_invariant(olck));
-                lock_res_and_lock(dlmlock);
-        }
-        EXIT;
-}
+       struct osc_object *osc = cl2osc(oscl->ols_cl.cls_obj);
+       struct ldlm_lock *dlmlock;
 
-static void osc_lock_upcall0(const struct lu_env *env, struct osc_lock *olck)
+       dlmlock = ldlm_handle2lock_long(lockh, 0);
+       LASSERT(dlmlock != NULL);
 
-{
-        struct ldlm_lock *dlmlock;
+       /* lock reference taken by ldlm_handle2lock_long() is
+        * owned by osc_lock and released in osc_lock_detach()
+        */
+       lu_ref_add(&dlmlock->l_reference, "osc_lock", oscl);
+       oscl->ols_has_ref = 1;
+
+       LASSERT(oscl->ols_dlmlock == NULL);
+       oscl->ols_dlmlock = dlmlock;
+
+       /* This may be a matched lock for glimpse request, do not hold
+        * lock reference in that case. */
+       if (!oscl->ols_glimpse) {
+               /* hold a refc for non glimpse lock which will
+                * be released in osc_lock_cancel() */
+               lustre_handle_copy(&oscl->ols_handle, lockh);
+               ldlm_lock_addref(lockh, oscl->ols_einfo.ei_mode);
+               oscl->ols_hold = 1;
+       }
 
-        ENTRY;
+       /* Lock must have been granted. */
+       lock_res_and_lock(dlmlock);
+       if (ldlm_is_granted(dlmlock)) {
+               struct ldlm_extent *ext = &dlmlock->l_policy_data.l_extent;
+               struct cl_lock_descr *descr = &oscl->ols_cl.cls_lock->cll_descr;
+
+               /* extend the lock extent, otherwise it will have problem when
+                * we decide whether to grant a lockless lock. */
+               descr->cld_mode  = osc_ldlm2cl_lock(dlmlock->l_granted_mode);
+               descr->cld_start = cl_index(descr->cld_obj, ext->start);
+               descr->cld_end   = cl_index(descr->cld_obj, ext->end);
+               descr->cld_gid   = ext->gid;
+
+               /* no lvb update for matched lock */
+               if (!ldlm_is_lvb_cached(dlmlock)) {
+                       LASSERT(oscl->ols_flags & LDLM_FL_LVB_READY);
+                       LASSERT(osc == dlmlock->l_ast_data);
+                       osc_lock_lvb_update(env, osc, dlmlock, NULL);
+                       ldlm_set_lvb_cached(dlmlock);
+               }
+               LINVRNT(osc_lock_invariant(oscl));
+       }
+       unlock_res_and_lock(dlmlock);
 
-        dlmlock = ldlm_handle2lock_long(&olck->ols_handle, 0);
-        LASSERT(dlmlock != NULL);
-
-        lock_res_and_lock(dlmlock);
-       spin_lock(&osc_ast_guard);
-       LASSERT(dlmlock->l_ast_data == olck);
-       LASSERT(olck->ols_lock == NULL);
-       olck->ols_lock = dlmlock;
-       spin_unlock(&osc_ast_guard);
-
-        /*
-         * Lock might be not yet granted. In this case, completion ast
-         * (osc_ldlm_completion_ast()) comes later and finishes lock
-         * granting.
-         */
-        if (dlmlock->l_granted_mode == dlmlock->l_req_mode)
-                osc_lock_granted(env, olck, dlmlock, 0);
-        unlock_res_and_lock(dlmlock);
-
-        /*
-         * osc_enqueue_interpret() decrefs asynchronous locks, counter
-         * this.
-         */
-        ldlm_lock_addref(&olck->ols_handle, olck->ols_einfo.ei_mode);
-        olck->ols_hold = 1;
-
-        /* lock reference taken by ldlm_handle2lock_long() is owned by
-         * osc_lock and released in osc_lock_detach() */
-        lu_ref_add(&dlmlock->l_reference, "osc_lock", olck);
-        olck->ols_has_ref = 1;
+       LASSERT(oscl->ols_state != OLS_GRANTED);
+       oscl->ols_state = OLS_GRANTED;
 }
 
 /**
@@ -489,145 +263,135 @@ static void osc_lock_upcall0(const struct lu_env *env, struct osc_lock *olck)
  * received from a server, or after osc_enqueue_base() matched a local DLM
  * lock.
  */
-static int osc_lock_upcall(void *cookie, int errcode)
+static int osc_lock_upcall(void *cookie, struct lustre_handle *lockh,
+                          int errcode)
 {
-        struct osc_lock         *olck  = cookie;
-        struct cl_lock_slice    *slice = &olck->ols_cl;
-        struct cl_lock          *lock  = slice->cls_lock;
-        struct lu_env           *env;
-        struct cl_env_nest       nest;
-
-        ENTRY;
-        env = cl_env_nested_get(&nest);
-        if (!IS_ERR(env)) {
-                int rc;
-
-                cl_lock_mutex_get(env, lock);
-
-                LASSERT(lock->cll_state >= CLS_QUEUING);
-                if (olck->ols_state == OLS_ENQUEUED) {
-                        olck->ols_state = OLS_UPCALL_RECEIVED;
-                        rc = ldlm_error2errno(errcode);
-                } else if (olck->ols_state == OLS_CANCELLED) {
-                        rc = -EIO;
-                } else {
-                        CERROR("Impossible state: %d\n", olck->ols_state);
-                        LBUG();
-                }
-                if (rc) {
-                        struct ldlm_lock *dlmlock;
-
-                        dlmlock = ldlm_handle2lock(&olck->ols_handle);
-                        if (dlmlock != NULL) {
-                                lock_res_and_lock(dlmlock);
-                               spin_lock(&osc_ast_guard);
-                               LASSERT(olck->ols_lock == NULL);
-                               dlmlock->l_ast_data = NULL;
-                               olck->ols_handle.cookie = 0ULL;
-                               spin_unlock(&osc_ast_guard);
-                                ldlm_lock_fail_match_locked(dlmlock);
-                                unlock_res_and_lock(dlmlock);
-                                LDLM_LOCK_PUT(dlmlock);
-                        }
-                } else {
-                        if (olck->ols_glimpse)
-                                olck->ols_glimpse = 0;
-                        osc_lock_upcall0(env, olck);
-                }
-
-                /* Error handling, some errors are tolerable. */
-                if (olck->ols_locklessable && rc == -EUSERS) {
-                        /* This is a tolerable error, turn this lock into
-                         * lockless lock.
-                         */
-                        osc_object_set_contended(cl2osc(slice->cls_obj));
-                        LASSERT(slice->cls_ops == &osc_lock_ops);
-
-                        /* Change this lock to ldlmlock-less lock. */
-                        osc_lock_to_lockless(env, olck, 1);
-                        olck->ols_state = OLS_GRANTED;
-                        rc = 0;
-                } else if (olck->ols_glimpse && rc == -ENAVAIL) {
-                        osc_lock_lvb_update(env, olck, rc);
-                        cl_lock_delete(env, lock);
-                        /* Hide the error. */
-                        rc = 0;
-                }
-
-                if (rc == 0) {
-                        /* For AGL case, the RPC sponsor may exits the cl_lock
-                        *  processing without wait() called before related OSC
-                        *  lock upcall(). So update the lock status according
-                        *  to the enqueue result inside AGL upcall(). */
-                        if (olck->ols_agl) {
-                                lock->cll_flags |= CLF_FROM_UPCALL;
-                                cl_wait_try(env, lock);
-                                lock->cll_flags &= ~CLF_FROM_UPCALL;
-                        }
-                        cl_lock_signal(env, lock);
-                        /* del user for lock upcall cookie */
-                        if (olck->ols_agl) {
-                                if (!olck->ols_glimpse)
-                                        olck->ols_agl = 0;
-                               cl_unuse_try(env, lock);
-                       }
-                } else {
-                        /* del user for lock upcall cookie */
-                        if (olck->ols_agl)
-                               cl_lock_user_del(env, lock);
-                        cl_lock_error(env, lock, rc);
-                }
+       struct osc_lock         *oscl  = cookie;
+       struct cl_lock_slice    *slice = &oscl->ols_cl;
+       struct lu_env           *env;
+       int                     rc;
 
-               /* release cookie reference, acquired by osc_lock_enqueue() */
-               cl_lock_hold_release(env, lock, "upcall", lock);
-               cl_lock_mutex_put(env, lock);
+       ENTRY;
 
-               lu_ref_del(&lock->cll_reference, "upcall", lock);
-               /* This maybe the last reference, so must be called after
-                * cl_lock_mutex_put(). */
-               cl_lock_put(env, lock);
+       env = cl_env_percpu_get();
+       /* should never happen, similar to osc_ldlm_blocking_ast(). */
+       LASSERT(!IS_ERR(env));
 
-               cl_env_nested_put(&nest, env);
+       rc = ldlm_error2errno(errcode);
+       if (oscl->ols_state == OLS_ENQUEUED) {
+               oscl->ols_state = OLS_UPCALL_RECEIVED;
+       } else if (oscl->ols_state == OLS_CANCELLED) {
+               rc = -EIO;
        } else {
-               /* should never happen, similar to osc_ldlm_blocking_ast(). */
+               CERROR("Impossible state: %d\n", oscl->ols_state);
                LBUG();
        }
-       RETURN(errcode);
+
+       if (rc == 0)
+               osc_lock_granted(env, oscl, lockh);
+
+       /* Error handling, some errors are tolerable. */
+       if (oscl->ols_locklessable && rc == -EUSERS) {
+               /* This is a tolerable error, turn this lock into
+                * lockless lock.
+                */
+               osc_object_set_contended(cl2osc(slice->cls_obj));
+               LASSERT(slice->cls_ops != oscl->ols_lockless_ops);
+
+               /* Change this lock to ldlmlock-less lock. */
+               osc_lock_to_lockless(env, oscl, 1);
+               oscl->ols_state = OLS_GRANTED;
+               rc = 0;
+       } else if (oscl->ols_glimpse && rc == -ENAVAIL) {
+               LASSERT(oscl->ols_flags & LDLM_FL_LVB_READY);
+               osc_lock_lvb_update(env, cl2osc(slice->cls_obj),
+                                   NULL, &oscl->ols_lvb);
+               /* Hide the error. */
+               rc = 0;
+       } else if (rc < 0 && oscl->ols_flags & LDLM_FL_NDELAY) {
+               rc = -EWOULDBLOCK;
+       }
+
+       if (oscl->ols_owner != NULL)
+               cl_sync_io_note(env, oscl->ols_owner, rc);
+       cl_env_percpu_put(env);
+
+       RETURN(rc);
 }
 
-/**
- * Core of osc_dlm_blocking_ast() logic.
- */
-static void osc_lock_blocking(const struct lu_env *env,
-                              struct ldlm_lock *dlmlock,
-                              struct osc_lock *olck, int blocking)
+static int osc_lock_upcall_speculative(void *cookie,
+                                      struct lustre_handle *lockh,
+                                      int errcode)
+{
+       struct osc_object       *osc = cookie;
+       struct ldlm_lock        *dlmlock;
+       struct lu_env           *env;
+       __u16                    refcheck;
+       ENTRY;
+
+       env = cl_env_get(&refcheck);
+       LASSERT(!IS_ERR(env));
+
+       if (errcode == ELDLM_LOCK_MATCHED)
+               GOTO(out, errcode = ELDLM_OK);
+
+       if (errcode != ELDLM_OK)
+               GOTO(out, errcode);
+
+       dlmlock = ldlm_handle2lock(lockh);
+       LASSERT(dlmlock != NULL);
+
+       lock_res_and_lock(dlmlock);
+       LASSERT(ldlm_is_granted(dlmlock));
+
+       /* there is no osc_lock associated with speculative locks
+        * thus no need to set LDLM_FL_LVB_CACHED */
+       osc_lock_lvb_update(env, osc, dlmlock, NULL);
+
+       unlock_res_and_lock(dlmlock);
+       LDLM_LOCK_PUT(dlmlock);
+
+out:
+       cl_object_put(env, osc2cl(osc));
+       cl_env_put(env, &refcheck);
+       RETURN(ldlm_error2errno(errcode));
+}
+
+static int osc_lock_flush(struct osc_object *obj, pgoff_t start, pgoff_t end,
+                         enum cl_lock_mode mode, bool discard)
 {
-        struct cl_lock *lock = olck->ols_cl.cls_lock;
-
-        LASSERT(olck->ols_lock == dlmlock);
-        CLASSERT(OLS_BLOCKED < OLS_CANCELLED);
-        LASSERT(!osc_lock_is_lockless(olck));
-
-        /*
-         * Lock might be still addref-ed here, if e.g., blocking ast
-         * is sent for a failed lock.
-         */
-        osc_lock_unhold(olck);
-
-        if (blocking && olck->ols_state < OLS_BLOCKED)
-                /*
-                 * Move osc_lock into OLS_BLOCKED before canceling the lock,
-                 * because it recursively re-enters osc_lock_blocking(), with
-                 * the state set to OLS_CANCELLED.
-                 */
-                olck->ols_state = OLS_BLOCKED;
-        /*
-         * cancel and destroy lock at least once no matter how blocking ast is
-         * entered (see comment above osc_ldlm_blocking_ast() for use
-         * cases). cl_lock_cancel() and cl_lock_delete() are idempotent.
-         */
-        cl_lock_cancel(env, lock);
-        cl_lock_delete(env, lock);
+       struct lu_env           *env;
+       __u16                   refcheck;
+       int                     rc = 0;
+       int                     rc2 = 0;
+
+       ENTRY;
+
+       env = cl_env_get(&refcheck);
+       if (IS_ERR(env))
+               RETURN(PTR_ERR(env));
+
+       if (mode == CLM_WRITE) {
+               rc = osc_cache_writeback_range(env, obj, start, end, 1,
+                                              discard);
+               CDEBUG(D_CACHE, "object %p: [%lu -> %lu] %d pages were %s.\n",
+                      obj, start, end, rc,
+                      discard ? "discarded" : "written back");
+               if (rc > 0)
+                       rc = 0;
+       }
+
+       /*
+        * Do not try to match other locks with CLM_WRITE since we already
+        * know there're none
+        */
+       rc2 = osc_lock_discard_pages(env, obj, start, end,
+                                    mode == CLM_WRITE || discard);
+       if (rc == 0 && rc2 < 0)
+               rc = rc2;
+
+       cl_env_put(env, &refcheck);
+       RETURN(rc);
 }
 
 /**
@@ -638,66 +402,63 @@ static int osc_dlm_blocking_ast0(const struct lu_env *env,
                                  struct ldlm_lock *dlmlock,
                                  void *data, int flag)
 {
-        struct osc_lock *olck;
-        struct cl_lock  *lock;
-        int result;
-        int cancel;
-
-        LASSERT(flag == LDLM_CB_BLOCKING || flag == LDLM_CB_CANCELING);
-
-        cancel = 0;
-        olck = osc_ast_data_get(dlmlock);
-        if (olck != NULL) {
-                lock = olck->ols_cl.cls_lock;
-                cl_lock_mutex_get(env, lock);
-                LINVRNT(osc_lock_invariant(olck));
-                if (olck->ols_ast_wait) {
-                        /* wake up osc_lock_use() */
-                        cl_lock_signal(env, lock);
-                        olck->ols_ast_wait = 0;
-                }
-                /*
-                 * Lock might have been canceled while this thread was
-                 * sleeping for lock mutex, but olck is pinned in memory.
-                 */
-                if (olck == dlmlock->l_ast_data) {
-                        /*
-                         * NOTE: DLM sends blocking AST's for failed locks
-                         *       (that are still in pre-OLS_GRANTED state)
-                         *       too, and they have to be canceled otherwise
-                         *       DLM lock is never destroyed and stuck in
-                         *       the memory.
-                         *
-                         *       Alternatively, ldlm_cli_cancel() can be
-                         *       called here directly for osc_locks with
-                         *       ols_state < OLS_GRANTED to maintain an
-                         *       invariant that ->clo_cancel() is only called
-                         *       for locks that were granted.
-                         */
-                        LASSERT(data == olck);
-                        osc_lock_blocking(env, dlmlock,
-                                          olck, flag == LDLM_CB_BLOCKING);
-                } else
-                        cancel = 1;
-                cl_lock_mutex_put(env, lock);
-                osc_ast_data_put(env, olck);
-        } else
-                /*
-                 * DLM lock exists, but there is no cl_lock attached to it.
-                 * This is a `normal' race. cl_object and its cl_lock's can be
-                 * removed by memory pressure, together with all pages.
-                 */
-                cancel = (flag == LDLM_CB_BLOCKING);
-
-        if (cancel) {
-                struct lustre_handle *lockh;
-
-                lockh = &osc_env_info(env)->oti_handle;
-                ldlm_lock2handle(dlmlock, lockh);
-               result = ldlm_cli_cancel(lockh, LCF_ASYNC);
-        } else
-                result = 0;
-        return result;
+       struct cl_object        *obj = NULL;
+       int                     result = 0;
+       bool                    discard;
+       enum cl_lock_mode       mode = CLM_READ;
+       ENTRY;
+
+       LASSERT(flag == LDLM_CB_CANCELING);
+
+       lock_res_and_lock(dlmlock);
+       if (!ldlm_is_granted(dlmlock)) {
+               dlmlock->l_ast_data = NULL;
+               unlock_res_and_lock(dlmlock);
+               RETURN(0);
+       }
+
+       discard = ldlm_is_discard_data(dlmlock);
+       if (dlmlock->l_granted_mode & (LCK_PW | LCK_GROUP))
+               mode = CLM_WRITE;
+
+       if (dlmlock->l_ast_data != NULL) {
+               obj = osc2cl(dlmlock->l_ast_data);
+               dlmlock->l_ast_data = NULL;
+
+               cl_object_get(obj);
+       }
+
+       unlock_res_and_lock(dlmlock);
+
+       /* if l_ast_data is NULL, the dlmlock was enqueued by AGL or
+        * the object has been destroyed. */
+       if (obj != NULL) {
+               struct ldlm_extent *extent = &dlmlock->l_policy_data.l_extent;
+               struct cl_attr *attr = &osc_env_info(env)->oti_attr;
+               __u64 old_kms;
+
+               /* Destroy pages covered by the extent of the DLM lock */
+               result = osc_lock_flush(cl2osc(obj),
+                                       cl_index(obj, extent->start),
+                                       cl_index(obj, extent->end),
+                                       mode, discard);
+
+               /* losing a lock, update kms */
+               lock_res_and_lock(dlmlock);
+               cl_object_attr_lock(obj);
+               /* Must get the value under the lock to avoid race. */
+               old_kms = cl2osc(obj)->oo_oinfo->loi_kms;
+               /* Update the kms. Need to loop all granted locks.
+                * Not a problem for the client */
+               attr->cat_kms = ldlm_extent_shift_kms(dlmlock, old_kms);
+
+               cl_object_attr_update(env, obj, attr, CAT_KMS);
+               cl_object_attr_unlock(obj);
+               unlock_res_and_lock(dlmlock);
+
+               cl_object_put(env, obj);
+       }
+       RETURN(result);
 }
 
 /**
@@ -725,7 +486,7 @@ static int osc_dlm_blocking_ast0(const struct lu_env *env,
  *
  *     - ldlm calls dlmlock->l_blocking_ast(..., LDLM_CB_BLOCKING) to notify
  *       us that dlmlock conflicts with another lock that some client is
- *       enqueing. Lock is canceled.
+ *       enqueuing. Lock is canceled.
  *
  *           - cl_lock_cancel() is called. osc_lock_cancel() calls
  *             ldlm_cli_cancel() that calls
@@ -746,196 +507,180 @@ static int osc_ldlm_blocking_ast(struct ldlm_lock *dlmlock,
                                  struct ldlm_lock_desc *new, void *data,
                                  int flag)
 {
-        struct lu_env     *env;
-        struct cl_env_nest nest;
-        int                result;
-
-        /*
-         * This can be called in the context of outer IO, e.g.,
-         *
-         *     cl_enqueue()->...
-         *       ->osc_enqueue_base()->...
-         *         ->ldlm_prep_elc_req()->...
-         *           ->ldlm_cancel_callback()->...
-         *             ->osc_ldlm_blocking_ast()
-         *
-         * new environment has to be created to not corrupt outer context.
-         */
-        env = cl_env_nested_get(&nest);
-        if (!IS_ERR(env)) {
-                result = osc_dlm_blocking_ast0(env, dlmlock, data, flag);
-                cl_env_nested_put(&nest, env);
-        } else {
-                result = PTR_ERR(env);
-                /*
-                 * XXX This should never happen, as cl_lock is
-                 * stuck. Pre-allocated environment a la vvp_inode_fini_env
-                 * should be used.
-                 */
-                LBUG();
-        }
-        if (result != 0) {
-                if (result == -ENODATA)
-                        result = 0;
-                else
-                        CERROR("BAST failed: %d\n", result);
-        }
-        return result;
-}
+       int result = 0;
+       ENTRY;
 
-static int osc_ldlm_completion_ast(struct ldlm_lock *dlmlock,
-                                  __u64 flags, void *data)
-{
-        struct cl_env_nest nest;
-        struct lu_env     *env;
-        struct osc_lock   *olck;
-        struct cl_lock    *lock;
-        int result;
-        int dlmrc;
-
-        /* first, do dlm part of the work */
-        dlmrc = ldlm_completion_ast_async(dlmlock, flags, data);
-        /* then, notify cl_lock */
-        env = cl_env_nested_get(&nest);
-        if (!IS_ERR(env)) {
-                olck = osc_ast_data_get(dlmlock);
-                if (olck != NULL) {
-                        lock = olck->ols_cl.cls_lock;
-                        cl_lock_mutex_get(env, lock);
-                        /*
-                         * ldlm_handle_cp_callback() copied LVB from request
-                         * to lock->l_lvb_data, store it in osc_lock.
-                         */
-                        LASSERT(dlmlock->l_lvb_data != NULL);
-                        lock_res_and_lock(dlmlock);
-                        olck->ols_lvb = *(struct ost_lvb *)dlmlock->l_lvb_data;
-                        if (olck->ols_lock == NULL) {
-                                /*
-                                 * upcall (osc_lock_upcall()) hasn't yet been
-                                 * called. Do nothing now, upcall will bind
-                                 * olck to dlmlock and signal the waiters.
-                                 *
-                                 * This maintains an invariant that osc_lock
-                                 * and ldlm_lock are always bound when
-                                 * osc_lock is in OLS_GRANTED state.
-                                 */
-                        } else if (dlmlock->l_granted_mode ==
-                                   dlmlock->l_req_mode) {
-                                osc_lock_granted(env, olck, dlmlock, dlmrc);
-                        }
-                        unlock_res_and_lock(dlmlock);
-
-                        if (dlmrc != 0) {
-                                CL_LOCK_DEBUG(D_ERROR, env, lock,
-                                              "dlmlock returned %d\n", dlmrc);
-                                cl_lock_error(env, lock, dlmrc);
-                        }
-                        cl_lock_mutex_put(env, lock);
-                        osc_ast_data_put(env, olck);
-                        result = 0;
-                } else
-                        result = -ELDLM_NO_LOCK_DATA;
-                cl_env_nested_put(&nest, env);
-        } else
-                result = PTR_ERR(env);
-        return dlmrc ?: result;
+       switch (flag) {
+       case LDLM_CB_BLOCKING: {
+               struct lustre_handle lockh;
+
+               ldlm_lock2handle(dlmlock, &lockh);
+               result = ldlm_cli_cancel(&lockh, LCF_ASYNC);
+               if (result == -ENODATA)
+                       result = 0;
+               break;
+       }
+       case LDLM_CB_CANCELING: {
+               struct lu_env     *env;
+               __u16              refcheck;
+
+               /*
+                * This can be called in the context of outer IO, e.g.,
+                *
+                *    osc_enqueue_base()->...
+                *      ->ldlm_prep_elc_req()->...
+                *        ->ldlm_cancel_callback()->...
+                *          ->osc_ldlm_blocking_ast()
+                *
+                * new environment has to be created to not corrupt outer
+                * context.
+                */
+               env = cl_env_get(&refcheck);
+               if (IS_ERR(env)) {
+                       result = PTR_ERR(env);
+                       break;
+               }
+
+               result = osc_dlm_blocking_ast0(env, dlmlock, data, flag);
+               cl_env_put(env, &refcheck);
+               break;
+       }
+       default:
+               LBUG();
+       }
+       RETURN(result);
 }
 
-static int osc_ldlm_glimpse_ast(struct ldlm_lock *dlmlock, void *data)
+int osc_ldlm_glimpse_ast(struct ldlm_lock *dlmlock, void *data)
 {
-        struct ptlrpc_request  *req  = data;
-        struct osc_lock        *olck;
-        struct cl_lock         *lock;
-        struct cl_object       *obj;
-        struct cl_env_nest      nest;
-        struct lu_env          *env;
-        struct ost_lvb         *lvb;
-        struct req_capsule     *cap;
-        int                     result;
-
-        LASSERT(lustre_msg_get_opc(req->rq_reqmsg) == LDLM_GL_CALLBACK);
-
-        env = cl_env_nested_get(&nest);
-        if (!IS_ERR(env)) {
-                /* osc_ast_data_get() has to go after environment is
-                 * allocated, because osc_ast_data() acquires a
-                 * reference to a lock, and it can only be released in
-                 * environment.
-                 */
-                olck = osc_ast_data_get(dlmlock);
-                if (olck != NULL) {
-                        lock = olck->ols_cl.cls_lock;
-                        /* Do not grab the mutex of cl_lock for glimpse.
-                         * See LU-1274 for details.
-                         * BTW, it's okay for cl_lock to be cancelled during
-                         * this period because server can handle this race.
-                         * See ldlm_server_glimpse_ast() for details.
-                         * cl_lock_mutex_get(env, lock); */
-                        cap = &req->rq_pill;
-                        req_capsule_extend(cap, &RQF_LDLM_GL_CALLBACK);
-                        req_capsule_set_size(cap, &RMF_DLM_LVB, RCL_SERVER,
-                                             sizeof *lvb);
-                        result = req_capsule_server_pack(cap);
-                        if (result == 0) {
-                                lvb = req_capsule_server_get(cap, &RMF_DLM_LVB);
-                                obj = lock->cll_descr.cld_obj;
-                                result = cl_object_glimpse(env, obj, lvb);
-                        }
-                       if (!exp_connect_lvb_type(req->rq_export))
-                               req_capsule_shrink(&req->rq_pill,
-                                                  &RMF_DLM_LVB,
-                                                  sizeof(struct ost_lvb_v1),
-                                                  RCL_SERVER);
-                        osc_ast_data_put(env, olck);
-                } else {
-                        /*
-                         * These errors are normal races, so we don't want to
-                         * fill the console with messages by calling
-                         * ptlrpc_error()
-                         */
-                        lustre_pack_reply(req, 1, NULL, NULL);
-                        result = -ELDLM_NO_LOCK_DATA;
-                }
-                cl_env_nested_put(&nest, env);
-        } else
-                result = PTR_ERR(env);
-        req->rq_status = result;
-        return result;
+       struct ptlrpc_request   *req  = data;
+       struct lu_env           *env;
+       struct ost_lvb          *lvb;
+       struct req_capsule      *cap;
+       struct cl_object        *obj = NULL;
+       struct ldlm_resource    *res = dlmlock->l_resource;
+       struct ldlm_match_data  matchdata = { 0 };
+       union ldlm_policy_data  policy;
+       enum ldlm_mode          mode = LCK_PW | LCK_GROUP | LCK_PR;
+       int                     result;
+       __u16                   refcheck;
+
+       ENTRY;
+
+       LASSERT(lustre_msg_get_opc(req->rq_reqmsg) == LDLM_GL_CALLBACK);
+
+       env = cl_env_get(&refcheck);
+       if (IS_ERR(env))
+               GOTO(out, result = PTR_ERR(env));
+
+       policy.l_extent.start = 0;
+       policy.l_extent.end = LUSTRE_EOF;
+
+       matchdata.lmd_mode = &mode;
+       matchdata.lmd_policy = &policy;
+       matchdata.lmd_flags = LDLM_FL_TEST_LOCK | LDLM_FL_CBPENDING;
+       matchdata.lmd_unref = 1;
+       matchdata.lmd_has_ast_data = true;
+
+       LDLM_LOCK_GET(dlmlock);
+
+       /* If any dlmlock has l_ast_data set, we must find it or we risk
+        * missing a size update done under a different lock.
+        */
+       while (dlmlock) {
+               lock_res_and_lock(dlmlock);
+               if (dlmlock->l_ast_data) {
+                       obj = osc2cl(dlmlock->l_ast_data);
+                       cl_object_get(obj);
+               }
+               unlock_res_and_lock(dlmlock);
+               LDLM_LOCK_PUT(dlmlock);
+
+               dlmlock = NULL;
+
+               if (obj == NULL && res->lr_type == LDLM_EXTENT) {
+                       if (OBD_FAIL_CHECK(OBD_FAIL_OSC_NO_SIZE_DATA))
+                               break;
+
+                       lock_res(res);
+                       dlmlock = search_itree(res, &matchdata);
+                       unlock_res(res);
+               }
+       }
+
+       if (obj != NULL) {
+               /* Do not grab the mutex of cl_lock for glimpse.
+                * See LU-1274 for details.
+                * BTW, it's okay for cl_lock to be cancelled during
+                * this period because server can handle this race.
+                * See ldlm_server_glimpse_ast() for details.
+                * cl_lock_mutex_get(env, lock); */
+               cap = &req->rq_pill;
+               req_capsule_extend(cap, &RQF_LDLM_GL_CALLBACK);
+               req_capsule_set_size(cap, &RMF_DLM_LVB, RCL_SERVER,
+                                       sizeof *lvb);
+               result = req_capsule_server_pack(cap);
+               if (result == 0) {
+                       lvb = req_capsule_server_get(cap, &RMF_DLM_LVB);
+                       result = cl_object_glimpse(env, obj, lvb);
+               }
+               if (!exp_connect_lvb_type(req->rq_export))
+                       req_capsule_shrink(&req->rq_pill, &RMF_DLM_LVB,
+                                       sizeof(struct ost_lvb_v1), RCL_SERVER);
+               cl_object_put(env, obj);
+       } else {
+               /*
+                * These errors are normal races, so we don't want to
+                * fill the console with messages by calling
+                * ptlrpc_error()
+                */
+               lustre_pack_reply(req, 1, NULL, NULL);
+               result = -ELDLM_NO_LOCK_DATA;
+       }
+       cl_env_put(env, &refcheck);
+       EXIT;
+
+out:
+       req->rq_status = result;
+       RETURN(result);
 }
+EXPORT_SYMBOL(osc_ldlm_glimpse_ast);
 
 static int weigh_cb(const struct lu_env *env, struct cl_io *io,
                    struct osc_page *ops, void *cbdata)
 {
        struct cl_page *page = ops->ops_cl.cpl_page;
 
-       if (cl_page_is_vmlocked(env, page)) {
-               (*(unsigned long *)cbdata)++;
+       if (cl_page_is_vmlocked(env, page) || PageDirty(page->cp_vmpage) ||
+           PageWriteback(page->cp_vmpage))
                return CLP_GANG_ABORT;
-       }
 
+       *(pgoff_t *)cbdata = osc_index(ops) + 1;
        return CLP_GANG_OKAY;
 }
 
 static unsigned long osc_lock_weight(const struct lu_env *env,
-                                    const struct osc_lock *ols)
+                                    struct osc_object *oscobj,
+                                    loff_t start, loff_t end)
 {
-       struct cl_io *io = &osc_env_info(env)->oti_io;
-       struct cl_lock_descr *descr = &ols->ols_cl.cls_lock->cll_descr;
-       struct cl_object *obj = ols->ols_cl.cls_obj;
-       unsigned long npages = 0;
+       struct cl_io *io = osc_env_thread_io(env);
+       struct cl_object *obj = cl_object_top(&oscobj->oo_cl);
+       pgoff_t page_index;
        int result;
+
        ENTRY;
 
-       io->ci_obj = cl_object_top(obj);
+       io->ci_obj = obj;
        io->ci_ignore_layout = 1;
        result = cl_io_init(env, io, CIT_MISC, io->ci_obj);
        if (result != 0)
                RETURN(result);
 
+       page_index = cl_index(obj, start);
        do {
-               result = osc_page_gang_lookup(env, io, cl2osc(obj),
-                                             descr->cld_start, descr->cld_end,
-                                             weigh_cb, (void *)&npages);
+               result = osc_page_gang_lookup(env, io, oscobj,
+                                             page_index, cl_index(obj, end),
+                                             weigh_cb, (void *)&page_index);
                if (result == CLP_GANG_ABORT)
                        break;
                if (result == CLP_GANG_RESCHED)
@@ -943,7 +688,7 @@ static unsigned long osc_lock_weight(const struct lu_env *env,
        } while (result != CLP_GANG_OKAY);
        cl_io_fini(env, io);
 
-       return npages;
+       return result == CLP_GANG_ABORT ? 1 : 0;
 }
 
 /**
@@ -951,10 +696,13 @@ static unsigned long osc_lock_weight(const struct lu_env *env,
  */
 unsigned long osc_ldlm_weigh_ast(struct ldlm_lock *dlmlock)
 {
-       struct cl_env_nest       nest;
-       struct lu_env           *env;
-       struct osc_lock         *lock;
-       unsigned long            weight;
+       struct lu_env *env;
+       struct osc_object *obj;
+       struct osc_lock *oscl;
+       unsigned long weight;
+       bool found = false;
+       __u16 refcheck;
+
        ENTRY;
 
        might_sleep();
@@ -965,52 +713,72 @@ unsigned long osc_ldlm_weigh_ast(struct ldlm_lock *dlmlock)
         * the upper context because cl_lock_put don't modify environment
         * variables. But just in case ..
         */
-       env = cl_env_nested_get(&nest);
+       env = cl_env_get(&refcheck);
        if (IS_ERR(env))
                /* Mostly because lack of memory, do not eliminate this lock */
                RETURN(1);
 
-       LASSERT(dlmlock->l_resource->lr_type == LDLM_EXTENT);
-       lock = osc_ast_data_get(dlmlock);
-       if (lock == NULL) {
-               /* cl_lock was destroyed because of memory pressure.
-                * It is much reasonable to assign this type of lock
-                * a lower cost.
+       LASSERT(dlmlock->l_resource->lr_type == LDLM_EXTENT ||
+               dlmlock->l_resource->lr_type == LDLM_IBITS);
+
+       lock_res_and_lock(dlmlock);
+       obj = dlmlock->l_ast_data;
+       if (obj)
+               cl_object_get(osc2cl(obj));
+       unlock_res_and_lock(dlmlock);
+
+       if (obj == NULL)
+               GOTO(out, weight = 1);
+
+       spin_lock(&obj->oo_ol_spin);
+       list_for_each_entry(oscl, &obj->oo_ol_list, ols_nextlock_oscobj) {
+               if (oscl->ols_dlmlock == dlmlock) {
+                       found = true;
+                       break;
+               }
+       }
+       spin_unlock(&obj->oo_ol_spin);
+       if (found) {
+               /*
+                * If the lock is being used by an IO, definitely not cancel it.
                 */
-               GOTO(out, weight = 0);
+               GOTO(out, weight = 1);
        }
 
-       weight = osc_lock_weight(env, lock);
-       osc_ast_data_put(env, lock);
+       if (dlmlock->l_resource->lr_type == LDLM_EXTENT)
+               weight = osc_lock_weight(env, obj,
+                                        dlmlock->l_policy_data.l_extent.start,
+                                        dlmlock->l_policy_data.l_extent.end);
+       else if (ldlm_has_dom(dlmlock))
+               weight = osc_lock_weight(env, obj, 0, OBD_OBJECT_EOF);
+       /* The DOM bit can be cancelled at any time; in that case, we know
+        * there are no pages, so just return weight of 0
+        */
+       else
+               weight = 0;
+
        EXIT;
 
 out:
-       cl_env_nested_put(&nest, env);
+       if (obj)
+               cl_object_put(env, osc2cl(obj));
+
+       cl_env_put(env, &refcheck);
        return weight;
 }
+EXPORT_SYMBOL(osc_ldlm_weigh_ast);
 
 static void osc_lock_build_einfo(const struct lu_env *env,
-                                 const struct cl_lock *clock,
-                                 struct osc_lock *lock,
-                                 struct ldlm_enqueue_info *einfo)
+                                const struct cl_lock *lock,
+                                struct osc_object *osc,
+                                struct ldlm_enqueue_info *einfo)
 {
-        enum cl_lock_mode mode;
-
-        mode = clock->cll_descr.cld_mode;
-        if (mode == CLM_PHANTOM)
-                /*
-                 * For now, enqueue all glimpse locks in read mode. In the
-                 * future, client might choose to enqueue LCK_PW lock for
-                 * glimpse on a file opened for write.
-                 */
-                mode = CLM_READ;
-
-        einfo->ei_type   = LDLM_EXTENT;
-        einfo->ei_mode   = osc_cl_lock2ldlm(mode);
-        einfo->ei_cb_bl  = osc_ldlm_blocking_ast;
-        einfo->ei_cb_cp  = osc_ldlm_completion_ast;
-        einfo->ei_cb_gl  = osc_ldlm_glimpse_ast;
-        einfo->ei_cbdata = lock; /* value to be put into ->l_ast_data */
+       einfo->ei_type   = LDLM_EXTENT;
+       einfo->ei_mode   = osc_cl_lock2ldlm(lock->cll_descr.cld_mode);
+       einfo->ei_cb_bl  = osc_ldlm_blocking_ast;
+       einfo->ei_cb_cp  = ldlm_completion_ast;
+       einfo->ei_cb_gl  = osc_ldlm_glimpse_ast;
+       einfo->ei_cbdata = osc; /* value to be put into ->l_ast_data */
 }
 
 /**
@@ -1025,156 +793,150 @@ static void osc_lock_build_einfo(const struct lu_env *env,
  *  Additional policy can be implemented here, e.g., never do lockless-io
  *  for large extents.
  */
-static void osc_lock_to_lockless(const struct lu_env *env,
-                                 struct osc_lock *ols, int force)
+void osc_lock_to_lockless(const struct lu_env *env,
+                         struct osc_lock *ols, int force)
 {
-        struct cl_lock_slice *slice = &ols->ols_cl;
-
-        LASSERT(ols->ols_state == OLS_NEW ||
-                ols->ols_state == OLS_UPCALL_RECEIVED);
-
-        if (force) {
-                ols->ols_locklessable = 1;
-                slice->cls_ops = &osc_lock_lockless_ops;
-        } else {
-                struct osc_io *oio     = osc_env_io(env);
-                struct cl_io  *io      = oio->oi_cl.cis_io;
-                struct cl_object *obj  = slice->cls_obj;
-                struct osc_object *oob = cl2osc(obj);
-                const struct osc_device *osd = lu2osc_dev(obj->co_lu.lo_dev);
-                struct obd_connect_data *ocd;
-
-                LASSERT(io->ci_lockreq == CILR_MANDATORY ||
-                        io->ci_lockreq == CILR_MAYBE ||
-                        io->ci_lockreq == CILR_NEVER);
-
-                ocd = &class_exp2cliimp(osc_export(oob))->imp_connect_data;
-                ols->ols_locklessable = (io->ci_type != CIT_SETATTR) &&
-                                (io->ci_lockreq == CILR_MAYBE) &&
-                                (ocd->ocd_connect_flags & OBD_CONNECT_SRVLOCK);
-                if (io->ci_lockreq == CILR_NEVER ||
-                        /* lockless IO */
-                    (ols->ols_locklessable && osc_object_is_contended(oob)) ||
-                        /* lockless truncate */
-                    (cl_io_is_trunc(io) &&
-                     (ocd->ocd_connect_flags & OBD_CONNECT_TRUNCLOCK) &&
-                      osd->od_lockless_truncate)) {
-                        ols->ols_locklessable = 1;
-                        slice->cls_ops = &osc_lock_lockless_ops;
-                }
-        }
-        LASSERT(ergo(ols->ols_glimpse, !osc_lock_is_lockless(ols)));
+       struct cl_lock_slice *slice = &ols->ols_cl;
+       struct osc_io *oio = osc_env_io(env);
+       struct cl_io *io = oio->oi_cl.cis_io;
+       struct cl_object *obj = slice->cls_obj;
+       struct osc_object *oob = cl2osc(obj);
+       const struct osc_device *osd = lu2osc_dev(obj->co_lu.lo_dev);
+       struct obd_connect_data *ocd;
+
+       LASSERT(ols->ols_state == OLS_NEW ||
+               ols->ols_state == OLS_UPCALL_RECEIVED);
+
+       if (force) {
+               ols->ols_locklessable = 1;
+               slice->cls_ops = ols->ols_lockless_ops;
+       } else {
+               LASSERT(io->ci_lockreq == CILR_MANDATORY ||
+                       io->ci_lockreq == CILR_MAYBE ||
+                       io->ci_lockreq == CILR_NEVER);
+
+               ocd = &class_exp2cliimp(osc_export(oob))->imp_connect_data;
+               ols->ols_locklessable = (io->ci_type != CIT_SETATTR) &&
+                                       (io->ci_lockreq == CILR_MAYBE) &&
+                                       (ocd->ocd_connect_flags &
+                                        OBD_CONNECT_SRVLOCK);
+               if (io->ci_lockreq == CILR_NEVER ||
+                   /* lockless IO */
+                   (ols->ols_locklessable && osc_object_is_contended(oob)) ||
+                   /* lockless truncate */
+                   (cl_io_is_trunc(io) && osd->od_lockless_truncate &&
+                    (ocd->ocd_connect_flags & OBD_CONNECT_TRUNCLOCK))) {
+                       ols->ols_locklessable = 1;
+                       slice->cls_ops = ols->ols_lockless_ops;
+               }
+       }
+       LASSERT(ergo(ols->ols_glimpse, !osc_lock_is_lockless(ols)));
 }
+EXPORT_SYMBOL(osc_lock_to_lockless);
 
-static int osc_lock_compatible(const struct osc_lock *qing,
-                               const struct osc_lock *qed)
+static bool osc_lock_compatible(const struct osc_lock *qing,
+                               const struct osc_lock *qed)
 {
-        enum cl_lock_mode qing_mode;
-        enum cl_lock_mode qed_mode;
+       struct cl_lock_descr *qed_descr = &qed->ols_cl.cls_lock->cll_descr;
+       struct cl_lock_descr *qing_descr = &qing->ols_cl.cls_lock->cll_descr;
+
+       if (qed->ols_glimpse || qed->ols_speculative)
+               return true;
+
+       if (qing_descr->cld_mode == CLM_READ && qed_descr->cld_mode == CLM_READ)
+               return true;
 
-        qing_mode = qing->ols_cl.cls_lock->cll_descr.cld_mode;
-        if (qed->ols_glimpse &&
-            (qed->ols_state >= OLS_UPCALL_RECEIVED || qing_mode == CLM_READ))
-                return 1;
+       if (qed->ols_state < OLS_GRANTED)
+               return true;
 
-        qed_mode = qed->ols_cl.cls_lock->cll_descr.cld_mode;
-        return ((qing_mode == CLM_READ) && (qed_mode == CLM_READ));
+       if (qed_descr->cld_mode  >= qing_descr->cld_mode &&
+           qed_descr->cld_start <= qing_descr->cld_start &&
+           qed_descr->cld_end   >= qing_descr->cld_end)
+               return true;
+
+       return false;
 }
 
-/**
- * Cancel all conflicting locks and wait for them to be destroyed.
- *
- * This function is used for two purposes:
- *
- *     - early cancel all conflicting locks before starting IO, and
- *
- *     - guarantee that pages added to the page cache by lockless IO are never
- *       covered by locks other than lockless IO lock, and, hence, are not
- *       visible to other threads.
- */
-static int osc_lock_enqueue_wait(const struct lu_env *env,
-                                 const struct osc_lock *olck)
+void osc_lock_wake_waiters(const struct lu_env *env, struct osc_object *osc,
+                          struct osc_lock *oscl)
 {
-        struct cl_lock          *lock    = olck->ols_cl.cls_lock;
-        struct cl_lock_descr    *descr   = &lock->cll_descr;
-        struct cl_object_header *hdr     = cl_object_header(descr->cld_obj);
-        struct cl_lock          *scan;
-        struct cl_lock          *conflict= NULL;
-        int lockless                     = osc_lock_is_lockless(olck);
-        int rc                           = 0;
-        ENTRY;
+       spin_lock(&osc->oo_ol_spin);
+       list_del_init(&oscl->ols_nextlock_oscobj);
+       spin_unlock(&osc->oo_ol_spin);
 
-        LASSERT(cl_lock_is_mutexed(lock));
+       spin_lock(&oscl->ols_lock);
+       while (!list_empty(&oscl->ols_waiting_list)) {
+               struct osc_lock *scan;
 
-        /* make it enqueue anyway for glimpse lock, because we actually
-         * don't need to cancel any conflicting locks. */
-        if (olck->ols_glimpse)
-                return 0;
+               scan = list_entry(oscl->ols_waiting_list.next, struct osc_lock,
+                                 ols_wait_entry);
+               list_del_init(&scan->ols_wait_entry);
 
-       spin_lock(&hdr->coh_lock_guard);
-        cfs_list_for_each_entry(scan, &hdr->coh_locks, cll_linkage) {
-                struct cl_lock_descr *cld = &scan->cll_descr;
-                const struct osc_lock *scan_ols;
+               cl_sync_io_note(env, scan->ols_owner, 0);
+       }
+       spin_unlock(&oscl->ols_lock);
+}
+EXPORT_SYMBOL(osc_lock_wake_waiters);
 
-                if (scan == lock)
-                        break;
+int osc_lock_enqueue_wait(const struct lu_env *env, struct osc_object *obj,
+                         struct osc_lock *oscl)
+{
+       struct osc_lock         *tmp_oscl;
+       struct cl_lock_descr    *need = &oscl->ols_cl.cls_lock->cll_descr;
+       struct cl_sync_io       *waiter = &osc_env_info(env)->oti_anchor;
+       int rc = 0;
 
-                if (scan->cll_state < CLS_QUEUING ||
-                    scan->cll_state == CLS_FREEING ||
-                    cld->cld_start > descr->cld_end ||
-                    cld->cld_end < descr->cld_start)
-                        continue;
+       ENTRY;
 
-                /* overlapped and living locks. */
+       spin_lock(&obj->oo_ol_spin);
+       list_add_tail(&oscl->ols_nextlock_oscobj, &obj->oo_ol_list);
 
-                /* We're not supposed to give up group lock. */
-                if (scan->cll_descr.cld_mode == CLM_GROUP) {
-                        LASSERT(descr->cld_mode != CLM_GROUP ||
-                                descr->cld_gid != scan->cll_descr.cld_gid);
-                        continue;
-                }
+restart:
+       list_for_each_entry(tmp_oscl, &obj->oo_ol_list,
+                           ols_nextlock_oscobj) {
+               struct cl_lock_descr *descr;
 
-                scan_ols = osc_lock_at(scan);
-
-                /* We need to cancel the compatible locks if we're enqueuing
-                 * a lockless lock, for example:
-                 * imagine that client has PR lock on [0, 1000], and thread T0
-                 * is doing lockless IO in [500, 1500] region. Concurrent
-                 * thread T1 can see lockless data in [500, 1000], which is
-                 * wrong, because these data are possibly stale. */
-                if (!lockless && osc_lock_compatible(olck, scan_ols))
-                        continue;
-
-                cl_lock_get_trust(scan);
-                conflict = scan;
-                break;
-        }
-       spin_unlock(&hdr->coh_lock_guard);
-
-        if (conflict) {
-                if (lock->cll_descr.cld_mode == CLM_GROUP) {
-                        /* we want a group lock but a previous lock request
-                         * conflicts, we do not wait but return 0 so the
-                         * request is send to the server
-                         */
-                        CDEBUG(D_DLMTRACE, "group lock %p is conflicted "
-                                           "with %p, no wait, send to server\n",
-                               lock, conflict);
-                        cl_lock_put(env, conflict);
-                        rc = 0;
-                } else {
-                        CDEBUG(D_DLMTRACE, "lock %p is conflicted with %p, "
-                                           "will wait\n",
-                               lock, conflict);
-                        LASSERT(lock->cll_conflict == NULL);
-                        lu_ref_add(&conflict->cll_reference, "cancel-wait",
-                                   lock);
-                        lock->cll_conflict = conflict;
-                        rc = CLO_WAIT;
-                }
-        }
-        RETURN(rc);
+               if (tmp_oscl == oscl)
+                       break;
+
+               descr = &tmp_oscl->ols_cl.cls_lock->cll_descr;
+               if (descr->cld_start > need->cld_end ||
+                   descr->cld_end   < need->cld_start)
+                       continue;
+
+               /* We're not supposed to give up group lock */
+               if (descr->cld_mode == CLM_GROUP)
+                       break;
+
+               if (!osc_lock_is_lockless(oscl) &&
+                   osc_lock_compatible(oscl, tmp_oscl))
+                       continue;
+
+               /* wait for conflicting lock to be canceled */
+               cl_sync_io_init(waiter, 1);
+               oscl->ols_owner = waiter;
+
+               spin_lock(&tmp_oscl->ols_lock);
+               /* add oscl into tmp's ols_waiting list */
+               list_add_tail(&oscl->ols_wait_entry,
+                             &tmp_oscl->ols_waiting_list);
+               spin_unlock(&tmp_oscl->ols_lock);
+
+               spin_unlock(&obj->oo_ol_spin);
+               rc = cl_sync_io_wait(env, waiter, 0);
+               spin_lock(&obj->oo_ol_spin);
+
+               if (rc < 0)
+                       break;
+
+               oscl->ols_owner = NULL;
+               goto restart;
+       }
+       spin_unlock(&obj->oo_ol_spin);
+
+       RETURN(rc);
 }
+EXPORT_SYMBOL(osc_lock_enqueue_wait);
 
 /**
  * Implementation of cl_lock_operations::clo_enqueue() method for osc
@@ -1191,189 +953,150 @@ static int osc_lock_enqueue_wait(const struct lu_env *env,
  * This function does not wait for the network communication to complete.
  */
 static int osc_lock_enqueue(const struct lu_env *env,
-                            const struct cl_lock_slice *slice,
-                            struct cl_io *unused, __u32 enqflags)
+                           const struct cl_lock_slice *slice,
+                           struct cl_io *unused, struct cl_sync_io *anchor)
 {
-        struct osc_lock          *ols     = cl2osc_lock(slice);
-        struct cl_lock           *lock    = ols->ols_cl.cls_lock;
-        int result;
+       struct osc_thread_info          *info  = osc_env_info(env);
+       struct osc_io                   *oio   = osc_env_io(env);
+       struct osc_object               *osc   = cl2osc(slice->cls_obj);
+       struct osc_lock                 *oscl  = cl2osc_lock(slice);
+       struct obd_export               *exp   = osc_export(osc);
+       struct cl_lock                  *lock  = slice->cls_lock;
+       struct ldlm_res_id              *resname = &info->oti_resname;
+       union ldlm_policy_data          *policy  = &info->oti_policy;
+       osc_enqueue_upcall_f            upcall   = osc_lock_upcall;
+       void                            *cookie  = oscl;
+       bool                            async    = false;
+       int                             result;
+
         ENTRY;
 
-        LASSERT(cl_lock_is_mutexed(lock));
-        LASSERTF(ols->ols_state == OLS_NEW,
-                 "Impossible state: %d\n", ols->ols_state);
-
-       LASSERTF(ergo(ols->ols_glimpse, lock->cll_descr.cld_mode <= CLM_READ),
-               "lock = %p, ols = %p\n", lock, ols);
-
-        result = osc_lock_enqueue_wait(env, ols);
-        if (result == 0) {
-                if (!osc_lock_is_lockless(ols)) {
-                        struct osc_object        *obj = cl2osc(slice->cls_obj);
-                        struct osc_thread_info   *info = osc_env_info(env);
-                        struct ldlm_res_id       *resname = &info->oti_resname;
-                        ldlm_policy_data_t       *policy = &info->oti_policy;
-                        struct ldlm_enqueue_info *einfo = &ols->ols_einfo;
-
-                       /* lock will be passed as upcall cookie,
-                        * hold ref to prevent to be released. */
-                        cl_lock_hold_add(env, lock, "upcall", lock);
-                       /* a user for agl lock also */
-                       if (ols->ols_agl)
-                               cl_lock_user_add(env, lock);
-                        ols->ols_state = OLS_ENQUEUED;
-
-                        /*
-                         * XXX: this is possible blocking point as
-                         * ldlm_lock_match(LDLM_FL_LVB_READY) waits for
-                         * LDLM_CP_CALLBACK.
-                         */
-                       ostid_build_res_name(&obj->oo_oinfo->loi_oi, resname);
-                        osc_lock_build_policy(env, lock, policy);
-                        result = osc_enqueue_base(osc_export(obj), resname,
-                                          &ols->ols_flags, policy,
-                                          &ols->ols_lvb,
-                                          obj->oo_oinfo->loi_kms_valid,
-                                          osc_lock_upcall,
-                                          ols, einfo, &ols->ols_handle,
-                                          PTLRPCD_SET, 1, ols->ols_agl);
-                        if (result != 0) {
-                               if (ols->ols_agl)
-                                       cl_lock_user_del(env, lock);
-                               cl_lock_unhold(env, lock, "upcall", lock);
-                                if (unlikely(result == -ECANCELED)) {
-                                        ols->ols_state = OLS_NEW;
-                                        result = 0;
-                                }
-                        }
-                } else {
-                        ols->ols_state = OLS_GRANTED;
-                        ols->ols_owner = osc_env_io(env);
-                }
-        }
-        LASSERT(ergo(ols->ols_glimpse, !osc_lock_is_lockless(ols)));
-        RETURN(result);
-}
+       LASSERTF(ergo(oscl->ols_glimpse, lock->cll_descr.cld_mode <= CLM_READ),
+               "lock = %p, ols = %p\n", lock, oscl);
 
-static int osc_lock_wait(const struct lu_env *env,
-                         const struct cl_lock_slice *slice)
-{
-        struct osc_lock *olck = cl2osc_lock(slice);
-        struct cl_lock  *lock = olck->ols_cl.cls_lock;
-
-        LINVRNT(osc_lock_invariant(olck));
-
-        if (olck->ols_glimpse && olck->ols_state >= OLS_UPCALL_RECEIVED) {
-                if (olck->ols_flags & LDLM_FL_LVB_READY) {
-                        return 0;
-                } else if (olck->ols_agl) {
-                        if (lock->cll_flags & CLF_FROM_UPCALL)
-                                /* It is from enqueue RPC reply upcall for
-                                 * updating state. Do not re-enqueue. */
-                                return -ENAVAIL;
-                        else
-                                olck->ols_state = OLS_NEW;
-                } else {
-                        LASSERT(lock->cll_error);
-                        return lock->cll_error;
-                }
-        }
+       if (oscl->ols_state == OLS_GRANTED)
+               RETURN(0);
+
+       if ((oscl->ols_flags & LDLM_FL_NO_EXPANSION) &&
+           !(exp_connect_lockahead_old(exp) || exp_connect_lockahead(exp))) {
+               result = -EOPNOTSUPP;
+               CERROR("%s: server does not support lockahead/locknoexpand:"
+                      "rc = %d\n", exp->exp_obd->obd_name, result);
+               RETURN(result);
+       }
 
-        if (olck->ols_state == OLS_NEW) {
-                int rc;
+       if (oscl->ols_flags & LDLM_FL_TEST_LOCK)
+               GOTO(enqueue_base, 0);
 
-                LASSERT(olck->ols_agl);
-               olck->ols_agl = 0;
-                rc = osc_lock_enqueue(env, slice, NULL, CEF_ASYNC | CEF_MUST);
-                if (rc != 0)
-                        return rc;
-                else
-                        return CLO_REENQUEUED;
-        }
+       /* For glimpse and/or speculative locks, do not wait for reply from
+        * server on LDLM request */
+       if (oscl->ols_glimpse || oscl->ols_speculative) {
+               /* Speculative and glimpse locks do not have an anchor */
+               LASSERT(equi(oscl->ols_speculative, anchor == NULL));
+               async = true;
+               GOTO(enqueue_base, 0);
+       }
 
-        LASSERT(equi(olck->ols_state >= OLS_UPCALL_RECEIVED &&
-                     lock->cll_error == 0, olck->ols_lock != NULL));
+       result = osc_lock_enqueue_wait(env, osc, oscl);
+       if (result < 0)
+               GOTO(out, result);
 
-        return lock->cll_error ?: olck->ols_state >= OLS_GRANTED ? 0 : CLO_WAIT;
+       /* we can grant lockless lock right after all conflicting locks
+        * are canceled. */
+       if (osc_lock_is_lockless(oscl)) {
+               oscl->ols_state = OLS_GRANTED;
+               oio->oi_lockless = 1;
+               RETURN(0);
+       }
+
+enqueue_base:
+       oscl->ols_state = OLS_ENQUEUED;
+       if (anchor != NULL) {
+               atomic_inc(&anchor->csi_sync_nr);
+               oscl->ols_owner = anchor;
+       }
+
+       /**
+        * DLM lock's ast data must be osc_object;
+        * if glimpse or speculative lock, async of osc_enqueue_base()
+        * must be true
+        *
+        * For non-speculative locks:
+        * DLM's enqueue callback set to osc_lock_upcall() with cookie as
+        * osc_lock.
+        * For speculative locks:
+        * osc_lock_upcall_speculative & cookie is the osc object, since
+        * there is no osc_lock
+        */
+       ostid_build_res_name(&osc->oo_oinfo->loi_oi, resname);
+       osc_lock_build_policy(env, lock, policy);
+       if (oscl->ols_speculative) {
+               oscl->ols_einfo.ei_cbdata = NULL;
+               /* hold a reference for callback */
+               cl_object_get(osc2cl(osc));
+               upcall = osc_lock_upcall_speculative;
+               cookie = osc;
+       }
+       result = osc_enqueue_base(exp, resname, &oscl->ols_flags,
+                                 policy, &oscl->ols_lvb,
+                                 upcall, cookie,
+                                 &oscl->ols_einfo, PTLRPCD_SET, async,
+                                 oscl->ols_speculative);
+       if (result == 0) {
+               if (osc_lock_is_lockless(oscl)) {
+                       oio->oi_lockless = 1;
+               } else if (!async) {
+                       LASSERT(oscl->ols_state == OLS_GRANTED);
+                       LASSERT(oscl->ols_hold);
+                       LASSERT(oscl->ols_dlmlock != NULL);
+               }
+       } else if (oscl->ols_speculative) {
+               cl_object_put(env, osc2cl(osc));
+               if (oscl->ols_glimpse) {
+                       /* hide error for AGL request */
+                       result = 0;
+               }
+       }
+
+out:
+       if (result < 0) {
+               oscl->ols_state = OLS_CANCELLED;
+               osc_lock_wake_waiters(env, osc, oscl);
+
+               if (anchor != NULL)
+                       cl_sync_io_note(env, anchor, result);
+       }
+       RETURN(result);
 }
 
 /**
- * An implementation of cl_lock_operations::clo_use() method that pins cached
- * lock.
+ * Breaks a link between osc_lock and dlm_lock.
  */
-static int osc_lock_use(const struct lu_env *env,
-                        const struct cl_lock_slice *slice)
+static void osc_lock_detach(const struct lu_env *env, struct osc_lock *olck)
 {
-        struct osc_lock *olck = cl2osc_lock(slice);
-        int rc;
-
-        LASSERT(!olck->ols_hold);
-
-        /*
-         * Atomically check for LDLM_FL_CBPENDING and addref a lock if this
-         * flag is not set. This protects us from a concurrent blocking ast.
-         */
-        rc = ldlm_lock_addref_try(&olck->ols_handle, olck->ols_einfo.ei_mode);
-        if (rc == 0) {
-                olck->ols_hold = 1;
-                olck->ols_state = OLS_GRANTED;
-        } else {
-                struct cl_lock *lock;
-
-                /*
-                 * Lock is being cancelled somewhere within
-                 * ldlm_handle_bl_callback(): LDLM_FL_CBPENDING is already
-                 * set, but osc_ldlm_blocking_ast() hasn't yet acquired
-                 * cl_lock mutex.
-                 */
-                lock = slice->cls_lock;
-                LASSERT(lock->cll_state == CLS_INTRANSIT);
-                LASSERT(lock->cll_users > 0);
-                /* set a flag for osc_dlm_blocking_ast0() to signal the
-                 * lock.*/
-                olck->ols_ast_wait = 1;
-                rc = CLO_WAIT;
-        }
-        return rc;
-}
+       struct ldlm_lock *dlmlock;
 
-static int osc_lock_flush(struct osc_lock *ols, int discard)
-{
-       struct cl_lock       *lock  = ols->ols_cl.cls_lock;
-       struct cl_env_nest    nest;
-       struct lu_env        *env;
-       int result = 0;
        ENTRY;
 
-       env = cl_env_nested_get(&nest);
-       if (!IS_ERR(env)) {
-               struct osc_object    *obj   = cl2osc(ols->ols_cl.cls_obj);
-               struct cl_lock_descr *descr = &lock->cll_descr;
-               int rc = 0;
-
-               if (descr->cld_mode >= CLM_WRITE) {
-                       result = osc_cache_writeback_range(env, obj,
-                                       descr->cld_start, descr->cld_end,
-                                       1, discard);
-                       LDLM_DEBUG(ols->ols_lock,
-                               "lock %p: %d pages were %s.\n", lock, result,
-                               discard ? "discarded" : "written");
-                       if (result > 0)
-                               result = 0;
-               }
+       dlmlock = olck->ols_dlmlock;
+       if (dlmlock == NULL)
+               RETURN_EXIT;
 
-               rc = osc_lock_discard_pages(env, ols);
-               if (result == 0 && rc < 0)
-                       result = rc;
-
-                cl_env_nested_put(&nest, env);
-        } else
-                result = PTR_ERR(env);
-        if (result == 0) {
-                ols->ols_flush = 1;
-                LINVRNT(!osc_lock_has_pages(ols));
-        }
-       RETURN(result);
+       if (olck->ols_hold) {
+               olck->ols_hold = 0;
+               ldlm_lock_decref(&olck->ols_handle, olck->ols_einfo.ei_mode);
+               olck->ols_handle.cookie = 0ULL;
+       }
+
+       olck->ols_dlmlock = NULL;
+
+       /* release a reference taken in osc_lock_upcall(). */
+       LASSERT(olck->ols_has_ref);
+       lu_ref_del(&dlmlock->l_reference, "osc_lock", olck);
+       LDLM_LOCK_RELEASE(dlmlock);
+       olck->ols_has_ref = 0;
+
+       EXIT;
 }
 
 /**
@@ -1390,362 +1113,196 @@ static int osc_lock_flush(struct osc_lock *ols, int discard)
  *
  *     - cancels ldlm lock (ldlm_cli_cancel()).
  */
-static void osc_lock_cancel(const struct lu_env *env,
-                            const struct cl_lock_slice *slice)
-{
-       struct cl_lock   *lock    = slice->cls_lock;
-       struct osc_lock  *olck    = cl2osc_lock(slice);
-       struct ldlm_lock *dlmlock = olck->ols_lock;
-
-       LASSERT(cl_lock_is_mutexed(lock));
-       LINVRNT(osc_lock_invariant(olck));
-
-       if (dlmlock != NULL) {
-               bool do_cancel;
-               int  result = 0;
-
-               if (olck->ols_state >= OLS_GRANTED)
-                       result = osc_lock_flush(olck,
-                               ldlm_is_discard_data(dlmlock));
-               osc_lock_unhold(olck);
-
-               lock_res_and_lock(dlmlock);
-               /* Now that we're the only user of dlm read/write reference,
-                * mostly the ->l_readers + ->l_writers should be zero.
-                * However, there is a corner case.
-                * See b=18829 for details.*/
-               do_cancel = (dlmlock->l_readers == 0 &&
-                            dlmlock->l_writers == 0);
-               ldlm_set_cbpending(dlmlock);
-               unlock_res_and_lock(dlmlock);
-               if (do_cancel)
-                       result = ldlm_cli_cancel(&olck->ols_handle, LCF_ASYNC);
-               if (result < 0)
-                       CL_LOCK_DEBUG(D_ERROR, env, lock,
-                                     "lock %p cancel failure with error(%d)\n",
-                                     lock, result);
-       }
-       olck->ols_state = OLS_CANCELLED;
-       olck->ols_flags &= ~LDLM_FL_LVB_READY;
-       osc_lock_detach(env, olck);
-}
-
-#ifdef CONFIG_LUSTRE_DEBUG_EXPENSIVE_CHECK
-static int check_cb(const struct lu_env *env, struct cl_io *io,
-                   struct osc_page *ops, void *cbdata)
-{
-       struct cl_lock *lock = cbdata;
-
-       if (lock->cll_descr.cld_mode == CLM_READ) {
-               struct cl_lock *tmp;
-               tmp = cl_lock_at_pgoff(env, lock->cll_descr.cld_obj,
-                                      osc_index(ops), lock, 1, 0);
-               if (tmp != NULL) {
-                       cl_lock_put(env, tmp);
-                       return CLP_GANG_OKAY;
-               }
-       }
-
-       CL_LOCK_DEBUG(D_ERROR, env, lock, "still has pages\n");
-       CL_PAGE_DEBUG(D_ERROR, env, ops->ops_cl.cpl_page, "\n");
-       return CLP_GANG_ABORT;
-}
-
-/**
- * Returns true iff there are pages under \a olck not protected by other
- * locks.
- */
-static int osc_lock_has_pages(struct osc_lock *olck)
+void osc_lock_cancel(const struct lu_env *env,
+                    const struct cl_lock_slice *slice)
 {
-        struct cl_lock       *lock;
-        struct cl_lock_descr *descr;
-        struct cl_object     *obj;
-        struct osc_object    *oob;
-        struct cl_env_nest    nest;
-        struct cl_io         *io;
-        struct lu_env        *env;
-        int                   result;
-
-        env = cl_env_nested_get(&nest);
-        if (IS_ERR(env))
-                return 0;
-
-        obj   = olck->ols_cl.cls_obj;
-        oob   = cl2osc(obj);
-        io    = &oob->oo_debug_io;
-        lock  = olck->ols_cl.cls_lock;
-        descr = &lock->cll_descr;
-
-       mutex_lock(&oob->oo_debug_mutex);
-
-        io->ci_obj = cl_object_top(obj);
-       io->ci_ignore_layout = 1;
-        cl_io_init(env, io, CIT_MISC, io->ci_obj);
-       do {
-               result = osc_page_gang_lookup(env, oob, io,
-                                             descr->cld_start, descr->cld_end,
-                                             check_cb, (void *)lock);
-               if (result == CLP_GANG_ABORT)
-                       break;
-               if (result == CLP_GANG_RESCHED)
-                       cond_resched();
-       } while (result != CLP_GANG_OKAY);
-       cl_io_fini(env, io);
-       mutex_unlock(&oob->oo_debug_mutex);
-       cl_env_nested_put(&nest, env);
+       struct osc_object *obj  = cl2osc(slice->cls_obj);
+       struct osc_lock   *oscl = cl2osc_lock(slice);
 
-       return (result == CLP_GANG_ABORT);
-}
-#else
-static int osc_lock_has_pages(struct osc_lock *olck)
-{
-        return 0;
-}
-#endif /* CONFIG_LUSTRE_DEBUG_EXPENSIVE_CHECK */
-
-static void osc_lock_delete(const struct lu_env *env,
-                            const struct cl_lock_slice *slice)
-{
-        struct osc_lock *olck;
-
-        olck = cl2osc_lock(slice);
-        if (olck->ols_glimpse) {
-                LASSERT(!olck->ols_hold);
-                LASSERT(!olck->ols_lock);
-                return;
-        }
+       ENTRY;
 
-        LINVRNT(osc_lock_invariant(olck));
-        LINVRNT(!osc_lock_has_pages(olck));
+       LINVRNT(osc_lock_invariant(oscl));
 
-        osc_lock_unhold(olck);
-        osc_lock_detach(env, olck);
-}
+       osc_lock_detach(env, oscl);
+       oscl->ols_state = OLS_CANCELLED;
+       oscl->ols_flags &= ~LDLM_FL_LVB_READY;
 
-/**
- * Implements cl_lock_operations::clo_state() method for osc layer.
- *
- * Maintains osc_lock::ols_owner field.
- *
- * This assumes that lock always enters CLS_HELD (from some other state) in
- * the same IO context as one that requested the lock. This should not be a
- * problem, because context is by definition shared by all activity pertaining
- * to the same high-level IO.
- */
-static void osc_lock_state(const struct lu_env *env,
-                           const struct cl_lock_slice *slice,
-                           enum cl_lock_state state)
-{
-        struct osc_lock *lock = cl2osc_lock(slice);
-
-        /*
-         * XXX multiple io contexts can use the lock at the same time.
-         */
-        LINVRNT(osc_lock_invariant(lock));
-        if (state == CLS_HELD && slice->cls_lock->cll_state != CLS_HELD) {
-                struct osc_io *oio = osc_env_io(env);
-
-                LASSERT(lock->ols_owner == NULL);
-                lock->ols_owner = oio;
-        } else if (state != CLS_HELD)
-                lock->ols_owner = NULL;
-}
-
-static int osc_lock_print(const struct lu_env *env, void *cookie,
-                          lu_printer_t p, const struct cl_lock_slice *slice)
-{
-        struct osc_lock *lock = cl2osc_lock(slice);
-
-        /*
-         * XXX print ldlm lock and einfo properly.
-         */
-       (*p)(env, cookie, "%p %#16llx "LPX64" %d %p ",
-             lock->ols_lock, lock->ols_flags, lock->ols_handle.cookie,
-             lock->ols_state, lock->ols_owner);
-        osc_lvb_print(env, cookie, p, &lock->ols_lvb);
-        return 0;
+       osc_lock_wake_waiters(env, obj, oscl);
+       EXIT;
 }
+EXPORT_SYMBOL(osc_lock_cancel);
 
-static int osc_lock_fits_into(const struct lu_env *env,
-                              const struct cl_lock_slice *slice,
-                              const struct cl_lock_descr *need,
-                              const struct cl_io *io)
+int osc_lock_print(const struct lu_env *env, void *cookie,
+                  lu_printer_t p, const struct cl_lock_slice *slice)
 {
-        struct osc_lock *ols = cl2osc_lock(slice);
-
-        if (need->cld_enq_flags & CEF_NEVER)
-                return 0;
+       struct osc_lock *lock = cl2osc_lock(slice);
 
-       if (ols->ols_state >= OLS_CANCELLED)
-               return 0;
-
-        if (need->cld_mode == CLM_PHANTOM) {
-                if (ols->ols_agl)
-                        return !(ols->ols_state > OLS_RELEASED);
-
-                /*
-                 * Note: the QUEUED lock can't be matched here, otherwise
-                 * it might cause the deadlocks.
-                 * In read_process,
-                 * P1: enqueued read lock, create sublock1
-                 * P2: enqueued write lock, create sublock2(conflicted
-                 *     with sublock1).
-                 * P1: Grant read lock.
-                 * P1: enqueued glimpse lock(with holding sublock1_read),
-                 *     matched with sublock2, waiting sublock2 to be granted.
-                 *     But sublock2 can not be granted, because P1
-                 *     will not release sublock1. Bang!
-                 */
-                if (ols->ols_state < OLS_GRANTED ||
-                    ols->ols_state > OLS_RELEASED)
-                        return 0;
-        } else if (need->cld_enq_flags & CEF_MUST) {
-                /*
-                 * If the lock hasn't ever enqueued, it can't be matched
-                 * because enqueue process brings in many information
-                 * which can be used to determine things such as lockless,
-                 * CEF_MUST, etc.
-                 */
-                if (ols->ols_state < OLS_UPCALL_RECEIVED &&
-                    ols->ols_locklessable)
-                        return 0;
-        }
-        return 1;
+       (*p)(env, cookie, "%p %#llx %#llx %d %p ",
+            lock->ols_dlmlock, lock->ols_flags, lock->ols_handle.cookie,
+            lock->ols_state, lock->ols_owner);
+       osc_lvb_print(env, cookie, p, &lock->ols_lvb);
+       return 0;
 }
+EXPORT_SYMBOL(osc_lock_print);
 
 static const struct cl_lock_operations osc_lock_ops = {
         .clo_fini    = osc_lock_fini,
         .clo_enqueue = osc_lock_enqueue,
-        .clo_wait    = osc_lock_wait,
-        .clo_unuse   = osc_lock_unuse,
-        .clo_use     = osc_lock_use,
-        .clo_delete  = osc_lock_delete,
-        .clo_state   = osc_lock_state,
         .clo_cancel  = osc_lock_cancel,
         .clo_print   = osc_lock_print,
-        .clo_fits_into = osc_lock_fits_into,
 };
 
-static int osc_lock_lockless_unuse(const struct lu_env *env,
-                                   const struct cl_lock_slice *slice)
-{
-        struct osc_lock *ols = cl2osc_lock(slice);
-        struct cl_lock *lock = slice->cls_lock;
-
-        LASSERT(ols->ols_state == OLS_GRANTED);
-        LINVRNT(osc_lock_invariant(ols));
-
-        cl_lock_cancel(env, lock);
-        cl_lock_delete(env, lock);
-        return 0;
-}
-
 static void osc_lock_lockless_cancel(const struct lu_env *env,
-                                     const struct cl_lock_slice *slice)
+                                    const struct cl_lock_slice *slice)
 {
-        struct osc_lock   *ols  = cl2osc_lock(slice);
-        int result;
+       struct osc_lock      *ols   = cl2osc_lock(slice);
+       struct osc_object    *osc   = cl2osc(slice->cls_obj);
+       struct cl_lock_descr *descr = &slice->cls_lock->cll_descr;
+       int result;
 
-        result = osc_lock_flush(ols, 0);
+       LASSERT(ols->ols_dlmlock == NULL);
+       result = osc_lock_flush(osc, descr->cld_start, descr->cld_end,
+                               descr->cld_mode, false);
         if (result)
                 CERROR("Pages for lockless lock %p were not purged(%d)\n",
                        ols, result);
-        ols->ols_state = OLS_CANCELLED;
-}
-
-static int osc_lock_lockless_wait(const struct lu_env *env,
-                                  const struct cl_lock_slice *slice)
-{
-        struct osc_lock *olck = cl2osc_lock(slice);
-        struct cl_lock  *lock = olck->ols_cl.cls_lock;
 
-        LINVRNT(osc_lock_invariant(olck));
-        LASSERT(olck->ols_state >= OLS_UPCALL_RECEIVED);
-
-        return lock->cll_error;
-}
-
-static void osc_lock_lockless_state(const struct lu_env *env,
-                                    const struct cl_lock_slice *slice,
-                                    enum cl_lock_state state)
-{
-        struct osc_lock *lock = cl2osc_lock(slice);
-
-        LINVRNT(osc_lock_invariant(lock));
-        if (state == CLS_HELD) {
-                struct osc_io *oio  = osc_env_io(env);
-
-                LASSERT(ergo(lock->ols_owner, lock->ols_owner == oio));
-                lock->ols_owner = oio;
-
-                /* set the io to be lockless if this lock is for io's
-                 * host object */
-                if (cl_object_same(oio->oi_cl.cis_obj, slice->cls_obj))
-                        oio->oi_lockless = 1;
-        }
-}
-
-static int osc_lock_lockless_fits_into(const struct lu_env *env,
-                                       const struct cl_lock_slice *slice,
-                                       const struct cl_lock_descr *need,
-                                       const struct cl_io *io)
-{
-        struct osc_lock *lock = cl2osc_lock(slice);
-
-        if (!(need->cld_enq_flags & CEF_NEVER))
-                return 0;
-
-        /* lockless lock should only be used by its owning io. b22147 */
-        return (lock->ols_owner == osc_env_io(env));
+       osc_lock_wake_waiters(env, osc, ols);
 }
 
 static const struct cl_lock_operations osc_lock_lockless_ops = {
         .clo_fini      = osc_lock_fini,
         .clo_enqueue   = osc_lock_enqueue,
-        .clo_wait      = osc_lock_lockless_wait,
-        .clo_unuse     = osc_lock_lockless_unuse,
-        .clo_state     = osc_lock_lockless_state,
-        .clo_fits_into = osc_lock_lockless_fits_into,
         .clo_cancel    = osc_lock_lockless_cancel,
         .clo_print     = osc_lock_print
 };
 
+void osc_lock_set_writer(const struct lu_env *env, const struct cl_io *io,
+                        struct cl_object *obj, struct osc_lock *oscl)
+{
+       struct cl_lock_descr *descr = &oscl->ols_cl.cls_lock->cll_descr;
+       pgoff_t io_start;
+       pgoff_t io_end;
+
+       if (!cl_object_same(io->ci_obj, obj))
+               return;
+
+       if (likely(io->ci_type == CIT_WRITE)) {
+               io_start = cl_index(obj, io->u.ci_rw.crw_pos);
+               io_end = cl_index(obj, io->u.ci_rw.crw_pos +
+                                               io->u.ci_rw.crw_count - 1);
+       } else {
+               LASSERT(cl_io_is_mkwrite(io));
+               io_start = io_end = io->u.ci_fault.ft_index;
+       }
+
+       if (descr->cld_mode >= CLM_WRITE &&
+           (cl_io_is_append(io) ||
+            (descr->cld_start <= io_start && descr->cld_end >= io_end))) {
+               struct osc_io *oio = osc_env_io(env);
+
+               /* There must be only one lock to match the write region */
+               LASSERT(oio->oi_write_osclock == NULL);
+               oio->oi_write_osclock = oscl;
+       }
+}
+EXPORT_SYMBOL(osc_lock_set_writer);
+
 int osc_lock_init(const struct lu_env *env,
                  struct cl_object *obj, struct cl_lock *lock,
-                 const struct cl_io *unused)
+                 const struct cl_io *io)
 {
-       struct osc_lock *clk;
-       int result;
+       struct osc_lock *oscl;
+       __u32 enqflags = lock->cll_descr.cld_enq_flags;
+
+       OBD_SLAB_ALLOC_PTR_GFP(oscl, osc_lock_kmem, GFP_NOFS);
+       if (oscl == NULL)
+               return -ENOMEM;
+
+       oscl->ols_state = OLS_NEW;
+       spin_lock_init(&oscl->ols_lock);
+       INIT_LIST_HEAD(&oscl->ols_waiting_list);
+       INIT_LIST_HEAD(&oscl->ols_wait_entry);
+       INIT_LIST_HEAD(&oscl->ols_nextlock_oscobj);
+       oscl->ols_lockless_ops = &osc_lock_lockless_ops;
+
+       /* Speculative lock requests must be either no_expand or glimpse
+        * request (CEF_GLIMPSE).  non-glimpse no_expand speculative extent
+        * locks will break ofd_intent_cb. (see comment there)*/
+       LASSERT(ergo((enqflags & CEF_SPECULATIVE) != 0,
+               (enqflags & (CEF_LOCK_NO_EXPAND | CEF_GLIMPSE)) != 0));
+
+       oscl->ols_flags = osc_enq2ldlm_flags(enqflags);
+       oscl->ols_speculative = !!(enqflags & CEF_SPECULATIVE);
+       if (lock->cll_descr.cld_mode == CLM_GROUP)
+               oscl->ols_flags |= LDLM_FL_ATOMIC_CB;
+
+       if (oscl->ols_flags & LDLM_FL_HAS_INTENT) {
+               oscl->ols_flags |= LDLM_FL_BLOCK_GRANTED;
+               oscl->ols_glimpse = 1;
+       }
+       if (io->ci_ndelay && cl_object_same(io->ci_obj, obj))
+               oscl->ols_flags |= LDLM_FL_NDELAY;
+       osc_lock_build_einfo(env, lock, cl2osc(obj), &oscl->ols_einfo);
 
-       OBD_SLAB_ALLOC_PTR_GFP(clk, osc_lock_kmem, __GFP_IO);
-       if (clk != NULL) {
-               __u32 enqflags = lock->cll_descr.cld_enq_flags;
+       cl_lock_slice_add(lock, &oscl->ols_cl, obj, &osc_lock_ops);
 
-               osc_lock_build_einfo(env, lock, clk, &clk->ols_einfo);
-               clk->ols_state = OLS_NEW;
+       if (!(enqflags & CEF_MUST))
+               /* try to convert this lock to a lockless lock */
+               osc_lock_to_lockless(env, oscl, (enqflags & CEF_NEVER));
+       if (oscl->ols_locklessable && !(enqflags & CEF_DISCARD_DATA))
+               oscl->ols_flags |= LDLM_FL_DENY_ON_CONTENTION;
 
-               clk->ols_flags = osc_enq2ldlm_flags(enqflags);
-               clk->ols_agl = !!(enqflags & CEF_AGL);
-               if (clk->ols_agl)
-                       clk->ols_flags |= LDLM_FL_BLOCK_NOWAIT;
-               if (clk->ols_flags & LDLM_FL_HAS_INTENT)
-                       clk->ols_glimpse = 1;
+       if (io->ci_type == CIT_WRITE || cl_io_is_mkwrite(io))
+               osc_lock_set_writer(env, io, obj, oscl);
 
-               cl_lock_slice_add(lock, &clk->ols_cl, obj, &osc_lock_ops);
+       LDLM_DEBUG_NOLOCK("lock %p, osc lock %p, flags %#llx",
+                         lock, oscl, oscl->ols_flags);
 
-               if (!(enqflags & CEF_MUST))
-                       /* try to convert this lock to a lockless lock */
-                       osc_lock_to_lockless(env, clk, (enqflags & CEF_NEVER));
-               if (clk->ols_locklessable && !(enqflags & CEF_DISCARD_DATA))
-                       clk->ols_flags |= LDLM_FL_DENY_ON_CONTENTION;
+       return 0;
+}
 
-               LDLM_DEBUG_NOLOCK("lock %p, osc lock %p, flags %llx\n",
-                               lock, clk, clk->ols_flags);
+/**
+ * Finds an existing lock covering given index and optionally different from a
+ * given \a except lock.
+ */
+struct ldlm_lock *osc_obj_dlmlock_at_pgoff(const struct lu_env *env,
+                                          struct osc_object *obj,
+                                          pgoff_t index,
+                                          enum osc_dap_flags dap_flags)
+{
+       struct osc_thread_info *info = osc_env_info(env);
+       struct ldlm_res_id *resname = &info->oti_resname;
+       union ldlm_policy_data *policy  = &info->oti_policy;
+       struct lustre_handle lockh;
+       struct ldlm_lock *lock = NULL;
+       enum ldlm_mode mode;
+       __u64 flags;
 
-               result = 0;
-       } else
-               result = -ENOMEM;
-       return result;
-}
+       ENTRY;
+
+       ostid_build_res_name(&obj->oo_oinfo->loi_oi, resname);
+       osc_index2policy(policy, osc2cl(obj), index, index);
+       policy->l_extent.gid = LDLM_GID_ANY;
 
+       flags = LDLM_FL_BLOCK_GRANTED | LDLM_FL_CBPENDING;
+       if (dap_flags & OSC_DAP_FL_TEST_LOCK)
+               flags |= LDLM_FL_TEST_LOCK;
+       /*
+        * It is fine to match any group lock since there could be only one
+        * with a uniq gid and it conflicts with all other lock modes too
+        */
+again:
+       mode = osc_match_base(env, osc_export(obj), resname, LDLM_EXTENT,
+                             policy, LCK_PR | LCK_PW | LCK_GROUP, &flags,
+                             obj, &lockh, dap_flags & OSC_DAP_FL_CANCELING);
+       if (mode != 0) {
+               lock = ldlm_handle2lock(&lockh);
+               /* RACE: the lock is cancelled so let's try again */
+               if (unlikely(lock == NULL))
+                       goto again;
+       }
+
+       RETURN(lock);
+}
 /** @} osc */