• Davidlohr Bueso's avatar
    blktrace: re-write setting q->blk_trace · cdea01b2
    Davidlohr Bueso authored
    This is really about simplifying the double xchg patterns into
    a single cmpxchg, with the same logic. Other than the immediate
    cleanup, there are some subtleties this change deals with:
    
    (i) While the load of the old bt is fully ordered wrt everything,
    ie:
    
            old_bt = xchg(&q->blk_trace, bt);             [barrier]
            if (old_bt)
    	     (void) xchg(&q->blk_trace, old_bt);    [barrier]
    
    blk_trace could still be changed between the xchg and the old_bt
    load. Note that this description is merely theoretical and afaict
    very small, but doing everything in a single context with cmpxchg
    closes this potential race.
    
    (ii) Ordering guarantees are obviously kept with cmpxchg.
    
    (iii) Gets rid of the hacky-by-nature (void)xchg pattern.
    Signed-off-by: default avatarDavidlohr Bueso <dbueso@suse.de>
    eviewed-by: default avatarJeff Moyer <jmoyer@redhat.com>
    Signed-off-by: default avatarJens Axboe <axboe@fb.com>
    cdea01b2
blktrace.c 42 KB