Как runloop указывает потоку спать?

Question

[ishlambad]

В процессе изучения runloop-a, я столкнулся с таким выражением:

"Ядро переводит поток в пул спящих потоков".

Вопрос:
Это происходит автоматически? То есть когда ранлуп переходит в режим спячки, останавливается вся работа на потоке и ядро автоматически выгружает поток.

Допустим если я хочу создать свой поток, должен ли я переводить его в режим спячки или же этого делать не нужно, так как если ранлуп заснет, то и поток автоматически выгрузится из пулла активных потоков в ядре.

Comments

[ishlambad]

если говорить простым языком то, у нас есть метод func CFRunLoopWakeUp(CFRunLoop!), тогда в какой момент происходит "CFRunloopSleep" и что происходит в этот момент с потоком?

Answer 1

[doublench21]

У тебя неправильное понимание.

По своей сути - поток выполняет свою задачу и умирает. Но это иногда плохо, ибо на создание тратятся ресурсы системы. Эту проблему можно решить несколькими способами... но один из них это RunLoop. RunLoop заставляет поток оставаться живым, даже если никакой задачи на нём не выполняется (Но это не основная его задача. Основная его задача "слушать"). RunLoop стал настолько полезной штукой, что его принудительно привязали к каждому созданному потоку разработчики Apple. По-умолчанию, RunLoop не активирован. То есть для обычных потоков вам даже и знать о нём не нужно. ДА вы даже не будете создавать потоки, ибо в 99% вы работаете с абстракциями DispatchQueue/OperationQueue.

Итак, когда RunLoop активирован, то он заставляет поток жить всё время, пока активен он сам (Я напомню, что для RunLoop это не основная цель). RunLoop способен принимать какие-либо события, но это не тема этого разговора. Так вот... когда RunLoop видит, что на "поле тишина", он переходит в спящий режим.

А спящий режим у RunLoop это просто вечный цикл. Не верите? Смотрите:

#define	CFRUNLOOP_SLEEP() do { } while (0)
#define	CFRUNLOOP_SLEEP_ENABLED() (0)

Comments

[ishlambad]

Большое спасибо, за подробный ответ) А что происходит с потоком когда на "поле тишина"?) Ведь мы знаем, что держать "впустую" поток в ядре плохо, тогда есть ли смысл в словах - ядро автоматически переводит поток в пулл спящих потоков(высвобождает память итп), когда видит, что он не выполняет никакой работы?

Я понимаю, что это очень низкоуровневая инженерия, но если говорить простым языком)

[doublench21]

ishlambad, когда поток спит, выполняется просто пустой цикл do { } while (0). Это и хорошо и плохо. Если поток нужен лишь раз, то смысла в таком очевидно нету. Все потоки по умолчанию такие. Там RunLoop выключен, а значит после работы они умирают. Но иногда нужно держать некий пулл потоков. Это означает держать потоки, которые готовы выполнить новую работу. Задайте вопрос, что лучше, создавать в таком случае каждый раз поток? или держать созданный в спящем режиме, что бы вернуть его для новой работы? Ответ очевидно: Лучше держать поток в спящем режиме. Тут дело в том, что создаётся поток не так быстро, как выводится текущий из спящего. Это делается в целях производительности.

И конечно же пулл-потоков не бывает большим. Обычно это 64 потока. Ну в OperationQueue - это максимум 64 потока. Существуют специальные очереди именуемые OVERCOMMIT. Приватная DisptachQueue очередь такая, позволяет создавать сколько угодно потоков. Главный поток MainQueue - так же обладает такой возможность.

Перевод потока в спящим режим никак не трогает ядро. Спящим режим, повторюсь, просто вечный цикл.

[doublench21]

ishlambad,
В подтверждении моих слов про OVERCOMMIT:

[ishlambad]

Взгляните, тут, 260 страница, абзац Putting a Thread to Sleep , там есть выражение "Afterward, the thread is
made “runnable” again, and the kernel will add the thread back into its rotation of running threads.", значит ли это, что "какие-то" манипуляции с потоком происходят?

[doublench21]

ishlambad, не уверен в истинности этих слов. Вам лучше посмотреть тут

[ishlambad]

doublench21, согласен, сказано очень размыто. Вы случайно не знаете, где помимо, офф документации и первичных источников, можно еще что то почитать про runloop?

[doublench21]

ishlambad, Можно глянуть тут Там много комментариев. А зачем он вам нужен та?

[ishlambad]

doublench21, незакрытый гештальт с:

let myTimer = Timer(timeInterval: 0.5, target: self, selector: #selector(timerDidFire(_:)), userInfo: nil, repeats: true)
RunLoop.current.add(myTimer, forMode: RunLoop.Mode.common)

распутывая нитку и отвечая на вопрос "а зачем", дошел до уровня kernel:D ну в целом понимание сложилось)