《Objective-C高级编程-iOS与OS+X多线程和内存管理》读书笔记

Objective-C高级编程-iOS与OS+X多线程和内存管理

第一章：自动引用计数

• 本身生成的对象，本身所持有。
• 非本身生成的对象，本身也能持有
• 再也不须要本身持有的对象时释放
• 非本身持有的对象没法释放

对象操做	Objective-C方法
生成并持有对象	alloc/new/copy/mutableCopy等
持有对象	retain
释放对象	release
废弃对象	dealloc

Cocoa 框架中 Foundation 框架类库的 NSObject 类担负内存管理的职责。

本身生成的对象，本身所持有

使用如下名称开头的方法名意味着本身生成的对象只有本身持有：

• alloc
• new
• copy
• mutableCopy

使用 NSObject 类的 alloc 类方法就能本身生成并持有对象。另外，使用 new 类方法也能生成并持有对象。[NSObject new] 与 [[NSObject alloc] init] 是彻底一致的

非本身生成的对象，本身也能持有

用上述方法以外的方法取得的对象即用 alloc/new/copy/mutableCopy 之外的方法取得的对象，由于非本身生成并持有，因此本身不是该对象的持有者。例如 NSArray 类的 array 类方法。经过 retain 方法，非本身生成的对象成为了本身所持有的。

再也不须要本身持有的对象时释放

本身持有的对象，一旦再也不须要，持有者有义务释放该对象，释放使用的是 release 方法。 用 alloc/new/copy/mutableCopy 方法生成并持有的对象，或者用 retain 方法持有的对象，一旦再也不须要，务必要用 release 方法进行释放

autorelease 提供这样的功能，使对象再超出指定的生存范围时可以自动并正确地释放（调用release方法）

没法释放非本身持有的对象

对于用 alloc/new/copy/mutableCopy 方法生成并持有的对象，或者用 retain 方法持有的对象，因为持有者是本身，因此在不须要该对象时须要将其释放。而由此之外所获得的对象绝对不能释放。假若在应用程序中释放了非本身所持有的对象就会形成崩溃。

• 在 Objective-C 的对象中存有引用技术这一整数值。
• 调用 alloc 或是 retain 方法后，引用计数值加 1.
• 调用 release 后，引用技术减 1.
• 引用计数值为 0 时，调用 dealloc 方法废弃对象。

苹果对引用计数大概是采用 散列表（引用计数表）来管理引用计数

GNUstep 将引用计数保存在对象占用内存块头部的变量中，而苹果则是保存在引用计数表的记录中。

经过内存块头部管理引用计数的好处：

• 少许代码便可完成
• 可以统一管理引用计数用内存块与对象用内存块

经过引用计数表管理引用计数的好处：

• 对象用内存块的分配无序考虑内存块头部
• 引用计数表各记录中存有内存块地址，可从各个记录追溯到各对象的内存块

在利用工具检测内存泄露时，引用计数表的各记录也有助于检测各对象的持有者是否存在。

autorelease

autorelease 就是自动释放，这看上去很像 ARC ，实际上更相似于 C 语言中自动变量（局部）变量的特性。 C 语言的自动变量特性：程序执行时，若某自动变量超出其做用域，该自动变量将被自动废弃。 与 C 语言的自动变量不一样的是，编程人员能够设定变量的做用域。 autorelease 的具体使用方法以下：

1. 生成并持有 NSAutoreleasePool 对象
2. 调用已分配对象的 autorelease 实例方法
3. 废弃 NSAutoreleasePool 对象

NSAutoreleasePool 对象的生存周期至关于 C 语言变量的做用域。对于全部调用过 autorelease 实例方法的对象，在废弃NSAutoreleasePool 对象时，都将调用 release 实例方法。 在大量产生 autorelease 对象时，须要在适当的地方生成、持有或废弃 NSAutoreleasePool 对象。 调用 NSObject 类的 autorelease 实例方法，该对象将被追加到正在使用的 NSAutoreleasePool 对象中的数组里。即 本质就是调用 NSAutoreleasePool 对象的 addObject 类方法。

ARC 规则

循环引用容易发生内存泄露，所谓内存泄露就是应当废弃的对象在超出其生存周期后继续存在。使用__weak修饰符可避免循环引用，__weak修饰符与__strong修饰符 相反，提供弱引用。弱引用不能持有对象实例，由于__weak修饰符的变量不吃又对象，因此在超出其变量做用域时，对象即被释放。 __weak修饰符还有另外一优势：在持有对象的弱引用时，若该对象被被废弃，则此弱引用将自动失效且处于 nil 被赋值的状态。

在 ARC 有效的状况下编译源代码需遵照以下规则：

• 不能使用 retain/release/retainCount/autorelease
• 不能使用 NSAllocateObject / NSDeallocateObject
• 须遵照内存管理的方法命名规则
• 不要显式调用 dealloc
• 使用 @autoreleasepoll 块替代 NSAutoreleasePool
• 不能使用区域 （NSZone）
• 对象型变量不能做为 C 语言结构体（struct/union）的成员
• 显式转换 id 和 void * ， 经过 (__bridge void *) 或 (__bridge id) 进行桥接

__weak 修饰符

weak 表与引用计数表相同，做为散列表被实现。若是使用 weak 表，将废弃对象的变量的地址做为键值进行检索，就能高速地获取对应的附有 __weak 修饰符的变量的地址。另外，因为一个对象可同时赋值给多个附有 __weak 修饰符的变量中，因此对于一个键值，可注册多个变量的地址。

