У меня есть класс, представляющий конечный автомат, который должен работать в цикле навсегда и проверять его текущее состояние.В каждом автомате будет установлено его следующее состояние, либо он перейдет в состояние idle, либо выполнит какую-то работу.Я хотел бы позволить другому потоку изменять состояние машины, пока она работает.Это приведет к состоянию гонки, как и ожидалось.Поэтому я добавляю петлю обертки блокировки / разблокировки взаимного исключения машины и открытый метод, который позволяет другим потокам изменять текущее состояние машины.
class Robot
{
public:
enum StateType {s1,s2,s3,idle,finish};
void run();
void move();
private:
StateType currentState;
StateType nextState;
StateType previousState;
std::mutex mutal_state;
};
Реализация:
void Robot::run()
{
this->currentState = s1;
while(true)
{
mutal_state.lock();
switch(currentState)
{
case s1:
// do some useful stuff here...
currentState = idle;
nextState = s3;
break;
case s2:
// do some other useful stuff here...
currentState = idle;
nextState = finish;
break;
case s3:
// again, do some useful things...
currentState = idle;
nextState = s2;
break;
case idle:
// busy waiting...
std::cout << "I'm waiting" << std::endl;
break;
case finish:
std::cout << "Bye" << std::endl;
mutal_state.unlock();
return;
}
mutal_state.unlock();
}
}
ИМетод перемещения, который позволяет другим потокам изменять текущее состояние:
void Robot::move()
{
mutal_state.lock();
previousState = currentState; // Booommm
currentState = nextState;
mutal_state.unlock();
}
Мне не удается найти то, что я делаю неправильно!Сбой программы в первой строке функции move().С другой стороны, GDB не работает с C ++ 11, и трассировка кода невозможна ...
ОБНОВЛЕНИЕ:
Играя с кодом, я могувижу, что проблема в функции перемещения.Когда программа пытается заблокировать кусок кода внутри move(), происходит сбой.Например, если перемещение выглядит так:
void Robot::move()
{
std::cout << "MOVE IS CALLED" << std::endl;
mutal_state.lock();
//previousState = currentState;
//std::cout << "MOVING" << std::endl;
//currentState = nextState;
mutal_state.unlock();
}
Вывод:
s1
I'm waiting
I'm waiting
MOVE IS CALLED1
The program has unexpectedly finished.
Но когда move простая функция, ничего не делать:
void Robot::move()
{
std::cout << "MOVE IS CALLED" << std::endl;
//mutal_state.lock();
//previousState = currentState;
//std::cout << "MOVING" << std::endl;
//currentState = nextState;
//mutal_state.unlock();
}
Программа запускается одновременно.