Что происходит при создании нового потока?

Question

[beduin01]

Везде говорят что это дорогая операция. Почему? Что в этот момент происходит? И почему это много времени занимает?

Answer 1

[res2001]

ОС выделяет память под структуры описывающие поток, выделяет стек потока, добавляет поток в планировщик.
Все это отнимает и время ЦПУ и память, поэтому каждый поток - не бесплатен. Много или мало времени/памяти - это, конечно, относительно. Относительно тех задач, которые будет решать поток.

Comments

[beduin01]

А можно более подробно? Что за структуры?

[15432]

beduin01, ну вот структура ETHREAD, которую создаёт ОС Windows для описания конкретного потока
https://www.nirsoft.net/kernel_struct/vista/ETHREA...
эта структура добавляется в список потоков вашего процесса, планировщик затем разруливает переключение потоков, сохраняя и загружая последнее состояние регистров

[res2001]

beduin01,

Что за структуры?

Какая разница? В Линукс одна реализация, в винде другая, обе делают примерно одно и то же, но разными способами. Если интересно купите книжку по организации ядра линукс и смотрите исходники.
На сколько я знаю в линуксе с потоками как-то не очень хорошо - они есть, но они более дорогие, чем в другних ОС - разные реализации. Возможно информация устарела.
Обычно прикладному программисту нет дела, как реализованы потоки. Часто они пользуются кросс-платформенными библиотеками, которое вообще все различия скрывают в своей реализации и вы видите некую обобщенную реализацию потоков в библиотеке, которая одинакова в разных ОС.

Answer 2

[xmoonlight]

Бред.
Сейчас большинство процессоров поддерживают Hyper-Threading: X ядер = 2X потоков. Поэтому не использовать мощности, заставляя их простаивать - не вижу рациональным.
Чтиво для понимания.

Comments

[eRKa]

Вы не о том. Имеется в виду потоки внутри процесса, их можно создать хоть 1000, на сколько пула хватит. И создание потока внутри процесса это действительно ресурсозатратное дело, поэтому распараллеливать стоит когда много задач и они затратные по времени, выиграть по времени не получится, если распараллелить 2-3 задачи на таблицу умножения, т.к. время на выделения ресурсов под потоки уйдет больше, чем на сами задачи.

[xmoonlight]

eRKa, ну всё зависит от самих задач, поэтому потоки создаются до того момента, пока создание очередного не приведёт к снижению производительности остальных. Это будет означать, что использован весь вычислительный потенциал системы.