From 1767d390fbf3d0c65389de46caf0b6d43ef3b6ad Mon Sep 17 00:00:00 2001
From: Richard Qin <richard.qin.x@gmail.com>
Date: Fri, 10 Jul 2026 11:24:56 +0800
Subject: feat: establish bootable new architecture checkpoint

Replace the compressed boot path with a relocatable higher-half RISC-V entry, expand memory and SMP support, and add the driver, TTY, VFS, exec, signal, syscall, initramfs, and self-test infrastructure needed for a bootable kernel checkpoint.
---
 na/kernel/timer.cc | 76 +++++++++++++++++++++++++++++++++++++++++++++++++++++-
 1 file changed, 75 insertions(+), 1 deletion(-)

(limited to 'na/kernel/timer.cc')

diff --git a/na/kernel/timer.cc b/na/kernel/timer.cc
index 01e8f9d..3cf03cf 100644
--- a/na/kernel/timer.cc
+++ b/na/kernel/timer.cc
@@ -7,10 +7,72 @@
 #include <arch/cpu.h>
 #include <arch/sbi.h>
 
+#include <kernel/sync/spinlock.h>
+
 uint64 g_jiffies = 0;
 static uint64 g_timer_freq = 10000000;
 static uint64 g_tick_interval = 0;
 
+static list_node g_timer_list;
+static Spinlock g_timer_lock;
+
+
+void add_timer(TimerList* timer) {
+    LockGuard guard(g_timer_lock);
+    
+    list_node* pos;
+    list_for_each(pos, &g_timer_list) {
+        TimerList* t = list_entry<TimerList, &TimerList::entry>(pos);
+        if (t->expires > timer->expires) {
+            break;
+        }
+    }
+    
+    timer->entry.prev = pos->prev;
+    timer->entry.next = pos;
+    pos->prev->next = &timer->entry;
+    pos->prev = &timer->entry;
+}
+
+int del_timer(TimerList* timer) {
+    LockGuard guard(g_timer_lock);
+    if (timer->entry.next != nullptr && timer->entry.next != &timer->entry) {
+        timer->entry.prev->next = timer->entry.next;
+        timer->entry.next->prev = timer->entry.prev;
+        timer->entry.init();
+        return 1;
+    }
+    return 0;
+}
+
+int mod_timer(TimerList* timer, uint64 expires) {
+    int ret = del_timer(timer);
+    timer->expires = expires;
+    add_timer(timer);
+    return ret;
+}
+
+static void run_timers() {
+    g_timer_lock.acquire();
+    
+    while (!g_timer_list.is_empty()) {
+        TimerList* t = list_entry<TimerList, &TimerList::entry>(g_timer_list.next);
+        if (t->expires > g_jiffies) {
+            break;
+        }
+        
+        t->entry.prev->next = t->entry.next;
+        t->entry.next->prev = t->entry.prev;
+        t->entry.init();
+        
+        g_timer_lock.release();
+        t->function(t);
+        g_timer_lock.acquire();
+    }
+    
+    g_timer_lock.release();
+}
+
 static void timer_set_next() {
     arch::sbi::set_timer(arch::cpu::read_time() + g_tick_interval);
 }
@@ -24,21 +86,33 @@ void timer_init() {
     // Default 100 Hz (10ms per tick)
     g_tick_interval = g_timer_freq / 100;
     
+    g_timer_lock.init("timer_list");
+    g_timer_list.init();
+    
     timer_set_next();
+
     arch::cpu::timer_intr_on();
 }
 
+
 void timer_init_ap() {
     timer_set_next();
     arch::cpu::timer_intr_on();
 }
 
+extern "C" uint32 bsp_hart_id;
+
 void timer_tick() {
-    g_jiffies++;
+    if (arch::cpu::id() == bsp_hart_id) {
+        g_jiffies++;
+        run_timers();
+    }
+
     timer_set_next();
     sched_tick();
 }
 
+
 uint64 timer_get_freq() {
     return g_timer_freq;
 }
-- 
cgit v1.2.3