|
|
@@ -290,7 +290,9 @@ static inline void _starpu_sched_ctx_lock_read(unsigned sched_ctx_id)
|
|
|
static inline void _starpu_sched_ctx_unlock_read(unsigned sched_ctx_id)
|
|
|
{
|
|
|
struct _starpu_sched_ctx *sched_ctx = _starpu_get_sched_ctx_struct(sched_ctx_id);
|
|
|
+ STARPU_HG_DISABLE_CHECKING(sched_ctx->lock_write_owner);
|
|
|
STARPU_ASSERT(!starpu_pthread_equal(sched_ctx->lock_write_owner, starpu_pthread_self()));
|
|
|
+ STARPU_HG_ENABLE_CHECKING(sched_ctx->lock_write_owner);
|
|
|
STARPU_PTHREAD_RWLOCK_UNLOCK(&sched_ctx->rwlock);
|
|
|
}
|
|
|
|
