Wrappers for classes used in concurrency #1534

Description

There are several classes that are widely used in concurrent applications - starting from simple java.lang.Thread and java.util.concurrent.CountDownLatch and ending with java.util.concurrent.ExecutorService. Their implementations are very difficult for analysing by the symbolic engine, but, considering that the engine does not consider real concurrent execution, we can use simple single-thread wrapper implementations for these classes.

Expected behavior

Implement wrappers for widely used in real projects classes for concurrency.

Environment

Not applicable.

Potential alternatives

Were not found.

Context

No additional context.