iOS底层原理:OC对象底层探索之开辟内存(二)

简介: 简介: 在上篇文章iOS底层原理(二):OC对象底层探索之alloc初探 中,我们体验了 objc 底层源码的调试流程,也介绍了一部分 [JQPerson alloc] 在底层的工作流程,最终在callAlloc中走到了_objc_rootAllocWithZone方法。那么今天我们就来继续探索_objc_rootAllocWithZone方法之后的流程吧!
内存优化

看完了结构体的内存对齐,我们再来看一下OC对象的内存对齐又是怎样的呢?


image.png

JQPerson中自定义的变量和JQStruct2的成员的类型和顺序是一模模一样样的,他们打印出来的内存大小都是24字节,也是一模模一样样的,乍一看,没毛病呀。大哥,你忘记了对象本身自带了一个变量isa指针吗?它也占了8个字节呢。所以这样一看,JQPerson中自定义的变量只占了16个字节,这就很奇怪了啊,变量的类型和顺序都是一样的啊。这到底是为啥呢?这就是接下来我们要说的内存优化。

来,我们具体看看是它是怎么优化的,上代码:


image.png


通过lldb断点打印可以看出 :

  1. isa的值通过读取 0x0000000109dc6658 (8字节)这个内存的数据;
  2. a的值通过读取 0x4067200000000000 (8字节)这个内存的数据;
  3. b的值通过读取 0x00000012 (4字节)这个内存的数据,
  4. c的值通过读取 0x0002 (2字节)这个内存的数据,
  5. d的值通过读取 0x0063 (2字节)(内存对齐,高位补0,所以这里看着就是俩字节了)这个内存的数据,

我们发现 int b,short c,char d,共用了一个8字节内存空间,系统进行了内存优化,将对象的属性或者变量存储顺序进行了重排,达到内存占用最小。

上面这个例子理解起来可能还不够透彻,下面我们在JQPerson中在增加一些属性,打印一下内存数据,一看就明白了。


image.png

image.png

看图👆,没有文字了!!!

由此我们可以得出结论:

  • OC对象与对象之间是以16字节对齐的。
  • 对象内部的成员变量之间是以8字节对齐的(OC最大数据类型是8字节,而每个对象都自带了一个8字节的isa)。
calloc 开辟内存

上面我们讲到了instanceSize方法计算对象所需的内存大小,并且拓展了内存对齐内存优化。接着,我们就来看一下calloc是怎么去开辟内存的。

好,我们断点快速来到_class_createInstanceFromZone方法中


image.png


这里可以看出,此时的obj还没有进行赋值,就已经有地址了,说明系统给obj分配了一块内存地址(脏地址)。


image.png


接着走断点,看到:执行calloc后打印的是一个16进制的指针地址,说明已经开辟了内存,但是和平常见到的地址指针(下图👇)不一样。


image.png


也就是说,calloc只是开辟了内存;但是这块内存空间并没有和相应的类进行关联。

我们一步一步来看,先点击calloc,进去看看calloc都做了什么?


image.png


发现这里进不去了,calloc没有提供方法实现,好想进去啊,怎么办?

拿出我们上篇文章讲的三种底层调试方法,符号断点跟一下流程


image.png


看到这里calloc方法在libsystem_malloc.dylib中,这是个系统库啊。毫不犹豫,直接去 Open Source 下载libsystem_malloc.dylib的源码啊。(ps:其实上面已经指出了calloc的位置,macOS 11.3/usr/include/malloc,天哪,这明显是个系统库啊)

好,接下里,我们拿malloc的源码编译调试,看看calloc的做了啥。上代码


image.png

  • 进入 calloc


image.png

  • 进入 _malloc_zone_calloc

image.png

33.png

  • 进入 zone->calloc,发现点不进去,怎么办呢?首先想到的是汇编跟一下流程。但是注意,C语言指针->指向的就是函数的首地址,我们直接打印一下zone->calloc看看


image.png

  • 看到下一个跳转是default_zone_calloc,全局搜索 default_zone_calloc

image.png

卧槽,又来一个zone->calloc

  • 断点来到这里,继续打印一下zone->calloc看看


image.png

  • 看到下一个跳转是nano_calloc,全局搜索 nano_calloc


image.png

  • 断点发现会执行到_nano_malloc_check_clear,进入_nano_malloc_check_clear看一下


image.png

  • 继续进入segregated_size_to_fit看看


image.png

这里发现只有201、202这两句核心代码:

k = (size + NANO_REGIME_QUANTA_SIZE - 1) >> SHIFT_NANO_QUANTUM; // round up and shift for number of quanta
slot_bytes = k << SHIFT_NANO_QUANTUM;

这两句啥意思呢?我们看到 >><<这两个符号,这很熟悉了啊,这不就是右移和左移嘛!

我们分别点击宏NANO_REGIME_QUANTA_SIZESHIFT_NANO_QUANTUM进去看一下都代表什么


image.png

知道了宏的定义,我们就还原一下上面201、202那两句代码:

