iOS RunLoop的介绍

导语 一道题引出的对RunLoop的认知。

最近做到一道有关 runloop 的选择题,题目大概是这样的:

关于 Runloop 的说法中,哪些是正确的?(不定项选择)

A - 每个线程都会对应一个 Runloop

B - 只有主线程才有 Runloop

C - 手动创建一个线程,系统会默认生成 Runloop

D - RunLoop 只能选择一个 Mode 启动,如果当前Mode中没有任何 Source(Sources0、Sources1)、Timer,那么就直接退出RunLoop

比较有意思的是,多线程是我们在 iOS 开发过程中比较常用的一个方式,但是可能大部分人并没有关注到 RunLoop ,那RunLoop 到底是什么呢?这篇文章将介绍 RunLoop 的世界,相信介绍完你就会知道上面这道题的答案了。

RunLoop 的概念

大家在平时使用 iPhone 中的 APP 的时候会发现,当你静止不进行任何操作的时候,好像 APP 休眠了,但是当你点击按钮的时候,就会立即触发一个事件,仿佛 app 一直在待命,等你执行任何操作,这里的实现就是通过 RunLoop 来实现的。

int main(int argc, char * argv[]) {
    @autoreleasepool {
        return UIApplicationMain(argc, argv, nil, NSStringFromClass([YourAppDelegate class]));
    }
}

上面一段代码,每个app启动时都会执行的,主线程也随之开始运行。RunLoop 做为主线程的一部分也同时被启动。 UIApplicationMain() 方法在这里不仅完成了初始化我们的程序并设置程序 Delegate 的任务,而且随之开启了主线程的 RunLoop ,开始接受处理事件。

RunLoop 本质和它的意思一样是运行着的循环,更确切的说是线程中的循环。它用来接受循环中的事件和安排线程工作,并在没有工作时,让线程进入睡眠状态。

下图展示了Run Loop的模型 :

从图中可以看出,RunLoop 是线程中的一个循环,并对接收到的事件进行处理。我们的代码可以通过提供 while 或者 for 循环来驱动 RunLoop 。在循环中,RunLoop 对象来负责事件处理代码(接收事件并且调用事件处理方法)。

RunLoop 从两个不同的事件源中接收消息:

  • Input source 用来投递异步消息,通常消息来自另外的线程或者程序。在接收到消息并调用程序指定方法时,线程中对应的 NSRunLoop 对象会通过执行 runUntilDate: 方法来退出。
  • Timer source 用来投递 timer 事件( Schedule 或者 Repeat )中的同步消息。在处理消息时,并不会退出 Run Loop 。
  • Run Loop 还有一个观察者 Observer 的概念,可以往 Run Loop 中加入自己的观察者以便监控 Run Loop 的运行过程。

RunLoop 实际上就是一个对象,这个对象管理了其需要处理的事件和消息,并提供了一个入口函数来执行事件循环的逻辑。线程执行了这个函数后,就会一直处于这个函数内部 “接受消息->等待->处理” 的循环中,直到这个循环结束(比如传入 quit 的消息),函数返回。

OSX/iOS 系统中,提供了两个这样的对象:NSRunLoop 和 CFRunLoopRef 。

  • CFRunLoopRef 是在 CoreFoundation 框架内的,它提供了纯 C 函数的 API ,所有这些 API 都是线程安全的。
  • NSRunLoop 是基于 CFRunLoopRef 的封装,提供了面向对象的 API ,但是这些 API 不是线程安全的。

RunLoop 与线程的关系

首先,iOS开发中能遇到两个线程对象: pthread_t 和 NSThread 。过去苹果有份文档标明了 NSThread 只是 pthread_t 的封装,但那份文档已经失效了,现在它们也有可能都是直接包装自最底层的 mach thread 。苹果并没有提供这两个对象相互转换的接口,但不管怎么样,可以肯定的是 pthread_t 和 NSThread 是一一对应的。比如,你可以通过 pthread_main_thread_np() 或 [NSThread mainThread] 来获取主线程;也可以通过 pthread_self() 或 [NSThread currentThread] 来获取当前线程。CFRunLoop 是基于 pthread 来管理的。

苹果不允许直接创建 RunLoop,它只提供了两个自动获取的函数:CFRunLoopGetMain() 和 CFRunLoopGetCurrent()。 这两个函数内部的逻辑大概是下面这样:

