Swift在什么情况会发生内存访问冲突详解

前言

众所周知,Swift 是一门类型安全的语言,它会通过编译器报错来阻止你代码中不安全的行为。比如变量必须在使用之前声明、变量被销毁之后内存不能在访问、数组越界等问题。

Swift 会通过对于修改同一块内存,同一时间以互斥访问权限的方式(同一时间,只能有一个写权限),来确保你的代码不会发生内存访问冲突。虽然 Swift 是自动管理内存的,在大多数情况下你并不需要关心这个。但理解何种情况下会发生内存访问冲突也是十分必要的。

首先,来看一下什么是内存访问冲突。

内存访问冲突

当你设值或者读取变量的值得时候,就会访问内存。

var age = 10 // 写权限
print(age) // 读权限

当我们对同一块内存,同时进行读写操作时,会产生不可预知的错误。比如上面的 age,假如在你读取它值的期间有别的代码将它设为 20,那么你读取到的有可能是 10,也有可能是 20。这就产生了问题。

内存访问冲突:对同一块内存,同时进行读写操作,或者同时进行多个写入操作时,就会造成内存访问冲突。

了解了什么是内存访问冲突,下面来看下什么情况下回造成内存访问冲突。

In-Out 参数

当 In-Out 参数为全局变量,并且该变量在函数体内被修改时,就会造成内存访问冲突。比如下面的代码:

var age = 10

func increment(_ num: inout Int) { // step1
 num += age // step2
}
increment(&age)

increment(:) 在整个函数体内,对所有的 In-Out 参数都有写权限。在上述代码中,step1 已经获得了 age 的写权限,而 step2 有得到了 age 的读权限,这样就造成了同一块内存,同时进行了读写操作。从而造成了内存访问冲突。

上面的问题可以通过将 age 拷贝一份来解决:

// step1
var copyOfAge = age
increment(&copyOfAge)
age = copyOfAge

step1 将 age 的值拷贝到另一块内存上,这样在函数体内就是存在对 age 的读权限和对 copyOfAge 的写权限,因为 age 和 copyOfAge 是两块内存,所以就不会造成内存访问冲突。

结构体的 mutating 函数

对于结构体的 mutating 函数来说,它整个函数体都有 self 的写权限。

struct Person {
 var age: Int
 mutating func increment(_ num: inout Int) {
  age += num
 }
}

var p1 = Person(age: 10)
p1.increment(&p1.age)

上述的代码编译器会报错:Overlapping accesses to 'p1', but modification requires exclusive access; consider copying to a local variable。很明显这是一个内存访问冲突。

In-Out 参数获得了 p1 的写权限;mutating 函数也获得了 p1 的写权限。同一块内存,同时有两个写操作。造成内存访问冲突。可以通过同上的拷贝操作来解决。

值类型的属性

对于结构体、枚举、元祖等值类型来说,修改它们的属性就相当于修改它们整个的值。比如下面的代码:

func increment(_ num1: inout Int, _ num2: inout Int) {
 print(num1 + num2)
}

var tuple = (age: 10, height: 20)
increment(&tuple.age, &tuple.height)

&tuple.age 拿到了 tuple 的写权限,&tuple.height 又拿了 tuple 的写权限。同一块内存,同时有两个写操作。造成内存访问冲突。

这个问题可以通过局部变量来解决:

func someFunction() {
 var tuple = (age: 10, height: 20)
 increment(&tuple.age, &tuple.height)
}

因为在 someFunction() 函数里,age 和 height 没有产生任何的交互(没有在其期间去读取或者写入 age 和 height),所以编译器可以保证内存安全。

PS:关于评论区的问题,在 someFunction() 函数里没有任何交互是什么意思?

答:在someFunction() 里,编译器可以保证没有别的线程来读取或者修改 tuple。因此,可以保证内存安全。而对于全局变量,编译器无法保证是否有别的线程在读取或者修改。

下面的代码就是在函数体内有交互的代码,虽然是局部变量,但涉及多个线程修改 tuple 的值,因此会造成内存访问冲突:

func someFunction() {
 var tuple = (age: 10, height: 20)

 DispatchQueue.main.async {
  tuple.age += 10
 }

 DispatchQueue.main.async {
  increment(&tuple.age, &tuple.height)
 }
}

总结

对同一块内存,同时进行读写操作,或者同时进行多个写入操作时,就会造成内存访问冲突。

