Change the physical memory logic, and also add misspeculation fix to

tlb index calls that are called from ExecContext::readIpr

arch/alpha/ev5.cc:
    Fix misspeculation bugs for misspeculated IPR accesses

--HG--
extra : convert_revision : c9ffcf9ef8123dfcaee1606c05aee8ad60d893d7
This commit is contained in:
Andrew Schultz 2004-02-18 21:38:55 -05:00
parent 2d5ef88e1c
commit 12747d3084
3 changed files with 102 additions and 91 deletions

View file

@ -282,10 +282,18 @@ AlphaItb::translate(MemReqPtr &req) const
if (req->flags & PHYSICAL) { if (req->flags & PHYSICAL) {
req->paddr = req->vaddr; req->paddr = req->vaddr;
} else if ((MCSR_SP(ipr[AlphaISA::IPR_MCSR]) & 2) && } else {
VA_SPACE(req->vaddr) == 2) { // verify that this is a good virtual address
if (!validVirtualAddress(req->vaddr)) {
fault(req->vaddr, req->xc);
acv++;
return Itb_Acv_Fault;
}
// Check for "superpage" mapping: when SP<1> is set, and // Check for "superpage" mapping: when SP<1> is set, and
// VA<42:41> == 2, VA<39:13> maps directly to PA<39:13>. // VA<42:41> == 2, VA<39:13> maps directly to PA<39:13>.
if ((MCSR_SP(ipr[AlphaISA::IPR_MCSR]) & 2) &&
VA_SPACE(req->vaddr) == 2) {
// only valid in kernel mode // only valid in kernel mode
if (ICM_CM(ipr[AlphaISA::IPR_ICM]) != AlphaISA::mode_kernel) { if (ICM_CM(ipr[AlphaISA::IPR_ICM]) != AlphaISA::mode_kernel) {
@ -296,13 +304,6 @@ AlphaItb::translate(MemReqPtr &req) const
req->paddr = req->vaddr & PA_IMPL_MASK; req->paddr = req->vaddr & PA_IMPL_MASK;
} else { } else {
// verify that this is a good virtual address
if (!validVirtualAddress(req->vaddr)) {
fault(req->vaddr, req->xc);
acv++;
return Itb_Acv_Fault;
}
// not a physical address: need to look up pte // not a physical address: need to look up pte
AlphaISA::PTE *pte = lookup(VA_VPN(req->vaddr), AlphaISA::PTE *pte = lookup(VA_VPN(req->vaddr),
DTB_ASN_ASN(ipr[AlphaISA::IPR_DTB_ASN])); DTB_ASN_ASN(ipr[AlphaISA::IPR_DTB_ASN]));
@ -322,6 +323,9 @@ AlphaItb::translate(MemReqPtr &req) const
acv++; acv++;
return Itb_Acv_Fault; return Itb_Acv_Fault;
} }
hits++;
}
} }
// check that the physical address is ok (catch bad physical addresses) // check that the physical address is ok (catch bad physical addresses)
@ -330,7 +334,6 @@ AlphaItb::translate(MemReqPtr &req) const
checkCacheability(req); checkCacheability(req);
hits++;
return No_Fault; return No_Fault;
} }
@ -453,13 +456,26 @@ AlphaDtb::translate(MemReqPtr &req, bool write) const
if (req->flags & PHYSICAL) { if (req->flags & PHYSICAL) {
req->paddr = req->vaddr; req->paddr = req->vaddr;
} else if ((MCSR_SP(ipr[AlphaISA::IPR_MCSR]) & 2) && } else {
VA_SPACE(req->vaddr) == 2) { // verify that this is a good virtual address
if (!validVirtualAddress(req->vaddr)) {
fault(req->vaddr,
((write ? MM_STAT_WR_MASK : 0) | MM_STAT_BAD_VA_MASK |
MM_STAT_ACV_MASK),
req->xc);
if (write) { write_acv++; } else { read_acv++; }
return Dtb_Fault_Fault;
}
// Check for "superpage" mapping: when SP<1> is set, and // Check for "superpage" mapping: when SP<1> is set, and
// VA<42:41> == 2, VA<39:13> maps directly to PA<39:13>. // VA<42:41> == 2, VA<39:13> maps directly to PA<39:13>.
if ((MCSR_SP(ipr[AlphaISA::IPR_MCSR]) & 2) &&
VA_SPACE(req->vaddr) == 2) {
// only valid in kernel mode // only valid in kernel mode
if (DTB_CM_CM(ipr[AlphaISA::IPR_DTB_CM]) != AlphaISA::mode_kernel) { if (DTB_CM_CM(ipr[AlphaISA::IPR_DTB_CM]) !=
AlphaISA::mode_kernel) {
fault(req->vaddr, fault(req->vaddr,
((write ? MM_STAT_WR_MASK : 0) | MM_STAT_ACV_MASK), ((write ? MM_STAT_WR_MASK : 0) | MM_STAT_ACV_MASK),
req->xc); req->xc);
@ -474,17 +490,6 @@ AlphaDtb::translate(MemReqPtr &req, bool write) const
else else
read_accesses++; read_accesses++;
// verify that this is a good virtual address
if (!validVirtualAddress(req->vaddr)) {
fault(req->vaddr,
((write ? MM_STAT_WR_MASK : 0) | MM_STAT_BAD_VA_MASK |
MM_STAT_ACV_MASK),
req->xc);
if (write) { write_acv++; } else { read_acv++; }
return Dtb_Fault_Fault;
}
// not a physical address: need to look up pte // not a physical address: need to look up pte
AlphaISA::PTE *pte = lookup(VA_VPN(req->vaddr), AlphaISA::PTE *pte = lookup(VA_VPN(req->vaddr),
DTB_ASN_ASN(ipr[AlphaISA::IPR_DTB_ASN])); DTB_ASN_ASN(ipr[AlphaISA::IPR_DTB_ASN]));
@ -518,7 +523,8 @@ AlphaDtb::translate(MemReqPtr &req, bool write) const
} else { } else {
if (!(pte->xre & MODE2MASK(mode))) { if (!(pte->xre & MODE2MASK(mode))) {
fault(req->vaddr, fault(req->vaddr,
MM_STAT_ACV_MASK | (pte->fonr ? MM_STAT_FONR_MASK : 0), MM_STAT_ACV_MASK |
(pte->fonr ? MM_STAT_FONR_MASK : 0),
req->xc); req->xc);
read_acv++; read_acv++;
return Dtb_Acv_Fault; return Dtb_Acv_Fault;
@ -529,6 +535,7 @@ AlphaDtb::translate(MemReqPtr &req, bool write) const
return Dtb_Fault_Fault; return Dtb_Fault_Fault;
} }
} }
}
if (write) if (write)
write_hits++; write_hits++;
@ -546,9 +553,11 @@ AlphaDtb::translate(MemReqPtr &req, bool write) const
} }
AlphaISA::PTE & AlphaISA::PTE &
AlphaTlb::index() AlphaTlb::index(bool advance)
{ {
AlphaISA::PTE *pte = &table[nlu]; AlphaISA::PTE *pte = &table[nlu];
if (advance)
nextnlu(); nextnlu();
return *pte; return *pte;

View file

@ -56,7 +56,7 @@ class AlphaTlb : public SimObject
int getsize() const { return size; } int getsize() const { return size; }
AlphaISA::PTE &index(); AlphaISA::PTE &index(bool advance = true);
void insert(Addr vaddr, AlphaISA::PTE &pte); void insert(Addr vaddr, AlphaISA::PTE &pte);
void flushAll(); void flushAll();

View file

@ -240,6 +240,8 @@ ExecContext::readIpr(int idx, Fault &fault)
case AlphaISA::IPR_VA: case AlphaISA::IPR_VA:
// SFX: unlocks interrupt status registers // SFX: unlocks interrupt status registers
retval = ipr[idx]; retval = ipr[idx];
if (!misspeculating())
regs.intrlock = false; regs.intrlock = false;
break; break;
@ -253,7 +255,7 @@ ExecContext::readIpr(int idx, Fault &fault)
case AlphaISA::IPR_DTB_PTE: case AlphaISA::IPR_DTB_PTE:
{ {
AlphaISA::PTE &pte = dtb->index(); AlphaISA::PTE &pte = dtb->index(!misspeculating());
retval |= ((u_int64_t)pte.ppn & ULL(0x7ffffff)) << 32; retval |= ((u_int64_t)pte.ppn & ULL(0x7ffffff)) << 32;
retval |= ((u_int64_t)pte.xre & ULL(0xf)) << 8; retval |= ((u_int64_t)pte.xre & ULL(0xf)) << 8;