在基于枚举的有限状态机中避免竞争条件

Question

我有一个基于enum 的状态机。以下是说明我的状态结构和我遇到的问题的示例代码。

public enum LinkStates implements StuffDoneListener {

    ...

    DO_SOME_WORK {
        public void process() {
            ....
            ....
            someObject.startDoingSpecialStuff();
            outerClass.toState(WAIT_FOR_EVENT);
        }
    },


    WAIT_FOR_EVENT {
        public void process() {
            // does nothing
        }

        public void onSpecialStuffComplete() {

        }
    }

    ...

    // Default implementation of interface methods which individual states
    // may override at will
    public void onSpecialStuffComplete() {
    }

}

process() 方法是在状态更改时调用的方法。每个状态还倾向于覆盖各种侦听器方法以接收各种事件。

State DO_SOME_WORK 调用对象上的方法 (startDoingSpecialStuff()) 以使其执行一些冗长的工作。该对象在另一个非 UI Thread 上工作。完成后，通过onSpecialStuffComplete() 通知状态机，在调用该工作的原始线程上调用该状态机。这里明显的问题是，如果工作很快完成，可能会出现竞争条件，即 FSM 在侦听器回调触发后移动到WAIT_FOR_EVENT。

对我来说“修复”这个问题非常简单，也许还可以通过覆盖DO_SOME_WORK 中的onSpecialStuffComplete()，这样如果它在那里得到通知，它就知道不必费心去WAIT_FOR_EVENT。或者我可以使用一个有点粗略的boolean 标志，WAIT_FOR_EVENT 在进入该状态后立即轮询以检查事件是否已经触发。

然而，我正在寻找一种更优雅、更强大的解决方案来解决这个一般问题。

我使用了Android 标记，尽管这可能被视为一般 Java 设计模式问题，以防万一我可以使用依赖于 Android 特定类的更好解决方案。

Answer 1

我认为DO_SOME_WORK 和WAIT_FOR_EVENT 可以合并。在“特殊内容”完成之前，不必发生状态转换：

public enum LinkStates implements StuffDoneListener {
    // ...

    START_SOME_WORK_AND_WAIT {
        public void process() {
            // ....
            someObject.startDoingSpecialStuff();
        }

        public void onSpecialStuffComplete() {
            outerClass.toState(EVENT_IS_COMPLETE);
        }
    },

    EVENT_IS_COMPLETE {
        public void process() {
            // ...
        }
        // ...
    }

    // ...

    public void onSpecialStuffComplete() {
    }
}

以这种方式编写时，我看不到竞争条件，因此假设它不会破坏未发布的内容，它应该可以正常工作。