多年来，计算机的最高性能在很大程度上受限于计算机内核中单个微处理器的运算速度。然而，随着单个处理器的运算速度开始达到其实际限制，芯片制造商开始使用多核设计来使计算机有机会同时执行多个任务。虽然OS X无论何时都在利用这些内核执行与系统相关的任务，但我们自己的应用程序也可以通过线程来利用这些内核。

什么是线程？

线程是在应用程序内部实现多个执行路径的相对轻量级的方式。在系统层面，程序并排运行，系统根据程序的需求和其他程序的需求为每个程序分配执行时间。但是在每个程序中，存在一个或多个可用于同时或以几乎同时的方式执行不同的任务的执行线程。系统本身实际上管理着这些执行线程，并调度它们到可用内核上运行。同时，还能根据需要提前中断它们以允许其他线程运行。

从技术角度讲，线程是管理代码执行所需的内核级和应用级数据结构的组合。内核级数据结构协调事件到达线程的调度和在某个可用内核上的线程的抢先调度。应用级数据结构包含用于存储函数调用的调用堆栈和应用程序需要用于管理和操作线程的属性和状态的结构。

在非并发的应用程序中，只有一个执行线程。该线程以应用程序的主例程开始和结束，并逐个分支到不同的方法或函数中，以实现应用程序的整体行为。相比之下，支持并发的应用程序从一个线程开始，并根据需要添加更多线程来创建额外的执行路径。每个新路径都有自己的独立于应用程序主例程中的代码运行的自定义启动例程。在应用程序中有多个线程提供了两个非常重要的潜在优势：

• 多个线程可以提高应用程序的感知响应能力。
• 多个线程可以提高应用程序在多核系统上的实时性能。

如果应用程序只有一个线程，那么该线程必须做所有的事情。其必须响应事件，更新应用程序的窗口，并执行实现应用程序行为所需的所有计算。只有一个线程的问题是它一次只能做一件事情。如果一个计算需要很长时间才能完成，那么当我们的代码忙于计算它所需的值时，应用程序会停止响应用户事件和更新其窗口。如果这种行为持续时间足够长，用户可能会认为我们的应用程序被挂起了并试图强行退出它。但是，如果将自定义计算移至单独的线程，则应用程序的主线程可以更及时地自由响应用户交互。

随着多核计算机的普及，线程提供了一种提高某些类型应用程序性能的方法。执行不同任务的线程可以在不同的处理器内核上同时执行，从而使应用程序可以在给定的时间内执行更多的工作。

当然，线程并不是解决应用程序性能问题的万能药物。线程提供的益处也会带来潜在的问题。在应用程序中执行多个路径可能会增加代码的复杂度。每个线程必须与其他线程协调行动，以防止它破坏应用程序的状态信息。由于单个应用程序中的线程共享相同的内存空间，所以它们可以访问所有相同的数据结构。如果两个线程试图同时操作相同的数据结构，则其中一个线程可能会以破坏数据结构的方式覆盖另一个线程的更改。即使有适当的保护措施，我们仍然需要对编译器优化保持注意，因为编译器优化会在我们的代码中引入细微的错误。

线程术语

在讨论线程及其支持技术之前，有必要定义一些基本术语。

如果你熟悉UNIX系统，则可能会发现本文档中的术语“任务”的使用有所不同。在UNIX系统中，有时使用术语“任务”来指代正在运行的进程。

本文档采用以下术语：

• 术语“线程”用于指代单独的代码执行路径。
• 术语“进程”用于指代正在运行的可执行文件，它可以包含多个线程。
• 术语“任务”用于指代需要执行的抽象工作概念。

线程的替代方案

自己创建线程的一个问题是它们会给代码添加不确定性。线程是一种相对较底层且复杂的支持应用程序并发的方式。如果不完全了解设计的含义，则可能会遇到同步或校时问题，其严重程度可能会从细微的行为变化到应用程序崩溃以及用户数据的损坏。

另一个要考虑的因素是是否需要线程或并发。线程解决了如何在同一进程中同时执行多个代码路径的具体问题。但是在有些情况下，并不能保证并发执行我们需要的工作。线程会在内存消耗和CPU时间方面为进程带来了巨大的开销。我们可能会发现这种开销对于预期的任务来说太大了，或者其他选项更容易实现。

下表列出了线程的一些替代方案。

注意：使用fork函数启动单独的进程时，必须使用与调用exec函数或类似函数相同的方式调用fork函数。依赖于Core Foundation，Cocoa或者Core Data框架（显式或隐式）的应用程序必须对exec函数进行后续调用，否则这些框架的行为可能会不正确。

线程支持

OS X和iOS系统提供了多种技术来在我们的应用程序中创建线程，并且还为管理和同步需要在这些线程上完成的工作提供支持。以下各节介绍了在OS X和iOS中使用线程时需要注意的一些关键技术。

线程组件

尽管线程的底层实现机制是Mach线程，但很少（如果有的话）在Mach层面上使用线程。相反，我们通常使用更方便的POSIX API或其衍生工具之一。Mach实现确实提供了所有线程的基本特征，包括抢先执行模型和调度线程使它们彼此独立的能力。

