2022-11-17 06内存管理

image.png

引用计数管理

image.png

引用计数管理 clearDeallocating()

image.png

弱引用管理

image.png

自动释放池

1.是以栈为结点,通过双向链表的形式结合而成
2.是和线程一一对应的

AutoreleasePoolPage的结构

image.png

AutoreleasePush

image.png

【obj autorelease】

image.png

AutoreleasePop

image.png

自动释放池:

1.viewDidload里面的对象什么时候被释放?
【答】在当次runloop将要结束的时候调用AutoreleasePoolPage::Pop();把对应的对象进行释放
2.AutoreleasePool为什么可以多层嵌套调用?
多层嵌套多次插入哨兵对象,比如每次进行AutoreleasePool代码块的创建,系统就会为我们进行一次哨兵对象的插入,完成新的AutoreleasePool的创建,这个AutoreleasePool的创建实际上是创建了一个page,假如当前page还没满那么就不需要创建page。所以我们所谓的创建新的AutoreleasePoolPage其实就是插入了新的哨兵对象,这也就是我们为何能多层嵌套调用AutoreleasePool的原因
3.在for循环中alloc图片数据等内存消耗比较大的场景手动插入AutoreleasePool,防止加载图片过多导致内存的峰值过大,从而导致OOM

NSTimer循环引用原理及解决方案
https://www.jianshu.com/p/df5b883f33e9

07Block

image.png

什么是block

1.Block是将函数及其执行上下文封装起来的对象

截获变量对不同类型的变量截获不同

1.对于基本数据类型的局部变量截获其值
2.对于对象类型的局部变量连同其所有权修饰符一起截获(我们写的修饰符是什么,block获取的就是什么)
3.以指针形式截获局部静态变量(创建的时候存储静态局部变量的指针,通过局部变量指针来获取对应的变量的数值)
4.不截获全局变量,静态全局变量

__Block修饰符

1.一般情况下,对被截获变量进行赋值操作需添加__block修饰符
2.对于对象赋值的时候需要加__block修饰
3.对于使用,例如NSMutableArray add对象的时候不需要加

那么什么时候需要加__block修饰符?

对变量赋值时 :
需要__block修饰符 ,无论局部变量是基本数据类型还是对象类型

那么什么时候不需要加__block修饰符?

不需要__block修饰符 ,静态局部变量,全局变量,静态全局变量

Block的内存管理

一共有三种block
分别是1.GlobalBlock 2.stackBlock 3.MallocBlock(堆block)

三种区别:
存放位置:1.栈block-栈上 2.堆block在堆上 3.全局block在已初始化数据区

Block的copy操作

image.png

栈上的block销毁:

如果在栈上,存在__block变量和Block对象,那么在变量作用域结束之后栈上__block变量和Block对象都会被销毁。

栈上的block copy操作:

当我们对栈上的block进行copy操作,在MRC的情况下栈上的作用域结束会不会引起内存泄漏?
会的!

__forwarding指针作用

__block的__forwarding是指向自己本身的指针,为了不论在任何位置,都可以顺利访问到同一个block
一共有三种情况
1.block 拷贝到堆上,内部的block也会拷贝到堆上,为防止block被修改,就使用forwarding指针
2.block在 栈上,block的forwarding指针指向自己,这样通过forwarding指针取到结构体中的属性值就没问题了
3.从栈上拷贝到堆上,会占用两部分空间。
栈上的forwarding指针指向copy到堆上的block变量结构体,堆上的forwarding指向自己。

这样的结果就是不管我们访问的是堆上的还是栈上 __block结构体只要通过forwarding指针访问,都是访问到堆上的结构体变量,给属性赋值都最终会赋值到堆上的属性。

为什么 __weak 修饰符可以解决循环引用的问题?
主要是从截获变量这方面考量。
对于对象类型的局部变量连同其所有权修饰符一起截获(我们写的修饰符是什么,block获取的就是什么)
我们外部变量使用__weak修饰符修饰,那么内部的 weakself也是weak修饰的,那么在作用域结束后就被释放了。

ARC下的引用循环

大环引用

对象持有block,block持有__block变量,__block变量持用对象
这样会到这大环引用

image.png

可以在block进行一个断环的操作;
设置blockself = nil
弊端:如果很长时间不掉用这个block,那么这个环会一直存在

08多线程

image.png

GCD

同步串行

- (void)viewDidLoad {
    dispath_sync(dispath_get_main_queue()///主队列有问题死锁,{
        [self doomething];
    });
}

死锁!,会导致队列引起循环等待

- (void)viewDidLoad {
    dispath_sync(serialQueue//串行队列,{
        [self doomething];
    });
}

没有问题

同步并发

- (void)viewDidLoad {
    NSLog(@"1");
    dispatch_sync(global_queue, ^{
        
        NSLog(@"2");
        dispatch_sync(global_queue, ^{
            
            NSLog(@"3");
        });
        
        NSLog(@"4");
    });
    
    NSLog(@"5");
}

答案:12345

- (void)viewDidLoad {
    NSLog(@"1");
    dispatch_sync(serialQueue, ^{
        
        NSLog(@"2");
        dispatch_sync(serialQueue, ^{
        
            NSLog(@"3");
        });
        
        NSLog(@"4");
    });
    
    NSLog(@"5");
}

产生死锁

异步串行

异步并发

- (void)viewDidLoad {
    dispatch_async(global_queue, ^{
        
        NSLog(@"1");
        [self performSelector:@selector(priLog)
                   withObject:nil
                   afterDelay:0];
        
        NSLog(@"3");
    });
}

- (void)priLog {
    
    NSLog(@"2");
}

答案是1.3

dispath_barrier_async()

多读单写的模型

  1. 读者和读者 并发
  2. 读者和写者 互斥
  3. 写者和写者 互斥

///读者操作
- (id)objForKey:(NSString *)key {
    __block id obj;
///同步立刻返回数据结果
    dispatch_sync(concurrentQueue, ^{
        obj = [userCenterDict objectForKey:key];
    });
    return  obj;
}

//写者操作
- (id)setObj:(id)obj ForKey:(NSString *)key {

///异步栅栏调用设置数据
    dispatch_barrier_async(concurrentQueue, ^{
        [userCenterDict setObject:obj forkey:key];
    });
}

dispath_group_async()

使用gcd实现这个需求,a,b,c三个任务并发,完成后执行任务d;

for (nsurl *url in arrays){
///根据url区下载图片
}

dispatch_gtoup_notify(group, dispath_get_mian_queue()^{
///当添加到组中的所有任务执行完,只有再调用该block

});

iOS中有哪些锁
1.@synchronized (创建单例对象使用,保证多线程环境下是唯一的)
2.atomic (只对赋值操作保证安全,但是不对操作保证)
3.OSSpinLock(自旋锁,会循环等待访问,不是放当前资源,一般对于轻量级int数值的+1 -1的操作,例如引用计数 runtime)
4.NSRecursiveLock(递归锁)
5.NSLock()
6.dispatch_semaphore_t(信号量)
信号量3种操作
(1)create(1)
(2)wait
(3)signal

create(1)

struct semaphore{
int value;
List
}

(2)wait
wait {
//wait里面我们先进行一个valye -1 的操作
s.value = s.value -1;
//判断如果value 小于 0 则进行一个主动阻塞的行为
if s.value < 0 then block(s.list)
}

(3)signal
signal {

//signal里面我们先进行一个value +1 的操作
s.value = s.value +1;
//判断如果value 小于等于 0 则进行一个被动唤醒的行为
if s.value <= 0 then wakeup(s.list)
}

你可能感兴趣的:(2022-11-17 06内存管理)