Глобальная блокировка интерпретатора

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Схематичное изображение работы потоков под GIL. Зелёный — поток, удерживающий GIL, красные — блокированные потоки

Глобальная блокировка интерпретатора (англ. Global Interpreter Lock, GIL) — способ синхронизации потоков, который используется в некоторых интерпретируемых языках программирования, например в Python и Ruby.

Суть концепции[править | править код]

GIL является самым простым способом избежать конфликтов при одновременном обращении разных потоков к одним и тем же участкам памяти[1]. Когда один поток захватывает его, GIL, работая по принципу мьютекса, блокирует остальные. Нет параллельных потоков — нет конфликтов при обращении к разделяемым объектам. Очерёдность выполнения потоков определяет интерпретатор в зависимости от реализации, переключение между потоками может происходить: когда активный поток пытается осуществить ввод-вывод, по исчерпании лимита выполненных инструкций, либо по таймеру[2].

Преимущества и недостатки[править | править код]

Главный недостаток подхода обеспечения потокобезопасности при помощи GIL — это ограничение параллельности вычислений. GIL не позволяет достигать наибольшей эффективности вычислений при работе на многоядерных и мультипроцессорных системах[3]. Также использование нескольких потоков накладывает издержки на их переключение из-за эффекта конкуренции (потоки «пытаются» перехватить GIL). То есть многопоточное выполнение может занять большее время, чем последовательное выполнение тех же задач[4].

Причины использования GIL:

  • Однопоточные сценарии выполняются значительно быстрее, чем при использовании других подходов обеспечения потокобезопасности;
  • Простая интеграция библиотек на C, которые зачастую тоже не потокобезопасны;
  • Простота реализации.

Применение[править | править код]

GIL используется в CPython'е, наиболее распространённой реализации интерпретатора языка Python[5], и в Ruby MRI, эталонной реализации интерпретатора языка Ruby, где он зовётся Global VM Lock.

В сети не раз появлялись петиции и открытые письма с просьбой убрать GIL из Python'а[6]. Однако создатель и «великодушный пожизненный диктатор» проекта Гвидо ван Россум заявляет, что GIL не так уж и плох и он будет в CPython'е до тех пор, пока кто-то другой не представит реализацию Python'а без GIL, с которой бы однопоточные скрипты работали так же быстро[7][8].

Реализации интерпретаторов на JVM (Jython, JRuby) и на .NET (IronPython, IronRuby) не используют GIL[9][10].

В рамках проекта PyPy ведётся работа по реализации транзакционной памяти (англ. Software Transactional Memory, SТМ). На данный момент[какой?] даже в многопоточных вычислениях интерпретатор с STM работает во много раз медленней, чем с GIL. Но за счёт JIT PyPy-STM[11] всё равно быстрее, чем CPython[12].

Примечания[править | править код]

  1. Thread State and the Global Interpreter Lock. Дата обращения: 21 декабря 2013. Архивировано 24 декабря 2013 года.
  2. Antoine Pitrou. Reworking the GIL. Python Mailing Lists (25 октября 2009). Дата обращения: 21 декабря 2013. Архивировано 10 июня 2011 года.
  3. Описание GIL. Python Wiki. Дата обращения: 21 декабря 2013. Архивировано 24 декабря 2013 года.
  4. David Beazley. Inside the Python GIL. Chicago: Chicago Python User Group (11 июня 2009). Дата обращения: 7 октября 2009. Архивировано 24 декабря 2010 года.
  5. Shannon -jj Behrens. Concurrency and Python 2. Dr. Dobb's Journal (3 февраля 2008). Дата обращения: 12 июля 2008. Архивировано 26 июня 2008 года.
  6. An open letter to Guido van Rossum: Mr Rossum, tear down that GIL!. SnapLogic (9 сентября 2007). Архивировано из оригинала 24 декабря 2013 года.
  7. Guido van Rossum. the future of the GIL. Python Mailing Lists (8 мая 2007). Дата обращения: 21 декабря 2013. Архивировано 9 ноября 2020 года.
  8. Guido van Rossum. It isn't Easy to Remove the GIL. artima.com (10 сентября 2007). Дата обращения: 21 декабря 2013. Архивировано 6 июня 2019 года.
  9. WhyJython. Python Wiki. Дата обращения: 21 декабря 2013. Архивировано 22 декабря 2013 года.
  10. IronPython. Python Wiki. Дата обращения: 4 апреля 2011. Архивировано 12 июня 2011 года.
  11. [https://web.archive.org/web/20131224175835/http://bitbucket.org/pypy/pypy/raw/stm-thread/pypy/doc/stm.rst Архивная копия от 24 декабря 2013 на Wayback Machine PyPy-STM on Bitbucket]
  12. Update on STM. Python Wiki (16 октября 2013). Дата обращения: 21 декабря 2013. Архивировано 24 декабря 2013 года.