Extract the single-thread execution mechanism from the SingleThreadModelController and generalize it, rebuilding it on the Java ExecutorService, as an injectable ModelSynchronizer service that is now also used by a new SingleThreadTransactionController.
Bind the new SingleThreadTransactionController by default.
Extract the single-thread execution mechanism from the
SingleThreadModelControllerand generalize it, rebuilding it on the JavaExecutorService, as an injectableModelSynchronizerservice that is now also used by a newSingleThreadTransactionController.Bind the new
SingleThreadTransactionControllerby default.Fixes #250
Contributed on behalf of STMicroelectronics.