diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-11-30 22:56:02 -0800 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2014-11-30 22:56:02 -0800 |
commit | b06c8e9f268badd23c12955a9c362c7842791429 (patch) | |
tree | 7b639435b6658ba6c51b7eefd0d642580dc0ddc1 /riscv | |
parent | 590417bec978bfc3fbf35d303760494395eb65b2 (diff) | |
download | riscv-isa-sim-b06c8e9f268badd23c12955a9c362c7842791429.zip riscv-isa-sim-b06c8e9f268badd23c12955a9c362c7842791429.tar.gz riscv-isa-sim-b06c8e9f268badd23c12955a9c362c7842791429.tar.bz2 |
Implement timer faithfully
rdcycle/rdinstret now have single-instruction granularity. Questionable
behavior when timer interrupts occurred around the same time as the compare
register is written should be fixed.
Diffstat (limited to 'riscv')
-rw-r--r-- | riscv/decode.h | 2 | ||||
-rw-r--r-- | riscv/insns/csrrc.h | 4 | ||||
-rw-r--r-- | riscv/insns/csrrci.h | 4 | ||||
-rw-r--r-- | riscv/insns/csrrs.h | 4 | ||||
-rw-r--r-- | riscv/insns/csrrsi.h | 4 | ||||
-rw-r--r-- | riscv/insns/csrrw.h | 4 | ||||
-rw-r--r-- | riscv/insns/csrrwi.h | 4 | ||||
-rw-r--r-- | riscv/processor.cc | 110 | ||||
-rw-r--r-- | riscv/processor.h | 6 |
9 files changed, 86 insertions, 56 deletions
diff --git a/riscv/decode.h b/riscv/decode.h index b32c6e4..9890514 100644 --- a/riscv/decode.h +++ b/riscv/decode.h @@ -118,8 +118,6 @@ private: }) #endif - - #define SHAMT (insn.i_imm() & 0x3F) #define BRANCH_TARGET (pc + insn.sb_imm()) #define JUMP_TARGET (pc + insn.uj_imm()) diff --git a/riscv/insns/csrrc.h b/riscv/insns/csrrc.h index b5d9e48..8719267 100644 --- a/riscv/insns/csrrc.h +++ b/riscv/insns/csrrc.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), true); -WRITE_RD(sext_xprlen(p->set_pcr(csr, p->get_pcr(csr) & ~RS1))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, old & ~RS1); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/insns/csrrci.h b/riscv/insns/csrrci.h index 6c63125..51a2cde 100644 --- a/riscv/insns/csrrci.h +++ b/riscv/insns/csrrci.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), true); -WRITE_RD(sext_xprlen(p->set_pcr(csr, p->get_pcr(csr) & ~(reg_t)insn.rs1()))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, old & ~(reg_t)insn.rs1()); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/insns/csrrs.h b/riscv/insns/csrrs.h index ba315d4..675cb86 100644 --- a/riscv/insns/csrrs.h +++ b/riscv/insns/csrrs.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), insn.rs1() != 0); -WRITE_RD(sext_xprlen(p->set_pcr(csr, p->get_pcr(csr) | RS1))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, old | RS1); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/insns/csrrsi.h b/riscv/insns/csrrsi.h index 827d2d0..094e91a 100644 --- a/riscv/insns/csrrsi.h +++ b/riscv/insns/csrrsi.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), true); -WRITE_RD(sext_xprlen(p->set_pcr(csr, p->get_pcr(csr) | insn.rs1()))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, old | insn.rs1()); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/insns/csrrw.h b/riscv/insns/csrrw.h index 94793e2..3d1ea32 100644 --- a/riscv/insns/csrrw.h +++ b/riscv/insns/csrrw.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), true); -WRITE_RD(sext_xprlen(p->set_pcr(csr, RS1))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, RS1); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/insns/csrrwi.h b/riscv/insns/csrrwi.h index b8ec5f5..081b4e9 100644 --- a/riscv/insns/csrrwi.h +++ b/riscv/insns/csrrwi.h @@ -1,2 +1,4 @@ int csr = validate_csr(insn.csr(), true); -WRITE_RD(sext_xprlen(p->set_pcr(csr, insn.rs1()))); +reg_t old = p->get_pcr(csr); +p->set_pcr(csr, insn.rs1()); +WRITE_RD(sext_xprlen(old)); diff --git a/riscv/processor.cc b/riscv/processor.cc index 0a2d266..956b2d3 100644 --- a/riscv/processor.cc +++ b/riscv/processor.cc @@ -22,7 +22,7 @@ processor_t::processor_t(sim_t* _sim, mmu_t* _mmu, uint32_t _id) : sim(_sim), mmu(_mmu), ext(NULL), disassembler(new disassembler_t), - id(_id), run(false), debug(false) + id(_id), run(false), debug(false), serialized(false) { reset(true); mmu->set_processor(this); @@ -103,15 +103,25 @@ void processor_t::reset(bool value) ext->reset(); // reset the extension } +struct serialize_t {}; + +void processor_t::serialize() +{ + if (serialized) + serialized = false; + else + serialized = true, throw serialize_t(); +} + void processor_t::take_interrupt() { - uint32_t interrupts = (state.sr & SR_IP) >> SR_IP_SHIFT; - interrupts &= (state.sr & SR_IM) >> SR_IM_SHIFT; + int irqs = ((state.sr & SR_IP) >> SR_IP_SHIFT) & (state.sr >> SR_IM_SHIFT); + if (likely(!irqs) || likely(!(state.sr & SR_EI))) + return; - if (interrupts && (state.sr & SR_EI)) - for (int i = 0; ; i++, interrupts >>= 1) - if (interrupts & 1) - throw trap_t((1ULL << ((state.sr & SR_S64) ? 63 : 31)) + i); + for (int i = 0; ; i++) + if ((irqs >> i) & 1) + throw trap_t((1ULL << ((state.sr & SR_S64) ? 63 : 31)) + i); } static void commit_log(state_t* state, insn_t insn) @@ -141,75 +151,85 @@ inline void processor_t::update_histogram(size_t pc) #endif } -static inline void execute_insn(processor_t* p, state_t* st, insn_fetch_t fetch) +static reg_t execute_insn(processor_t* p, reg_t pc, insn_fetch_t fetch) { - reg_t npc = fetch.func(p, fetch.insn.insn, st->pc); - commit_log(st, fetch.insn.insn); - p->update_histogram(st->pc); - st->pc = npc; + reg_t npc = fetch.func(p, fetch.insn.insn, pc); + commit_log(p->get_state(), fetch.insn.insn); + p->update_histogram(pc); + return npc; } -void processor_t::step(size_t n0) +static void update_timer(state_t* state, size_t instret) { - if(!run) - return; + uint64_t count0 = (uint64_t)(uint32_t)state->count; + state->count += instret; + uint64_t before = count0 - state->compare; + if (int64_t(before ^ (before + instret)) < 0) + state->sr |= (1 << (IRQ_TIMER + SR_IP_SHIFT)); +} + +static size_t next_timer(state_t* state) +{ + return state->compare - (uint32_t)state->count; +} +void processor_t::step(size_t n) +{ + size_t instret = 0; + reg_t pc = state.pc; mmu_t* _mmu = mmu; - auto count32 = decltype(state.compare)(state.count); - bool count_le_compare = count32 <= state.compare; - ssize_t n = std::min(ssize_t(n0), ssize_t((state.compare - count32) | 1)); + + if (unlikely(!run || !n)) + return; + n = std::min(n, next_timer(&state) | 1U); try { take_interrupt(); - if (debug) // print out instructions as we go + if (unlikely(debug)) { - for (ssize_t i = 0; i < n; state.count++, i++) + while (instret++ < n) { - insn_fetch_t fetch = mmu->load_insn(state.pc); + insn_fetch_t fetch = mmu->load_insn(pc); disasm(fetch.insn.insn); - execute_insn(this, &state, fetch); + pc = execute_insn(this, pc, fetch); } } - else while (n > 0) + else while (instret < n) { - size_t idx = (state.pc / sizeof(insn_t)) % ICACHE_SIZE; - auto ic_entry = _mmu->access_icache(state.pc), ic_entry_init = ic_entry; + size_t idx = (pc / sizeof(insn_t)) % ICACHE_SIZE; + auto ic_entry = _mmu->access_icache(pc); #define ICACHE_ACCESS(idx) { \ insn_fetch_t fetch = ic_entry->data; \ ic_entry++; \ - execute_insn(this, &state, fetch); \ - if (idx < ICACHE_SIZE-1 && unlikely(ic_entry->tag != state.pc)) break; \ + pc = execute_insn(this, pc, fetch); \ + instret++; \ + if (idx < ICACHE_SIZE-1 && unlikely(ic_entry->tag != pc)) break; \ } switch (idx) { ICACHE_SWITCH; // auto-generated into icache.h } - - size_t i = ic_entry - ic_entry_init; - state.count += i; - n -= i; } } catch(trap_t& t) { - take_trap(t); + pc = take_trap(t, pc); } + catch(serialize_t& s) {} - bool count_ge_compare = - uint64_t(n) + decltype(state.compare)(state.count) >= state.compare; - if (count_le_compare && count_ge_compare) - set_interrupt(IRQ_TIMER, true); + state.pc = pc; + update_timer(&state, instret); } -void processor_t::take_trap(trap_t& t) +reg_t processor_t::take_trap(trap_t& t, reg_t epc) { if (debug) fprintf(stderr, "core %3d: exception %s, epc 0x%016" PRIx64 "\n", - id, t.name(), state.pc); + id, t.name(), epc); // switch to supervisor, set previous supervisor bit, disable interrupts set_pcr(CSR_STATUS, (((state.sr & ~SR_EI) | SR_S) & ~SR_PS & ~SR_PEI) | @@ -218,10 +238,9 @@ void processor_t::take_trap(trap_t& t) yield_load_reservation(); state.cause = t.cause(); - state.epc = state.pc; - state.pc = state.evec; - + state.epc = epc; t.side_effects(&state); // might set badvaddr etc. + return state.evec; } void processor_t::deliver_ipi() @@ -237,10 +256,8 @@ void processor_t::disasm(insn_t insn) id, state.pc, insn.bits(), disassembler->disassemble(insn).c_str()); } -reg_t processor_t::set_pcr(int which, reg_t val) +void processor_t::set_pcr(int which, reg_t val) { - reg_t old_pcr = get_pcr(which); - switch (which) { case CSR_FFLAGS: @@ -280,6 +297,7 @@ reg_t processor_t::set_pcr(int which, reg_t val) state.count = (val << 32) | (uint32_t)state.count; break; case CSR_COMPARE: + serialize(); set_interrupt(IRQ_TIMER, false); state.compare = val; break; @@ -306,8 +324,6 @@ reg_t processor_t::set_pcr(int which, reg_t val) set_fromhost(val); break; } - - return old_pcr; } void processor_t::set_fromhost(reg_t val) @@ -341,6 +357,7 @@ reg_t processor_t::get_pcr(int which) case CSR_TIME: case CSR_INSTRET: case CSR_COUNT: + serialize(); return state.count; case CSR_CYCLEH: case CSR_TIMEH: @@ -348,6 +365,7 @@ reg_t processor_t::get_pcr(int which) case CSR_COUNTH: if (rv64) break; + serialize(); return state.count >> 32; case CSR_COMPARE: return state.compare; diff --git a/riscv/processor.h b/riscv/processor.h index 58c31cb..d132f25 100644 --- a/riscv/processor.h +++ b/riscv/processor.h @@ -75,7 +75,7 @@ public: void step(size_t n); // run for n cycles void deliver_ipi(); // register an interprocessor interrupt bool running() { return run; } - reg_t set_pcr(int which, reg_t val); + void set_pcr(int which, reg_t val); void set_fromhost(reg_t val); void set_interrupt(int which, bool on); reg_t get_pcr(int which); @@ -99,6 +99,7 @@ private: bool debug; bool histogram_enabled; bool rv64; + bool serialized; std::vector<insn_desc_t> instructions; std::vector<insn_desc_t*> opcode_map; @@ -106,7 +107,8 @@ private: std::map<size_t,size_t> pc_histogram; void take_interrupt(); // take a trap if any interrupts are pending - void take_trap(trap_t& t); // take an exception + void serialize(); // collapse into defined architectural state + reg_t take_trap(trap_t& t, reg_t epc); // take an exception void disasm(insn_t insn); // disassemble and print an instruction friend class sim_t; |