diff options
author | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-05-20 13:49:05 +0200 |
---|---|---|
committer | Sebastian Huber <sebastian.huber@embedded-brains.de> | 2015-05-20 15:03:32 +0200 |
commit | 595b333ad2b40d3bb23ef03374b14e4b8dcf49db (patch) | |
tree | f2584c50dd82fe577dfb599eb82b7807f2a012d1 /rtemsbsd/rtems/rtems-bsd-rwlock.c | |
parent | Fix struct ucred warnings (diff) | |
download | rtems-libbsd-595b333ad2b40d3bb23ef03374b14e4b8dcf49db.tar.bz2 |
Add INVARIANTS support
Diffstat (limited to 'rtemsbsd/rtems/rtems-bsd-rwlock.c')
-rw-r--r-- | rtemsbsd/rtems/rtems-bsd-rwlock.c | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/rtemsbsd/rtems/rtems-bsd-rwlock.c b/rtemsbsd/rtems/rtems-bsd-rwlock.c index b6540b54..d0b911d5 100644 --- a/rtemsbsd/rtems/rtems-bsd-rwlock.c +++ b/rtemsbsd/rtems/rtems-bsd-rwlock.c @@ -15,7 +15,7 @@ * USA * <kevin.kirspel@optimedical.com> * - * Copyright (c) 2013 embedded brains GmbH. All rights reserved. + * Copyright (c) 2013-2015 embedded brains GmbH. All rights reserved. * * embedded brains GmbH * Dornierstr. 4 @@ -79,6 +79,10 @@ struct lock_class lock_class_rw = { #endif }; +#define rw_wowner(rw) ((rw)->mutex.owner) + +#define rw_recursed(rw) ((rw)->mutex.nest_level != 0) + void assert_rw(struct lock_object *lock, int what) { @@ -223,6 +227,7 @@ _rw_assert(struct rwlock *rw, int what, const char *file, int line) case RA_LOCKED | RA_RECURSED: case RA_LOCKED | RA_NOTRECURSED: case RA_RLOCKED: +#ifndef __rtems__ #ifdef WITNESS witness_assert(&rw->lock_object, what, file, line); #else @@ -250,10 +255,13 @@ _rw_assert(struct rwlock *rw, int what, const char *file, int line) } #endif break; +#else /* __rtems__ */ + /* FALLTHROUGH */ +#endif /* __rtems__ */ case RA_WLOCKED: case RA_WLOCKED | RA_RECURSED: case RA_WLOCKED | RA_NOTRECURSED: - if (rw_wowner(rw) != curthread) + if (rw_wowner(rw) != _Thread_Get_executing()) panic("Lock %s not exclusively locked @ %s:%d\n", rw->lock_object.lo_name, file, line); if (rw_recursed(rw)) { @@ -272,7 +280,7 @@ _rw_assert(struct rwlock *rw, int what, const char *file, int line) * If we hold a write lock fail. We can't reliably check * to see if we hold a read lock or not. */ - if (rw_wowner(rw) == curthread) + if (rw_wowner(rw) == _Thread_Get_executing()) panic("Lock %s exclusively locked @ %s:%d\n", rw->lock_object.lo_name, file, line); #endif |