下表列出了可以在应用程序中使用的线程技术。

启动线程后，线程将以三种主要状态中的一种来运行：运行中，准备就绪或者阻塞。如果一个线程当前没有运行，那么它可能处于阻塞状态并等待输入，或者它已准备好运行，但尚未安排执行。线程持续在这些状态之间来回切换，直到它最终退出并切换到终止状态。

当创建一个新的线程时，必须为该线程指定一个入口函数（或者Cocoa线程的入口方法）。这个入口函数构成了我们想要在线程上运行的代码。当函数返回时，或者当我们明确终止线程时，该线程会永久停止并被系统回收。由于线程的创建在内存和时间方面相当昂贵，所有建议在入口函数中执行大量工作或者设置run loop以允许执行重复性工作。

Run Loop

run loop（运行循环）是用于管理事件异步到达线程的基础架构的一部分。run loop通过监听线程的一个或者多个事件源来工作。当事件到达时，系统会唤醒线程并调度事件到run loop，run loop再调度这些事件给我们指定的处理程序。如果没有事件存在，也没有事件准备好被处理，则run loop将线程置于休眠状态。

不需要在创建任何线程时都使用run loop，但使用run loop可以为用户提供更好的体验。run loop使得创建使用最少量资源的长期存活线程成为可能。因为在没有事件传入时，run loop会将线程置于休眠状态。所以它不需要执行浪费CPU周期的轮询，并能防止处理器本身进入休眠状态来节省功耗。

要配置run loop，只需要启动线程，获取对run loop对象的引用，然后安装事件处理程序并告知run loop开始运行。OS X提供的基础架构自动帮我们处理主线程run loop的配置。如果打算创建长期存活的辅助线程，则必须自行为这些线程配置run loop。

同步工具

线程编程的一个风险是多线程之间的资源争夺。如果多个线程同时试图使用或修改相同的资源，则可能会出现问题。缓解问题的一种方法是完全避免共享资源，并确保每个线程都操作自己独特的资源集合。但是当保持完全独立的资源不能满足需求时，可以使用锁，条件，原子操作和其他技术来同步对资源的访问。

锁为一次只能由一个线程执行的代码提供了蛮力形式的保护。最常见的锁是互斥锁。当一个线程试图获取另一个线程当前拥有的互斥锁时，该线程会被阻塞，直到另一个线程释放该互斥锁。一些系统框架为互斥锁提供了支持，尽管它们都基于相同的基础技术。另外，Cocoa提供了互斥锁的几种变体来支持不同类型的行为，例如递归。

除了锁之外，系统还为条件（condition）提供支持，以确保在应用程序中对任务进行正确排序。条件充当守门人，阻塞指定的线程，知道它所代表的条件变为ture。当这种情况发生时，条件释放线程并运行其继续运行。POSIX层和Foundation框架都为条件提供了直接支持。（如果使用操作对象，则可以配置操作对象之间的依赖关系来对任务的执行排序，这与条件提供的行为非常相似。）

虽然锁和条件在并发设计中非常常见，但原子操作是保护和同步数据访问的另一种方式。当对标量数据类型进行数学或逻辑运算时，原子操作提供了一种轻量级的替代锁的方案。原子操作使用特殊的硬件指令来确保在其他线程有机会访问变量之前完成对该变量的修改。

线程间通信

尽管一个好的设计可以最大限度地减少所需的通信次数，但是在某些时候，线程之间的通信是必要的。线程可能需要处理新的工作请求或者将工作进度报告给应用程序的主线程。在这些情况下，我们需要一种从一个线程向另一个线程获取信息的方法。幸运的是，线程共享相同进程空间的事实意味着我们有很多通信选项。

线程之间的通信方式有许多种，每种方式都有自己的优点和缺点。下表列出了可以在OS X中使用的最常用的通信机制（除了消息队列和Cocoa分布式对象，其他技术在iOS中也可用。），此表中的技术按照复杂性增加的顺序列出。

设计技巧

避免明确地创建线程

手动编写线程创建代码非常繁琐而且可能容易出错，应该尽量避免这样做。OS X和iOS其他API为并发提供隐式支持。可以考虑使用异步API，GCD或操作对象来完成工作，而不是自己创建线程。这些技术在幕后做与线程相关的工作，并保证正确执行。另外，像GCD和操作对象这样的技术可以根据当前系统负载调整当前活跃线程的数量，从而比我们自己的代码更高效地管理线程。

合理地保持我们的线程处于忙碌状态

如果决定手动创建和管理线程，请记住线程会占用宝贵的系统资源。应该尽最大努力确保分配给线程的任何任务是长期存活的和能工作的。同时，不应该害怕终止那些大多数时间处于闲置状态的线程。线程会占用大量的内存，因此释放一个空闲线程不仅有助于减少应用程序的内存占用量，还可以释放更多物理内存供其他系统进程使用。

