Linux- 由映射文件I/O问题引出的SIGBUS 空洞文件(Sparse File)

2023-10-27 04:01

本文主要是介绍Linux- 由映射文件I/O问题引出的SIGBUS 空洞文件(Sparse File),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

SIGBUS

SIGBUS是一个在Unix-like操作系统中的信号,它通常表示非法访问内存,而这种非法访问的原因与常见的SIGSEGV(段错误)有所不同。以下是可能导致SIGBUS的常见情况:

  1. 未对齐的内存访问:某些硬件平台要求数据(如整数或浮点数)在内存中以特定的地址对齐(如2或4的倍数)。如果程序试图在这些平台上访问未对齐的数据,就可能收到SIGBUS

  2. 映射文件I/O问题:使用mmap()系统调用映射文件到内存并尝试访问文件后面的内容可能会产生SIGBUS。例如,如果文件在被映射后被截断,那么当程序尝试访问被截断部分的数据时,就会得到SIGBUS

  3. 硬件故障:虽然不常见,但内存损坏或其他硬件问题有时可能导致SIGBUS

  4. 堆栈溢出:在某些系统上,尝试超出预分配的堆栈空间可能会导致SIGBUS,而不是更常见的SIGSEGV

  5. 访问不存在的内存页:如果程序尝试访问一个标记为不存在的内存页,那么可能会得到SIGBUS

应对SIGBUS的策略与处理其他运行时错误类似,需要检查代码以找出可能的问题,并使用调试工具帮助诊断。


映射文件I/O问题

当使用 mmap() 系统调用将文件映射到进程的内存地址空间时,基本上是在告诉操作系统:“请将这个文件的内容让我像内存一样直接访问它。” 实际的文件内容并不会立即加载到物理内存中;相反,操作系统会设置页面表条目以反映文件的内容,然后只在实际访问这些地址时才从磁盘加载内容。这被称为按需分页(demand paging)。

考虑以下场景:

  1. 使用 mmap() 映射了一个文件,长度为100字节。
  2. 接着,另一个进程(或可能是同一个进程的另一个部分)截断该文件,使其长度变为50字节。
  3. 现在,我们的进程尝试访问映射中的第60字节。

由于该字节已经不再文件中,操作系统不知道应该返回什么。这时,它会发送 SIGBUS 信号给进程。这样,进程就知道它试图访问的数据不再存在。

为什么不使用 SIGSEGV(通常用于无效的内存访问)呢?因为这不是一个真正的段错误。地址本身是有效的,但由于文件被截断,该地址不再反映任何文件内容。为了区分这两种情况,操作系统选择发送 SIGBUS

如何处理这种情况?通常,我们需要确保在使用 mmap() 映射的文件不会在需要它时被其他进程或线程截断。如果这种情况可能发生,我们的程序需要能够适当地处理 SIGBUS,或者至少在这种情况下能够优雅地失败。

在UNIX和类UNIX系统上,ftruncate() 函数经常与文件系统上的"空洞"(holes)相关联。下面,我们来详细了解一下。


空洞文件(Sparse File)

空洞文件(sparse file)是一个文件,其中有些部分没有分配存储空间,通常这些部分的内容都被视为零。这些未分配空间的部分就是所谓的“空洞”。这意味着,如果我们有一个大部分由零组成的非常大的文件,只为其中的非零部分分配磁盘空间,而为零部分不分配,那么该文件在磁盘上实际占用的空间会小于其表面大小。文件系统知道这些“空洞”并会在需要时适当地处理它们。

使用ftruncate()创建空洞文件:

ftruncate() 函数可以调整已打开文件的大小。如果我们使用 ftruncate() 将文件扩展到比其当前大小更大的大小,新添加的部分不会有实际磁盘空间与之关联,从而形成一个空洞。

例如,考虑以下的程序段:

int fd = open("sparsefile", O_RDWR | O_CREAT, 0666);
ftruncate(fd, 1024 * 1024); // 将文件大小设置为1MB
close(fd);

在上面的代码执行后,sparsefile 的大小会报告为1MB,但它在磁盘上可能实际上占用的空间远远小于这个数值,因为文件中的内容全都是未初始化的,并被视为零。这样,文件系统就为我们创建了一个空洞文件。

为什么要使用空洞文件?

  1. 节省空间:特别是在处理大量包含零的数据时,使用空洞文件可以节省大量磁盘空间。

  2. 快速文件创建:如果我们知道将创建一个非常大的文件,但一开始只需要使用其中的一小部分,使用空洞文件可以避免预先分配大量不必要的磁盘空间。

