Fork us on GitHub Follow us on Facebook Follow us on Twitter

Changeset 2d3ddad in mainline


Ignore:
Timestamp:
2010-06-08T21:08:44Z (11 years ago)
Author:
Jakub Jermar <jakub@…>
Branches:
lfn, master
Children:
8f80c77
Parents:
c992538a
Message:

Add more *_locked() assertions.

Location:
kernel/generic/src
Files:
3 edited

Legend:

Unmodified
Added
Removed
  • kernel/generic/src/mm/slab.c

    rc992538a r2d3ddad  
    405405/** Find full magazine, set it as current and return it
    406406 *
    407  * Assume cpu_magazine lock is held
    408  *
    409407 */
    410408static slab_magazine_t *get_full_current_mag(slab_cache_t *cache)
     
    412410        slab_magazine_t *cmag = cache->mag_cache[CPU->id].current;
    413411        slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
     412
     413        ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
    414414       
    415415        if (cmag) { /* First try local CPU magazines */
     
    467467 * or NULL if no empty magazine is available and cannot be allocated
    468468 *
    469  * Assume mag_cache[CPU->id].lock is held
    470  *
    471469 * We have 2 magazines bound to processor.
    472470 * First try the current.
     
    480478        slab_magazine_t *lastmag = cache->mag_cache[CPU->id].last;
    481479       
     480        ASSERT(spinlock_locked(&cache->mag_cache[CPU->id].lock));
     481
    482482        if (cmag) {
    483483                if (cmag->busy < cmag->size)
  • kernel/generic/src/proc/scheduler.c

    rc992538a r2d3ddad  
    379379 * switch to a new thread.
    380380 *
    381  * Assume THREAD->lock is held.
    382  *
    383381 */
    384382void scheduler_separated_stack(void)
     
    388386        as_t *old_as = AS;
    389387       
     388        ASSERT(!THREAD || irq_spinlock_locked(&THREAD->lock));
    390389        ASSERT(CPU != NULL);
    391390       
  • kernel/generic/src/proc/thread.c

    rc992538a r2d3ddad  
    371371 *
    372372 * Detach thread from all queues, cpus etc. and destroy it.
    373  * Assume thread->lock is held!
    374373 *
    375374 * @param thread  Thread to be destroyed.
     
    380379void thread_destroy(thread_t *thread, bool irq_res)
    381380{
     381        ASSERT(irq_spinlock_locked(&thread->lock));
    382382        ASSERT((thread->state == Exiting) || (thread->state == Lingering));
    383383        ASSERT(thread->task);
Note: See TracChangeset for help on using the changeset viewer.