AskOverflow.Dev

AskOverflow.Dev Logo AskOverflow.Dev Logo

AskOverflow.Dev Navigation

  • 主页
  • 系统&网络
  • Ubuntu
  • Unix
  • DBA
  • Computer
  • Coding
  • LangChain

Mobile menu

Close
  • 主页
  • 系统&网络
    • 最新
    • 热门
    • 标签
  • Ubuntu
    • 最新
    • 热门
    • 标签
  • Unix
    • 最新
    • 标签
  • DBA
    • 最新
    • 标签
  • Computer
    • 最新
    • 标签
  • Coding
    • 最新
    • 标签
主页 / coding / 问题 / 77975712
Accepted
wxz
wxz
Asked: 2024-02-11 13:31:25 +0800 CST2024-02-11 13:31:25 +0800 CST 2024-02-11 13:31:25 +0800 CST

操作系统缓存/内存层次结构:写入新文件如何工作?

  • 772

我知道读/加载操作理论上应该如何在操作系统中工作。读取指令会导致 TLB 查找,然后查找高速缓存,然后查找主内存,最后如果在前一级别不满足则从磁盘读取。

新文件的写操作如何进行?显然,当写入现有文件时,可能会先读取该文件,然后写入相应的缓存行。但新文件不会有任何可写入的缓存行。

CPU 是否能够“创建”一个尚未由写入支持内存的新缓存行?或者CPU是否必须告诉RAM创建一些空内存,然后将空内存加载到缓存行中,以便它可以写入那些空缓存行?这意味着所有写入操作都需要事先进行加载操作。

memory-management
  • 1 1 个回答
  • 34 Views

1 个回答

  • Voted
  1. Best Answer
    Peter Cordes
    2024-02-12T06:12:33+08:002024-02-12T06:12:33+08:00

    当写入一个新文件时,内核必须分配一页物理内存来保存文件数据。保存文件内容(包括干净数据和脏数据(尚未写入磁盘))的内核页面称为“页面缓存”。这与CPU缓存无关。

    物理内存是连续存在的,并不是分配时产生的。分配只是一种软件机制,用于决定哪些存储/负载将去往何处。CPU缓存基于物理地址进行缓存。(一些旧的CPU已经使用了虚拟索引虚拟标记的L1缓存,至少是一些旧的非x86 CPU,因此当页表映射发生变化时,软件内存分配必须使虚拟缓存失效。现代Intel uop缓存实际上是这样寻址的,失效是在硬件中完成的。)

    这意味着所有写入操作都需要事先进行加载操作。

    是的,在该核心拥有缓存行的 MESI 独占所有权之前,存储无法将存储缓冲区提交到缓存。通常,这涉及执行“读取所有权”以便可以更新内容。如果一次存储整个高速缓存行,则 CPU 核心可能会使其他高速缓存中的副本无效,而无需花费 DRAM 带宽来读取旧值,例如使用 x86 NT 存储(非临时的,例如 )_mm_stream_ps或rep stos或rep movs。有关 no-RFO 存储的更多信息,请参阅memcpy 的增强型 REP MOVSB 。


    例子: echo "hello" > new_file.txt

    在像 Linux 这样的 POSIX 系统上,您的 shell 将进行两个系统调用:

    • fd = open("new_file.txt", O_CREAT|O_TRUNC|O_WRONLY, 0666)。如果 inode 尚不存在,则会创建它(如果不是 tmpfs,文件系统会将一些元数据 I/O 排队以在某个时刻进入磁盘,通常是在超时后,以防稍后发生更多元数据操作)。操作系统还缓存 VFS(虚拟文件系统)结构,而不仅仅是文件数据。无论如何,文件大小仍然为零,因此甚至还不需要分配数据的页面缓存页面。如果之前有数据,O_TRUNC 会丢弃它,并释放页面缓存中所有热页。

    • write(fd, "hello\n", 6);- 再次假设Linux,sys_write内核函数(使用用户空间传递的参数调用)将注意到它需要分配一个物理页作为保存该文件数据的页缓存页。(也许将其归零,或者至少将其不打算复制到的部分归零,因为块设备的 I/O 通常在 512B 或 4K 扇区中工作,并且最好不要将过时的内核数据复制到磁盘上,特别是如果它可能会是非特权用户的 USB 记忆棒。)

      然后它会调用copy_from_user从用户空间缓冲区(包含“hello\n”)复制到该页面。我们在内核中,因此页面不需要映射到用户空间虚拟地址,并且 Linux 的内存映射(例如,对于 x86-64)将所有物理内存直接映射到一系列内核虚拟地址- 空间,所以virt_address = phys_address + page_offset_base. (除了像 32 位 x86 这样的系统,它可能拥有比内核虚拟地址空间更多的物理内存,因此 highmem 恶作剧......Linus Torvalds 对 PAE 对于内核软件来说有多糟糕有一个很好的咆哮,一路解释了一些操作系统原理. 并非所有内核都希望始终保持所有内存映射,但 Linux 确实这样做,因为它简单且高效。)

      copy_from_user将检查用户地址的有效性(例如,用户空间无法传递内核地址以使内核将任意数据复制到文件中!),并且它当前存在于硬件页表中,因此读取它不会导致 #PF 页面错误异常。

      实际复印将作为rep movsb一份memcpy(除非copy_from_user特殊情况小副本)。对于这个小的 6 字节副本,它可能不会尝试执行任何无 RFO 特殊操作,因此它本质上相当于mov rax, [rsi]/mov [rdi], rax如果它是 8 字节副本。

    内核将其存储到新分配的页面中并不是“特殊的”,这就像当您的用户空间代码将一段时间没有触及的内存存储到内存中时发生的情况(但不会触发页面)过错)。

    假设该物理页最近没有被该核心写入,则该存储将至少在 L1d 和 L2 缓存中丢失,并且该核心将发送一个 RFO 以获取该行的副本以及所有权。收到回复后,存储缓冲区条目可以提交到 L1d 缓存。RFO由硬件完成;执行的代码只是rep movsb(或等效的mov [rdi], rax)

    实际上,如果内核在分配该页时只是将该页清零,rep stosb则会使用无 RFO 存储协议来使任何其他可能已缓存该页行的内核中的任何高速缓存行无效,但是(与 NT 存储不同)数据在缓存中将是热的,已经处于 MESI 修改状态,因此存储者copy_from_user将已经能够提交而无需进一步的核外通信。

    (AMD 有一条clzero指令,将整个缓存行清零为 NT 存储,这样不会污染缓存,但页面通常在清零后立即使用,就像在本例中一样。)

    • 1

