内存模型
2016-02-12 10:20:34 0 举报
内存模型是一种抽象的概念,用于描述计算机系统中内存的组织结构和操作方式。它定义了程序在执行过程中对内存的访问方式,包括读写操作、地址映射以及并发访问的处理等。内存模型通常分为共享内存模型和分布式内存模型两种类型。共享内存模型中,多个处理器共享同一块物理内存,通过总线或缓存等方式进行通信和同步;而分布式内存模型中,每个处理器拥有独立的本地内存,并通过消息传递等方式进行通信和同步。内存模型的设计影响着多线程程序的正确性和性能,因此在编写并发程序时需要考虑内存模型的特性和限制。
作者其他创作
大纲/内容
C
D有副作用
内存对象
起始地址内存大小读写性
符号标志实际存储(符号化或者实值)
符号
........
Module
不会执行
Function
............
B
D
PC∧(S3==1)
无分支
有循环
LLVM pass
PC
A
更多的分支
内存安全检查
内存对象树
类
+ attribute1:type = defaultValue+ attribute2:type- attribute3:type
+ operation1(params):returnType- operation2(params)- operation3()
key是内存地址,value是内存对象
未优化bitcode
BasicBlock
有分支
实值
C也有副作用
优化后bitcode
A和B在CFG中是同一个但在执行状态树中地位不同
0 条评论
下一页