This is primarily accomplished by serializing access to a shared program state.

• 这主要通过串行化对共享程序状态的访问来实现。