相关问题

Sidebar

Stats

  • 问题 205573
  • 回答 270741
  • 最佳答案 135370
  • 用户 68524
  • 热门
  • 回答
  • Marko Smith

    Vue 3:创建时出错“预期标识符但发现‘导入’”[重复]

    • 1 个回答
  • Marko Smith

    为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行?

    • 1 个回答
  • Marko Smith

    具有指定基础类型但没有枚举器的“枚举类”的用途是什么?

    • 1 个回答
  • Marko Smith

    如何修复未手动导入的模块的 MODULE_NOT_FOUND 错误?

    • 6 个回答
  • Marko Smith

    `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它?

    • 3 个回答
  • Marko Smith

    何时应使用 std::inplace_vector 而不是 std::vector?

    • 3 个回答
  • Marko Smith

    在 C++ 中,一个不执行任何操作的空程序需要 204KB 的堆,但在 C 中则不需要

    • 1 个回答
  • Marko Smith

    PowerBI 目前与 BigQuery 不兼容:Simba 驱动程序与 Windows 更新有关

    • 2 个回答
  • Marko Smith

    AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String”

    • 1 个回答
  • Marko Smith

    我正在尝试仅使用海龟随机和数学模块来制作吃豆人游戏

    • 1 个回答
  • Martin Hope
    Aleksandr Dubinsky 为什么 InetAddress 上的 switch 模式匹配会失败,并出现“未涵盖所有可能的输入值”? 2024-12-23 06:56:21 +0800 CST
  • Martin Hope
    Phillip Borge 为什么这个简单而小的 Java 代码在所有 Graal JVM 上的运行速度都快 30 倍,但在任何 Oracle JVM 上却不行? 2024-12-12 20:46:46 +0800 CST
  • Martin Hope
    Oodini 具有指定基础类型但没有枚举器的“枚举类”的用途是什么? 2024-12-12 06:27:11 +0800 CST
  • Martin Hope
    sleeptightAnsiC `(表达式,左值) = 右值` 在 C 或 C++ 中是有效的赋值吗?为什么有些编译器会接受/拒绝它? 2024-11-09 07:18:53 +0800 CST
  • Martin Hope
    The Mad Gamer 何时应使用 std::inplace_vector 而不是 std::vector? 2024-10-29 23:01:00 +0800 CST
  • Martin Hope
    Chad Feller 在 5.2 版中,bash 条件语句中的 [[ .. ]] 中的分号现在是可选的吗? 2024-10-21 05:50:33 +0800 CST
  • Martin Hope
    Wrench 为什么双破折号 (--) 会导致此 MariaDB 子句评估为 true? 2024-05-05 13:37:20 +0800 CST
  • Martin Hope
    Waket Zheng 为什么 `dict(id=1, **{'id': 2})` 有时会引发 `KeyError: 'id'` 而不是 TypeError? 2024-05-04 14:19:19 +0800 CST
  • Martin Hope
    user924 AdMob:MobileAds.initialize() - 对于某些设备,“java.lang.Integer 无法转换为 java.lang.String” 2024-03-20 03:12:31 +0800 CST
  • Martin Hope
    MarkB 为什么 GCC 生成有条件执行 SIMD 实现的代码? 2024-02-17 06:17:14 +0800 CST

热门标签

python javascript c++ c# java typescript sql reactjs html

Explore

  • 主页
  • 问题
    • 最新
    • 热门
  • 标签
  • 帮助

Footer

AskOverflow.Dev

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

Language

  • Pt
  • Server
  • Unix

© 2023 AskOverflow.DEV All Rights Reserve