https://123dok.net/document/zpn14r8r-coarse-grained-locking-scheme-parallel-state-space-construction.html