Здравствуйте, Doom100500, Вы писали:

D>Чтобы проверять многопоточную среду — надо определить требования к этой среде.
D>- Кто управляет потоками, где они создаются, где уничтожаются?
D>- Какое состояние у этих потоков, как его можно получить?
D>- Как осуществляется коммуникация между этими потоками?

Вы как-то приняли позу учителя и начали учить нерадивого ученика теории, без конкретики. Сводя к малозначимым вопросам.

Т.е. порождает потоки — очевидно вызывающий код. Как бы сводите на малозначимое.

На каком ЯП вам удобнее привести пример, чтобы получилась конкретика?