需要注意的是,不是所有的文件系统都支持空洞文件,但许多现代文件系统(如ext3、ext4和xfs)都支持。

这篇关于Linux- 由映射文件I/O问题引出的SIGBUS 空洞文件(Sparse File)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/285921

相关文章

linux-基础知识3

打包和压缩 zip 安装zip软件包 yum -y install zip unzip 压缩打包命令: zip -q -r -d -u 压缩包文件名 目录和文件名列表 -q:不显示命令执行过程-r:递归处理,打包各级子目录和文件-u:把文件增加/替换到压缩包中-d:从压缩包中删除指定的文件 解压:unzip 压缩包名 打包文件 把压缩包从服务器下载到本地 把压缩包上传到服务器(zip

好题——hdu2522(小数问题:求1/n的第一个循环节)

好喜欢这题,第一次做小数问题,一开始真心没思路,然后参考了网上的一些资料。 知识点***********************************无限不循环小数即无理数,不能写作两整数之比*****************************(一开始没想到,小学没学好) 此题1/n肯定是一个有限循环小数,了解这些后就能做此题了。 按照除法的机制,用一个函数表示出来就可以了,代码如下

hdu1043(八数码问题,广搜 + hash(实现状态压缩) )

利用康拓展开将一个排列映射成一个自然数,然后就变成了普通的广搜题。 #include<iostream>#include<algorithm>#include<string>#include<stack>#include<queue>#include<map>#include<stdio.h>#include<stdlib.h>#include<ctype.h>#inclu

Linux 网络编程 --- 应用层

一、自定义协议和序列化反序列化 代码: 序列化反序列化实现网络版本计算器 二、HTTP协议 1、谈两个简单的预备知识 https://www.baidu.com/ --- 域名 --- 域名解析 --- IP地址 http的端口号为80端口,https的端口号为443 url为统一资源定位符。CSDNhttps://mp.csdn.net/mp_blog/creation/editor

【Python编程】Linux创建虚拟环境并配置与notebook相连接

1.创建 使用 venv 创建虚拟环境。例如,在当前目录下创建一个名为 myenv 的虚拟环境: python3 -m venv myenv 2.激活 激活虚拟环境使其成为当前终端会话的活动环境。运行: source myenv/bin/activate 3.与notebook连接 在虚拟环境中,使用 pip 安装 Jupyter 和 ipykernel: pip instal

购买磨轮平衡机时应该注意什么问题和技巧

在购买磨轮平衡机时,您应该注意以下几个关键点: 平衡精度 平衡精度是衡量平衡机性能的核心指标,直接影响到不平衡量的检测与校准的准确性,从而决定磨轮的振动和噪声水平。高精度的平衡机能显著减少振动和噪声,提高磨削加工的精度。 转速范围 宽广的转速范围意味着平衡机能够处理更多种类的磨轮,适应不同的工作条件和规格要求。 振动监测能力 振动监测能力是评估平衡机性能的重要因素。通过传感器实时监

缓存雪崩问题

缓存雪崩是缓存中大量key失效后当高并发到来时导致大量请求到数据库,瞬间耗尽数据库资源,导致数据库无法使用。 解决方案: 1、使用锁进行控制 2、对同一类型信息的key设置不同的过期时间 3、缓存预热 1. 什么是缓存雪崩 缓存雪崩是指在短时间内,大量缓存数据同时失效,导致所有请求直接涌向数据库,瞬间增加数据库的负载压力,可能导致数据库性能下降甚至崩溃。这种情况往往发生在缓存中大量 k

6.1.数据结构-c/c++堆详解下篇(堆排序,TopK问题)

上篇:6.1.数据结构-c/c++模拟实现堆上篇(向下,上调整算法,建堆,增删数据)-CSDN博客 本章重点 1.使用堆来完成堆排序 2.使用堆解决TopK问题 目录 一.堆排序 1.1 思路 1.2 代码 1.3 简单测试 二.TopK问题 2.1 思路(求最小): 2.2 C语言代码(手写堆) 2.3 C++代码(使用优先级队列 priority_queue)

Linux_kernel驱动开发11

一、改回nfs方式挂载根文件系统         在产品将要上线之前,需要制作不同类型格式的根文件系统         在产品研发阶段,我们还是需要使用nfs的方式挂载根文件系统         优点:可以直接在上位机中修改文件系统内容,延长EMMC的寿命         【1】重启上位机nfs服务         sudo service nfs-kernel-server resta