Ejemplo n.º 1
0
/**
 * Invariant that has to be true all of the time.
 */
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;
	int	       handle_used = lustre_handle_is_used(&ols->ols_handle);

	return
		ergo(osc_lock_is_lockless(ols),
		     ols->ols_locklessable && ols->ols_lock == NULL)  ||
		(ergo(olock != NULL, handle_used) &&
		 ergo(olock != NULL,
		      olock->l_handle.h_cookie == ols->ols_handle.cookie) &&
		 /*
		  * Check that ->ols_handle and ->ols_lock are consistent, but
		  * take into account that they are set at the different time.
		  */
		 ergo(handle_used,
		      ergo(lock != NULL && olock != NULL, lock == olock) &&
		      ergo(lock == NULL, olock == NULL)) &&
		 ergo(ols->ols_state == OLS_CANCELLED,
		      olock == NULL && !handle_used) &&
		 /*
		  * DLM lock is destroyed only after we have seen cancellation
		  * ast.
		  */
		 ergo(olock != NULL && ols->ols_state < OLS_CANCELLED,
		      !olock->l_destroyed) &&
		 ergo(ols->ols_state == OLS_GRANTED,
		      olock != NULL &&
		      olock->l_req_mode == olock->l_granted_mode &&
		      ols->ols_hold));
}
Ejemplo n.º 2
0
/**
 * Invariant that has to be true all of the time.
 */
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;
	int handle_used = lustre_handle_is_used(&ols->ols_handle);

	if (ergo(osc_lock_is_lockless(ols),
		 ols->ols_locklessable && ols->ols_lock == NULL))
		return 1;

	/*
	 * If all the following "ergo"s are true, return 1, otherwise 0
	 */
	if (!ergo(olock != NULL, handle_used))
		return 0;

	if (!ergo(olock != NULL,
		   olock->l_handle.h_cookie == ols->ols_handle.cookie))
		return 0;

	if (!ergo(handle_used,
		   ergo(lock != NULL && olock != NULL, lock == olock) &&
		   ergo(lock == NULL, olock == NULL)))
		return 0;
	/*
	 * Check that ->ols_handle and ->ols_lock are consistent, but
	 * take into account that they are set at the different time.
	 */
	if (!ergo(ols->ols_state == OLS_CANCELLED,
		   olock == NULL && !handle_used))
		return 0;
	/*
	 * DLM lock is destroyed only after we have seen cancellation
	 * ast.
	 */
	if (!ergo(olock != NULL && ols->ols_state < OLS_CANCELLED,
		   ((olock->l_flags & LDLM_FL_DESTROYED) == 0)))
		return 0;

	if (!ergo(ols->ols_state == OLS_GRANTED,
		   olock != NULL &&
		   olock->l_req_mode == olock->l_granted_mode &&
		   ols->ols_hold))
		return 0;
	return 1;
}