I feel the interface of the STM is very attractive, but we need a pessimistic implementation sometimes, for example, when many threads concentrate into one resource at the same time, the overhead of first try of all threads is not ignorabl…