探索Flutter:Dart SDK概念篇一

发表时间: 2022-09-27 13:49

申明:如有问题请纠正告知,学习学习.

概念一:静态和动态内存

Dart代码转成了object对象后,所有对象都分配在动态(zone),静态内存中(heap).

Object对象转换rawobject对象后再次分配到数据段,代码段,堆栈段,BBS段.

比如:

int a = 0;//初始化的全局变量:保存在数据段

char *p1;//未初始化的全局变量:保存在BSS段

转化后Integer(包含很多比如field,token信息等等等),这个对象在数据段上分配

概念二:栈帧

1,包含局部变量表(Local Variables):

一组变量存储空间,用于存方法参数和方法内部定义的局部变量.以变量槽(slot)为最小单位存储,可以存储boolean、byte、char、short、int、float、reference或returnAddress类型的数据.

2,方法返回地址(Return Address):

存放调用该方法的pc寄存器的值

3,操作数栈(Operand Stack先进后出)

4,动态链接(DynamicLinking):

符号引用和直接引用在运行时进行解析和链接的过程,叫动态链接。

  • 一个方法调用另一个方法,或者一个类使用另一个类的成员变量时,需要知道其名字
  • 符号引用就相当于名字,这些被调用者的名字就存放在字节码文件里。
  • 名字是知道了,如何靠这个名字(符号引用)找到相应的类和方法需要解析成相应的直接引用,利用直接引用来准确地找到一些附加信息,并包含一个指向运行时常量池中该栈帧所属方法的引用,这个引用目的支持当前方法代码能够实现动态链接,在被编译到字节码文件时,所有变量和方法引用都作为符号引用(symbolic reference)存在常量池里

5,常量池:

所有的Token(类名、成员变量名在IL(一编程语言)的位置TokenPosition)、符号的引用(方法引用、成员变量应用等)

6,栈顶缓存:

操作数存储在内存,频繁读写影响速度,直接提出栈顶缓存,栈是从高地址向低地址延伸,一个函数的栈帧用ebpesp寄存器划定范围,ebp指向当前的栈帧的底部,esp指向顶部.ebp帧指针,esp栈指针.在函数调用的过程中,有函数的调用者(caller)和被调用的函数(callee)

概念三:stub桩代码(打断点也这意思?)


上图栈帧都存在一个方法表里 (Methodtable),表里每一项是该类型里每个方法的入口地址,调用方法就通过该表来查询入口地址并跳转过去.在刚好加载好的时候,方法里的项都指向触发JIT编译的stub.某个方法第一次被调用的时候,实际被调用到的就是这个前面的stub,他就负责触发JIT编译,等到JIT编译完成后将MethodTable里对应的项改为指向编译好的代码的入口地址,然后跳转到那个入口地址开始执行第一次调用.

概念四:IC内联缓存(inline caching)

VM在生成IL(一种编程语言)之前(没有进行编译优化)不会使用任何基于虚拟表和接口表的分发方式,而是直接使用内联缓存实现动态调用.

内联缓存背后的核心思想是将方法解析的结果缓存到对应调用点特定的缓存中。VM 使用的内联缓存机制包括:

  • 一个调用栈的特定缓存(RawICData object)会将接受者的类映射到一个方法,如果接收者有匹配到这个类,就应该调用这个方法。这个缓存应该存储一些辅助信息,比如调用频率计数器,他跟踪给定类在这个调用站点上出现的频率。
  • 一个共享查找存根(stub,感觉很难翻译),实现了方法的快速查找。这个存根通过查找给定缓存,来确定他是否包含接收者的类匹配的条目。如果这个条目被找到了,存根就会调用频率计数器+1,然后尾调回缓存方法。否则存根将会调用运行时系统中实现了方法调用逻辑的辅助器。如果方法解析成功,那么缓存将会被更新,后面的调用就会命中缓存而不是进入运行时系统

JIT 部分已经描述了与调用点相关的每个内联缓存由哪两部分组成:一个缓存的对象(即一个 RawICData)和一大块本机代码去调用(比如 InlineCacheStub)。在 JIT 模式下运行时只会更新自己的缓存。然而 AOT 的运行时可以根据内联缓存的状态,去选择替换缓存和调用本机代码。详情请参考
:https://juejin.cn/post/6844904192516046856

概念五:scope作用域

关联局部变量表LocalVariable,Slot

概念六:类Class中结构

field(属性、字段、域scope)、method(function)、token、library

Get,set方法(Function)属性,int name字段(Field)