mirror of
https://github.com/espressif/esp-idf.git
synced 2024-10-05 20:47:46 -04:00
132 lines
5.5 KiB
ReStructuredText
132 lines
5.5 KiB
ReStructuredText
内存同步
|
||
********
|
||
|
||
:link_to_translation:`en:[English]`
|
||
|
||
.. toctree::
|
||
:maxdepth: 1
|
||
|
||
|
||
简介
|
||
====
|
||
|
||
.. only:: SOC_PSRAM_DMA_CAPABLE
|
||
|
||
{IDF_TARGET_NAME} 可以通过以下方式访问其连接的 PSRAM：
|
||
|
||
- CPU
|
||
- DMA
|
||
|
||
.. only:: SOC_CACHE_INTERNAL_MEM_VIA_L1CACHE
|
||
|
||
{IDF_TARGET_NAME} 可以通过以下方式访问其内存：
|
||
|
||
- CPU
|
||
- DMA
|
||
|
||
默认情况下，CPU 通过 cache 访问上述内存，而 DMA 则可以直接访问内存。
|
||
|
||
这可能导致 cache 数据不一致的问题：
|
||
|
||
- 当 DMA 事务更改内存块的内容，并且该内容已经加载到 cache 中时：
|
||
|
||
- CPU 可能会读取陈旧数据。
|
||
- cache 中的陈旧数据可能会被写回到内存中，而 DMA 事务更新的新数据将被覆盖。
|
||
|
||
- 当 CPU 更改了地址的内容，内容已经加载至 cache 中，但还未存在于内存中（cache 会根据自己的策略将内容写回内存）时：
|
||
|
||
- 下一个 DMA 事务从内存中读取此内容，将会获取陈旧数据。
|
||
|
||
解决此类 cache 数据不一致问题的常见方法有三种：
|
||
|
||
.. list::
|
||
|
||
1. 基于硬件的 cache 一致性互连，{IDF_TARGET_NAME} 没有此功能。
|
||
2. 使用来自 non-cacheable 内存的 DMA 缓冲区（CPU 绕过 cache 访问的内存被称为 non-cacheable 内存）。
|
||
3. 显式调用内存同步 API 将 cache 中的内容写回到内存，或使 cache 中的内容无效化。
|
||
|
||
|
||
内存同步驱动程序
|
||
================
|
||
|
||
建议使用 ESP-IDF 的 `esp_mm` 组件所提供的内存同步 API :cpp:func:`esp_cache_msync` 来处理此类 cache 数据不一致的问题。
|
||
|
||
|
||
驱动程序的概念
|
||
--------------
|
||
|
||
cache 与内存同步的方向：
|
||
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_C2M`，用于从 cache 到内存的同步。
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_M2C`，用于从内存到 cache 的同步。
|
||
|
||
cache 与内存同步的类型：
|
||
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_TYPE_DATA`，用于同步到数据地址区域。
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_TYPE_INST`，用于同步到指令地址区域。
|
||
|
||
|
||
驱动程序的行为
|
||
--------------
|
||
|
||
调用 :cpp:func:`esp_cache_msync`，可以同步 cache 和内存。第一个参数 `addr` 和第二个参数 `size` 共同描述了要同步的内存区域。关于第三个参数 `flags`：
|
||
|
||
.. list::
|
||
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_C2M`。使用此标志，指定地址区域中的内容将被写回到内存中。这一方向通常在 CPU 更新地址内容 **之后** 使用（例如对地址执行 memset 后），且需要在 DMA 对同一地址进行操作 **之前** 使用。
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_M2C`。使用此标志，指定地址区域中的内容在 cache 中将无效化。这一方向通常在 DMA 更新地址内容 **之后** 使用，且需要在 CPU 将操作读取到同一地址 **之前** 使用。
|
||
|
||
上述两个标志用于选择同步的方向，不能同时使用。如果两个标志都未使用， :cpp:func:`esp_cache_msync` 将默认选择 :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_C2M`。
|
||
|
||
.. list::
|
||
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_TYPE_DATA`。
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_TYPE_INST`。
|
||
|
||
上述两个标志能帮助选择同步地址的类型，不能同时使用，且如果没有用其中任何一个，则 :cpp:func:`esp_cache_msync` 将默认选择 :c:macro:`ESP_CACHE_MSYNC_FLAG_TYPE_DATA`。
|
||
|
||
|
||
.. list::
|
||
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_INVALIDATE`。将特定地址区域写回内存后，可使用此标志触发区域内 cache 失效。此标志主要用于 :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_C2M` 方向。设置 :c:macro:`ESP_CACHE_MSYNC_FLAG_INVALIDATE` 标志对 :c:macro:`ESP_CACHE_MSYNC_FLAG_DIR_M2C` 方向不会产生任何效果。
|
||
- :c:macro:`ESP_CACHE_MSYNC_FLAG_UNALIGNED`。此标志会强制 :cpp:func:`esp_cache_msync` API 在不检查地址对齐和大小对齐的情况下执行同步，详情请参阅下文 `地址对齐的要求` 章节。
|
||
|
||
|
||
地址对齐的要求
|
||
==============
|
||
|
||
使用 :cpp:func:`esp_cache_msync` 时，对地址和大小（以字节为单位）存在来自 cache 的对齐要求。
|
||
|
||
- 起始地址和大小都符合 cache 与内存同步对齐要求的地址区域被称为 **对齐地址区域**。
|
||
- 起始地址或大小不符合 cache 与内存同步对齐要求的地址区域被称为 **非对齐地址区域**。
|
||
|
||
默认情况下，如果指定了非对齐地址区域，则 :cpp:func:`esp_cache_msync` 将报错 :c:macro:`ESP_ERR_INVALID_ARG`，并告知所需的对齐方式。
|
||
|
||
|
||
有关地址对齐要求的警告
|
||
----------------------
|
||
|
||
可以通过设置 :c:macro:`ESP_CACHE_MSYNC_FLAG_UNALIGNED` 标志跳过此类检查。但请注意，使用此标志需谨慎，因为在非对齐地址区域内同步 cache 和内存可能会在无形中破坏内存。
|
||
|
||
举个例子，假设：
|
||
|
||
- 对齐要求为 0x40 字节。
|
||
- 调用 :cpp:func:`esp_cache_msync`，并使用 `ESP_CACHE_MSYNC_FLAG_DIR_M2C | ESP_CACHE_MSYNC_FLAG_UNALIGNED` 标志，指定的地址区域为 0x4000_0020 ~ 0x4000_0060（详见下图中的 **data C**）。
|
||
|
||
上述设置将触发地址区域 0x4000_0000 ~ 0x4000_0080 cache 失效，详见下图中的 **sync item0** 和 **sync item1**。
|
||
|
||
如果 0x4000_0000 ~ 0x4000_0020 中的内容（下图中的 **data A**）或 0x4000_0060 ~ 0x4000_0080 中的内容（下图中的 **data B**）尚未写回到内存，则 **data A** 和 **data B** 将被丢弃。
|
||
|
||
.. image:: /../_static/diagrams/mmu/cache_align_issue.png
|
||
:scale: 80 %
|
||
:align: center
|
||
|
||
|
||
API 参考
|
||
========
|
||
|
||
API 参考 - ESP Msync 驱动程序
|
||
-----------------------------
|
||
|
||
.. include-build-file:: inc/esp_cache.inc
|