Program state can be changed from both threads now and
'state->prog_state' modification is protected with mutex