page_table.cc revision 8641
12379SN/A/*
22379SN/A * Copyright (c) 2003 The Regents of The University of Michigan
32379SN/A * All rights reserved.
42379SN/A *
52379SN/A * Redistribution and use in source and binary forms, with or without
62379SN/A * modification, are permitted provided that the following conditions are
72379SN/A * met: redistributions of source code must retain the above copyright
82379SN/A * notice, this list of conditions and the following disclaimer;
92379SN/A * redistributions in binary form must reproduce the above copyright
102379SN/A * notice, this list of conditions and the following disclaimer in the
112379SN/A * documentation and/or other materials provided with the distribution;
122379SN/A * neither the name of the copyright holders nor the names of its
132379SN/A * contributors may be used to endorse or promote products derived from
142379SN/A * this software without specific prior written permission.
152379SN/A *
162379SN/A * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
172379SN/A * "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
182379SN/A * LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
192379SN/A * A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
202379SN/A * OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
212379SN/A * SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
222379SN/A * LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
232379SN/A * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
242379SN/A * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
252379SN/A * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
262379SN/A * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
272665Ssaidi@eecs.umich.edu *
282665Ssaidi@eecs.umich.edu * Authors: Steve Reinhardt
292665Ssaidi@eecs.umich.edu *          Ron Dreslinski
303311Ssaidi@eecs.umich.edu *          Ali Saidi
312379SN/A */
322379SN/A
332379SN/A/**
342379SN/A * @file
352379SN/A * Definitions of page table.
362379SN/A */
378229Snate@binkert.org#include <fstream>
388229Snate@binkert.org#include <map>
392379SN/A#include <string>
402379SN/A
412399SN/A#include "base/bitfield.hh"
422379SN/A#include "base/intmath.hh"
432379SN/A#include "base/trace.hh"
446658Snate@binkert.org#include "config/the_isa.hh"
458232Snate@binkert.org#include "debug/MMU.hh"
462379SN/A#include "mem/page_table.hh"
477678Sgblack@eecs.umich.edu#include "sim/faults.hh"
482379SN/A#include "sim/sim_object.hh"
492379SN/A
502399SN/Ausing namespace std;
512423SN/Ausing namespace TheISA;
522399SN/A
538601Ssteve.reinhardt@amd.comPageTable::PageTable(const std::string &__name, uint64_t _pid, Addr _pageSize)
542399SN/A    : pageSize(_pageSize), offsetMask(mask(floorLog2(_pageSize))),
558601Ssteve.reinhardt@amd.com      pid(_pid), _name(__name)
562379SN/A{
572399SN/A    assert(isPowerOf2(pageSize));
582809Ssaidi@eecs.umich.edu    pTableCache[0].vaddr = 0;
592809Ssaidi@eecs.umich.edu    pTableCache[1].vaddr = 0;
602809Ssaidi@eecs.umich.edu    pTableCache[2].vaddr = 0;
612379SN/A}
622379SN/A
632379SN/APageTable::~PageTable()
642379SN/A{
652379SN/A}
662379SN/A
672399SN/Avoid
688601Ssteve.reinhardt@amd.comPageTable::map(Addr vaddr, Addr paddr, int64_t size, bool clobber)
692399SN/A{
702399SN/A    // starting address must be page aligned
712399SN/A    assert(pageOffset(vaddr) == 0);
722399SN/A
733311Ssaidi@eecs.umich.edu    DPRINTF(MMU, "Allocating Page: %#x-%#x\n", vaddr, vaddr+ size);
743311Ssaidi@eecs.umich.edu
758601Ssteve.reinhardt@amd.com    for (; size > 0; size -= pageSize, vaddr += pageSize, paddr += pageSize) {
768600Ssteve.reinhardt@amd.com        if (!clobber && (pTable.find(vaddr) != pTable.end())) {
772399SN/A            // already mapped
788600Ssteve.reinhardt@amd.com            fatal("PageTable::allocate: address 0x%x already mapped", vaddr);
792399SN/A        }
802399SN/A
818601Ssteve.reinhardt@amd.com        pTable[vaddr] = TheISA::TlbEntry(pid, vaddr, paddr);
824521Ssaidi@eecs.umich.edu        updateCache(vaddr, pTable[vaddr]);
832399SN/A    }
842399SN/A}
852399SN/A
865877Shsul@eecs.umich.eduvoid
875877Shsul@eecs.umich.eduPageTable::remap(Addr vaddr, int64_t size, Addr new_vaddr)
885877Shsul@eecs.umich.edu{
895877Shsul@eecs.umich.edu    assert(pageOffset(vaddr) == 0);
905877Shsul@eecs.umich.edu    assert(pageOffset(new_vaddr) == 0);
915877Shsul@eecs.umich.edu
925877Shsul@eecs.umich.edu    DPRINTF(MMU, "moving pages from vaddr %08p to %08p, size = %d\n", vaddr,
935877Shsul@eecs.umich.edu            new_vaddr, size);
945877Shsul@eecs.umich.edu
955877Shsul@eecs.umich.edu    for (; size > 0; size -= pageSize, vaddr += pageSize, new_vaddr += pageSize) {
968641Snate@binkert.org        assert(pTable.find(vaddr) != pTable.end());
975877Shsul@eecs.umich.edu
985877Shsul@eecs.umich.edu        pTable[new_vaddr] = pTable[vaddr];
995877Shsul@eecs.umich.edu        pTable.erase(vaddr);
1005877Shsul@eecs.umich.edu        pTable[new_vaddr].updateVaddr(new_vaddr);
1015877Shsul@eecs.umich.edu        updateCache(new_vaddr, pTable[new_vaddr]);
1025877Shsul@eecs.umich.edu    }
1035877Shsul@eecs.umich.edu}
1045877Shsul@eecs.umich.edu
1055877Shsul@eecs.umich.eduvoid
1068601Ssteve.reinhardt@amd.comPageTable::unmap(Addr vaddr, int64_t size)
1075877Shsul@eecs.umich.edu{
1085877Shsul@eecs.umich.edu    assert(pageOffset(vaddr) == 0);
1095877Shsul@eecs.umich.edu
1108601Ssteve.reinhardt@amd.com    DPRINTF(MMU, "Unmapping page: %#x-%#x\n", vaddr, vaddr+ size);
1115877Shsul@eecs.umich.edu
1125877Shsul@eecs.umich.edu    for (; size > 0; size -= pageSize, vaddr += pageSize) {
1138641Snate@binkert.org        assert(pTable.find(vaddr) != pTable.end());
1145877Shsul@eecs.umich.edu
1155877Shsul@eecs.umich.edu        pTable.erase(vaddr);
1165877Shsul@eecs.umich.edu    }
1175877Shsul@eecs.umich.edu
1185877Shsul@eecs.umich.edu}
1195877Shsul@eecs.umich.edu
1202399SN/Abool
1218600Ssteve.reinhardt@amd.comPageTable::isUnmapped(Addr vaddr, int64_t size)
1228600Ssteve.reinhardt@amd.com{
1238600Ssteve.reinhardt@amd.com    // starting address must be page aligned
1248600Ssteve.reinhardt@amd.com    assert(pageOffset(vaddr) == 0);
1258600Ssteve.reinhardt@amd.com
1268600Ssteve.reinhardt@amd.com    for (; size > 0; size -= pageSize, vaddr += pageSize) {
1278600Ssteve.reinhardt@amd.com        if (pTable.find(vaddr) != pTable.end()) {
1288600Ssteve.reinhardt@amd.com            return false;
1298600Ssteve.reinhardt@amd.com        }
1308600Ssteve.reinhardt@amd.com    }
1318600Ssteve.reinhardt@amd.com
1328600Ssteve.reinhardt@amd.com    return true;
1338600Ssteve.reinhardt@amd.com}
1348600Ssteve.reinhardt@amd.com
1358600Ssteve.reinhardt@amd.combool
1365004Sgblack@eecs.umich.eduPageTable::lookup(Addr vaddr, TheISA::TlbEntry &entry)
1372399SN/A{
1382399SN/A    Addr page_addr = pageAlign(vaddr);
1392809Ssaidi@eecs.umich.edu
1404521Ssaidi@eecs.umich.edu    if (pTableCache[0].vaddr == page_addr) {
1415004Sgblack@eecs.umich.edu        entry = pTableCache[0].entry;
1422809Ssaidi@eecs.umich.edu        return true;
1432809Ssaidi@eecs.umich.edu    }
1444521Ssaidi@eecs.umich.edu    if (pTableCache[1].vaddr == page_addr) {
1455004Sgblack@eecs.umich.edu        entry = pTableCache[1].entry;
1462809Ssaidi@eecs.umich.edu        return true;
1472809Ssaidi@eecs.umich.edu    }
1484521Ssaidi@eecs.umich.edu    if (pTableCache[2].vaddr == page_addr) {
1495004Sgblack@eecs.umich.edu        entry = pTableCache[2].entry;
1502809Ssaidi@eecs.umich.edu        return true;
1512809Ssaidi@eecs.umich.edu    }
1522809Ssaidi@eecs.umich.edu
1535004Sgblack@eecs.umich.edu    PTableItr iter = pTable.find(page_addr);
1542399SN/A
1552399SN/A    if (iter == pTable.end()) {
1562399SN/A        return false;
1572399SN/A    }
1582399SN/A
1594521Ssaidi@eecs.umich.edu    updateCache(page_addr, iter->second);
1605004Sgblack@eecs.umich.edu    entry = iter->second;
1612399SN/A    return true;
1622399SN/A}
1632399SN/A
1645004Sgblack@eecs.umich.edubool
1655004Sgblack@eecs.umich.eduPageTable::translate(Addr vaddr, Addr &paddr)
1665004Sgblack@eecs.umich.edu{
1675004Sgblack@eecs.umich.edu    TheISA::TlbEntry entry;
1685183Ssaidi@eecs.umich.edu    if (!lookup(vaddr, entry)) {
1695183Ssaidi@eecs.umich.edu        DPRINTF(MMU, "Couldn't Translate: %#x\n", vaddr);
1705004Sgblack@eecs.umich.edu        return false;
1715183Ssaidi@eecs.umich.edu    }
1725184Sgblack@eecs.umich.edu    paddr = pageOffset(vaddr) + entry.pageStart();
1735183Ssaidi@eecs.umich.edu    DPRINTF(MMU, "Translating: %#x->%#x\n", vaddr, paddr);
1745004Sgblack@eecs.umich.edu    return true;
1755004Sgblack@eecs.umich.edu}
1762399SN/A
1772394SN/AFault
1785004Sgblack@eecs.umich.eduPageTable::translate(RequestPtr req)
1792394SN/A{
1802532SN/A    Addr paddr;
1812532SN/A    assert(pageAlign(req->getVaddr() + req->getSize() - 1)
1822532SN/A           == pageAlign(req->getVaddr()));
1832532SN/A    if (!translate(req->getVaddr(), paddr)) {
1845004Sgblack@eecs.umich.edu        return Fault(new GenericPageTableFault(req->getVaddr()));
1852399SN/A    }
1862532SN/A    req->setPaddr(paddr);
1875004Sgblack@eecs.umich.edu    if ((paddr & (pageSize - 1)) + req->getSize() > pageSize) {
1885004Sgblack@eecs.umich.edu        panic("Request spans page boundaries!\n");
1895004Sgblack@eecs.umich.edu        return NoFault;
1905004Sgblack@eecs.umich.edu    }
1915004Sgblack@eecs.umich.edu    return NoFault;
1922394SN/A}
1933311Ssaidi@eecs.umich.edu
1943311Ssaidi@eecs.umich.eduvoid
1953311Ssaidi@eecs.umich.eduPageTable::serialize(std::ostream &os)
1963311Ssaidi@eecs.umich.edu{
1973311Ssaidi@eecs.umich.edu    paramOut(os, "ptable.size", pTable.size());
1983320Shsul@eecs.umich.edu
1996227Snate@binkert.org    PTable::size_type count = 0;
2003311Ssaidi@eecs.umich.edu
2015004Sgblack@eecs.umich.edu    PTableItr iter = pTable.begin();
2025004Sgblack@eecs.umich.edu    PTableItr end = pTable.end();
2033347Sbinkertn@umich.edu    while (iter != end) {
2048601Ssteve.reinhardt@amd.com        os << "\n[" << csprintf("%s.Entry%d", name(), count) << "]\n";
2055183Ssaidi@eecs.umich.edu
2065183Ssaidi@eecs.umich.edu        paramOut(os, "vaddr", iter->first);
2075004Sgblack@eecs.umich.edu        iter->second.serialize(os);
2083347Sbinkertn@umich.edu
2093347Sbinkertn@umich.edu        ++iter;
2103347Sbinkertn@umich.edu        ++count;
2113311Ssaidi@eecs.umich.edu    }
2123311Ssaidi@eecs.umich.edu    assert(count == pTable.size());
2133311Ssaidi@eecs.umich.edu}
2143311Ssaidi@eecs.umich.edu
2153311Ssaidi@eecs.umich.eduvoid
2163311Ssaidi@eecs.umich.eduPageTable::unserialize(Checkpoint *cp, const std::string &section)
2173311Ssaidi@eecs.umich.edu{
2183311Ssaidi@eecs.umich.edu    int i = 0, count;
2193311Ssaidi@eecs.umich.edu    paramIn(cp, section, "ptable.size", count);
2205004Sgblack@eecs.umich.edu    Addr vaddr;
2215183Ssaidi@eecs.umich.edu    TheISA::TlbEntry *entry;
2223311Ssaidi@eecs.umich.edu
2233311Ssaidi@eecs.umich.edu    pTable.clear();
2243311Ssaidi@eecs.umich.edu
2253311Ssaidi@eecs.umich.edu    while(i < count) {
2268601Ssteve.reinhardt@amd.com        paramIn(cp, csprintf("%s.Entry%d", name(), i), "vaddr", vaddr);
2275183Ssaidi@eecs.umich.edu        entry = new TheISA::TlbEntry();
2288601Ssteve.reinhardt@amd.com        entry->unserialize(cp, csprintf("%s.Entry%d", name(), i));
2295183Ssaidi@eecs.umich.edu        pTable[vaddr] = *entry;
2303311Ssaidi@eecs.umich.edu        ++i;
2316818SLisa.Hsu@amd.com    }
2323311Ssaidi@eecs.umich.edu}
2333311Ssaidi@eecs.umich.edu
234