会造成内存访问冲突的情况:

  • In-Out 为全局参数,并且在函数体内修改了它。
  • 结构体的 mutating 函数内修改结构体的值。
  • 同一值类型的多个属性当做函数的 In-Out 参数。

到此这篇关于Swift在什么情况会发生内存访问冲突的文章就介绍到这了,更多相关Swift内存访问冲突内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们!

(0)

相关推荐

  • Swift编程中用以管理内存的自动引用计数详解

    Swift 内存管理功能是通过使用自动引用计数(ARC)来处理.ARC用于初始化和取消初始化所述系统资源,从而释放使用的类实例的存储器空间当实例不再需要.ARC跟踪代码的实例有效地管理存储资源之间的关系的信息. ARC的功能 在每一次一个新的类实例被创建时ARC分配一块内存以存储信息 init() 关于实例类型和其值的信息存储在存储器中 当类实例不再需要它自动由 deinit() 释放,用于进一步类实例的存储和检索的存储空间 ARC保存在磁道当前参照类实例的属性,常量和变量,使得 deinit(

  • 详谈swift内存管理中的引用计数

    在swift中,每一个对象都有生命周期,当生命周期结束会调用deinit()函数进行释放内存空间. 观察这一段代码: class Person{ var name: String var pet: Pet? init(name: String){ self.name = name print("Person", name, "is initialized") } init(name: String, petName: String){ self.name = nam

  • 深入讲解Swift的内存管理

    前言 LLVM编译器的好:Swift的内存管理除了要注意引用循环之外,几乎全部被LLVM编译器包揽,不需要开发人员操心. Swift 是自动管理内存的,这也就是说,我们不再需要操心内存的申请和分配.当我们通过初始化创建一个对象时,Swift 会替我们管理和分配内存.而释放的原则遵循了自动引用计数 (ARC) 的规则:当一个对象没有引用的时候,其内存将会被自动回收.这套机制从很大程度上简化了我们的编码,我们只需要保证在合适的时候将引用置空 (比如超过作用域,或者手动设为 nil 等),就可以确保内

  • 详解 swift3.0 可选绑定共用同一块内存空间的实例

    详解 swift3.0 可选绑定共用同一块内存空间的实例 示例代码: ljTempModel = UserModel.init(userName: "sww", userID: 12, phone: "123", email: "deew") ljTempModel?.ljArray.append("sww") print("可选绑定前:\(ljTempModel?.ljArray)") //可选绑定成功,

  • Swift在什么情况会发生内存访问冲突详解

    前言 众所周知,Swift 是一门类型安全的语言,它会通过编译器报错来阻止你代码中不安全的行为.比如变量必须在使用之前声明.变量被销毁之后内存不能在访问.数组越界等问题. Swift 会通过对于修改同一块内存,同一时间以互斥访问权限的方式(同一时间,只能有一个写权限),来确保你的代码不会发生内存访问冲突.虽然 Swift 是自动管理内存的,在大多数情况下你并不需要关心这个.但理解何种情况下会发生内存访问冲突也是十分必要的. 首先,来看一下什么是内存访问冲突. 内存访问冲突 当你设值或者读取变量的

  • Linux监控cpu以及内存使用情况之top命令(详解)

    top命令是Linux下常用的性能分析工具,比如cpu.内存的使用,能够实时显示系统中各个进程的资源占用状况,类似于Windows的任务管理器. top显示系统当前的进程和其他状况,是一个动态显示过程,即可以通过用户按键来不断刷新当前状态.如果在前台执行该命令,它将独占前台,直到用户终止该程序为止. 比较准确的说,top命令提供了实时的对系统处理器的状态监视.它将显示系统中CPU最"敏感"的任务列表.该命令可以按CPU使用.内存使用和执行时间对任务进行排序:而且该命令的很多特性都可以通

  • C++ 类中有虚函数(虚函数表)时 内存分布详解

    虚函数表 对C++ 了解的人都应该知道虚函数(Virtual Function)是通过一张虚函数表(Virtual Table)来实现的.简称为V-Table.在这个表中,主是要一个类的虚函数的地址表,这张表解决了继承.覆盖的问题,保证其容真实反应实际的函数.这样,在有虚函数的类的实例中这个表被分配在了这个实例的内存中,所以,当我们用父类的指针来操作一个子类的时候,这张虚函数表就显得由为重要了,它就像一个地图一样,指明了实际所应该调用的函数. 这里我们着重看一下这张虚函数表.C++的编译器应该是

  • JVM内存管理之JAVA语言的内存管理详解

    引言 内存管理一直是JAVA语言自豪与骄傲的资本,它让JAVA程序员基本上可以彻底忽略与内存管理相关的细节,只专注于业务逻辑.不过世界上不存在十全十美的好事,在带来了便利的同时,也因此引入了很多令人抓狂的内存溢出和泄露的问题. 可怕的事情还不只如此,有些使用其它语言开发的程序员,给JAVA程序员扣上了一个"不懂内存"的帽子,这着实有点让人难以接受.毕竟JAVA当中没有malloc和delete.没有析构函数.没有指针,刚开始接触JAVA的程序员们又怎么可能接触内存这一部分呢,更何况有不

  • Java中由substring方法引发的内存泄漏详解

    内存溢出(out of memory ) :通俗的说就是内存不够用了,比如在一个无限循环中不断创建一个大的对象,很快就会引发内存溢出. 内存泄漏(leak of memory) :是指为一个对象分配内存之后,在对象已经不在使用时未及时的释放,导致一直占据内存单元,使实际可用内存减少,就好像内存泄漏了一样. 由substring方法引发的内存泄漏 substring(int beginIndex, int endndex )是String类的一个方法,但是这个方法在JDK6和JDK7中的实现是完全

  • Java程序执行过程及内存机制详解

    本讲将介绍Java代码是如何一步步运行起来的,其中涉及的编译器,类加载器,字节码校验器,解释器和JIT编译器在整个过程中是发挥着怎样的作用.此外还会介绍Java程序所占用的内存是被如何管理的:堆.栈和方法区都各自负责存储哪些内容.最后用一小块代码示例来帮助理解Java程序运行时内存的变化. Java程序执行过程 步骤 1: 写源代码,源代码将以.java的文件格式保存在电脑硬盘中. 步骤 2: 编译器(compiler)检查是否存在编译期错误(例如缺少分号,关键字拼写错误等).若通过检测,编译器

  • C++ 动态内存分配详解(new/new[]和delete/delete[])

    一.为什么需要动态内存分配? 在C++程序中,所有内存需求都是在程序执行之前通过定义所需的变量来确定的. 但是可能存在程序的内存需求只能在运行时确定的情况. 例如,当需要的内存取决于用户输入. 在这些情况下,程序需要动态分配内存,C ++语言将运算符new和delete合成在一起. (1)特点 1.C++中通过new关键字进行动态内存申请 2.C++中的动态内存分配是基于类型进行的 3.delete关键字用于内存释放 (2)语法 ①变量申请: Type* pointer = new Type;

  • C语言与C++中内存管理详解

    目录 内存分布 动态内存管理方式-堆区 C语言动态内存管理 C++动态内存管理 new和delete的用法 operator new与operator delete函数 new和delete的实现原理 定位new表达式 高频面试题 重点new/delete和malloc/free的区别 内存泄漏 内存分布 主要段及其分布 ​ 每个程序运行起来以后,它将拥有自己独立的虚拟地址空间.这个虚拟地址空间的大小与操作系统的位数有关系.32位硬件平台的虚拟地址空间的地址可以从0~2^32-1,即0x0000

  • C++内存管理详解使用方式

    目录 c++中内存管理的方式 new和delete操作符的使用方式 operator new和operator delete函数 new和delete的原理内部实现 内置类型 自定义类型 c++中内存管理的方式 在c语言中,我们拥有malloc和free等函数可以对内存进行动态管理 但是总体来说不是很方便,所以c++拥有了一种新的方式来对内存进行管理:通过new和delete操作符来对内存进行动态分配 new和delete操作符的使用方式 new操作符的使用方式: #include<iostre

  • C语言程序中结构体的内存对齐详解

    目录 一.为什么存在内存对齐 二.结构体的内存对齐四规则 三.举例 一.为什么存在内存对齐 1.平台原因(移植原因): 不是所有的硬件平台都能访问任意地址上的任意数据的:某些硬件平台只能在某些地址处取某些特定类型的数据,否则抛出硬件异常. 2. 性能原因: 数据结构(尤其是栈)应该尽可能地在自然边界上对齐. 原因在于,为了访问未对齐的内存,处理器需要作两次内存访问:而对齐的内存访问仅需要一次访问. 总的来说结构体的内存对齐是拿空间来换取时间的做法. 二.结构体的内存对齐四规则 默认情况:默认的对

随机推荐