mirror of
https://github.com/tangerineturtle1/NX2navi.git
synced 2026-11-15 17:09:57 -04:00
docs/architecture.md said the pacer holds nothing while RTSS holds the limit, through movies and minimised windows, that the pacer stands aside once RTSS lists the process, that RTSS fails at 1.2 times the limit over six polls, and that a killed run leaves its limit for the next run to take as the player's. The one-limiter and RTSS paragraphs now name the pacer's fallbacks (before the first host present, a movie, 200 ms with no host present, a limiter seen letting frames through, any failure) and its 240 ceiling beside RTSS, the settle rule, a movie's profile, the proof RTSS must give before the pacer stands aside, the 1.05 rule over three new periods, the rounding down, and the state file with rtss_limit_crash. nx2navi.ini.example's rtss lines, README.md's frame generation item, docs/building.md's rtss_limit_check and frame_step_check paragraphs and rtss_limit.c's header follow, and the comments at main.c crash_handler's and dispatch.c fatal_end's rtss_limit_crash say when RTSS's library is still called there (no line in the state file, never on RTSS's own thread). No code changes. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
312 lines
15 KiB
C
312 lines
15 KiB
C
// Indirect-branch dispatch: guest address -> lifted function, O(1).
|
|
//
|
|
// Layout of the table: one uint32_t slot per 4-byte guest instruction over [lo, hi), where lo is the lowest function
|
|
// start of any module and hi is past the highest. A slot is 0 when no function starts there, else the host function's
|
|
// address minus `anchor` (an address just below the lowest host function), so 4 bytes are enough as long as all lifted
|
|
// code lies within 4 GiB, which a single PE image guarantees. Memory: 4 bytes per 4 guest bytes, i.e. the size of the
|
|
// guest range covered. The gaps between code ranges (rodata, data, bss, alignment) are reserved but never written, so
|
|
// the OS never backs them with RAM; resident memory is about the total .text size of the modules.
|
|
//
|
|
// The table is filled once by rt_dispatch_init and then made read-only, so any number of threads read it without
|
|
// locks or per-thread caches. Host (HLE) functions at addresses outside the modules live in a small hash table that
|
|
// is also fixed at init; they are looked up only after the flat table misses.
|
|
#include "dispatch.h"
|
|
#include "host.h"
|
|
#include "prof.h"
|
|
#include "platform/platform.h"
|
|
|
|
#include <stdarg.h>
|
|
#include <stdio.h>
|
|
#include <stdlib.h>
|
|
#include <string.h>
|
|
|
|
|
|
#define TABLE_SPAN_LIMIT (1ull << 30) // guest bytes covered by the table, and its size in bytes
|
|
#define HOST_CAP 8192 // host function registry, power of two
|
|
#define MAX_MODULES 16
|
|
|
|
// Hot data read by every rt_dispatch: one cache line.
|
|
static struct __attribute__((aligned(64))) {
|
|
const uint32_t *slot;
|
|
uintptr_t anchor;
|
|
uint64_t lo;
|
|
uint64_t slots;
|
|
} D;
|
|
|
|
static const RtModule *g_mods[MAX_MODULES]; // sorted by base
|
|
static int g_nmods;
|
|
static bool g_ready;
|
|
static uint64_t g_table_bytes, g_functions;
|
|
|
|
static struct { uint64_t addr; GuestFn fn; } g_host[HOST_CAP];
|
|
static uint64_t g_nhost;
|
|
|
|
static void (*fatal_notes[4])(void);
|
|
static int n_fatal_notes;
|
|
|
|
void rt_fatal_note_add(void (*fn)(void)) {
|
|
for (int i = 0; i < n_fatal_notes; i++)
|
|
if (fatal_notes[i] == fn) return;
|
|
if (n_fatal_notes < (int)(sizeof fatal_notes / sizeof *fatal_notes)) fatal_notes[n_fatal_notes++] = fn;
|
|
}
|
|
|
|
// Once per process: a second fatal error, on another thread or inside a note, adds none.
|
|
void rt_fatal_notes(void) {
|
|
static volatile int32_t done;
|
|
if (plat_xchg32(&done, 1)) return;
|
|
for (int i = 0; i < n_fatal_notes; i++) fatal_notes[i]();
|
|
}
|
|
|
|
__attribute__((weak)) void fs_save_crash_wait(void) {} // fs_host.c; builds without it (the unit checks) have no saves
|
|
|
|
// The frame-time summary and the stutter map at a fatal error (perf.c); builds without perf.c (the unit checks) have
|
|
// none.
|
|
__attribute__((weak)) void perf_summary_flush_try(void) {}
|
|
|
|
// HD rumble's neutral value before a failed run ends (input.c input_rumble_hd_stop); builds without input.c (the unit
|
|
// checks) have no controller.
|
|
__attribute__((weak)) void input_rumble_hd_stop(void) {}
|
|
|
|
// The stop goes through SDL, which takes its own joystick lock: a crash on SDL's thread while it held that lock would
|
|
// hold the ending thread there for good, and the process would never end. So it runs on a thread of its own, and the
|
|
// ending thread waits for it at most 300 ms and never joins it. A controller left buzzing is the lesser harm.
|
|
static volatile int32_t rumble_stopped;
|
|
static void rumble_stop_main(void *arg) {
|
|
(void)arg;
|
|
input_rumble_hd_stop();
|
|
__atomic_store_n(&rumble_stopped, 1, __ATOMIC_RELEASE);
|
|
}
|
|
|
|
void rt_rumble_stop_bounded(void) {
|
|
if (!plat_thread_spawn(rumble_stop_main, NULL, "rumble stop", 0)) return;
|
|
for (int i = 0; i < 30 && !__atomic_load_n(&rumble_stopped, __ATOMIC_ACQUIRE); i++) plat_sleep_ms(10);
|
|
}
|
|
|
|
// One end for a failed run. The platform layer calls the crash handler on every thread that faults, without
|
|
// waiting for the others (platform/win32.c crash_veh, crash_filter), and a fatal error can come beside a crash from
|
|
// the same bad state (an allocation that failed here, a null pointer read there). The later end cut the first report
|
|
// where it was, together with its wait for a save Commit and RivaTuner's restore, and its own FATAL line and exit
|
|
// code replaced the first (the launcher shows the last FATAL). Another thread now waits until the first end is done;
|
|
// it logs nothing, since it may hold the log queue's lock, which the first report only tries. A first report that
|
|
// hangs still ends: after 30 s the waiting thread ends the process with the first report's own code (a fatal error's
|
|
// 70 or 72, the crash report's 71), so the launcher reads the end as the report says it.
|
|
static volatile uint32_t ending_tid; // the thread that reports, 0 before one does
|
|
static volatile int32_t ending_code = 71; // the code that report ends with, stored right after it took ending_tid
|
|
|
|
int rt_ending_enter(int code) {
|
|
uint32_t me = plat_thread_id(), was = 0;
|
|
if (__atomic_compare_exchange_n(&ending_tid, &was, me, 0, __ATOMIC_ACQ_REL, __ATOMIC_ACQUIRE)) {
|
|
__atomic_store_n(&ending_code, code, __ATOMIC_RELEASE);
|
|
return 1;
|
|
}
|
|
if (was == me) return 0;
|
|
for (int i = 0; i < 3000; i++) plat_sleep_ms(10);
|
|
plat_terminate(__atomic_load_n(&ending_code, __ATOMIC_ACQUIRE));
|
|
}
|
|
|
|
// The fatal line, the report's notes and what has to be flushed, then the exit with `code`.
|
|
static void fatal_end(int code, const char *fmt, va_list ap) __attribute__((noreturn));
|
|
static void fatal_end(int code, const char *fmt, va_list ap) {
|
|
if (!rt_ending_enter(code)) plat_terminate(code); // a fatal error inside this thread's own report: no second one
|
|
rt_log_ending(); // the report reaches the log file past its cap (main.c log_sink)
|
|
rt_log_sync(); // main.c: the lines queued for the log thread, then these, written here
|
|
rt_log_raw("FATAL: ", 7);
|
|
rt_vlogf(fmt, ap);
|
|
rt_log_raw("\n", 1);
|
|
// A failed allocation (malloc, realloc, VirtualAlloc) means the commit limit was reached: this line tells a leak of
|
|
// ours (process private bytes near the limit) from a machine short of page file.
|
|
double proc, used, limit;
|
|
plat_commit_info(&proc, &used, &limit);
|
|
rt_log("fatal: memory commit: this process %.0f MB, the system %.0f of %.0f MB", proc, used, limit);
|
|
rt_fatal_notes();
|
|
kern_free_cores_note();
|
|
fs_save_crash_wait(); // a save the game already reported as done finishes first (bounded)
|
|
prof_sampler_write(); // NX2NAVI_PROFILE: what was sampled until now, else a crash loses the whole profile
|
|
// RivaTuner Statistics Server's profile goes back at the next start, from the line the run keeps for it in
|
|
// rtss-profile.txt (rtss_limit.c rtss_limit_crash, as in main.c crash_handler), with no call into RTSS's library
|
|
// here; only where that line could not be written is it put back now, and never from RTSS's own thread
|
|
rtss_limit_crash();
|
|
rt_rumble_stop_bounded(); // a controller on HD rumble: nothing renews or stops its vibration after the end
|
|
// "frametime: at a fatal error" and the stutter map, the session's last period: after what a kill of the process
|
|
// must not lose, as in the orderly end (gfx_present.c rt_exit_steps); ft_stop waits up to 50 ms
|
|
perf_summary_flush_try();
|
|
fflush(stdout);
|
|
fflush(stderr);
|
|
// Not _Exit: in the C runtime it is ExitProcess, which stops the other threads wherever they are and then runs every
|
|
// library's detach on this thread. A driver's detach that faults there turned a fatal error's end into a crash
|
|
// report with another code (platform/win32.c plat_exit names one such detach), and one that hangs held the process.
|
|
plat_terminate(code);
|
|
}
|
|
|
|
void rt_fatal(const char *fmt, ...) {
|
|
va_list ap;
|
|
va_start(ap, fmt);
|
|
fatal_end(RT_FATAL_EXIT, fmt, ap);
|
|
}
|
|
|
|
void rt_fatal_code(int code, const char *fmt, ...) {
|
|
va_list ap;
|
|
va_start(ap, fmt);
|
|
fatal_end(code, fmt, ap);
|
|
}
|
|
|
|
static const RtModule *module_at(uint64_t pc) {
|
|
for (int i = 0; i < g_nmods; i++)
|
|
if (pc - g_mods[i]->base < g_mods[i]->size) return g_mods[i];
|
|
return NULL;
|
|
}
|
|
|
|
const char *rt_guest_name(uint64_t pc, char *buf, int size) {
|
|
const RtModule *m = module_at(pc);
|
|
if (m) snprintf(buf, size, "%#llx (%s+%#llx)", (unsigned long long)pc, m->name, (unsigned long long)(pc - m->base));
|
|
else snprintf(buf, size, "%#llx", (unsigned long long)pc);
|
|
return buf;
|
|
}
|
|
|
|
static uint64_t host_hash(uint64_t addr) { return (addr >> 2) * 0x9E3779B97F4A7C15ull >> 51; } // 13 bits
|
|
|
|
static GuestFn host_lookup(uint64_t addr) {
|
|
for (uint64_t h = host_hash(addr), n = 0; n < HOST_CAP; h = (h + 1) & (HOST_CAP - 1), n++) {
|
|
if (g_host[h].addr == addr) return g_host[h].fn;
|
|
if (!g_host[h].addr) return NULL;
|
|
}
|
|
return NULL;
|
|
}
|
|
|
|
void rt_register_host(uint64_t addr, GuestFn fn) {
|
|
if (g_ready) rt_fatal("rt_register_host(%#llx) after rt_dispatch_init", (unsigned long long)addr);
|
|
if (!addr || (addr & 3) || !fn) rt_fatal("rt_register_host: bad entry %#llx", (unsigned long long)addr);
|
|
if (g_nhost >= HOST_CAP / 2) rt_fatal("rt_register_host: more than %d host functions", HOST_CAP / 2);
|
|
uint64_t h = host_hash(addr);
|
|
while (g_host[h].addr && g_host[h].addr != addr) h = (h + 1) & (HOST_CAP - 1);
|
|
if (g_host[h].addr) rt_fatal("rt_register_host: %#llx registered twice", (unsigned long long)addr);
|
|
g_host[h].addr = addr;
|
|
g_host[h].fn = fn;
|
|
g_nhost++;
|
|
}
|
|
|
|
static void *table_alloc(uint64_t bytes) {
|
|
return plat_mem_alloc(bytes); // zero pages, backed on first write
|
|
}
|
|
|
|
static void table_seal(void *p, uint64_t bytes) {
|
|
if (!plat_mem_protect((uint64_t)(uintptr_t)p, bytes, PLAT_PROT_READ)) rt_fatal("dispatch: sealing the table failed");
|
|
}
|
|
|
|
void rt_dispatch_init(const RtModule *mods, int count) {
|
|
if (g_ready) rt_fatal("rt_dispatch_init called twice");
|
|
if (count <= 0 || count > MAX_MODULES) rt_fatal("rt_dispatch_init: %d modules", count);
|
|
|
|
// Modules by base, checked for overlap.
|
|
for (int i = 0; i < count; i++) {
|
|
int j = g_nmods++;
|
|
while (j > 0 && g_mods[j - 1]->base > mods[i].base) { g_mods[j] = g_mods[j - 1]; j--; }
|
|
g_mods[j] = &mods[i];
|
|
}
|
|
for (int i = 1; i < g_nmods; i++)
|
|
if (g_mods[i - 1]->base + g_mods[i - 1]->size > g_mods[i]->base)
|
|
rt_fatal("dispatch: modules %s and %s overlap", g_mods[i - 1]->name, g_mods[i]->name);
|
|
|
|
// Function tables: sorted, aligned, inside their module. Range of guest starts and of host functions.
|
|
uint64_t lo = UINT64_MAX, hi = 0;
|
|
uintptr_t host_lo = UINTPTR_MAX, host_hi = 0;
|
|
for (int i = 0; i < g_nmods; i++) {
|
|
const RtModule *m = g_mods[i];
|
|
for (uint64_t k = 0; k < m->count; k++) {
|
|
uint64_t a = m->addrs[k];
|
|
uintptr_t f = (uintptr_t)m->fns[k];
|
|
if ((a & 3) || a - m->base >= m->size)
|
|
rt_fatal("dispatch: %s_fn_addrs[%llu] = %#llx is misaligned or outside the module", m->name,
|
|
(unsigned long long)k, (unsigned long long)a);
|
|
if (k && a <= m->addrs[k - 1])
|
|
rt_fatal("dispatch: %s_fn_addrs is not strictly ascending at [%llu] = %#llx", m->name,
|
|
(unsigned long long)k, (unsigned long long)a);
|
|
if (!f) rt_fatal("dispatch: %s_fn_ptrs[%llu] is NULL", m->name, (unsigned long long)k);
|
|
if (f < host_lo) host_lo = f;
|
|
if (f > host_hi) host_hi = f;
|
|
}
|
|
if (m->count) {
|
|
if (m->addrs[0] < lo) lo = m->addrs[0];
|
|
if (m->addrs[m->count - 1] + 4 > hi) hi = m->addrs[m->count - 1] + 4;
|
|
}
|
|
}
|
|
if (hi <= lo) rt_fatal("dispatch: no functions in any module");
|
|
if (hi - lo > TABLE_SPAN_LIMIT)
|
|
rt_fatal("dispatch: modules span %#llx guest bytes, over the %#llx the flat table allows",
|
|
(unsigned long long)(hi - lo), TABLE_SPAN_LIMIT);
|
|
uintptr_t anchor = (host_lo & ~(uintptr_t)15) - 16;
|
|
if (host_hi - anchor > UINT32_MAX)
|
|
rt_fatal("dispatch: lifted code spans %#llx host bytes; slots hold 32-bit offsets (4 GiB)",
|
|
(unsigned long long)(host_hi - anchor));
|
|
|
|
for (uint64_t h = 0; h < HOST_CAP; h++)
|
|
if (g_host[h].addr && module_at(g_host[h].addr))
|
|
rt_fatal("dispatch: host function at %#llx lies inside module %s", (unsigned long long)g_host[h].addr,
|
|
module_at(g_host[h].addr)->name);
|
|
|
|
uint64_t slots = (hi - lo) >> 2, bytes = (slots * 4 + 0xFFFF) & ~0xFFFFull;
|
|
uint32_t *slot = table_alloc(bytes);
|
|
if (!slot) rt_fatal("dispatch: cannot allocate a %llu-byte table", (unsigned long long)bytes);
|
|
for (int i = 0; i < g_nmods; i++) {
|
|
const RtModule *m = g_mods[i];
|
|
for (uint64_t k = 0; k < m->count; k++)
|
|
slot[(m->addrs[k] - lo) >> 2] = (uint32_t)((uintptr_t)m->fns[k] - anchor);
|
|
g_functions += m->count;
|
|
}
|
|
table_seal(slot, bytes);
|
|
|
|
g_table_bytes = bytes;
|
|
D.slot = slot;
|
|
D.anchor = anchor;
|
|
D.lo = lo;
|
|
D.slots = slots;
|
|
__atomic_store_n(&g_ready, true, __ATOMIC_RELEASE);
|
|
}
|
|
|
|
GuestFn rt_dispatch_lookup(uint64_t pc) {
|
|
uint64_t i = __builtin_rotateright64(pc - D.lo, 2); // a misaligned pc lands far above D.slots
|
|
if (i < D.slots && D.slot[i]) return (GuestFn)(D.anchor + D.slot[i]);
|
|
return g_ready ? host_lookup(pc) : NULL;
|
|
}
|
|
|
|
__attribute__((noinline, noreturn, cold)) static void dispatch_fail(Cpu *c) {
|
|
char at[64], lr[64];
|
|
uint64_t pc = c->pc;
|
|
if (!g_ready) rt_fatal("rt_dispatch to %#llx before rt_dispatch_init", (unsigned long long)pc);
|
|
const char *why = (pc & 3) ? "misaligned address"
|
|
: module_at(pc) ? "not a function start"
|
|
: "outside every module, no host function registered";
|
|
rt_fatal("rt_dispatch: no function at guest pc %s: %s (lr %s)", rt_guest_name(pc, at, sizeof at), why,
|
|
rt_guest_name(c->x[30], lr, sizeof lr));
|
|
}
|
|
|
|
// Host functions, and the fatal error. A separate tail call keeps the fast path below free of a stack frame.
|
|
__attribute__((noinline)) static void dispatch_slow(Cpu *c) {
|
|
GuestFn f = g_ready ? host_lookup(c->pc) : NULL;
|
|
if (!f) dispatch_fail(c);
|
|
__attribute__((musttail)) return f(c);
|
|
}
|
|
|
|
// A pending preempt request at an indirect call (a safe point: the guest state is all in Cpu). Out of line, so
|
|
// rt_dispatch keeps no stack frame.
|
|
static __attribute__((noinline)) void dispatch_preempt(Cpu *c) {
|
|
kern_checkpoint();
|
|
__attribute__((musttail)) return rt_dispatch(c);
|
|
}
|
|
|
|
// Jump to the guest address in c->pc. Always a tail call, so chains of indirect jumps keep the host stack flat. A
|
|
// pending preempt request costs two loads and a branch to check.
|
|
void rt_dispatch(Cpu *c) {
|
|
if (__builtin_expect(c->thread && kern_preempt_pending(c->thread), 0))
|
|
__attribute__((musttail)) return dispatch_preempt(c);
|
|
uint64_t i = __builtin_rotateright64(c->pc - D.lo, 2);
|
|
uint32_t off = i < D.slots ? D.slot[i] : 0;
|
|
if (__builtin_expect(!off, 0)) __attribute__((musttail)) return dispatch_slow(c);
|
|
GuestFn f = (GuestFn)(D.anchor + off);
|
|
__attribute__((musttail)) return f(c);
|
|
}
|
|
|
|
RtDispatchStats rt_dispatch_stats(void) {
|
|
return (RtDispatchStats){D.lo, D.lo + D.slots * 4, D.slots, g_table_bytes, g_functions, g_nhost};
|
|
}
|