• S
    Fix data race against logging data structure because of LogBuffer · bd45633b
    sdong 提交于
    Summary:
    @igor pointed out that there is a potential data race because of the way we use the newly introduced LogBuffer. After "bg_compaction_scheduled_--" or "bg_flush_scheduled_--", they can both become 0. As soon as the lock is released after that, DBImpl's deconstructor can go ahead and deconstruct all the states inside DB, including the info_log object hold in a shared pointer of the options object it keeps. At that point it is not safe anymore to continue using the info logger to write the delayed logs.
    
    With the patch, lock is released temporarily for log buffer to be flushed before "bg_compaction_scheduled_--" or "bg_flush_scheduled_--". In order to make sure we don't miss any pending flush or compaction, a new flag bg_schedule_needed_ is added, which is set to be true if there is a pending flush or compaction but not scheduled because of the max thread limit. If the flag is set to be true, the scheduling function will be called before compaction or flush thread finishes.
    
    Thanks @igor for this finding!
    
    Test Plan: make all check
    
    Reviewers: haobo, igor
    
    Reviewed By: haobo
    
    CC: dhruba, ljin, yhchiang, igor, leveldb
    
    Differential Revision: https://reviews.facebook.net/D16767
    bd45633b
log_buffer.h 1.4 KB