/// 全局的Dictionary,key 是 pthread_t, value 是 CFRunLoopRef
static CFMutableDictionaryRef loopsDic;
/// 访问 loopsDic 时的锁
static CFSpinLock_t loopsLock;
 
/// 获取一个 pthread 对应的 RunLoop。
CFRunLoopRef _CFRunLoopGet(pthread_t thread) {
    OSSpinLockLock(&loopsLock);
    
    if (!loopsDic) {
        // 第一次进入时,初始化全局Dic,并先为主线程创建一个 RunLoop。
        loopsDic = CFDictionaryCreateMutable();
        CFRunLoopRef mainLoop = _CFRunLoopCreate();
        CFDictionarySetValue(loopsDic, pthread_main_thread_np(), mainLoop);
    }
    
    /// 直接从 Dictionary 里获取。
    CFRunLoopRef loop = CFDictionaryGetValue(loopsDic, thread));
    
    if (!loop) {
        /// 取不到时,创建一个
        loop = _CFRunLoopCreate();
        CFDictionarySetValue(loopsDic, thread, loop);
        /// 注册一个回调,当线程销毁时,顺便也销毁其对应的 RunLoop。
        _CFSetTSD(..., thread, loop, __CFFinalizeRunLoop);
    }
    
    OSSpinLockUnLock(&loopsLock);
    return loop;
}
CFRunLoopRef CFRunLoopGetMain() {
    return _CFRunLoopGet(pthread_main_thread_np());
}
CFRunLoopRef CFRunLoopGetCurrent() {
    return _CFRunLoopGet(pthread_self());
}

从上面的代码可以看出,线程和 RunLoop 之间是一一对应的,其关系是保存在一个全局的 Dictionary 里。线程刚创建时并没有 RunLoop,如果你不主动获取,那它一直都不会有。RunLoop 的创建是发生在第一次获取时,RunLoop 的销毁是发生在线程结束时。你只能在一个线程的内部获取其 RunLoop(主线程除外),这样就解释了文章开头那道选择题的A答案。

RunLoop对外的接口

在 CoreFoundation 里面关于 RunLoop 有5个类:

CFRunLoopRef CFRunLoopModeRef CFRunLoopSourceRef CFRunLoopTimerRef CFRunLoopObserverRef

其中CFRunLoopModeRef类并没有对外暴露,只是通过 CFRunLoopRef 的接口进行了封装。他们的关系如下:

