В какой момент GIL усыпляет потоки?

Question

[beduin01]

Согласно документации GIL пробуждает\усыпляет потоки в тот момент времени, когда потоки не трогают какие-то общие данные. И тут же написано, что он делает это каждые 5мс. Вопрос как это все вяжется?

Answer 1

[Сергей Горностаев]

GIL не усыпляет и не пробуждает потоки. GIL - это блокировка, используемая системными потоками интерпретатора, гарантирующая, что два или более потока не будут выполняться одновременно. Поток интерпретатора вызывает cv_wait на GIL с таймаутом в 5 миллисекунд. Если GIL не будет освобождён в течении 5 мс, поток установит переменную gil_drop_request и вызовет cv_wait ещё раз. Поток владеющий GIL периодически проверяет состояние переменной gil_drop_request и освобождает GIL, если она установлена. Так же поток освобождает GIL при любых операция ввода\вывода.

Comments

[beduin01]

Тоесть в поток вшивается какая-то логика которая каждый раз проверяет был ли установлен cv_wait?
Но это же не системные потоки? Или системные?

[Сергей Горностаев]

beduin01, интерпретатор Python - это сишный код, выполняющий инструкции python-кода. Когда вы создаёте поток в python-скрипте, сишный код интерпретатора создаёт системный поток, в котором выполняет как логику python-кода, так и операции необходимые для правильной работы самого интерпретатора.

Answer 2

[Dimonchik]

https://www.youtube.com/watch?v=AWX4JnAnjBE