转载请注明出处 http://blog.csdn.net/u014205968/article/details/78323193
本系列文章主要讲解iOS中多线程的使用,包括:NSThread、GCD、NSOperation以及RunLoop的使用方法详解,本系列文章不涉及基础的线程/进程、同步/异步、阻塞/非阻塞、串行/并行,这些基础概念,有不明白的读者还请自行查阅。本系列文章将分以下几篇文章进行讲解,读者可按需查阅。
前面几篇文章详细讲解了创建多线程的方法和多线程编程的相关知识,当我们使用NSThread
进行多线程编程时,只要任务结束,线程也就退出了,每次执行一个任务都需要创建一个线程非常浪费资源,所以需要一种能够使线程常驻内存不退出d,当有任务来临时能随时执行的方法,这就是RunLoop
的作用。类似于javascript
的Event Loop
模型,大致类似于如下代码:
int retVal = Running;
do {
// 执行各种任务,处理各种事件
// ......
} while (retVal != Stop && retVal != Timeout);
上述循环只有在特定条件才才会退出,否则就会一直在循环中处理各种任务或事件,诸如触摸屏幕事件、手势事件、定时器事件、用户提交的任务、各种方法的执行等。
RunLoop
与线程关联的,是一种事件处理环,用来安排和协调到来的事件,目的就是让其关联的线程在有事件到达时时刻保持运行状态,而当没有事件需要处理时进入睡眠状态从而节约资源,每一个线程都可以有一个RunLoop
对象与之对应,并且是在第一次获取它是系统自动创建的,比如主线程关联的RunLoop
,我们都知道程序的入口函数是main
函数,下面是创建工程后Xcode
自动生成的main.m
文件的main
函数代码:
int main(int argc, char * argv[]) {
@autoreleasepool {
return UIApplicationMain(argc, argv, nil, NSStringFromClass([AppDelegate class]));
}
}
该方法执行体被autoreleasepool
包围,所以程序可以使用ARC
来管理内存,后面会讲解RunLoop
与autoreleasepool
的关系,main
函数直接返回了UIApplicationMain
函数,该函数内部就会第一次获取RunLoop
对象,所以系统就会创建这样一个RunLoop
对象,因此在没有满足特定条件的时候该主线程不会退出,应用就可以持续运行而不会退出。
在官方文档中使用下图描述RunLoop
模型:
从上图可以看出一个线程会关联一个RunLoop
对象,RunLoop
对象会一直循环,直到超时或收到退出指令。在无限循环的过程中会一直处理到来的事件,右侧将事件分为了两类,一类是Input sources
这部分包括基于端口的source1
事件,开发者提交的各种source0
事件,调用performSelector:onThread:
方法事件,还有一类Timer sources
这个就是常用的定时器事件,这些事件在程序运行期间会不断产生之后会由RunLoop
对象检测并负责处理相关事件。
RunLoop
有两个对象,NSRunLoop
和CFRunLoopRef
,区别在于由Core Foundation
框架提供的CFRunLoopRef
是纯C语言编写的,提供的也是C语言接口,这些接口都是线程安全的,由Foundation
框架提供的NSRunLoop
是面向对象的,它是基于CFRunLoopRef
的封装,提供的都是面向对象的接口,但这些接口不是线程安全的,Core Foudation
框架是开源的,可以在这个地址下载:Core Foundation开源代码,本文接下来的内容主要是针对该开源代码进行讲解。
首先,看一下在代码中如何获取RunLoop
对象,在Foundation
框架中的NSRunLoop
类提供了如下两个类属性:
//获取当前线程关联的RunLoop对象
@property (class, readonly, strong) NSRunLoop *currentRunLoop;
//获取主线程关联的RunLoop对象
@property (class, readonly, strong) NSRunLoop *mainRunLoop
对应的Core Foundation
框架中提供了如下两个函数来获取RunLoop
对象:
//获得当前线程关联的RunLoop对象
CFRunLoopGetCurrent();
// 获得主线程关联的RunLoop对象
CFRunLoopGetMain();
前面一直讲每一个线程都会关联一个RunLoop
对象,并且不能通过手动创建该对象,只能在第一次获取时系统自动创建,看一下Core Foundation
框架是如何实现的:
//CFRunLoopGetMain函数用于获取主线程关联的RunLoop对象
CFRunLoopRef CFRunLoopGetMain(void) {
CHECK_FOR_FORK();
//静态变量保存主线程关联的RunLoop对象
static CFRunLoopRef __main = NULL; // no retain needed
//如果主线程关联的RunLoop对象为NULL就调用_CFRunLoopGet0函数获取一个
if (!__main) __main = _CFRunLoopGet0(pthread_main_thread_np()); // no CAS needed
return __main
}
//获取当前线程关联的RunLoop对象
CFRunLoopRef CFRunLoopGetCurrent(void) {
CHECK_FOR_FORK();
//这一段没找到对应的函数...猜测是和上面的函数用意一样
CFRunLoopRef rl = (CFRunLoopRef)_CFGetTSD(__CFTSDKeyRunLoop);
if (rl) return rl;
//如果上面没找到就调用_CFRunLoopGet0函数去获取一个
return _CFRunLoopGet0(pthread_self());
}
//全局的可变字典数据结构,key为thread_t即线程,value为RunLoop对象
static CFMutableDictionaryRef __CFRunLoops = NULL;
//全局的一个锁
static CFLock_t loopsLock = CFLockInit;
//_CFRunLoopGet0接收一个pthread_t对象,即线程对象,返回一个与之关联的RunLoop对象
CF_EXPORT CFRunLoopRef _CFRunLoopGet0(pthread_t t) {
//判断是否为主线程
if (pthread_equal(t, kNilPthreadT)) {
//pthread_main_thread_np()函数用来获取主线程
t = pthread_main_thread_np();
}
//加锁,防止产生竞争创建多个RunLoop对象
__CFLock(&loopsLock);
//如果全局的保存线程和runloop对象的字典为空
if (!__CFRunLoops) {
__CFUnlock(&loopsLock);
//创建一个字典
CFMutableDictionaryRef dict = CFDictionaryCreateMutable(kCFAllocatorSystemDefault, 0, NULL, &kCFTypeDictionaryValueCallBacks);
/*
根据主线程创建RunLoop对象
所以,当第一次获取RunLoop对象时就会自动创建主线程关联的RunLoop对象
*/
CFRunLoopRef mainLoop = __CFRunLoopCreate(pthread_main_thread_np());
//设置全局的字典,key为主线程,value为主线程关联的RunLoop对象
CFDictionarySetValue(dict, pthreadPointer(pthread_main_thread_np()), mainLoop);
if (!OSAtomicCompareAndSwapPtrBarrier(NULL, dict, (void * volatile *)&__CFRunLoops)) {
CFRelease(dict);
}
CFRelease(mainLoop);
__CFLock(&loopsLock);
}
//通过线程在字典中获取RunLoop对象
CFRunLoopRef loop = (CFRunLoopRef)CFDictionaryGetValue(__CFRunLoops, pthreadPointer(t));
__CFUnlock(&loopsLock);
//如果没有获取到
if (!loop) {
//没有获取到就根据线程创建一个RunLoop对象
CFRunLoopRef newLoop = __CFRunLoopCreate(t);
__CFLock(&loopsLock);
//再次获取
loop = (CFRunLoopRef)CFDictionaryGetValue(__CFRunLoops, pthreadPointer(t));
if (!loop) {
//字典中仍然没有线程关联的RunLoop对象就将刚才新创建加入到字典照中
CFDictionarySetValue(__CFRunLoops, pthreadPointer(t), newLoop);
loop = newLoop;
}
// don't release run loops inside the loopsLock, because CFRunLoopDeallocate may end up taking it
__CFUnlock(&loopsLock);
CFRelease(newLoop);
}
if (pthread_equal(t, pthread_self())) {
_CFSetTSD(__CFTSDKeyRunLoop, (void *)loop, NULL);
if (0 == _CFGetTSD(__CFTSDKeyRunLoopCntr)) {
//设置销毁时的回调
_CFSetTSD(__CFTSDKeyRunLoopCntr, (void *)(PTHREAD_DESTRUCTOR_ITERATIONS-1), (void (*)(void *))__CFFinalizeRunLoop);
}
}
//返回线程关联的RunLoop对象
return loop;
}
/*
真正的用于创建RunLoop对象的静态函数,形参为线程对象
该函数主要用于分配存储空间,并进行RunLoop对象相关初始化操作
*/
static CFRunLoopRef __CFRunLoopCreate(pthread_t t) {
CFRunLoopRef loop = NULL;
CFRunLoopModeRef rlm;
uint32_t size = sizeof(struct __CFRunLoop) - sizeof(CFRuntimeBase);
loop = (CFRunLoopRef)_CFRuntimeCreateInstance(kCFAllocatorSystemDefault, CFRunLoopGetTypeID(), size, NULL);
if (NULL == loop) {
return NULL;
}
(void)__CFRunLoopPushPerRunData(loop);
__CFRunLoopLockInit(&loop->_lock);
loop->_wakeUpPort = __CFPortAllocate();
if (CFPORT_NULL == loop->_wakeUpPort) HALT;
__CFRunLoopSetIgnoreWakeUps(loop);
loop->_commonModes = CFSetCreateMutable(kCFAllocatorSystemDefault, 0, &kCFTypeSetCallBacks);
CFSetAddValue(loop->_commonModes, kCFRunLoopDefaultMode);
loop->_commonModeItems = NULL;
loop->_currentMode = NULL;
loop->_modes = CFSetCreateMutable(kCFAllocatorSystemDefault, 0, &kCFTypeSetCallBacks);
loop->_blocks_head = NULL;
loop->_blocks_tail = NULL;
loop->_counterpart = NULL;
loop->_pthread = t;
#if DEPLOYMENT_TARGET_WINDOWS
loop->_winthread = GetCurrentThreadId();
#else
loop->_winthread = 0;
#endif
rlm = __CFRunLoopFindMode(loop, kCFRunLoopDefaultMode, true);
if (NULL != rlm) __CFRunLoopModeUnlock(rlm);
return loop;
}
通过上面源码不难发现,RunLoop
对象保存在一个全局的字典中,该字典以线程对象pthread_t
为key
,以RunLoop
对象为value
,并且,在第一次获取RunLoop
对象时总会先把主线程关联的RunLoop
对象创建好,在获取其他线程关联的RunLoop
对象时都从这个全局的字典中获取,如果没有获取到就创建一个并且添加进字典中,所以每一个线程有且仅有一个与之关联的RunLoop
对象,重要的是,如果不获取线程关联的RunLoop
对象,那么这个RunLoop
对象就不会被创建。当线程退出时,也会将RunLoop
对象销毁。
接下来查看一下CFRunLoopRef
具体的数据结构如下:
struct __CFRunLoop {
CFRuntimeBase _base;
pthread_mutex_t _lock; /* locked for accessing mode list */
__CFPort _wakeUpPort; // used for CFRunLoopWakeUp
Boolean _unused;
volatile _per_run_data *_perRunData; // reset for runs of the run loop
pthread_t _pthread;
uint32_t _winthread;
CFMutableSetRef _commonModes;
CFMutableSetRef _commonModeItems;
CFRunLoopModeRef _currentMode;
CFMutableSetRef _modes;
struct _block_item *_blocks_head;
struct _block_item *_blocks_tail;
CFAbsoluteTime _runTime;
CFAbsoluteTime _sleepTime;
CFTypeRef _counterpart;
};
typedef struct __CFRunLoop * CFRunLoopRef;
上述数据结构中比较重要的就是_commonModes
、_commonModeItems
、_currentMode
以及_modes
,具体关系如下图所示,该图取自文章深入理解RunLoop https://blog.ibireme.com/2015/05/18/runloop/下面讲的内容也有参考该博客中的内容,建议读者阅读原文:
上图很好的描述了struct __CFRunLoop
数据结构相关成员变量的关系,每一个__CFRunLoop
对象可以包含数个不同的Mode
,而每一个Mode
又包含了数个Source
、Observer
和Timer
,当一个RunLoop
运行时只能选择其中的某一个Mode
来执行,如果要切换Mode
则需要退出运行后指定一个新的Mode
后重新执行运行。通过这样的方式,可以在不同Mode
中设置不同的Source/Observer/Timer
而不同的Mode
中间的这三部分互不影响,也就是说,有些Source/Observer/Timer
只能在某一个Mode
中运行,当RunLoop
运行在其他Mode
中,该事件得不到处理。
Source
即CFRunLoopSourceRef
类的对象,指代事件源,即前文官方结构图中的Input Source
,在官方文档中该事件源Source
分为三类:
Port-Based Sources 基于端口的,也称为source1
事件,通过内核和其他线程通信,接收到事件后包装为source0
事件后分发给其他线程处理。
Custom Input Sources 用户自定义
Cocoa Perform Selector Sources 调用诸如perfromSelector:onThread:
这样的方法产生的事件
按照调用栈来说其实只分成两类,Source0
不基于端口的和Source1
基于端口的,分类方式并不是很重要,了解即可。
Timer
可以理解为定时器即NSTimer
,因为CFRunLoopTimerRef
和NSTimer
是toll-free bridged
,所以可以互相转换,将其理解为NSTimer
即可,RunLoop
对象会在注册的定时器时间到达时唤醒关联的线程对象来执行定时器的回调。
Observer
就是监听器,用来监听RunLoop
的各种状态,在源码中有如下监听状态的枚举定义:
/* Run Loop Observer Activities */
typedef CF_OPTIONS(CFOptionFlags, CFRunLoopActivity) {
//即将进入RunLoop的执行循环
kCFRunLoopEntry = (1UL << 0),
//即将处理Timer事件
kCFRunLoopBeforeTimers = (1UL << 1),
//即将处理Source事件
kCFRunLoopBeforeSources = (1UL << 2),
//RunLoop即将进入休眠状态
kCFRunLoopBeforeWaiting = (1UL << 5),
//RunLoop即将被唤醒
kCFRunLoopAfterWaiting = (1UL << 6),
//RunLoop即将退出
kCFRunLoopExit = (1UL << 7),
//监听RunLoop的全部状态
kCFRunLoopAllActivities = 0x0FFFFFFFU
};
Observer
中定义了一系列的监听器,开发者也可以使用监听器来监听具体的状态改变,具体栗子后文会介绍。
Mode
是RunLoop
中比较重要的部分,系统默认为我们提供了五种Mode
:
kCFRunLoopDefaultMode 即 NSDefaultRunLoopMode,默认运行模式
UITrackingRunLoopMode 跟踪UIScrollView滑动时使用的运行模式,保证滑动时不受其他事件处理的影响,保证丝滑
UIInitializationRunLoopMode 启动应用时的运行模式,应用启动完成后就不会再使用
GSEventReceiveRunLoopMode 事件接收运行模式
kCFRunLoopCommonModes 即 NSRunLoopCommonModes 是一种标记的模式,还需要上述四种模式的支持
UITrackingRunLoopMode
只有当用户滑动屏幕时,即滑动UIScrollView
时才会执行的模式,此时,不在该模式内的Source/Timer/Observer
都不会得到执行,它仅仅专注于滑动时产生的各种事件,通过这样的方式就可以保证用户在滑动页面时的流畅性,这也是分不同Mode
的优点。
具体数据结构如下:
typedef struct __CFRunLoopMode *CFRunLoopModeRef;
struct __CFRunLoopMode {
CFRuntimeBase _base;
pthread_mutex_t _lock; /* must have the run loop locked before locking this */
CFStringRef _name;
Boolean _stopped;
char _padding[3];
CFMutableSetRef _sources0;
CFMutableSetRef _sources1;
CFMutableArrayRef _observers;
CFMutableArrayRef _timers;
CFMutableDictionaryRef _portToV1SourceMap;
__CFPortSet _portSet;
CFIndex _observerMask;
#if USE_DISPATCH_SOURCE_FOR_TIMERS
dispatch_source_t _timerSource;
dispatch_queue_t _queue;
Boolean _timerFired; // set to true by the source when a timer has fired
Boolean _dispatchTimerArmed;
#endif
#if USE_MK_TIMER_TOO
mach_port_t _timerPort;
Boolean _mkTimerArmed;
#endif
#if DEPLOYMENT_TARGET_WINDOWS
DWORD _msgQMask;
void (*_msgPump)(void);
#endif
uint64_t _timerSoftDeadline; /* TSR */
uint64_t _timerHardDeadline; /* TSR */
};
从上述数据结构中可以看出,Mode
内部管理了一个_source0
的事件集合,一个_source1
的事件集合,一个_observers
的数组以及_timers
的数组,这也印证了前文中关于Mode
的图例,再结合之前讲的__CFRunLoop
中比较重要的几个成员变量:
struct __CFRunLoop {
...
CFMutableSetRef _commonModes;
CFMutableSetRef _commonModeItems;
CFRunLoopModeRef _currentMode;
CFMutableSetRef _modes;
...
}
其中_currentMode
即代表当前RunLoop
对象正在执行的Mode
即CFRunLoopModeRef
类的对象。
_mode
是一个Set
集合保存了所有该RunLoop
对象可以执行的Mode
。
_commonModes
保存的是具有Common
属性的Mode
的名称,前文__CFRunLoopMode
的结构体定义中可以看到,每个Mode
管理自己的Source/Timer/Observer
,而被标记为Common
属性的Mode
还有一个特性就是当RunLoop
对象在执Common
属性的Mode
时,会自动将_commonModeItems
中保存的Source/Observer/Timer
同步添加该Mode
中,标识Common
属性只需要将__CFRunLoopModeRef
的_name
成员变量的值添加进_commonModes
集合中即可。被标记为Common
属性的Mode
就是前文讲的kCFRunLoopCommonModes
模式,可以看出这种模式不是一种真正的模式,仅仅是标识其他模式是否需要同步添加_commonModeItems
中的Source/Timer/Observer
。
_commonModeItems
中保存的就是那些需要同步添加到具有Common
属性的Mode
中的Source/Timer/Observer
集合。
系统默认将kCFRunLoopDefaultMode
和UITrackingRunLoopMode
添加到了_commonModes
中,即标识为Common
属性,所以当RunLoop
运行在这两种模式中会自动同步添加_commonModeItems
中的Source/Timer/Observer
。
举个常见的栗子:
- (void) viewWillAppear:(BOOL)animate
{
[super viewWilAppear:YES];
//创建一个NSTimer的对象,从当前时间开始每1s输出一次Hello,World
NSTimer *timer = [[NSTimer alloc] initWithFireDate:[NSDate date] interval:1 repeats:YES block:^(NSTimer * _Nonnull timer) {
NSLog(@"Hello, World");
}];
//将timer加入到当前线程关联的RunLoop对象的NSDefaultRunLoopMode中
[[NSRunLoop currentRunLoop] addTimer:timer forMode:NSDefaultRunLoopMode];
//类方法,创建一个timer并添加到当前线程关联的RunLoop的NSDefaultRunLoopMode中
[NSTimer scheduledTimerWithTimeInterval:2 repeats:YES block:^(NSTimer * _Nonnull timer) {
NSLog(@"Hello, World222");
}];
}
上面的栗子创建了两个NSTimer
,这两个定时器执行效果相同,但如果页面中有一个UIScrollView
或其子类的对象在滑动时,NSTimer
就不会再有任何输出,当停下滑动时又会有输出,因为上述代码创建的两个NSTimer
都加入到了RunLoop
对象的NSDefaultRunLoopMode
中,在滑动时RunLoop
会切换到UITrackingRunLoopMode
模式下执行,而UITrackingRunLoopMode
中没有上述定时器,所以不会执行,当停止滑动时RunLoop
对象又切换到了NSDefaultRunLoopMode
模式,所以可以继续执行定时器的回调。
为了解决这个问题,可以将NSTimer
即加入到NSDefaultRunLoopMode
中,又加入到UITrackingRunLoopMode
中,同一个Source/Timer/Observer
可以添加到不同的Mode
中,但同一个Source/Timer/Observer
不能添加到同一个Mode
中,这样不会有任何效果,但添加到两个Mode
中并不是最好的解决方案,还有一个方案就是利用前面的Common
属性,NSDefaultRunLoopMode
和UITrackingRunLoopMode
都被添加进了_commonModes
集合中被标识了具有Common
属性,所以在运行时就会自动将_commonModeItems
中的Source/Timer/Observer
同步添加到其中,因此,只需要将创建的NSTimer
加入到_commonModeItems
中即可,此时只需要使用NSRunLoopCommonModes
即可,代码如下:
- (void) viewWillAppear:(BOOL)animate
{
[super viewWilAppear:YES];
NSTimer *timer = [[NSTimer alloc] initWithFireDate:[NSDate date] interval:2 repeats:YES block:^(NSTimer * _Nonnull timer) {
NSLog(@"Hello, World");
}];
[[NSRunLoop currentRunLoop] addTimer:timer forMode:NSRunLoopCommonModes];
}
将NSTimer
加入到NSRunLoopCommonModes
中就是把其加入到_commonModeItems
集合中,这样在滑动时就会自动同步添加NSTimer
到UITrackingRunLoopMode
模式下,所以定时器也可会得到执行。如果需要注意使用类方法scheduledTimerWithTimeInterval:repeats:block
时要注意该方法默认是加入到NSDefaultRunLoopMode
模式中的。
通过上述讲解,可以发现,NSTimer其实是不那么精确的,首先,在使用时需要加入到RunLoop中,如果加在CommonMode在普通情况或滑动时都可以执行回调方法,这个时候的误差就来自于RunLoop一次循环的执行延迟,最坏情况下,RunLoop一次循环需要执行的任务较多,NSTimer回调执行的延迟就会加大。如果加在其他模式下,当模式切换时就不会再执行NSTimer的回调方法了,所以,在使用时需要根据情况选择不同的定时器以满足项目需求。
在查看RunLoop
运行机制前,做一个小实验,创建一个视图控制器,并添加一个按钮,在按钮点击事件的回调函数中打一个断点,然后运行程序点击按钮,之后查看调用栈如下图所示:
从上图中可以看到程序在18处执行main
函数,17执行UIApplicationMain
函数,这就是程序启动过程,16是系统内部事件,15调用CFRunLoopRunSpecific
后文会详细讲解该函数,14开始执行RunLoop
进入循环,13开始处理source0
这个source0
就是点击按钮的事件,11是真正执行source0
的函数,10-0就是点击事件的整个转发处理过程,最终交由我们自定义的回调方法进行处理。
在官方文档中描述的RunLoop
循环中的执行逻辑如下:
通知监听器RunLoop进入循环
通知监听器即将处理Timer事件
通知监听器即将处理source0(不是基于端口的)事件
执行source0事件
如果有source1(基于端口的)事件则立即执行跳转到第九步
通知监听器RunLoop即将进入休眠状态
将线程休眠,直到以下事件发生才会被唤醒:
通知监听器RunLoop对象即将被唤醒
处理添加进来的事件,包括:
通知监听器RunLoop退出循环
为了验证上述执行顺序,可以自行编写监听器来监听RunLoop
对象状态的改变,具体栗子如下:
- (void)viewWillAppear:(BOOL)animated
{
// 创建观察者
CFRunLoopObserverRef observer = CFRunLoopObserverCreateWithHandler(CFAllocatorGetDefault(), kCFRunLoopAllActivities, YES, 0, ^(CFRunLoopObserverRef observer, CFRunLoopActivity activity) {
NSLog(@"Status has changed into: %zd", activity);
});
/*
将监听器添加到当前RunLoop对象中,在RunLoop循环中就会执行上述回调块
监听的是kCFRunLoopDefaultMode即默认状态
也可以使用kCFRunLoopCommonModes,同时监听默认状态以及滑动视图的状态
*/
CFRunLoopAddObserver(CFRunLoopGetCurrent(), observer, kCFRunLoopDefaultMode);
//CFRunLoopAddObserver(CFRunLoopGetCurrent(), observer, kCFRunLoopCommonModes);
//Core Foundation需要手动释放observer
CFRelease(observer);
//添加一个textView,它是UIScrollView的子类
UITextView *textView = [[UITextView alloc] initWithFrame:CGRectMake(0, 20, ScreenWidth, 300)];
textView.text = @"Hello, World";
[textView setBackgroundColor:[UIColor redColor]];
[self.view addSubview:textView];
}
为了减少输出选择监听kCFRunLoopDefaultMode
模式,启动程序后不做任何操作发现其输出如下:
/* Run Loop Observer Activities */
typedef CF_OPTIONS(CFOptionFlags, CFRunLoopActivity) {
//即将进入RunLoop的执行循环 1
kCFRunLoopEntry = (1UL << 0),
//即将处理Timer事件 2
kCFRunLoopBeforeTimers = (1UL << 1),
//即将处理Source事件 4
kCFRunLoopBeforeSources = (1UL << 2),
//RunLoop即将进入休眠状态 32
kCFRunLoopBeforeWaiting = (1UL << 5),
//RunLoop即将被唤醒 64
kCFRunLoopAfterWaiting = (1UL << 6),
//RunLoop即将退出 128
kCFRunLoopExit = (1UL << 7),
//监听RunLoop的全部状态
kCFRunLoopAllActivities = 0x0FFFFFFFU
};
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 2
Status has changed into: 4
Status has changed into: 32
Status has changed into: 64
Status has changed into: 2
Status has changed into: 4
Status has changed into: 32
Status has changed into: 64
从输出中不难发现,不做任何操作时程序处于NSDefaultRunLoopMode
模式下,一直在2-9步间循环,当没有事件要处理时就转入了休眠状态,之后又被唤醒继续处理,可能有读者疑惑为什么连续那么多次都是2 4的输出,状态2表示即将处理Timer
,状态4表示即将处理Source
,接着就会处理Source
,但如果有source1
的存在(基于端口的事件)就不会休眠直接跳转到第九步处理相关事件,处理完成之后又回到第二步,所以产生上述输出。
此时当我们将UITextView
中添加多个换行符直到滚动条出现后,滑动UItextView
会发现有如下输出:
Status has changed into: 2
Status has changed into: 4
Status has changed into: 32
Status has changed into: 64
Status has changed into: 2
Status has changed into: 4
Status has changed into: 32
Status has changed into: 64
Status has changed into: 2
Status has changed into: 4
Status has changed into: 128
128代表RunLoop
对象退出循环了,因为当我们滑动UItextView
时,RunLoop
对象切换到了UITrackingRunLoopMode
,前文讲过,RunLoop
对象每次执行时只能执行在一个模式下,如果要切换模式只能退出后重新进入循环,从上述输出就证明了这一点。
接下来看一下RunLoop
的执行源码。
RunLoop
对外只提供了两个入口函数
/*
RunLoop对外提供的入口函数
用户可以显示调用后使当前线程关联的RunLoop对象以默认模式运行
*/
void CFRunLoopRun(void) { /* DOES CALLOUT */
//返回值
int32_t result;
//循环体,直到RunLoop停止或者结束时才会终止循环
do {
/*
调用CFRunLoopRunSpecific启动RunLoop
执行的RunLoop就是当前线程关联的RunLoop对象
超时时间100亿秒,317.098年,永不超时
*/
result = CFRunLoopRunSpecific(CFRunLoopGetCurrent(), kCFRunLoopDefaultMode, 1.0e10, false);
CHECK_FOR_FORK();
} while (kCFRunLoopRunStopped != result && kCFRunLoopRunFinished != result);
}
/*
RunLoop对外提供的入口函数
用户可以显示调用后使当前线程关联的RunLoop对象以指定模式、超时时间运行
*/
SInt32 CFRunLoopRunInMode(CFStringRef modeName, CFTimeInterval seconds, Boolean returnAfterSourceHandled) { /* DOES CALLOUT */
CHECK_FOR_FORK();
return CFRunLoopRunSpecific(CFRunLoopGetCurrent(), modeName, seconds, returnAfterSourceHandled);
}
/*
按照指定的模式、超时时间以及条件运行RunLoop
rl: 要运行的RunLoop对象
modeName: RunLoop对象要执行的模式名称
seconds: RunLoop循环的超时时间
returnAfterSourceHandled: 是否在处理完source后就退出RunLoop循环
*/
SInt32 CFRunLoopRunSpecific(CFRunLoopRef rl, CFStringRef modeName, CFTimeInterval seconds, Boolean returnAfterSourceHandled) { /* DOES CALLOUT */
CHECK_FOR_FORK();
if (__CFRunLoopIsDeallocating(rl)) return kCFRunLoopRunFinished;
__CFRunLoopLock(rl);
//通过Mode的名称查找CFRunLoopModeRef对象
CFRunLoopModeRef currentMode = __CFRunLoopFindMode(rl, modeName, false);
/*
如果没有获取到Mode
或Mode的内容为空,内容为空即Mode的Source/Timer/Observer集合都没有数据
为空就直接返回,并不真正执行RunLoop的循环
*/
if (NULL == currentMode || __CFRunLoopModeIsEmpty(rl, currentMode, rl->_currentMode)) {
Boolean did = false;
if (currentMode) __CFRunLoopModeUnlock(currentMode);
__CFRunLoopUnlock(rl);
return did ? kCFRunLoopRunHandledSource : kCFRunLoopRunFinished;
}
volatile _per_run_data *previousPerRun = __CFRunLoopPushPerRunData(rl);
CFRunLoopModeRef previousMode = rl->_currentMode;
rl->_currentMode = currentMode;
int32_t result = kCFRunLoopRunFinished;
/*
调用__CFRunLoopDoObservers触发监听器,RunLoop即将进入循环
*/
if (currentMode->_observerMask & kCFRunLoopEntry ) __CFRunLoopDoObservers(rl, currentMode, kCFRunLoopEntry);
//调用真正执行RunLoop循环的函数
result = __CFRunLoopRun(rl, currentMode, seconds, returnAfterSourceHandled, previousMode);
/*
调用__CFRunLoopDoObservers触发监听器,RunLoop退出循环
*/
if (currentMode->_observerMask & kCFRunLoopExit ) __CFRunLoopDoObservers(rl, currentMode, kCFRunLoopExit);
__CFRunLoopModeUnlock(currentMode);
__CFRunLoopPopPerRunData(rl, previousPerRun);
rl->_currentMode = previousMode;
__CFRunLoopUnlock(rl);
return result;
}
上述代码做了一系列的处理,比如通过名称查找Mode
,判断Mode
是否为空,即判断Mode
中是否还有Source/Timer/Observer
,其中比较重要的函数有__CFRunLoopFindMode
函数,该函数在查找根据Mode
名称查找时,如果没有找到会尝试创建一个新的Mode
,如果创建失败才会返回NULL
。__CFRunLoopModeIsEmpty
函数用来判断Mode
中的Source/Timer/Observer
是否为空,如果集合中没有对象就返回true
。__CFRunLoopDoObservers
用来触发监听器的回调函数或回调块,前文举的栗子在创建监听器并加入到RunLoop
对象后,其实是将这个监听器加入到了Mode
的_observers
数组中,所以该函数内部会遍历对应数组并调用回调函数或回调块来进行通知。
接下来就要查看__CFRunLoopRun
函数的实现,但该函数源码太长有三百多行,而且包含了不少跨平台的预编译指令,由于篇幅的问题,这里不直接分析了,有兴趣的读者可以参考本系列文章第五篇iOS多线程——RunLoop与GCD、AutoreleasePool,在这篇文章中会详细讲解该函数的源码,那这里直接使用深入理解RunLoop https://blog.ibireme.com/2015/05/18/runloop/中作者简化整理版本,代码如下:
__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);
}
上面执行代码就和前面官方文档中讲解的顺序一致,不再赘述。
在前文给了一个点击按钮的调用栈运行图,可以发现执行source0
事件时是调用了一个非常长的函数来处理,为了方便查看调用栈执行的顺序,深入理解RunLoop https://blog.ibireme.com/2015/05/18/runloop/一文中,作者将整个RunLoop
响应函数按执行顺序列了下来,如下:
{
/// 1. 通知Observers,即将进入RunLoop
/// 此处有Observer会创建AutoreleasePool: _objc_autoreleasePoolPush();
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopEntry);
do {
/// 2. 通知 Observers: 即将触发 Timer 回调。
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopBeforeTimers);
/// 3. 通知 Observers: 即将触发 Source (非基于port的,Source0) 回调。
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopBeforeSources);
__CFRUNLOOP_IS_CALLING_OUT_TO_A_BLOCK__(block);
/// 4. 触发 Source0 (非基于port的) 回调。
__CFRUNLOOP_IS_CALLING_OUT_TO_A_SOURCE0_PERFORM_FUNCTION__(source0);
__CFRUNLOOP_IS_CALLING_OUT_TO_A_BLOCK__(block);
/// 6. 通知Observers,即将进入休眠
/// 此处有Observer释放并新建AutoreleasePool: _objc_autoreleasePoolPop(); _objc_autoreleasePoolPush();
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopBeforeWaiting);
/// 7. sleep to wait msg.
mach_msg() -> mach_msg_trap();
/// 8. 通知Observers,线程被唤醒
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopAfterWaiting);
/// 9. 如果是被Timer唤醒的,回调Timer
__CFRUNLOOP_IS_CALLING_OUT_TO_A_TIMER_CALLBACK_FUNCTION__(timer);
/// 9. 如果是被dispatch唤醒的,执行所有调用 dispatch_async 等方法放入main queue 的 block
__CFRUNLOOP_IS_SERVICING_THE_MAIN_DISPATCH_QUEUE__(dispatched_block);
/// 9. 如果如果Runloop是被 Source1 (基于port的) 的事件唤醒了,处理这个事件
__CFRUNLOOP_IS_CALLING_OUT_TO_A_SOURCE1_PERFORM_FUNCTION__(source1);
} while (...);
/// 10. 通知Observers,即将退出RunLoop
/// 此处有Observer释放AutoreleasePool: _objc_autoreleasePoolPop();
__CFRUNLOOP_IS_CALLING_OUT_TO_AN_OBSERVER_CALLBACK_FUNCTION__(kCFRunLoopExit);
}
深入理解RunLoop https://blog.ibireme.com/2015/05/18/runloop/
由于作者水平有限,难免出现纰漏,如有问题还请不吝赐教。