Core: Allocate 2 GiB of guard pages below fastmem area
See the comment added by this commit. We were previously guarding against overshooting in address calculations, but not against undershooting. Perhaps someone assumed that the displacement of an x86 loadstore was treated as unsigned? Note: While the comment says we can undershoot by up to 2 GiB, in practice Jit64 as it currently behaves won't actually undershoot by more than 0x8000 if my analysis is correct. But address space is cheap, so let's guard the full 2 GiB.
This commit is contained in:
parent
9c90b31e6a
commit
4fa9fa997e
|
@ -159,15 +159,51 @@ void MemoryManager::Init()
|
||||||
|
|
||||||
bool MemoryManager::InitFastmemArena()
|
bool MemoryManager::InitFastmemArena()
|
||||||
{
|
{
|
||||||
constexpr size_t memory_size = 0x400000000;
|
// Here we set up memory mappings for fastmem. The basic idea of fastmem is that we reserve 4 GiB
|
||||||
m_physical_base = m_arena.ReserveMemoryRegion(memory_size);
|
// of virtual memory and lay out the addresses within that 4 GiB range just like the memory map of
|
||||||
|
// the emulated system. This lets the JIT emulate PPC load/store instructions by translating a PPC
|
||||||
|
// address to a host address as follows and then using a regular load/store instruction:
|
||||||
|
//
|
||||||
|
// RMEM = ppcState.msr.DR ? m_logical_base : m_physical_base
|
||||||
|
// host_address = RMEM + u32(ppc_address_base + ppc_address_offset)
|
||||||
|
//
|
||||||
|
// If the resulting host address is backed by real memory, the memory access will simply work.
|
||||||
|
// If not, a segfault handler will backpatch the JIT code to instead call functions in MMU.cpp.
|
||||||
|
// This way, most memory accesses will be super fast. We do pay a performance penalty for memory
|
||||||
|
// accesses that need special handling, but they're rare enough that it's very beneficial overall.
|
||||||
|
//
|
||||||
|
// Note: Jit64 (but not JitArm64) sometimes takes a shortcut when computing addresses and skips
|
||||||
|
// the cast to u32 that you see in the pseudocode above. When this happens, ppc_address_base
|
||||||
|
// is a 32-bit value stored in a 64-bit register (which effectively makes it behave like an
|
||||||
|
// unsigned 32-bit value), and ppc_address_offset is a signed 32-bit integer encoded directly
|
||||||
|
// into the load/store instruction. This can cause us to undershoot or overshoot the intended
|
||||||
|
// 4 GiB range by at most 2 GiB in either direction. So, make sure we have 2 GiB of guard pages
|
||||||
|
// on each side of each 4 GiB range.
|
||||||
|
//
|
||||||
|
// We need two 4 GiB ranges, one for PPC addresses with address translation disabled
|
||||||
|
// (m_physical_base) and one for PPC addresses with address translation enabled (m_logical_base),
|
||||||
|
// so our memory map ends up looking like this:
|
||||||
|
//
|
||||||
|
// 2 GiB guard
|
||||||
|
// 4 GiB view for disabled address translation
|
||||||
|
// 2 GiB guard
|
||||||
|
// 4 GiB view for enabled address translation
|
||||||
|
// 2 GiB guard
|
||||||
|
|
||||||
if (!m_physical_base)
|
constexpr size_t ppc_view_size = 0x1'0000'0000;
|
||||||
|
constexpr size_t guard_size = 0x8000'0000;
|
||||||
|
constexpr size_t memory_size = ppc_view_size * 2 + guard_size * 3;
|
||||||
|
|
||||||
|
u8* fastmem_arena = m_arena.ReserveMemoryRegion(memory_size);
|
||||||
|
if (!fastmem_arena)
|
||||||
{
|
{
|
||||||
PanicAlertFmt("Memory::InitFastmemArena(): Failed finding a memory base.");
|
PanicAlertFmt("Memory::InitFastmemArena(): Failed finding a memory base.");
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
m_physical_base = fastmem_arena + guard_size;
|
||||||
|
m_logical_base = fastmem_arena + ppc_view_size + guard_size * 2;
|
||||||
|
|
||||||
for (const PhysicalMemoryRegion& region : m_physical_regions)
|
for (const PhysicalMemoryRegion& region : m_physical_regions)
|
||||||
{
|
{
|
||||||
if (!region.active)
|
if (!region.active)
|
||||||
|
@ -185,8 +221,6 @@ bool MemoryManager::InitFastmemArena()
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
m_logical_base = m_physical_base + 0x200000000;
|
|
||||||
|
|
||||||
m_is_fastmem_arena_initialized = true;
|
m_is_fastmem_arena_initialized = true;
|
||||||
return true;
|
return true;
|
||||||
}
|
}
|
||||||
|
|
|
@ -218,8 +218,8 @@ private:
|
||||||
// with address translation turned on. This mapping is computed based
|
// with address translation turned on. This mapping is computed based
|
||||||
// on the BAT registers.
|
// on the BAT registers.
|
||||||
//
|
//
|
||||||
// Each of these 4GB regions is followed by 4GB of empty space so overflows
|
// Each of these 4GB regions is surrounded by 2GB of empty space so overflows
|
||||||
// in address computation in the JIT don't access the wrong memory.
|
// in address computation in the JIT don't access unrelated memory.
|
||||||
//
|
//
|
||||||
// The neighboring mirrors of RAM ([0x02000000, 0x08000000), etc.) exist because
|
// The neighboring mirrors of RAM ([0x02000000, 0x08000000), etc.) exist because
|
||||||
// the bus masks off the bits in question for RAM accesses; using them is a
|
// the bus masks off the bits in question for RAM accesses; using them is a
|
||||||
|
@ -227,8 +227,6 @@ private:
|
||||||
// few buggy games (notably Rogue Squadron 2) use them by accident. They
|
// few buggy games (notably Rogue Squadron 2) use them by accident. They
|
||||||
// aren't backed by memory mappings because they are used very rarely.
|
// aren't backed by memory mappings because they are used very rarely.
|
||||||
//
|
//
|
||||||
// Dolphin doesn't emulate the difference between cached and uncached access.
|
|
||||||
//
|
|
||||||
// TODO: The actual size of RAM is 24MB; the other 8MB shouldn't be backed by actual memory.
|
// TODO: The actual size of RAM is 24MB; the other 8MB shouldn't be backed by actual memory.
|
||||||
// TODO: Do we want to handle the mirrors of the GC RAM?
|
// TODO: Do we want to handle the mirrors of the GC RAM?
|
||||||
std::array<PhysicalMemoryRegion, 4> m_physical_regions{};
|
std::array<PhysicalMemoryRegion, 4> m_physical_regions{};
|
||||||
|
|
Loading…
Reference in New Issue