Python/SQLite refactor

- Uses Python/Jinja2 to preprocess C files
- Uses SQLite3 for data compression

1 files changed, 1209 insertions, 0 deletions

diff --git a/ui/curses/ui.j2.c b/ui/curses/ui.j2.c
new file mode 100644
index 0000000..4370774
--- /dev/null
+++ b/ui/curses/ui.j2.c
@@ -0,0 +1,1209 @@
+// Author:  Paul Oliver <contact@pauloliver.dev>
+// Project: Salis
+
+// Implements a curses TUI for the Salis simulator.
+// World view renders the contents of the VM memory buffer into a 7 channel image.
+// It supports zooming in and out, condensing the state of several bytes of memory
+// into single pixels (terminal cells). When zoomed in, each pixel represents a
+// single byte in memory.
+
+{% set pane_width       = 27 %}
+{% set proc_field_width = 21 %}
+{% set proc_page_lines  = 12 %}
+
+{% macro ctrl(x) %}('{{ x }}' & 0x1f){% endmacro %}
+
+{% if not args.optimized %}
+    {% set min_fps =  5 %}
+    {% set max_fps = 10 %}
+{% else %}
+    {% set min_fps = 30 %}
+    {% set max_fps = 60 %}
+{% endif %}
+
+// pages
+enum {
+    PAGE_CORE,
+    PAGE_PROCESS,
+    PAGE_WORLD,
+    PAGE_IPC,
+    PAGE_COUNT,
+};
+
+// color pairs
+enum {
+    PAIR_NOUSE,
+    PAIR_NORMAL,
+    PAIR_HEADER,
+    PAIR_LIVE_PROC,
+    PAIR_SELECTED_PROC,
+    PAIR_FREE_CELL,
+    PAIR_ALLOC_CELL,
+    PAIR_MEM_BLOCK_START,
+    PAIR_SELECTED_MB1,
+    PAIR_SELECTED_MB2,
+    PAIR_SELECTED_IP,
+    PAIR_SELECTED_SP,
+};
+
+// GFX globals
+uint64_t  g_gfx_vsiz; // zoom level
+uint64_t *g_gfx_inst; // instruction channel
+uint64_t *g_gfx_mall; // allocated state channel
+uint64_t *g_gfx_mbst; // memory block start channel
+uint64_t *g_gfx_mb0s; // selected organism's memory block #1 channel
+uint64_t *g_gfx_mb1s; // selected organism's memory block #2 channel
+uint64_t *g_gfx_ipas; // selected organism's IP channel
+uint64_t *g_gfx_spas; // selected organism's SP channel
+
+// TUI globals
+bool      g_exit;
+bool      g_running;
+unsigned  g_core;
+unsigned  g_page;
+bool      g_proc_genes;
+uint64_t  g_proc_scroll;
+uint64_t  g_proc_field_scroll;
+uint64_t  g_proc_gene_scroll;
+uint64_t  g_proc_selected;
+uint64_t  g_wrld_pos;
+uint64_t  g_wrld_zoom;
+bool      g_wcursor_mode;
+int       g_wcursor_x;
+int       g_wcursor_y;
+uint64_t  g_wcursor_pointed;
+uint64_t  g_vlin;
+uint64_t  g_vsiz;
+uint64_t  g_vlin_rng;
+uint64_t  g_vsiz_rng;
+uint64_t  g_ivpt_scroll;
+char     *g_line_buff;
+uint64_t  g_step_block;
+
+const wchar_t *g_zoomed_symbols = (
+    L"⠀⠁⠂⠃⠄⠅⠆⠇⡀⡁⡂⡃⡄⡅⡆⡇⠈⠉⠊⠋⠌⠍⠎⠏⡈⡉⡊⡋⡌⡍⡎⡏⠐⠑⠒⠓⠔⠕⠖⠗⡐⡑⡒⡓⡔⡕⡖⡗⠘⠙⠚⠛⠜⠝⠞⠟⡘⡙⡚⡛⡜⡝⡞⡟"
+    L"⠠⠡⠢⠣⠤⠥⠦⠧⡠⡡⡢⡣⡤⡥⡦⡧⠨⠩⠪⠫⠬⠭⠮⠯⡨⡩⡪⡫⡬⡭⡮⡯⠰⠱⠲⠳⠴⠵⠶⠷⡰⡱⡲⡳⡴⡵⡶⡷⠸⠹⠺⠻⠼⠽⠾⠿⡸⡹⡺⡻⡼⡽⡾⡿"
+    L"⢀⢁⢂⢃⢄⢅⢆⢇⣀⣁⣂⣃⣄⣅⣆⣇⢈⢉⢊⢋⢌⢍⢎⢏⣈⣉⣊⣋⣌⣍⣎⣏⢐⢑⢒⢓⢔⢕⢖⢗⣐⣑⣒⣓⣔⣕⣖⣗⢘⢙⢚⢛⢜⢝⢞⢟⣘⣙⣚⣛⣜⣝⣞⣟"
+    L"⢠⢡⢢⢣⢤⢥⢦⢧⣠⣡⣢⣣⣤⣥⣦⣧⢨⢩⢪⢫⢬⢭⢮⢯⣨⣩⣪⣫⣬⣭⣮⣯⢰⢱⢲⢳⢴⢵⢶⢷⣰⣱⣲⣳⣴⣵⣶⣷⢸⢹⢺⢻⢼⢽⢾⢿⣸⣹⣺⣻⣼⣽⣾⣿"
+);
+
+// ----------------------------------------------------------------------------
+// GFX functions
+// ----------------------------------------------------------------------------
+void gfx_init(uint64_t vsiz) {
+    assert(vsiz);
+
+    g_gfx_vsiz = vsiz;
+
+    g_gfx_inst = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_mall = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_mbst = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_mb0s = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_mb1s = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_ipas = calloc(g_gfx_vsiz, sizeof(uint64_t));
+    g_gfx_spas = calloc(g_gfx_vsiz, sizeof(uint64_t));
+
+    assert(g_gfx_inst);
+    assert(g_gfx_mall);
+    assert(g_gfx_mbst);
+    assert(g_gfx_mb0s);
+    assert(g_gfx_mb1s);
+    assert(g_gfx_ipas);
+    assert(g_gfx_spas);
+}
+
+void gfx_free() {
+    if (g_gfx_vsiz == 0) {
+        return;
+    }
+
+    assert(g_gfx_inst);
+    assert(g_gfx_mall);
+    assert(g_gfx_mbst);
+    assert(g_gfx_mb0s);
+    assert(g_gfx_mb1s);
+    assert(g_gfx_ipas);
+    assert(g_gfx_spas);
+
+    g_gfx_vsiz = 0;
+
+    free(g_gfx_inst);
+    free(g_gfx_mall);
+    free(g_gfx_mbst);
+    free(g_gfx_mb0s);
+    free(g_gfx_mb1s);
+    free(g_gfx_ipas);
+    free(g_gfx_spas);
+
+    g_gfx_inst = NULL;
+    g_gfx_mall = NULL;
+    g_gfx_mbst = NULL;
+    g_gfx_mb0s = NULL;
+    g_gfx_mb1s = NULL;
+    g_gfx_ipas = NULL;
+    g_gfx_spas = NULL;
+}
+
+void gfx_resize(uint64_t vsiz) {
+    assert(vsiz);
+
+    gfx_free();
+    gfx_init(vsiz);
+}
+
+void gfx_render_inst(const struct Core *core, uint64_t pos, uint64_t zoom) {
+    assert(core);
+
+    for (uint64_t i = 0; i < g_gfx_vsiz; ++i) {
+        g_gfx_inst[i] = 0;
+        g_gfx_mall[i] = 0;
+
+        for (uint64_t j = 0; j < zoom; ++j) {
+            uint64_t addr = pos + (i * zoom) + j;
+
+            g_gfx_inst[i] += mvec_get_byte(core, addr);
+            g_gfx_mall[i] += mvec_is_alloc(core, addr) ? 1 : 0;
+        }
+    }
+}
+
+void gfx_clear_array(uint64_t *arry) {
+    assert(arry);
+    memset(arry, 0, g_gfx_vsiz * sizeof(uint64_t));
+}
+
+{% if arch_vars.mvec_loop %}
+void gfx_accumulate_pixel(uint64_t pos, uint64_t zoom, uint64_t pixa, uint64_t *arry) {
+    assert(arry);
+
+    uint64_t beg_mod = pos % {{ mvec_size }};
+    uint64_t end_mod = beg_mod + (g_gfx_vsiz * zoom);
+    uint64_t pix_mod = pixa % {{ mvec_size }};
+
+    {% if not args.optimized %}
+    uint64_t inc_cnt = 0;
+    {% endif %}
+
+    while (pix_mod < end_mod) {
+        if (pix_mod >= beg_mod && pix_mod < end_mod) {
+            uint64_t pixi = (pix_mod - beg_mod) / zoom;
+            assert(pixi < g_gfx_vsiz);
+            arry[pixi]++;
+
+            {% if not args.optimized %}
+            inc_cnt++;
+            {% endif %}
+        }
+
+        pix_mod += {{ mvec_size }};
+    }
+
+    {% if not args.optimized %}
+    if (zoom != 1) {
+        assert(inc_cnt <= 2);
+    }
+    {% endif %}
+}
+{% endif %}
+
+{% if not arch_vars.mvec_loop %}
+void gfx_accumulate_pixel(uint64_t pos, uint64_t zoom, uint64_t pixa, uint64_t *arry) {
+    assert(arry);
+
+    uint64_t end = pos + (g_gfx_vsiz * zoom);
+
+    if (pixa < pos || pixa >= end) {
+        return;
+    }
+
+    uint64_t pixi = (pixa - pos) / zoom;
+    assert(pixi < g_gfx_vsiz);
+    arry[pixi]++;
+}
+{% endif %}
+
+void gfx_render_mbst(const struct Core *core, uint64_t pos, uint64_t zoom) {
+    assert(core);
+
+    gfx_clear_array(g_gfx_mbst);
+
+    for (uint64_t pix = core->pfst; pix <= core->plst; ++pix) {
+        uint64_t mb0a = arch_proc_mb0_addr(core, pix);
+        uint64_t mb1a = arch_proc_mb1_addr(core, pix);
+
+        gfx_accumulate_pixel(pos, zoom, mb0a, g_gfx_mbst);
+        gfx_accumulate_pixel(pos, zoom, mb1a, g_gfx_mbst);
+    }
+}
+
+void gfx_render_mb0s(const struct Core *core, uint64_t pos, uint64_t zoom, uint64_t psel) {
+    assert(core);
+
+    gfx_clear_array(g_gfx_mb0s);
+
+    if (psel < core->pfst || psel > core->plst) {
+        return;
+    }
+
+    uint64_t mb0a = arch_proc_mb0_addr(core, psel);
+    uint64_t mb0s = arch_proc_mb0_size(core, psel);
+
+    for (uint64_t i = 0; i < mb0s; ++i) {
+        gfx_accumulate_pixel(pos, zoom, mb0a + i, g_gfx_mb0s);
+    }
+}
+
+void gfx_render_mb1s(const struct Core *core, uint64_t pos, uint64_t zoom, uint64_t psel) {
+    assert(core);
+
+    gfx_clear_array(g_gfx_mb1s);
+
+    if (psel < core->pfst || psel > core->plst) {
+        return;
+    }
+
+    uint64_t mb1a = arch_proc_mb1_addr(core, psel);
+    uint64_t mb1s = arch_proc_mb1_size(core, psel);
+
+    for (uint64_t i = 0; i < mb1s; ++i) {
+        gfx_accumulate_pixel(pos, zoom, mb1a + i, g_gfx_mb1s);
+    }
+}
+
+void gfx_render_ipas(const struct Core *core, uint64_t pos, uint64_t zoom, uint64_t psel) {
+    assert(core);
+
+    gfx_clear_array(g_gfx_ipas);
+
+    if (psel < core->pfst || psel > core->plst) {
+        return;
+    }
+
+    uint64_t ipa = arch_proc_ip_addr(core, psel);
+
+    gfx_accumulate_pixel(pos, zoom, ipa, g_gfx_ipas);
+}
+
+void gfx_render_spas(const struct Core *core, uint64_t pos, uint64_t zoom, uint64_t psel) {
+    assert(core);
+
+    gfx_clear_array(g_gfx_spas);
+
+    if (psel < core->pfst || psel > core->plst) {
+        return;
+    }
+
+    uint64_t spa = arch_proc_sp_addr(core, psel);
+
+    gfx_accumulate_pixel(pos, zoom, spa, g_gfx_spas);
+}
+
+void gfx_render(const struct Core *core, uint64_t pos, uint64_t zoom, uint64_t psel) {
+    assert(core);
+
+    gfx_render_inst(core, pos, zoom);
+    gfx_render_mbst(core, pos, zoom);
+    gfx_render_mb0s(core, pos, zoom, psel);
+    gfx_render_mb1s(core, pos, zoom, psel);
+    gfx_render_ipas(core, pos, zoom, psel);
+    gfx_render_spas(core, pos, zoom, psel);
+}
+
+// ----------------------------------------------------------------------------
+// TUI functions
+// ----------------------------------------------------------------------------
+void ui_line_buff_free() {
+    if (g_line_buff) {
+        free(g_line_buff);
+    }
+
+    g_line_buff = NULL;
+}
+
+void ui_line_buff_resize() {
+    ui_line_buff_free();
+
+    g_line_buff = calloc(COLS + 1, sizeof(char));
+}
+
+void ui_line(bool clear, int line, int color, int attr, const char *format, ...) {
+    assert(line >= 0);
+    assert(format);
+
+    if (line >= LINES) {
+        return;
+    }
+
+    if (clear) {
+        move(line, 0);
+        clrtoeol();
+    }
+
+    va_list args;
+
+    attron(COLOR_PAIR(color) | attr);
+    va_start(args, format);
+
+    vsnprintf(g_line_buff, COLS, format, args);
+    mvprintw(line, 1, g_line_buff);
+
+    va_end(args);
+    attroff(COLOR_PAIR(color) | attr);
+}
+
+void ui_clear_line(int l) {
+    ui_line(true, l, PAIR_NORMAL, A_NORMAL, "");
+}
+
+void ui_field(int line, int col, int color, int attr, const char *format, ...) {
+    assert(line >= 0);
+    assert(col >= 0);
+    assert(format);
+
+    if (line >= LINES || col >= COLS) {
+        return;
+    }
+
+    va_list args;
+
+    attron(COLOR_PAIR(color) | attr);
+    va_start(args, format);
+
+    vsnprintf(g_line_buff, COLS - col, format, args);
+    mvprintw(line, col, g_line_buff);
+
+    va_end(args);
+    attroff(COLOR_PAIR(color) | attr);
+}
+
+void ui_str_field(int l, const char *label, const char *value) {
+    assert(label);
+    assert(value);
+    ui_line(false, l, PAIR_NORMAL, A_NORMAL, "%s : %18s", label, value);
+}
+
+void ui_ulx_field(int l, const char *label, uint64_t value) {
+    assert(label);
+    ui_line(false, l, PAIR_NORMAL, A_NORMAL, "%-4s : %#18lx", label, value);
+}
+
+void ui_print_core(int l) {
+    ui_line(false, ++l, PAIR_HEADER, A_BOLD, "CORE [%d]", g_core);
+    ui_ulx_field(++l, "cycl", g_cores[g_core].cycl);
+    ui_ulx_field(++l, "mall", g_cores[g_core].mall);
+    ui_ulx_field(++l, "mut0", g_cores[g_core].muta[0]);
+    ui_ulx_field(++l, "mut1", g_cores[g_core].muta[1]);
+    ui_ulx_field(++l, "mut2", g_cores[g_core].muta[2]);
+    ui_ulx_field(++l, "mut3", g_cores[g_core].muta[3]);
+    ui_ulx_field(++l, "pnum", g_cores[g_core].pnum);
+    ui_ulx_field(++l, "pcap", g_cores[g_core].pcap);
+    ui_ulx_field(++l, "pfst", g_cores[g_core].pfst);
+    ui_ulx_field(++l, "plst", g_cores[g_core].plst);
+    ui_ulx_field(++l, "pcur", g_cores[g_core].pcur);
+    ui_ulx_field(++l, "psli", g_cores[g_core].psli);
+    ui_ulx_field(++l, "ivpt", g_cores[g_core].ivpt);
+
+    // Architecture specific fields
+    {% for type, val in arch_vars.core_fields %}
+    ui_ulx_field(++l, "{{ val }}", g_cores[g_core].{{ val }});
+    {% endfor %}
+}
+
+int ui_proc_pair(uint64_t pix) {
+    if (pix == g_proc_selected) {
+        return PAIR_SELECTED_PROC;
+    } else if (mvec_proc_is_live(&g_cores[g_core], pix)) {
+        return PAIR_LIVE_PROC;
+    } else {
+        return PAIR_NORMAL;
+    }
+}
+
+const char *ui_proc_state(uint64_t pix) {
+    return mvec_proc_is_live(&g_cores[g_core], pix) ? "live" : "dead";
+}
+
+void ui_print_process_genome_header(int l) {
+    ui_line(false, l++, PAIR_NORMAL, A_NORMAL, "%s : %18s : %s", "stat", "pix", "genome");
+}
+
+void ui_print_process_gene(int l, int gcol, uint64_t gidx, uint64_t mba, uint64_t pix, int pair) {
+    assert(gcol >= {{ pane_width }} + 2);
+    assert(gcol < COLS);
+    assert(mvec_proc_is_live(&g_cores[g_core], pix));
+    assert(pair == PAIR_SELECTED_MB1 || pair == PAIR_SELECTED_MB2);
+
+    const struct Core *core = &g_cores[g_core];
+
+    uint64_t addr = mba + gidx;
+    uint8_t  byte = mvec_get_byte(core, addr);
+
+    wchar_t gsym[2] = { arch_symbol(byte), L'\0' };
+    cchar_t cchar   = { 0 };
+
+    int pair_cell;
+
+    if (arch_proc_ip_addr(core, pix) == addr) {
+        pair_cell = PAIR_SELECTED_IP;
+    } else if (arch_proc_sp_addr(core, pix) == addr) {
+        pair_cell = PAIR_SELECTED_SP;
+    } else {
+        pair_cell = pair;
+    }
+
+    setcchar(&cchar, gsym, 0, pair_cell, NULL);
+    mvadd_wch(l, gcol, &cchar);
+}
+
+void ui_print_process_genes(int l, uint64_t pix) {
+    ui_line(true, l, ui_proc_pair(pix), A_NORMAL, "%s : %#18lx :", ui_proc_state(pix), pix);
+
+    if (!mvec_proc_is_live(&g_cores[g_core], pix)) {
+        return;
+    }
+
+    const struct Core *core = &g_cores[g_core];
+
+    int      scol = {{ pane_width }} + 2;
+    int      gcol = scol - g_proc_gene_scroll;
+    uint64_t mb0a = arch_proc_mb0_addr(core, pix);
+    uint64_t mb0s = arch_proc_mb0_size(core, pix);
+    uint64_t mb1a = arch_proc_mb1_addr(core, pix);
+    uint64_t mb1s = arch_proc_mb1_size(core, pix);
+
+    for (uint64_t gidx = 0; gidx < mb0s && gcol < COLS; ++gidx, ++gcol) {
+        if (gcol >= scol) {
+            ui_print_process_gene(l, gcol, gidx, mb0a, pix, PAIR_SELECTED_MB1);
+        }
+    }
+
+    for (uint64_t gidx = 0; gidx < mb1s && gcol < COLS; ++gidx, ++gcol) {
+        if (gcol >= scol) {
+            ui_print_process_gene(l, gcol, gidx, mb1a, pix, PAIR_SELECTED_MB2);
+        }
+    }
+
+    clrtoeol();
+}
+
+void ui_print_process_field_header_element(int l, int fidx, const char *name) {
+    assert(fidx >= 0);
+    assert(name);
+
+    if (fidx < (int)g_proc_field_scroll) {
+        return;
+    }
+
+    int foff = fidx - g_proc_field_scroll;
+    int fcol = foff * {{ proc_field_width }} + {{ pane_width }} - 1;
+
+    ui_field(l, fcol, PAIR_NORMAL, A_NORMAL, " : %18s", name);
+}
+
+void ui_print_process_field_header(int l) {
+    ui_line(true, l, PAIR_NORMAL, A_NORMAL, "%s : %18s", "stat", "pix");
+
+    int fidx = 0;
+
+    {% for _, val in arch_vars.proc_fields %}
+    ui_print_process_field_header_element(l, fidx++, "{{ val  }}");
+    {% endfor %}
+}
+
+void ui_print_process_field_element(int l, int fidx, int fclr, uint64_t field) {
+    assert(fidx >= 0);
+
+    if (fidx < (int)g_proc_field_scroll) {
+        return;
+    }
+
+    int foff = fidx - g_proc_field_scroll;
+    int fcol = foff * {{ proc_field_width }} + {{ pane_width }} - 1;
+
+    ui_field(l, fcol, fclr, A_NORMAL, " : %#18lx", field);
+}
+
+void ui_print_process_fields(int l, uint64_t pix) {
+    ui_line(true, l, ui_proc_pair(pix), A_NORMAL, "%s : %#18lx", ui_proc_state(pix), pix);
+
+    const struct Proc *proc = proc_get(&g_cores[g_core], pix);
+
+    int fidx = 0;
+    int fclr = ui_proc_pair(pix);
+
+    {% for _, val in arch_vars.proc_fields %}
+    ui_print_process_field_element(l, fidx++, fclr, proc->{{ val }});
+    {% endfor %}
+}
+
+void ui_print_process(int l) {
+    l++;
+
+    ui_line(true, l++, PAIR_HEADER, A_BOLD,
+        "PROCESS [vs:%#lx | ps:%#lx | pf:%#lx | pl:%#lx | fs:%#lx | gs:%#lx]",
+        g_proc_scroll,
+        g_proc_selected,
+        g_cores[g_core].pfst,
+        g_cores[g_core].plst,
+        g_proc_field_scroll,
+        g_proc_gene_scroll
+    );
+
+    uint64_t pix = g_proc_scroll;
+
+    if (g_proc_genes) {
+        ui_print_process_genome_header(l++);
+
+        while (l < LINES) {
+            ui_print_process_genes(l++, pix++);
+        }
+    } else {
+        ui_print_process_field_header(l++);
+
+        while (l < LINES) {
+            ui_print_process_fields(l++, pix++);
+        }
+    }
+}
+
+void ui_world_resize() {
+    assert(g_wrld_zoom);
+
+    g_vlin     = 0;
+    g_vsiz     = 0;
+    g_vlin_rng = 0;
+    g_vsiz_rng = 0;
+
+    if (COLS > {{ pane_width }}) {
+        g_vlin     = COLS - {{ pane_width }};
+        g_vsiz     = LINES * g_vlin;
+        g_vlin_rng = g_vlin * g_wrld_zoom;
+        g_vsiz_rng = g_vsiz * g_wrld_zoom;
+
+        gfx_resize(g_vsiz);
+    }
+}
+
+{% if arch_vars.mvec_loop %}
+void ui_print_cell(uint64_t i, uint64_t r, uint64_t x, uint64_t y) {
+{% else %}
+void ui_print_cell(uint64_t i, uint64_t r, uint64_t x, uint64_t y, uint64_t a) {
+{% endif %}
+    wchar_t  inst_nstr[2] = { L'\0', L'\0' };
+    cchar_t  cchar        = { 0 };
+    uint64_t inst_avrg    = g_gfx_inst[i] / g_wrld_zoom;
+
+    if (g_wrld_zoom == 1) {
+        inst_nstr[0] = arch_symbol((uint8_t)inst_avrg);
+    } else {
+        inst_nstr[0] = g_zoomed_symbols[(uint8_t)inst_avrg];
+    }
+
+    int pair_cell;
+
+    {% if arch_vars.mvec_loop %}
+    if (g_wcursor_mode && r == (uint64_t)g_wcursor_x && y == (uint64_t)g_wcursor_y) {
+    {% else %}
+    if (a >= {{ mvec_size }} || (g_wcursor_mode && r == (uint64_t)g_wcursor_x && y == (uint64_t)g_wcursor_y)) {
+    {% endif %}
+        pair_cell = PAIR_NORMAL;
+    } else if (g_wcursor_mode && r == (uint64_t)g_wcursor_x && y == (uint64_t)g_wcursor_y) {
+        pair_cell = PAIR_NORMAL;
+    } else if (g_gfx_ipas[i] != 0) {
+        pair_cell = PAIR_SELECTED_IP;
+    } else if (g_gfx_spas[i] != 0) {
+        pair_cell = PAIR_SELECTED_SP;
+    } else if (g_gfx_mb0s[i] != 0) {
+        pair_cell = PAIR_SELECTED_MB1;
+    } else if (g_gfx_mb1s[i] != 0) {
+        pair_cell = PAIR_SELECTED_MB2;
+    } else if (g_gfx_mbst[i] != 0) {
+        pair_cell = PAIR_MEM_BLOCK_START;
+    } else if (g_gfx_mall[i] != 0) {
+        pair_cell = PAIR_ALLOC_CELL;
+    } else {
+        pair_cell = PAIR_FREE_CELL;
+    }
+
+    setcchar(&cchar, inst_nstr, 0, pair_cell, NULL);
+    mvadd_wch(y, x, &cchar);
+}
+
+void ui_print_wcursor_bar() {
+    ui_clear_line(LINES - 1);
+
+    const struct Core *core = &g_cores[g_core];
+
+    char cownr[{{ proc_field_width }}];
+
+    uint64_t cpos  = g_vlin * g_wcursor_y + g_wcursor_x;
+    uint64_t caddr = cpos * g_wrld_zoom + g_wrld_pos;
+    uint8_t  cbyte = mvec_get_byte(core, caddr);
+
+    if (mvec_is_alloc(core, caddr)) {
+        g_wcursor_pointed = mvec_get_owner(core, caddr);
+        snprintf(cownr, {{ proc_field_width }}, "%#lx", g_wcursor_pointed);
+    } else {
+        g_wcursor_pointed = (uint64_t)(-1);
+        snprintf(cownr, {{ proc_field_width }}, "-");
+    }
+
+    mvprintw(
+        LINES - 1,
+        1,
+        "cursor | x:%#x | y:%#x | addr:%#lx | isum:%#lx | iavr:%#lx | mall:%#lx | mbst:%#lx | mnem:<%s> | ownr:%s",
+        g_wcursor_x,
+        g_wcursor_y,
+        caddr,
+        g_gfx_inst[cpos],
+        g_gfx_inst[cpos] / g_wrld_zoom,
+        g_gfx_mall[cpos],
+        g_gfx_mbst[cpos],
+        arch_mnemonic(cbyte),
+        cownr
+    );
+}
+
+void ui_print_world(int l) {
+    l++;
+
+    ui_line(false, l++, PAIR_HEADER, A_BOLD, "WORLD");
+    ui_ulx_field(l++, "wrlp", g_wrld_pos);
+    ui_ulx_field(l++, "wrlz", g_wrld_zoom);
+    ui_ulx_field(l++, "psel", g_proc_selected);
+    ui_ulx_field(l++, "pabs", g_proc_selected % g_cores[g_core].pcap);
+    ui_ulx_field(l++, "vrng", g_vsiz_rng);
+    ui_str_field(l++, "curs", g_wcursor_mode ? "on" : "off");
+
+    l++;
+
+    ui_line(false, l++, PAIR_HEADER, A_BOLD, "SELECTED");
+
+    const struct Proc *psel = proc_get(&g_cores[g_core], g_proc_selected);
+
+    {% for _, val in arch_vars.proc_fields %}
+    ui_ulx_field(l++, "{{ val }}", psel->{{ val }});
+    {% endfor %}
+
+    if (!g_vlin) {
+        return;
+    }
+
+    gfx_render(&g_cores[g_core], g_wrld_pos, g_wrld_zoom, g_proc_selected);
+
+    if (g_wcursor_mode) {
+        int xmax = g_vlin - 1;
+        int ymax = LINES - 2;
+
+        g_wcursor_x = (g_wcursor_x < xmax) ? g_wcursor_x : xmax;
+        g_wcursor_y = (g_wcursor_y < ymax) ? g_wcursor_y : ymax;
+    }
+
+    for (uint64_t i = 0; i < g_vsiz; ++i) {
+        uint64_t r = i % g_vlin;
+        uint64_t x = r + {{ pane_width }};
+        uint64_t y = i / g_vlin;
+
+        {% if arch_vars.mvec_loop %}
+        ui_print_cell(i, r, x, y);
+        {% else %}
+        uint64_t a = g_wrld_pos + (i * g_wrld_zoom);
+
+        ui_print_cell(i, r, x, y, a);
+        {% endif %}
+    }
+
+    if (g_wcursor_mode) {
+        ui_print_wcursor_bar();
+    }
+}
+
+void ui_print_ipc_field(int l, uint64_t i, int color) {
+    uint8_t  iinst = g_cores[g_core].iviv[i];
+    uint64_t iaddr = g_cores[g_core].ivav[i];
+
+    ui_field(l, {{ pane_width }}, color, A_NORMAL, "%#18x : %#18x : %#18x", i, iinst, iaddr);
+}
+
+void ui_print_ipc_data() {
+    ui_field(0, {{ pane_width }}, PAIR_NORMAL, A_NORMAL, "%18s : %18s : %18s", "ipci", "inst", "addr");
+
+    int l = 1 - g_ivpt_scroll;
+
+    for (uint64_t i = 0; i < {{ sync_interval }}; ++i) {
+        if (i == g_cores[g_core].ivpt) {
+            if (l >= 1) {
+                ui_print_ipc_field(l++, i, PAIR_SELECTED_PROC);
+            }
+
+            continue;
+        }
+
+        uint8_t iinst = g_cores[g_core].iviv[i];
+
+        if ((iinst & {{ ipc_flag }}) != 0) {
+            if (l >= 1) {
+                ui_print_ipc_field(l++, i, PAIR_LIVE_PROC);
+            }
+
+            continue;
+        }
+    }
+
+    for (; l < LINES; ++l) {
+        if (l >= 1) {
+            move(l, {{ pane_width }});
+            clrtoeol();
+        }
+    }
+}
+
+void ui_print_ipc(int l) {
+    l++;
+
+    const struct Core *core = &g_cores[g_core];
+
+    ui_line(true, l++, PAIR_HEADER, A_BOLD, "IPC [%#lx]", g_ivpt_scroll);
+    ui_ulx_field(l++, "ivpt", core->ivpt);
+    ui_ulx_field(l++, "ivpi", core->iviv[core->ivpt]);
+    ui_ulx_field(l++, "ivpa", core->ivav[core->ivpt]);
+
+    ui_print_ipc_data();
+}
+
+void ui_print() {
+    int l = 1;
+
+    ui_line(false, l++, PAIR_HEADER, A_BOLD, "SALIS [%d:%d]", g_core, {{ args.cores }});
+    ui_str_field(l++, "name", "{{ args.name }}");
+    ui_ulx_field(l++, "seed", {{ args.seed }});
+    ui_str_field(l++, "fbit", "{{ "yes" if args.muta_flip else "no" }}");
+    ui_ulx_field(l++, "asav", {{ auto_save_interval }});
+    ui_str_field(l++, "arch", "{{ args.arch }}");
+    ui_ulx_field(l++, "size", {{ mvec_size }});
+    ui_ulx_field(l++, "syni", {{ sync_interval }});
+    ui_ulx_field(l++, "step", g_steps);
+    ui_ulx_field(l++, "sync", g_syncs);
+    ui_ulx_field(l++, "step", g_step_block);
+
+    switch (g_page) {
+    case PAGE_CORE:
+        ui_print_core(l);
+        break;
+    case PAGE_PROCESS:
+        ui_print_process(l);
+        break;
+    case PAGE_WORLD:
+        ui_print_world(l);
+        break;
+    case PAGE_IPC:
+        ui_print_ipc(l);
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_vscroll(int ev) {
+    switch (g_page) {
+    case PAGE_PROCESS:
+        switch (ev) {
+        case 'W':
+            g_proc_scroll += (LINES > {{ proc_page_lines }}) ? LINES - {{ proc_page_lines }} : 0;
+            break;
+        case 'S':
+            g_proc_scroll -= (LINES > {{ proc_page_lines }}) ? LINES - {{ proc_page_lines }} : 0;
+            break;
+        case 'w':
+            g_proc_scroll += 1;
+            break;
+        case 's':
+            g_proc_scroll -= 1;
+            break;
+        case 'q':
+            g_proc_scroll = 0;
+            break;
+        default:
+            break;
+        }
+
+        break;
+    case PAGE_WORLD: {
+        switch (ev) {
+        case 'W':
+            g_wrld_pos += g_vsiz_rng;
+            break;
+        case 'S':
+            g_wrld_pos -= g_vsiz_rng;
+            break;
+        case 'w':
+            g_wrld_pos += g_vlin_rng;
+            break;
+        case 's':
+            {% if arch_vars.mvec_loop %}
+            g_wrld_pos -= g_vlin_rng;
+            {% else %}
+            if (g_wrld_pos < g_vlin_rng) {
+                g_wrld_pos = 0;
+            } else {
+                g_wrld_pos -= g_vlin_rng;
+            }
+            {% endif %}
+            break;
+        case 'q':
+            g_wrld_pos = 0;
+            break;
+        default:
+            break;
+        }
+
+        break;
+    }
+    case PAGE_IPC:
+        switch (ev) {
+        case 'W':
+            g_ivpt_scroll += LINES;
+            break;
+        case 'S':
+            g_ivpt_scroll -= g_ivpt_scroll < (uint64_t)LINES ? g_ivpt_scroll : (uint64_t)LINES;
+            break;
+        case 'w':
+            g_ivpt_scroll += 1;
+            break;
+        case 's':
+            g_ivpt_scroll -= g_ivpt_scroll ? 1 : 0;
+            break;
+        case 'q':
+            g_ivpt_scroll = 0;
+            break;
+        }
+
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_hscroll(int ev) {
+    switch (g_page) {
+    case PAGE_PROCESS: {
+        uint64_t *hs_var = g_proc_genes ? &g_proc_gene_scroll : &g_proc_field_scroll;
+
+        switch (ev) {
+        case 'A':
+            *hs_var = 0;
+            break;
+        case 'a':
+            *hs_var -= *hs_var ? 1 : 0;
+            break;
+        case 'd':
+            (*hs_var)++;
+            break;
+        default:
+            break;
+        }
+
+        break;
+    }
+
+    case PAGE_WORLD:
+        switch (ev) {
+        case 'a':
+            {% if arch_vars.mvec_loop %}
+            g_wrld_pos -= g_wrld_zoom;
+            {% else %}
+            if (g_wrld_pos < g_wrld_zoom) {
+                g_wrld_pos = 0;
+            } else {
+                g_wrld_pos -= g_wrld_zoom;
+            }
+            {% endif %}
+            break;
+        case 'd':
+            g_wrld_pos += g_wrld_zoom;
+            break;
+        default:
+            break;
+        }
+
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_zoom(int ev) {
+    switch (g_page) {
+    case PAGE_WORLD:
+        switch (ev) {
+        case 'x':
+            g_wrld_zoom *= (g_vlin != 0 && g_vsiz_rng < {{ mvec_size }}) ? 2 : 1;
+            ui_world_resize();
+            break;
+        case 'z':
+            g_wrld_zoom /= (g_wrld_zoom != 1) ? 2 : 1;
+            ui_world_resize();
+            break;
+        default:
+            break;
+        }
+
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_move_wcursor(int ev) {
+    switch (ev) {
+    case KEY_UP:
+        g_wcursor_y -= (g_wcursor_y != 0) ? 1 : 0;
+        break;
+    case KEY_DOWN:
+        g_wcursor_y += (g_wcursor_y < LINES - 2) ? 1 : 0;
+        break;
+    case KEY_LEFT:
+        g_wcursor_x -= (g_wcursor_x != 0) ? 1 : 0;
+        break;
+    case KEY_RIGHT:
+        g_wcursor_x += ((uint64_t)g_wcursor_x < g_vlin - 1) ? 1 : 0;
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_sel_proc(int ev) {
+    if (g_page != PAGE_PROCESS && g_page != PAGE_WORLD) {
+        return;
+    }
+
+    switch (ev) {
+    case 'o':
+        g_proc_selected -= 1;
+        break;
+    case 'p':
+        g_proc_selected += 1;
+        break;
+    case 'f':
+        g_proc_selected = g_cores[g_core].pfst;
+        break;
+    case 'l':
+        g_proc_selected = g_cores[g_core].plst;
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_goto_sel_proc() {
+    switch (g_page) {
+    case PAGE_PROCESS:
+        g_proc_scroll = g_proc_selected;
+        break;
+    case PAGE_WORLD:
+        g_wrld_pos = g_cores[g_core].pvec[g_proc_selected % g_cores[g_core].pcap].mb0a;
+        break;
+    default:
+        break;
+    }
+}
+
+void ev_handle() {
+    int ev = getch();
+
+    if (g_page == PAGE_WORLD && g_wcursor_mode) {
+        switch (ev) {
+        case KEY_UP:
+        case KEY_DOWN:
+        case KEY_LEFT:
+        case KEY_RIGHT:
+            ev_move_wcursor(ev);
+            return;
+        case '\n':
+            if (g_wcursor_pointed != (uint64_t)(-1)) {
+                g_proc_selected = g_wcursor_pointed;
+            }
+
+            break;
+        default:
+            break;
+        }
+    }
+
+    switch (ev) {
+    case {{ ctrl('c') }}:
+        g_exit = true;
+        break;
+    case KEY_SLEFT:
+        clear();
+        g_core = (g_core - 1) % {{ args.cores }};
+        break;
+    case KEY_SRIGHT:
+        clear();
+        g_core = (g_core + 1) % {{ args.cores }};
+        break;
+    case KEY_LEFT:
+        clear();
+        g_page = (g_page - 1) % PAGE_COUNT;
+        break;
+    case KEY_RIGHT:
+        clear();
+        g_page = (g_page + 1) % PAGE_COUNT;
+        break;
+    case KEY_RESIZE:
+        clear();
+        ui_line_buff_resize();
+        ui_world_resize();
+
+        if (g_vlin) {
+            while (g_vsiz_rng >= {{ mvec_size }} * 2 && g_wrld_zoom != 1) {
+                g_wrld_zoom /= 2;
+                ui_world_resize();
+            }
+        }
+
+        g_wcursor_mode = false;
+        break;
+    case 'W':
+    case 'S':
+    case 'w':
+    case 's':
+    case 'q':
+        ev_vscroll(ev);
+        break;
+    case 'A':
+    case 'a':
+    case 'd':
+        ev_hscroll(ev);
+        break;
+    case 'z':
+    case 'x':
+        ev_zoom(ev);
+        break;
+    case 'o':
+    case 'p':
+    case 'f':
+    case 'l':
+        ev_sel_proc(ev);
+        break;
+    case 'k':
+        ev_goto_sel_proc();
+        break;
+    case 'g':
+        if (g_page == PAGE_PROCESS) {
+            clear();
+            g_proc_genes = !g_proc_genes;
+        }
+
+        break;
+    case 'c':
+        if (g_page == PAGE_WORLD) {
+            clear();
+
+            if (g_vlin == 0) {
+                g_wcursor_mode = false;
+            } else {
+                g_wcursor_mode = !g_wcursor_mode;
+            }
+        }
+
+        break;
+    case ' ':
+        g_running = !g_running;
+        nodelay(stdscr, g_running);
+        break;
+    case '1':
+    case '2':
+    case '3':
+    case '4':
+    case '5':
+    case '6':
+    case '7':
+    case '8':
+    case '9':
+    case '0':
+        if (!g_running) {
+            uint64_t cycles = 1 << (((ev - '0') ? (ev - '0') : 10) - 1);
+            salis_step(cycles);
+        }
+
+        break;
+    default:
+        break;
+    }
+}
+
+void init() {
+    setlocale(LC_ALL, "");
+
+    initscr();
+    raw();
+    noecho();
+    curs_set(0);
+    keypad(stdscr, TRUE);
+
+    start_color();
+    init_color(COLOR_BLACK, 0, 0, 0);
+
+    init_pair(PAIR_NORMAL,          COLOR_WHITE,  COLOR_BLACK  );
+    init_pair(PAIR_HEADER,          COLOR_BLUE,   COLOR_BLACK  );
+    init_pair(PAIR_LIVE_PROC,       COLOR_BLUE,   COLOR_BLACK  );
+    init_pair(PAIR_SELECTED_PROC,   COLOR_YELLOW, COLOR_BLACK  );
+    init_pair(PAIR_FREE_CELL,       COLOR_BLACK,  COLOR_BLUE   );
+    init_pair(PAIR_ALLOC_CELL,      COLOR_BLACK,  COLOR_CYAN   );
+    init_pair(PAIR_MEM_BLOCK_START, COLOR_BLACK,  COLOR_WHITE  );
+    init_pair(PAIR_SELECTED_MB1,    COLOR_BLACK,  COLOR_YELLOW );
+    init_pair(PAIR_SELECTED_MB2,    COLOR_BLACK,  COLOR_GREEN  );
+    init_pair(PAIR_SELECTED_IP,     COLOR_BLACK,  COLOR_RED    );
+    init_pair(PAIR_SELECTED_SP,     COLOR_BLACK,  COLOR_MAGENTA);
+
+    {% if args.command == "new" %}
+    salis_init();
+    {% elif args.command == "load" %}
+    salis_load();
+    {% endif %}
+
+    g_wrld_zoom  = 1;
+    g_step_block = 1;
+
+    ui_line_buff_resize();
+    ui_world_resize();
+}
+
+void exec() {
+    while (!g_exit) {
+        if (g_running) {
+            clock_t beg = clock();
+            salis_step(g_step_block - (g_steps % g_step_block));
+            clock_t end = clock();
+
+            if ((end - beg) < (CLOCKS_PER_SEC / {{ min_fps }})) {
+                g_step_block <<= 1;
+            }
+
+            if ((end - beg) >= (CLOCKS_PER_SEC / {{ max_fps }}) && g_step_block != 1) {
+                g_step_block >>= 1;
+            }
+        }
+
+        ui_print();
+        ev_handle();
+    }
+}
+
+void quit() {
+    gfx_free();
+    ui_line_buff_free();
+    salis_save("{{ sim_path }}");
+    salis_free();
+    endwin();
+}
+
+int main() {
+    init();
+    exec();
+    quit();
+
+    return 0;
+}