Как позволить писателю нить голодать

Я написал реализацию проблемы читателей-писателей, используя shared_timed_mutex из C ++ 14. По моему мнению, следующий код должен привести к тому, что Writer будет голодать, так как слишком много потоков читателей работают с базой данных (в данном примере это простой массив) все время: Writer не имеет возможности получить блокировку.

mutex cout_mtx;                 // controls access to standard output
shared_timed_mutex db_mtx;      // controls access to data_base

int data_base[] = { 0, 0, 0, 0, 0, 0 };

const static int NR_THREADS_READ = 10;
const static int NR_THREADS_WRITE = 1;
const static int SLEEP_MIN = 10;
const static int SLEEP_MAX = 20;

void read_database(int thread_nr) {
shared_lock<shared_timed_mutex> lck(db_mtx, defer_lock); // create a lock based on db_mtx but don't try to acquire the mutex yet
while (true) {
// generate new random numbers
std::random_device r;
std::default_random_engine e(r());
std::uniform_int_distribution<int> uniform_dist(SLEEP_MIN, SLEEP_MAX);
std::uniform_int_distribution<int> uniform_dist2(0, 5);
int sleep_duration = uniform_dist(e);   // time to sleep between read requests
int read_duration = uniform_dist(e);    // duration of reading from data_base
int cell_number = uniform_dist2(e);     // what data cell will be read from
int cell_value = 0;

// wait some time before requesting another access to the database
this_thread::sleep_for(std::chrono::milliseconds(sleep_duration));

if (!lck.try_lock()) {

lck.lock(); // try to get the lock in blocked state
}

// read data
cell_value = data_base[cell_number];

lck.unlock();

}
}

void write_database(int thread_nr) {
unique_lock<shared_timed_mutex> lck(db_mtx, defer_lock); // create a lock based on db_mtx but don't try to acquire the mutex yet
while (true) {
// generate new random numbers
std::random_device r;
std::default_random_engine e(r());
std::uniform_int_distribution<int> uniform_dist(SLEEP_MIN, SLEEP_MAX);
std::uniform_int_distribution<int> uniform_dist2(0, 5);
int sleep_duration = uniform_dist(e);   // time to sleep between write requests
int read_duration = uniform_dist(e);    // duration of writing to data_base
int cell_number = uniform_dist2(e);     // what data cell will be written to

// wait some time before requesting another access to the database
this_thread::sleep_for(std::chrono::milliseconds(sleep_duration));

// try to get exclusive access
cout_mtx.lock();
cout << "Writer <" << thread_nr << "> requesting write access." << endl;
cout_mtx.unlock();

if (!lck.try_lock()) {

lck.lock(); // try to get the lock in blocked state
}

// write data
data_base[cell_number] += 1;

lck.unlock();

}
}

Я добавил некоторые выходные данные в стандартный вывод, когда поток читает, пишет, пытается получить блокировку либо в заблокированном режиме, либо через try_lock() метод, но я удалил вывод для ясности. Я запускаю темы дальше в основном методе. Когда я запускаю программу, пишущий всегда получает возможность записи в массив (что приводит к блокировке всех потоков читателя, что нормально), но, как я уже сказал выше, писатель вообще не должен получать доступ, так как есть слишком много читателей читают из массива. Даже когда я вообще не даю потокам читателя спать (аргумент 0), потоки писателя каким-то образом находят способ получить мьютекс. Как мне заставить писателя голодать тогда?