RISC-V Design · All levels

PMP and Physical Memory Protection Domains: Worked Example

Worked Example for PMP and Physical Memory Protection Domains.

Worked example

Worked Example for PMP and Physical Memory Protection Domains is anchored on Unauthorized-access block rate, PMP rule evaluation latency, and coverage of privilege-domain isolation tests.. Convert observations into mechanism-backed decisions with explicit ownership.

A regression flags Unauthorized-access block rate, PMP rule evaluation latency, and coverage of privilege-domain isolation tests.. Strong closure isolates first failing mechanism, proves causality, applies one bounded change, and validates blast radius.

System view

diagram

RISC-V PIPELINE DIAGRAM - PMP and Physical Memory Protection Domains

PC -> IF -> ID -> EX -> MEM -> WB
      |     |      |      |      |
  i-cache decode  ALU/BR  LSU    regfile write
              \   |
               +-> branch resolve + redirect

Hot paths:
  - branch + load-use dependencies in ID/EX
  - memory latency stretching MEM stage
  - writeback arbitration for integer/vector units

Focus: keep control hazards predictable

Evidence matrix

diagram

RISC-V EVIDENCE MATRIX - PMP and Physical Memory Protection Domains

+--------------------------+--------------------------------+--------------------------------+---------------------------+
| Evidence                 | Tells you                      | Does not prove                 | Next action               |
+--------------------------+--------------------------------+--------------------------------+---------------------------+
| perf counter timeline    | where regression appears       | exact mechanism causality      | correlate with trace      |
| decode/control dump      | control intent per instruction | pipeline side-effect ordering  | inspect retire semantics  |
| trap + CSR logs          | privilege/fault behavior       | performance bottleneck alone   | pair with CPI buckets     |
| MMU/TLB walk trace       | translation behavior           | full system QoS impact         | test mixed workloads      |
| post-fix trend graph     | movement after fix             | long-term stability            | run stress matrix         |
+--------------------------+--------------------------------+--------------------------------+---------------------------+

Capture baseline and failing traces under fixed metadata tags.
Classify stage loss and dominant mechanism.
Collect PMP region map with rule-priority table, lock policy, and privilege-mode access matrix..
Apply one bounded fix with owner signoff.
Run validation matrix and decide ship/rollback.

Practice this lesson