提示：在开始终止空闲线程之前，应该始终记录应用程序当前性能的一组基础测量结果。在尝试更改之后，请进行其他测量以验证这些更改是否实际上改善了性能，而不是损害了性能。

避免共享数据结构

避免与线程相关的资源冲突的最简单和最容易的方法是为程序中的每个线程提供它所需的任何数据的副本。当我们最小化线程间的通信和资源竞争时，并行代码的工作效果最佳。

创建多线程应用程序非常困难。即使我们非常小心并且在代码中在所有正确的时刻锁定了共享的数据结构，我们的代码仍然可能在语义上是不安全的。例如，如果希望共享数据结构按照特定顺序修改，我们的代码可能会遇到问题。将代码更改为基于交易的模型以进行补偿随后可能让具有多个线程的性能优势消失。首先消除资源争夺会让设计更加简单并且性能优异。

线程和我们的用户界面

如果应用程序具有图形用户界面，则建议从应用程序的主线程接收与用户相关的事件并启动界面更新。这种途径有助于避免与处理用户事件和绘制窗口内容相关的同步问题。一些框架，例如Cocoa，通常需要这种行为，但即使对于那些不这样做的行为，在主线程上保持这种行为也有简化用于管理用户界面的逻辑的优点。

有一些值得注意的例外是从其他线程执行图形操作是有利的。例如，可以使用辅助线程来创建和处理图像并执行其他图像相关的计算。使用辅助线程进行这些操作可以大大提高性能。如果不确定特定的图形操作，请在主线程执行此操作。

在退出时知道线程行为

一个进程运行直到所有非分离线程退出。默认情况下，只有应用程序的主线程是非分离的，但是也可以创建其他的非分离线程。当用户退出应用程序时，通常被认为是适当的行为是立即终止所有分离线程，因为分离线程完成的工作被认为是可选的。然而，如果我们的应用程序使用后台线程将数据保存到磁盘或者执行其他关键工作，则可能需要创建非分离线程，以防止应用程序退出时丢失数据。

创建非分离（也称为可连接）线程需要额外的工作。由于大多数高级线程技术在默认情况下不会创建可连接线程，所以我们可能必须使用POSIX API来创建线程。另外，我们必须添加代码到应用程序的主线程，以便主线程最终退出时将其与非分离线程连接起来。

如果我们正在编写一个Cocoa应用程序，则也可以使用applicationShouldTerminate:代理方法来延迟应用程序的终止直到以后某个时间或者完全取消延迟。当要延迟应用程序的终止时，应用程序需要等待直到任何临界线程完成其任务，然后调用replyToApplicationShouldTerminate:方法。

处理异常

当抛出一个异常时，异常处理机制依赖于当前的调用堆栈来执行任何必要的清理。因为每个线程都有自己的调用堆栈，所以每个线程都负责捕获它自己的异常。当拥有的进程已经终止，在主线程和辅助线程中都是无法捕获到异常的。我们不能将一个未捕获的异常抛出到不同的线程进行处理。

如果需要通知另一个线程（例如主线程）当前线程中的异常情况，则应该捕获该异常并简单地向另一个线程发送消息表明发生了什么。取决于我们的模型以及我们试图执行的操作，捕获异常的线程可以继续处理（如果可能的话）、等待指令或者干脆退出。

注意：在Cocoa中，NSException对象是一个自包含的对象，一旦它被捕获，它就可以从一个线程传递到另一个线程。

在某些情况下，可能会为我们自动创建异常处理程序。例如，Objective-C中的@synchronized指令包含一个隐式异常处理程序。

干净地终止我们的线程

让线程自然退出的最好方式是让其到达主入口点工作的末尾。虽然有函数能够立即终止线程，但这些函数只能作为最后的手段使用。在线程到达其自然终点之前终止它会阻止线程清理自身。如果线程已经分配内存、打开文件或者获取其他类型的资源，则我们的代码可能无法回收这些资源，从而导致内存泄露或者其他潜在问题。

库（Library）中的线程安全

虽然应用程序开发者可以控制应用程序是否使用多个线程执行，但库开发人员却不行。开发库时，我们必须假定调用库的应用程序是多线程的或者可以随时切换为多线程的。因此，我们应该始终为代码的临界区使用锁。

对于库开发人员来说，仅在应用程序变为多线程时才创建锁是不明智的。如果我们需要在某个时刻锁定我们的代码，请在使用库时尽早创建锁对象，最好在某个显示调用中初始化库。虽然也可以使用静态库初始化函数来创建此类锁，但只有在没有其他方式时才尝试这样做。初始化函数的执行会增加加载库所需的时间，并可能对性能产生负面影响。

注意：始终记住锁定和解锁库中的互斥锁的调用要保持平衡，还应该记住要锁定库数据结构，而不是依赖调用代码来提供线程安全的环境。

如果我们正在开发一个Cocoa库并希望应用程序在变为多线程时能够收到通知，可以为NSWillBecomeMultiThreadedNotification通知注册一个观察者。但不应该依赖收到此通知，因为在我们的库代码被调用之前，可能已经发送了此通知。