k = (size + (1 << 4) - 1) >> 4; 
slot_bytes = k << 4;


这就很清晰了,前面内存对齐时我们讲过, >> 4 再 << 4 得出的结果就是16的整数倍,(size + (1 << 4) - 1) = size + 15。意思就是先给size升到16(二进制10000)以上,不足的位全抹0。这就是16进制对齐的算法!

我们拿上面传的40计算一下:


image.png

OK,到此,我们calloc的底层就结束了。

下面继续完善一下alloc的流程图:

image.png


总结


  • 结构体是以其最大成员的字节数对齐的。
  • 对象内部的成员变量之间是以8字节对齐的。
  • OC对象与对象之间是以16字节对齐的。
  • instanceSize 是计算实例对象所需要的内存大小
  • calloc 是系统为对象开辟内存

下一篇,我们来介绍OC对象的最后一个内容:isa关联类。敬请期待~



相关文章
|
1月前
|
缓存 监控 算法
Python内存管理:掌握对象的生命周期与垃圾回收机制####
本文深入探讨了Python中的内存管理机制,特别是对象的生命周期和垃圾回收过程。通过理解引用计数、标记-清除及分代收集等核心概念,帮助开发者优化程序性能,避免内存泄漏。 ####
56 3
|
2月前
|
存储 编译器 Linux
【c++】类和对象(上)(类的定义格式、访问限定符、类域、类的实例化、对象的内存大小、this指针)
本文介绍了C++中的类和对象,包括类的概念、定义格式、访问限定符、类域、对象的创建及内存大小、以及this指针。通过示例代码详细解释了类的定义、成员函数和成员变量的作用,以及如何使用访问限定符控制成员的访问权限。此外,还讨论了对象的内存分配规则和this指针的使用场景,帮助读者深入理解面向对象编程的核心概念。
199 4
|
3月前
|
缓存 算法 Java
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
这篇文章详细介绍了Java虚拟机(JVM)中的垃圾回收机制,包括垃圾的定义、垃圾回收算法、堆内存的逻辑分区、对象的内存分配和回收过程,以及不同垃圾回收器的工作原理和参数设置。
140 4
JVM知识体系学习六:JVM垃圾是什么、GC常用垃圾清除算法、堆内存逻辑分区、栈上分配、对象何时进入老年代、有关老年代新生代的两个问题、常见的垃圾回收器、CMS
|
3月前
|
Java 测试技术 Android开发
让星星⭐月亮告诉你,强软弱虚引用类型对象在内存足够和内存不足的情况下,面对System.gc()时,被回收情况如何?
本文介绍了Java中四种引用类型(强引用、软引用、弱引用、虚引用)的特点及行为,并通过示例代码展示了在内存充足和不足情况下这些引用类型的不同表现。文中提供了详细的测试方法和步骤,帮助理解不同引用类型在垃圾回收机制中的作用。测试环境为Eclipse + JDK1.8,需配置JVM运行参数以限制内存使用。
50 2
|
3月前
|
存储 Java
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
这篇文章详细地介绍了Java对象的创建过程、内存布局、对象头的MarkWord、对象的定位方式以及对象的分配策略,并深入探讨了happens-before原则以确保多线程环境下的正确同步。
72 0
JVM知识体系学习四:排序规范(happens-before原则)、对象创建过程、对象的内存中存储布局、对象的大小、对象头内容、对象如何定位、对象如何分配
|
3月前
|
存储 Java
深入理解java对象的内存布局
这篇文章深入探讨了Java对象在HotSpot虚拟机中的内存布局,包括对象头、实例数据和对齐填充三个部分,以及对象头中包含的运行时数据和类型指针等详细信息。
36 0
深入理解java对象的内存布局
|
3月前
|
算法 Java
JVM进阶调优系列(3)堆内存的对象什么时候被回收?
堆对象的生命周期是咋样的?什么时候被回收,回收前又如何流转?具体又是被如何回收?今天重点讲对象GC,看完这篇就全都明白了。
|
2月前
|
缓存 Prometheus 监控
Elasticsearch集群JVM调优设置合适的堆内存大小
Elasticsearch集群JVM调优设置合适的堆内存大小
509 1
|
1月前
|
存储 监控 算法
深入探索Java虚拟机(JVM)的内存管理机制
本文旨在为读者提供对Java虚拟机(JVM)内存管理机制的深入理解。通过详细解析JVM的内存结构、垃圾回收算法以及性能优化策略,本文不仅揭示了Java程序高效运行背后的原理,还为开发者提供了优化应用程序性能的实用技巧。不同于常规摘要仅概述文章大意,本文摘要将简要介绍JVM内存管理的关键点,为读者提供一个清晰的学习路线图。
|
2月前
|
Java
JVM内存参数
-Xmx[]:堆空间最大内存 -Xms[]:堆空间最小内存,一般设置成跟堆空间最大内存一样的 -Xmn[]:新生代的最大内存 -xx[use 垃圾回收器名称]:指定垃圾回收器 -xss:设置单个线程栈大小 一般设堆空间为最大可用物理地址的百分之80