一个 RunLoop 包含若干个 Mode,每个 Mode 又包含若干个 Source/Timer/Observer。每次调用 RunLoop 的主函数时,只能指定其中一个 Mode,这个Mode被称作 CurrentMode。如果需要切换 Mode,只能退出 Loop,再重新指定一个 Mode 进入。这样做主要是为了分隔开不同组的 Source/Timer/Observer,让其互不影响。

  • CFRunLoopSourceRef 是事件产生的地方。Source有两个版本:Source0 和 Source1:Source0 只包含了一个回调(函数指针),它并不能主动触发事件。使用时,你需要先调用 CFRunLoopSourceSignal(source),将这个 Source 标记为待处理,然后手动调用 CFRunLoopWakeUp(runloop) 来唤醒 RunLoop,让其处理这个事件。Source1 包含了一个 mach_port 和一个回调(函数指针),被用于通过内核和其他线程相互发送消息。这种 Source 能主动唤醒 RunLoop 的线程,其原理在下面会讲到。
  • CFRunLoopTimerRef 是基于时间的触发器,它和 NSTimer 是toll-free bridged 的,可以混用。其包含一个时间长度和一个回调(函数指针)。当其加入到 RunLoop 时,RunLoop会注册对应的时间点,当时间点到时,RunLoop会被唤醒以执行那个回调。
  • CFRunLoopObserverRef 是观察者,每个 Observer 都包含了一个回调(函数指针),当 RunLoop 的状态发生变化时,观察者就能通过回调接受到这个变化。可以观测的时间点有以下几个: typedef CF_OPTIONS(CFOptionFlags, CFRunLoopActivity) { kCFRunLoopEntry = (1UL « 0), // 即将进入Loop kCFRunLoopBeforeTimers = (1UL « 1), // 即将处理 Timer kCFRunLoopBeforeSources = (1UL « 2), // 即将处理 Source kCFRunLoopBeforeWaiting = (1UL « 5), // 即将进入休眠 kCFRunLoopAfterWaiting = (1UL « 6), // 刚从休眠中唤醒 kCFRunLoopExit = (1UL « 7), // 即将退出Loop };

上面的 Source/Timer/Observer 被统称为 mode item,一个 item 可以被同时加入多个 mode。但一个 item 被重复加入同一个 mode 时是不会有效果的。如果一个 mode 中一个 item 都没有,则 RunLoop 会直接退出,不进入循环。

RunLoop 的 Mode

CFRunLoopMode 和 CFRunLoop 的结构大致如下:

struct __CFRunLoopMode {
    CFStringRef _name;            // Mode Name, 例如 @"kCFRunLoopDefaultMode"
    CFMutableSetRef _sources0;    // Set
    CFMutableSetRef _sources1;    // Set
    CFMutableArrayRef _observers; // Array
    CFMutableArrayRef _timers;    // Array
    ...
};

CFRunLoop 对外暴露的管理 Mode 接口只有下面2个:

CFRunLoopAddCommonMode(CFRunLoopRef runloop, CFStringRef modeName);
CFRunLoopRunInMode(CFStringRef modeName, ...); 

Mode 暴露的管理 mode item 的接口有下面几个:

CFRunLoopAddSource(CFRunLoopRef rl, CFRunLoopSourceRef source, CFStringRef modeName);
CFRunLoopAddObserver(CFRunLoopRef rl, CFRunLoopObserverRef observer, CFStringRef modeName);
CFRunLoopAddTimer(CFRunLoopRef rl, CFRunLoopTimerRef timer, CFStringRef mode);
CFRunLoopRemoveSource(CFRunLoopRef rl, CFRunLoopSourceRef source, CFStringRef modeName);
CFRunLoopRemoveObserver(CFRunLoopRef rl, CFRunLoopObserverRef observer, CFStringRef modeName);
CFRunLoopRemoveTimer(CFRunLoopRef rl, CFRunLoopTimerRef timer, CFStringRef mode);

在你的代码中,你通过name来识别模式。iOS中定义一个默认的模式和几种常用的模式,可通过字符串name来指定模式。你也可以自定义模式,只需要一个自定义字符串name指定模式名称。尽管你指定到自定义模式的名字是任意的,这些模式的内容不是任意的。你必须添加一个或多个输入源,计时器或运行循环观察者到任何你创建的模式,以确保它们有用。

下表列出了苹果定义的标准模式以及描述。

预定义的 RunLoop 模式:

模式

名称

说明

—|—|—

默认

NSDefaultRunLoopMode(Cocoa)

kCFRunLoopDefaultMode (Core Foundation)

默认模式用于大多数操作。大多数情况下,你使用该模式来启动你的 RunLoop 并配置你的输入源。

连接

NSConnectionReplyMode(Cocoa)

Cocoa结合NSConnection 对象使用该模式来监控回答。你自己应该很少需要使用这个模式。

模态

NSModalPanelRunLoopMode(Cocoa)

Cocoa使用该模式来识别用于模态面板的事件。

事件跟踪

NSEventTrackingRunLoopMode(Cocoa)

Cocoa使用该模式在鼠标拖动期间来限制传入的事件和其他类型用户界面跟踪循环。

常见模式

NSRunLoopCommonModes(Cocoa)

kCFRunLoopCommonModes (Core Foundation)

只是一个常用模式的可配置组。将输入源与这种模式结合也将它与组中其他模式结合。对于Cocoa引用,这组默认包括默认、模态和时间跟踪模式。核心基础包括的只是默认模式。你可以使用 CFRunLoopAddCommonMode 函数添加自定义模式。

注意:kCFRunLoopDefaultMode 和 UITrackingRunLoopMode。这两个 Mode 都已经被标记为”Common”属性。DefaultMode 是 App 平时所处的状态,TrackingRunLoopMode 是追踪 ScrollView 滑动时的状态。当你创建一个 Timer 并加到 DefaultMode 时,Timer 会得到重复回调,但此时滑动一个TableView时,RunLoop 会将 mode 切换为 TrackingRunLoopMode,这时 Timer 就不会被回调,并且也不会影响到滑动操作。 有时你需要一个 Timer,在两个 Mode 中都能得到回调,一种办法就是将这个 Timer 分别加入这两个 Mode。还有一种方式,就是将 Timer 加入到顶层的 RunLoop 的 ”commonModeItems” 中。”commonModeItems” 被 RunLoop 自动更新到所有具有”Common”属性的 Mode 里去。

注意:Mode 区分基于事件的来源而非事件的类型。例如,你不会使用模式来匹配鼠标单击事件或键盘事件。你可以使用模式来监听一组不同的端口,暂时暂停计时器,或以其他方式改变来源和当前监控的 RunLoop 观察者。

RunLoop的内部逻辑

每次你运行,线程的 RunLoop 处理等待事件并生成通知附加观察者。顺序如下:

  • 通知观察者已进入 RunLoop 。
  • 通知观察者任何准备的计时器将要触发。
  • 通知观察者任何不基于端口的输入源将要触发。
  • 触发任何不基于端口准备触发的输入源。
  • 如果基于端口输入源准备就绪等待触发,立即处理事件。跳转到第9步。
  • 通知观察者线程将要休眠。
  • 让线程休眠直到以下事件发生:
    • 一个事件到达基于端口的输入源。
    • 计时器触发。
    • 为 RunLoop 到期设置的超时值。
    • RunLoop 显式的唤醒
  • 通知观察者线程唤醒
  • 处理等待事件
    • 如果一个用户定义的计时器触发,处理计时器事件并重新启动循环。跳转到步骤2.
    • 如果一个输入源触发,交付事件。
    • 如果 RunLoop 显式的唤醒但尚未超时,重新启动循环,跳转到步骤2.
  • 通知观察者 RunLoop 已退出。

因为计时器和输入源的观察者通知在事件发生前被通知,可能通知时间与实际发生的时间有差距。如果这些事件间的时间至关重要,你可以使用休眠和从休眠到唤醒的通知来帮助你关联实际事件间的时间。

因为计时器和其他定期事件在你运行 RunLoop 时被通知,注意循环会破坏这些事件的通知。例如你通过输入一个循环并向应用多次请求事件来实现一个鼠标跟踪程序时,会发生这种行为。因为你的代码直接抓住事件,而非让 app 正常调度这些事件,活动的计时器可能无法被触发直到你的鼠标跟踪程序退出并返回让 app 控制。

一个 RunLoop 可以用 RunLoop 对象显式的唤醒。其他活动也可能导致 RunLoop 被唤醒。例如添加另一个非基于端口的输入源Source0来唤醒 RunLoop ,这样可以立即处理输入源,而不是等到其他事件发生。

下面是一个示意图:

其内部代码整理如下:

/// 用DefaultMode启动
void CFRunLoopRun(void) {
    CFRunLoopRunSpecific(CFRunLoopGetCurrent(), kCFRunLoopDefaultMode, 1.0e10, false);
}
/// 用指定的Mode启动,允许设置RunLoop超时时间
int CFRunLoopRunInMode(CFStringRef modeName, CFTimeInterval seconds, Boolean stopAfterHandle) {
    return CFRunLoopRunSpecific(CFRunLoopGetCurrent(), modeName, seconds, returnAfterSourceHandled);
}
/// RunLoop的实现
int CFRunLoopRunSpecific(runloop, modeName, seconds, stopAfterHandle) {
    /// 首先根据modeName找到对应mode
    CFRunLoopModeRef currentMode = __CFRunLoopFindMode(runloop, modeName, false);
    /// 如果mode里没有source/timer/observer, 直接返回。
    if (__CFRunLoopModeIsEmpty(currentMode)) return;
    /// 1. 通知 Observers: RunLoop 即将进入 loop。
    __CFRunLoopDoObservers(runloop, currentMode, kCFRunLoopEntry);
    /// 内部函数,进入loop
    __CFRunLoopRun(runloop, currentMode, seconds, returnAfterSourceHandled) {
        Boolean sourceHandledThisLoop = NO;
        int retVal = 0;
        do {
            /// 2. 通知 Observers: RunLoop 即将触发 Timer 回调。
            __CFRunLoopDoObservers(runloop, currentMode, kCFRunLoopBeforeTimers);
            /// 3. 通知 Observers: RunLoop 即将触发 Source0 (非port) 回调。
            __CFRunLoopDoObservers(runloop, currentMode, kCFRunLoopBeforeSources);
            /// 执行被加入的block
            __CFRunLoopDoBlocks(runloop, currentMode);
            /// 4. RunLoop 触发 Source0 (非port) 回调。
            sourceHandledThisLoop = __CFRunLoopDoSources0(runloop, currentMode, stopAfterHandle);
            /// 执行被加入的block
            __CFRunLoopDoBlocks(runloop, currentMode);
            /// 5. 如果有 Source1 (基于port) 处于 ready 状态,直接处理这个 Source1 然后跳转去处理消息。
            if (__Source0DidDispatchPortLastTime) {
                Boolean hasMsg = __CFRunLoopServiceMachPort(dispatchPort, &msg)
                if (hasMsg) goto handle_msg;
            }
            /// 通知 Observers: RunLoop 的线程即将进入休眠(sleep)。
            if (!sourceHandledThisLoop) {
                __CFRunLoopDoObservers(runloop, currentMode, kCFRunLoopBeforeWaiting);
            }
            /// 7. 调用 mach_msg 等待接受 mach_port 的消息。线程将进入休眠, 直到被下面某一个事件唤醒。
            /// • 一个基于 port 的Source 的事件。
            /// • 一个 Timer 到时间了
            /// • RunLoop 自身的超时时间到了
            /// • 被其他什么调用者手动唤醒
            __CFRunLoopServiceMachPort(waitSet, &msg, sizeof(msg_buffer), &livePort) {
                mach_msg(msg, MACH_RCV_MSG, port); // thread wait for receive msg
            }
            /// 8. 通知 Observers: RunLoop 的线程刚刚被唤醒了。
            __CFRunLoopDoObservers(runloop, currentMode, kCFRunLoopAfterWaiting);
            /// 收到消息,处理消息。
            handle_msg:
            /// 9.1 如果一个 Timer 到时间了,触发这个Timer的回调。
            if (msg_is_timer) {
                __CFRunLoopDoTimers(runloop, currentMode, mach_absolute_time())
            } 
            /// 9.2 如果有dispatch到main_queue的block,执行block。
            else if (msg_is_dispatch) {
                __CFRUNLOOP_IS_SERVICING_THE_MAIN_DISPATCH_QUEUE__(msg);
            } 
            /// 9.3 如果一个 Source1 (基于port) 发出事件了,处理这个事件
            else {
                CFRunLoopSourceRef source1 = __CFRunLoopModeFindSourceForMachPort(runloop, currentMode, livePort);
                sourceHandledThisLoop = __CFRunLoopDoSource1(runloop, currentMode, source1, msg);
                if (sourceHandledThisLoop) {
                    mach_msg(reply, MACH_SEND_MSG, reply);
                }
            }
            /// 执行加入到Loop的block
            __CFRunLoopDoBlocks(runloop, currentMode);
            if (sourceHandledThisLoop && stopAfterHandle) {
                /// 进入loop时参数说处理完事件就返回。
                retVal = kCFRunLoopRunHandledSource;
            } else if (timeout) {
                /// 超出传入参数标记的超时时间了
                retVal = kCFRunLoopRunTimedOut;
            } else if (__CFRunLoopIsStopped(runloop)) {
                /// 被外部调用者强制停止了
                retVal = kCFRunLoopRunStopped;
            } else if (__CFRunLoopModeIsEmpty(runloop, currentMode)) {
                /// source/timer/observer一个都没有了
                retVal = kCFRunLoopRunFinished;
            }
            /// 如果没超时,mode里没空,loop也没被停止,那继续loop。
        } while (retVal == 0);
    }
    /// 10. 通知 Observers: RunLoop 即将退出。
    __CFRunLoopDoObservers(rl, currentMode, kCFRunLoopExit);
}

可以看到,实际上 RunLoop 就是这样一个函数,其内部是一个 do-while 循环。当你调用 CFRunLoopRun() 时,线程就会一直停留在这个循环里;直到超时或被手动停止,该函数才会返回。

RunLoop 的适用场景

当你为你的应用创建子线程时,才可能需要显式的运行一个 RunLoop 。主线程的 RunLoop 是一个重要的基础能力。因此,app 提供代码来运行 main RunLoop 并自动启动循环。iOS中 UIApplication 的 run 方法(或者OSX中的 NSApplication )启动一个应用的 main RunLoop 作为正常启动序列的一部分,你不应该显式的调用

对于子线程,你需要决定 RunLoop 是否必要的,如果是,你自己配置并启用它。你不需要在所有情况下启动一个线程的 RunLoop 。例如,如果你使用一个线程来执行一些长期和预定的任务,你就能避免启动 RunLoop 。 RunLoop 用于你想与线程有更多交互的情况。例如,你需要启动一个 RunLoop 如果你计划做以下事情:

  • 使用端口或自定义输入源来与其他线程通信。
  • 在线程上使用计时器。
  • 在程序中使用任何performSelector方法。
  • 使线程执行周期任务

如果你选择使用 RunLoop ,配置和设置是很简单的。与所有线程编程一样,你应该有个计划在适当的情况下退出子线程。让它退出比强迫它终止可以更好的更干净的结束线程。如何配置信息和退出运行循环的信息参见使用运行循环对象( Using Run Loop Objects)。

结语

通过上面对RunLoop的介绍,现在应该可以轻松答出最开始的题目的答案,就是AD。当然通过介绍,我们虽然已经对RunLoop有了初步的认识,但是认识它有什么好处呢?好像平时编程中也没用到它。其实不然,下一篇文章,我们将介绍iOS中RunLoop的具体应用场景,尝试利用RunLoop的特性来实现一个类似的例子,给我们以后的开发和代码设计提供思路。

本文参与腾讯云自媒体分享计划,欢迎正在阅读的你也加入,一起分享。

发表于

我来说两句

0 条评论
登录 后参与评论

相关文章

来自专栏张善友的专栏

Visual Studio 2013 Web开发

cnbeta新闻:微软正式发布Visual Studio 2013 RTM版,微软还发布了Visual Studio 2013的最终版本、.NET 4.5.1以...

21250
来自专栏张善友的专栏

Silverlight 中的 CoreCLR

Silverlight 2  包含一个 CLR,但并不是其他 .NET 应用程序和程序集使用的 CLR. Silverlight CLR 也称为 CoreCLR...

21450
来自专栏王磊的博客

设置devenv命令的启动版本

     机子上装了有vs 05、vs 08、vs 10如果按上顺序安装的话,在 运行 => devenv 就可以打开最新的vs10 工具,如果顺序是乱的话,...

33670
来自专栏木宛城主

厚积薄发,拥抱 .NET 2016

厚积薄发这个词是高三英语老师在高考前写在黑板上,高中三年努力这么久,是时候迎面而上,冲刺向前。所以,一想到.NET 2016,脑海里蹦出的第一个词就是它。 ....

431150
来自专栏C# 编程

NET Framework 版本和依赖关系

原文:https://docs.microsoft.com/zh-cn/dotnet/framework/migration-guide/versions-a...

33100
来自专栏张善友的专栏

SignalR 在IE中无法工作 - Internet Explorer

运行基于SignalR的超线程上载器的代码,发现SignalR 在IE 9上居然没法工作了,提示如下: ? 提示很明显,需要json2.js的支持。 使用Nug...

244100
来自专栏施炯的IoT开发专栏

Windows Phone SDK 7.1 中文版本发布

        自2011年9月底推出Windows Phone SDK 7.1 RTM版本之后,很多国内的开发者焦急地等待着中文版本的推出。因为很多装了...

20460
来自专栏xx_Cc的学习总结专栏

iOS底层原理总结 - RunLoop

66070
来自专栏葡萄城控件技术团队

ASP.NET Core: 全新的ASP.NET !

背景 最新版本的 ASP.NET 叫做 ASP.NET Core (也被称为 ASP.NET 5)   它颠覆了过去的 ASP.NET。 什么是 ASP.NET...

494100
来自专栏Ken的杂谈

博客从ASP.NET 迁移到了ASP.NET Core 2.0

在迁移之前,本站点是基于 ASP.NET MVC 4构建且部署在Linux+Mono环境下,Web服务器使用的是Jexus,在 .NET Core出来之前,这是...

36930

扫码关注云+社区

领取腾讯云代金券