My program has two threads:
- Main execution thread that handles user input and queues up database writes
- A utility thread that wakes up every second and flushes the writes to the database
Inside the main thread, I occasionally need to make reads on the database. When this happens, performance is not important, but correctness is. (In a perfect world, I would be reading from a cache, not making a round-trip to the database – but let’s put that aside for the sake of discussion.)
How do I make sure that the main thread sees a correct / quiescent database?
A standard mutex won’t work, since I run the risk of having the main thread grab the mutex before the data gets flushed to the database. This would be a big race condition.
What I really want is some sort of mutex that lets the main thread of execution proceed only AFTER the mutex has been grabbed and released once. Does such a thing exist? What’s the best way to solve this problem?
UPDATE: After doing some additional research, I might use Boost’s Conditional Variable to address this problem. Either that, or just bite the bullet and cache my writes. Thanks for the feedback!
If you don’t have more than one main execution thread (ie, the only thread that will push writes onto the worker thread is the same thread that will be reading from the database), then you can probably just have a simple “pending writes” variable/function that you can check before sending a read, and spinlock or wait for a signal until the writes have been flushed. It sounds like you won’t need to perform any locking or synchonization on the writes, if they can simply be queued up to be processed by the worker thread.
Basically, as long as you are guaranteed that in between the check for that ‘pending writes’ state and when you actually perform the read, there are no writes, then you don’t need to do anything too fancy.