Siying Dong af6fe69e4c Fix an issue of manual / auto compaction data race
Summary:
A data race between a manual and an auto compaction can cause a scheduled automatic compaction to be cancelled and never rescheduled again. This may cause a condition of hanging forever. Fix this by always making sure the cancelled compaction is put back to the compaction queue.
Closes https://github.com/facebook/rocksdb/pull/2238

Differential Revision: D4984591

Pulled By: siying

fbshipit-source-id: 3ab153886403c7b991896dcb2158b96cac12f227
2017-05-02 15:11:59 -07:00
..
2017-04-27 18:06:12 -07:00
2017-04-27 18:06:12 -07:00
2017-04-27 18:06:12 -07:00
2017-04-27 18:06:12 -07:00
2017-04-18 16:56:48 -07:00
2017-03-28 12:09:12 -07:00
2017-04-27 18:06:12 -07:00