若是附有 __weak 修饰符的变量所引用的对象被废弃，则将 nil 赋值给该变量的步骤：

1. 从 weak 表中获取废弃对象的地址为键值的记录
2. 将包含在记录中的全部附有 __weak 修饰符的变量的地址，赋值为 nil.
3. 从 weak 表中删除该记录
4. 从引用计数表中删除废弃对象的地址为键值的记录

若是大量使用附有 __weak 修饰符的变量，会消耗相应的 CPU 资源，良策是只在须要避免循环引用时使用 __weak 修饰符。

第二章：Blocks

Blocks 是 C语言的扩充功能，用一句话表示：带有自动变量（局部变量）的匿名函数。 Block 语法： ^ 返回值类型 参数列表 表达式

使用附有 __block 说明符修饰的自动变量可在 Block 中赋值，该变量成为 __block 变量

在Block中，截获自动变量的方法并无实现对C语言数组的截获，这时使用指针能够解决问题。

Blocks 的实现

Block 本质是一个 OC 对象，它内部也有一个 isa 指针。是封装了函数调用和函数调用环境的 OC 对象。

iOS 类的本质即 class_t 结构体：

struct class_t {
   struct class_t *isa;
   struct class_t *superclass;
   Cache cache;
   IMP *vtable;
   uintptr_t data_NEVER_USE;
}
复制代码

该实例名称持有声明的成员变量、方法的名称、方法的实现（即函数指针）、属性以及父类的指针。 Block 即为 Objective-C 的对象。

Block 的三种类型

类	设置对象的存储域	备注
_NSConcreteStackBlock	栈	捕获局部变量
_NSConcreteGlobalBlock	程序的数据区域（.data 区）	不捕获自动变量
_NSConcreteMallocBlock	堆	捕获成员变量

Block 什么时候会复制到堆

• 调用 Block 的 copy 实例方法时
• Block 做为函数返回值返回时
• 将 Block 赋值给附有 __strong 修饰符 id 类型的类或 Block 类型成员变量时
• 在方法名中含有 usingBlock 的 Cocoa 框架方法或 GCD 的 API 中传递 Block 时。

第三章：Grand Central Dispatch

Grand Central Dispatch （GCD） 是异步执行任务的技术之一，通常将应用程序中记述的线程管理用的代码在系统级中实现，开发者只须要定义想执行的任务并追加到适当的 Dispatch Queue 中，GCD 就能生成必要的线程并计划执行任务。

多线程编程可能会出现的问题：

• 多个线程更新相同的资源会致使数据的不一致（数据竞争）- 解决：使用 Serial Dispatch Queue （串行队列）
• 中止等待事件的线程会致使多个线程相互持续等待（死锁）
• 使用太多线程会消耗大量内存

Dispatch Queue 按照追加的顺序（先进先出 FIFO）执行处理，另在执行处理时存在两种 Dispatch Queue ：一种是等待如今执行中处理的 Serial Dispatch Queue，另外一种是不等待如今执行中处理的 Concurrent Dispatch Queue。

GCD API

可以使用 dispatch_set_target_queue API 设置 Dispatch Queue 的优先级，同时也可使多个本应并行执行的多个 Serial Dispatch Queue，在目标 Serial Dispatch Queue 上串行执行。

dispatch_after 函数并不许时 由于 Main Dispatch Queue 在主线程的 Runloop 中执行，因此在好比每隔 1/60 秒自行的 Runloop 中，Block 最快3秒后自行，最慢在3秒 + 1/60 秒后执行，而且在 Main Dispatch Queue 有大量处理追加或主线程的处理自己有延迟时，这个时间会更长。

Dispatch Group 在追加到 Dispatch Queue 中的多个处理所有结束后想执行结束处理可以使用 Dispatch Group 实现。

dispatch_sync 如同简易版的 dispatch_group_wait 函数，会在指定队列中同步执行任务，在任务执行结束以前不会返回。若是在主线程同步执行 Block 就会出现死锁。

dispatch_apply 函数可进行快速遍历。因为 dispatch_apply 函数与 dispatch_sync 函数相同，会等待处理执行结束，所以推荐在 dispatch_async 函数中非同步地执行 dispatch_apply 函数。

dispatch_suspend 函数可暂时挂起指定的 Dispatch Queue。 dispatch_resume 函数可恢复指定的 Dispatch Queue。

dispatch_semaphore 函数可对操做进行更细粒度的排他控制。 dispatch_semaphore_wait(semaphore, DISPATCH_TIME_FOREVER) dispatch_semaphore_wait 函数等待 Dispatch Semaphore 的计数值达到大于或等于1. 该处理结束是使用 dispatch_semaphore_signal 函数将 Dispatch Semaphore 的计数值加1.

dispatch_once 函数是保证再应用程序执行中只执行一次指定处理的 API。

dispatch_IO 函数可多线程并发处理大文件，以提升文件读取速度。

GCD 实现

Block 并非直接加入 FIFO 队列中，而是先加入 Dispatch Continuation 这一 dispatch_continuation_t 类型结构体中，而后再加入 FIFO 队列。用于记忆 Block 所属的 Dispatch Group 喝其余一些信息，一般叫上下文。

。。。