Мне нужно два потока для продвижения по шаблону "tick tock". При имплантировании семафора это выглядит нормально:
Semaphore tick_sem(1);
Semaphore tock_sem(0);
void ticker( void )
{
while( true )
{
P( tick_sem );
do_tick();
V( tock_sem );
}
}
void tocker( void )
{
while( true )
{
P( tock_sem );
do_tock();
V( tick_sem );
}
}
Однако, если я делаю то же самое с мьютексом (который является технически двоичным семафором), он имеет запах нечетного кода.
std::mutex tick_mutex;
std::mutex tock_mutex;
tock_mutex.lock();
void ticker( void )
{
while( true )
{
tick_mutex.lock();
do_tick();
tock_mutex.unlock();
}
}
void tocker( void )
{
while( true )
{
tock_mutex.lock()
do_tock();
tick_mutex.unlock();
}
}
Я думаю, что запах в том, что мьютекс не предназначен для передачи информации в другой поток. (Стандартный комитет С++ 11 добавил ложную попытку try_lock для предотвращения неожиданной передачи информации, §30.4.1/14.) Кажется, что мьютексы предназначены для синхронизации доступа к переменной, которая затем может передавать информацию в другой поток.
Наконец, при реализации с std::condition_variable
он выглядит корректно, но более сложным (переменная tick_vs_tock, мьютекс и переменная условия). Я пропустил реализацию для краткости, но это действительно прямо.
Является ли решение мьютекса прекрасным? Или есть что-то неточно с этим?
Есть ли хороший образец для решения моей проблемы с тиком/табличкой, о которой я не думал?