深入解析Python GIL：线程安全与多核时代的权衡

引言：线程安全与GIL概述

本文主要探讨线程安全的基本概念，并深入分析Python中全局解释器锁（GIL）的工作机制。内容旨在为读者提供清晰的参考与理解。

摘要

核心问题包括：什么是线程安全？以及Python为何采用GIL机制？

随着多核处理器的普及，利用多线程开发以充分利用硬件性能已成为主流趋势。然而，多线程编程不可避免地涉及“线程安全”这一关键概念。本文将阐述作者对线程安全的理解。

Python常被诟病的一点是其GIL机制。本文将针对Python选择使用GIL的原因进行深入讨论。

引言

你的个人电脑或笔记本还是单核处理器吗？如果是，那可能已经落后于时代了。

随着纳米制造技术的进步，计算机芯片工艺持续演进。然而，单纯依靠工艺改进来提升运算速度已难以满足摩尔定律的要求。因此，Intel和AMD等厂商转向横向扩展策略，通过增加CPU核心数量来突破性能瓶颈，从而推出了双核、4核乃至更多核心的处理器，标志着我们正式进入多核时代。

随之而来的问题是：多核时代的到来对程序员意味着什么？我们该如何充分利用多核架构的优势？

在回答上述问题之前，建议对“进程”和“线程”概念尚不熟悉的读者先补充相关知识。

解决方案主要有两种：采用多进程或多线程。两者的最大区别在于资源是否共享：多线程共享资源，而多进程相互独立。这也解释了为何Google Chrome浏览器开始为每个标签页使用独立进程（不共享数据意味着更高的安全性）。

相较于进程，多线程具有轻量级的特征，但其最大挑战在于如何处理资源竞争、死锁以及数据修改一致性问题。

因此，“线程安全”（thread safety）的概念应运而生。

线程安全概念解析

线程安全

Thread safety is a computer programming concept applicable in the context of multi-threaded programs. A piece of code is thread-safe if it functions correctly during simultaneous execution by multiple threads. In particular, it must satisfy the need for multiple threads to access the same shared data, and the need for a shared piece of data to be accessed by only one thread at any given time.

上述内容摘自维基百科的解释。换言之，线程安全是指在多线程环境下，程序在多个线程同时执行时仍能正确运行。它要求保证共享数据可以被多个线程访问，但在同一时刻，只能有一个线程对共享数据进行存取操作。

既然多线程环境必然存在资源竞争，那么如何确保同一时刻只有一个线程能存取共享资源？

答案是加锁。通过加锁机制，可以确保存取操作的唯一性，从而保证同一时刻只有一个线程对共享数据进行操作。

通常，加锁机制有两种不同的粒度：

• 细粒度（fine-grained）：程序员需要手动加锁和解锁，以确保线程安全。
• 粗粒度（coarse-grained）：语言层面维护一个全局锁机制，以保障线程安全。

前一种方式的典型代表是Java、Jython等；后一种方式的典型代表是CPython（即Python）。

前一种方式本文不作详细讨论，具体可参考Java中的多线程编程部分。

至于Python中的全局锁机制，即GIL（Global Interpreter Lock），下文将重点讨论。

Python GIL机制详解

GIL

什么是GIL？答案可参考维基百科的说明，简单来说：

每个解释器进程在同一时刻只能有一个线程执行，并获得相关锁以存取资源。

由此容易发现，如果一个解释器进程只能由一个线程执行，那么多线程并发处理在理论上变得不可能，即使这些线程之间不存在资源竞争。

从理论角度看，我们应尽可能使程序并行化，以充分利用多核功能。那么，Python为何使用全局GIL来限制这种并行性？

这个问题已经引发了大量讨论，持续超过十年。可参考以下文档：

反对GIL的观点：

• An open letter to Guido van Rossum（这篇文章值得一读，其下的留言也颇具参考价值）

认为GIL难以移除的观点：

• It isn't Easy to Remove the GIL（这篇文章来自Python作者Guido，他解释了使用GIL的原因）

其他相关讨论可通过Google搜索获得，例如：GIL at google。

GIL存废之争与历史背景

下面简要总结双方的观点。

认为应移除GIL的观点：

• 不顺应计算机发展潮流（多核时代已至，GIL会严重影响多核性能的使用）。
• 能大幅提升多线程程序的速度。

认为不应移除GIL的观点（如果移除，会导致）：

• 编写Python扩展模块时会遇到锁的问题，程序员需繁琐地加解锁以确保线程安全。
• 会显著降低单线程程序的速度。

后者是Guido最为关切的问题，也是不移除GIL的最重要原因。一个简单的尝试发生在1999年（十年前），最终结果显示单线程程序的速度下降了近两倍。

归根结底，这其实是多进程与多线程的选择问题。有一段话颇具启发性，可参考 http://www.artima.com/forums/flat.jsp?forum=106&thread=214235。

我引用如下内容：

I actually don't think removing the GIL is a good solution. But I don't think threads are a good solution, either. They're too hard to get right, and I say that after spending literally years studying threading in both C++ and Java. Brian Goetz has taken to saying that no one can get threading right.

以上内容引自Bruce Eckel对Guido的回复。Bruce Eckel是何许人？如果你了解Java或C++，应该不会对他陌生。

多进程与多线程的权衡及个人观点

个人观点

从我的角度来看（尽管我缺乏丰富的多线程编程经验），暂且不谈多线程的速度优势，我更倾向于多进程方案：

• 简单，无需人为（或语言级别）加解锁。回想Java中的多线程编程，程序员常在此处出错（Java程序员可思考此点）。
• 安全，这也是浏览器开始采用多进程架构的原因之一。

遵循Python自身的哲学，“简单”是一个重要原则，因此使用GIL也易于理解。

当然，如果你确实需要充分利用多核的速度优势，Python可能并非最佳选择，请考虑其他语言，如Java、Erlang等。

更多关于Python相关内容感兴趣的读者可查看本站专题：《Python进程与线程操作技巧总结》、《Python数据结构与算法教程》、《Python函数使用技巧总结》、《Python字符串操作技巧汇总》、《Python入门与进阶经典教程》、《Python+MySQL数据库程序设计入门教程》及《Python常见数据库操作技巧汇总》

希望本文所述对大家的Python程序设计有所帮助。