gem5 v24.0.0.0
Loading...
Searching...
No Matches
pma_checker.cc
Go to the documentation of this file.
1/*
2 * Copyright (c) 2021 Huawei International
3 * All rights reserved
4 *
5 * The license below extends only to copyright in the software and shall
6 * not be construed as granting a license to any other intellectual
7 * property including but not limited to intellectual property relating
8 * to a hardware implementation of the functionality of the software
9 * licensed hereunder. You may use the software subject to the license
10 * terms below provided that you ensure that this notice is replicated
11 * unmodified and in its entirety in all distributions of the software,
12 * modified or unmodified, in source code or in binary form.
13 *
14 * Redistribution and use in source and binary forms, with or without
15 * modification, are permitted provided that the following conditions are
16 * met: redistributions of source code must retain the above copyright
17 * notice, this list of conditions and the following disclaimer;
18 * redistributions in binary form must reproduce the above copyright
19 * notice, this list of conditions and the following disclaimer in the
20 * documentation and/or other materials provided with the distribution;
21 * neither the name of the copyright holders nor the names of its
22 * contributors may be used to endorse or promote products derived from
23 * this software without specific prior written permission.
24 *
25 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
26 * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
27 * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
28 * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
29 * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
30 * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
31 * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
32 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
33 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
34 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
35 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 */
37
39
40#include "arch/riscv/faults.hh"
41#include "arch/riscv/mmu.hh"
42#include "base/addr_range.hh"
43#include "base/types.hh"
44#include "mem/packet.hh"
45#include "mem/request.hh"
46#include "params/PMAChecker.hh"
47#include "sim/sim_object.hh"
48
49namespace gem5
50{
51
52namespace RiscvISA
53{
54
56BasePMAChecker(params),
57uncacheable(params.uncacheable.begin(), params.uncacheable.end())
58{
59 for (auto& range: params.misaligned) {
60 misaligned.insert(range, true);
61 }
62}
63
66{
67 if (isUncacheable(req->getPaddr(), req->getSize())) {
69 }
70
72}
73
76 const RequestPtr &req, BaseMMU::Mode mode)
77{
78 // We need to translate address before alignment check
79 // if there are some memory ranges support misaligned load/store
80 if (hasMisaligned()) {
81 return NoFault;
82 }
83
84 // Ingore alignment check for instruction fetching
85 if (mode == BaseMMU::Execute) {
86 return NoFault;
87 }
88 assert(req->hasVaddr());
89 Addr alignSize = mask(req->getArchFlags() & MMU::AlignmentMask) + 1;
90 if (addressAlign(req->getVaddr(), alignSize)) {
91 return NoFault;
92 }
93 return createMisalignFault(req->getVaddr(), mode);
94}
95
96bool
98{
99 for (auto const &uncacheable_range: uncacheable) {
100 if (range.isSubset(uncacheable_range)) {
101 return true;
102 }
103 }
104 return false;
105}
106
107bool
108PMAChecker::isUncacheable(const Addr &addr, const unsigned size)
109{
110 AddrRange range(addr, addr + size);
111 return isUncacheable(range);
112}
113
114bool
119
120void
122{
123 PMAChecker* derived_old = dynamic_cast<PMAChecker*>(old);
124 assert(derived_old != nullptr);
125 uncacheable = derived_old->uncacheable;
126 misaligned = derived_old->misaligned;
127}
128
129Fault
132{
133 Addr paddr = 0;
134 // Ingore alignment check for instruction fetching
135 if (mode == BaseMMU::Execute) {
136 return NoFault;
137 }
138 assert(req->hasPaddr());
139 paddr = req->getPaddr();
140 Addr alignSize = mask(req->getArchFlags() & MMU::AlignmentMask) + 1;
141 if (addressAlign(paddr, alignSize)) {
142 return NoFault;
143 }
144 if (misalignedSupport(RangeSize(paddr, req->getSize()))){
145 return NoFault;
146 }
147 return createMisalignFault(
148 (req->hasVaddr() ? req->getVaddr() : vaddr), mode);
149}
150
151Fault
153{
155 switch (mode) {
156 case BaseMMU::Read:
158 break;
159 case BaseMMU::Write:
161 break;
162 default:
163 panic("Execute mode request should not reach here.");
164 }
165 return std::make_shared<AddressFault>(vaddr, code);
166}
167
168bool
170 return (addr & (size - 1)) == 0;
171}
172
173bool
175{
176 return misaligned.contains(range) != misaligned.end();
177}
178
179bool
181{
182 return !misaligned.empty();
183}
184
185} // namespace RiscvISA
186} // namespace gem5
Defines global host-dependent types: Counter, Tick, and (indirectly) {int,uint}{8,...
The AddrRange class encapsulates an address range, and supports a number of tests to check if two ran...
Definition addr_range.hh:82
A Packet is used to encapsulate a transfer between two objects in the memory system (e....
Definition packet.hh:295
AddrRange getAddrRange() const
Get address range to which this packet belongs.
Definition packet.cc:243
@ STRICT_ORDER
The request is required to be strictly ordered by CPU models and is non-speculative.
Definition request.hh:135
@ UNCACHEABLE
The request is to an uncacheable address.
Definition request.hh:125
Based on the RISC-V ISA privileged specifications V1.11, there is no implementation guidelines on the...
This class provides an abstract PMAChecker for RISC-V to provide PMA checking functionality.
bool isUncacheable(const AddrRange &range)
PMAChecker(const Params &params)
Fault checkPAddrAlignment(const RequestPtr &req, BaseMMU::Mode mode, Addr vaddr)
Fault createMisalignFault(Addr vaddr, BaseMMU::Mode mode)
Fault check(const RequestPtr &req, BaseMMU::Mode mode, Addr vaddr=0) override
void takeOverFrom(BasePMAChecker *old) override
AddrRangeMap< bool, 3 > misaligned
PMACheckerParams Params
Fault checkVAddrAlignment(const RequestPtr &req, BaseMMU::Mode mode) override
bool misalignedSupport(const AddrRange &range)
const Params & params() const
bool addressAlign(const Addr addr, const Addr size)
bool isSubset(const AddrRange &r) const
Determine if this range is a subset of another range, i.e.
AddrRange RangeSize(Addr start, Addr size)
iterator insert(const AddrRange &r, const V &d)
const_iterator contains(const AddrRange &r) const
Find entry that contains the given address range.
const_iterator end() const
#define panic(...)
This implements a cprintf based panic() function.
Definition logging.hh:188
@ STORE_ADDR_MISALIGNED
Definition faults.hh:76
@ LOAD_ADDR_MISALIGNED
Definition faults.hh:74
Bitfield< 3 > addr
Definition types.hh:84
Copyright (c) 2024 - Pranith Kumar Copyright (c) 2020 Inria All rights reserved.
Definition binary32.hh:36
std::shared_ptr< FaultBase > Fault
Definition types.hh:249
std::shared_ptr< Request > RequestPtr
Definition request.hh:94
uint64_t Addr
Address type This will probably be moved somewhere else in the near future.
Definition types.hh:147
constexpr decltype(nullptr) NoFault
Definition types.hh:253
Declaration of the Packet class.
Declaration of a request, the overall memory request consisting of the parts of the request that are ...

Generated on Tue Jun 18 2024 16:24:00 for gem5 by doxygen 1.11.0