Terminal-app design (ADR 0005) + disk-write controller

- ADR 0005: persistent home terminal (full-screen, chrome-less,
  bottom-pinned), F1 terminal windows, per-instance vt/tty/shell,
  queue-based input for all terminals, and the disk controller
- Glossary: add the Terminal term; update Task/App for the new model
- Add a re-entrant disk lock (DiskGuard over the preemption-depth
  counter) and wrap all fs/fat mutating operations per-call

1 files changed, 33 insertions, 8 deletions

diff --git a/rsnix/src/fat.rs b/rsnix/src/fat.rs
index b7e0da1..03b9550 100644
--- a/rsnix/src/fat.rs
+++ b/rsnix/src/fat.rs
@@ -62,6 +62,26 @@ fn active_vol() -> &'static mut usize {
     unsafe { &mut *core::ptr::addr_of_mut!(ACTIVE_VOL) }
 }
 
+/// Re-entrant disk lock: serializes filesystem/disk access across tasks.
+/// Multiple terminals may touch the disk concurrently, so every fat/fs
+/// operation that touches the shared volume state, the FAT cache, or the
+/// VFS must hold this.  Re-entrant (the preemption-depth counter), so an
+/// `fs` op can call a `fat` op without deadlocking.
+pub(crate) struct DiskGuard;
+
+impl DiskGuard {
+    pub(crate) fn acquire() -> Self {
+        crate::sched::lock();
+        DiskGuard
+    }
+}
+
+impl Drop for DiskGuard {
+    fn drop(&mut self) {
+        crate::sched::unlock();
+    }
+}
+
 pub fn volume_count() -> usize {
     vols().len()
 }
@@ -89,9 +109,10 @@ pub fn crash_vol() -> Option<usize> {
     }
     for vol in 0..n {
         if let Some(label) = volume_label(vol)
-            && label.eq_ignore_ascii_case("CRASHLOG") {
-                return Some(vol);
-            }
+            && label.eq_ignore_ascii_case("CRASHLOG")
+        {
+            return Some(vol);
+        }
     }
     Some(0)
 }
@@ -102,6 +123,7 @@ pub fn crash_vol() -> Option<usize> {
 /// removed, so VFS disk handles keep their indices.  Returns
 /// (mounted, unmounted).
 pub fn rescan() -> (usize, usize) {
+    let _lock = DiskGuard::acquire();
     let disks = crate::ahci::disk_count();
     let mut mounted = 0usize;
     let mut unmounted = 0usize;
@@ -256,11 +278,7 @@ fn is_eoc(c: u32) -> bool {
 
 fn next_cluster(c: u32) -> Result<u32, ()> {
     let n = read_fat_entry(c);
-    if is_eoc(n) {
-        Err(())
-    } else {
-        Ok(n)
-    }
+    if is_eoc(n) { Err(()) } else { Ok(n) }
 }
 
 /// Allocate a fresh cluster: mark it EOC in the FAT and zero its data.
@@ -532,6 +550,7 @@ fn scan_dir(dir_cluster: u32) -> Result<Vec<DirItem>, ()> {
 
 /// Public listing: no `.` / `..`.
 pub fn list_dir(vol: usize, dir_cluster: u32) -> Result<Vec<Entry>, ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     Ok(scan_dir(dir_cluster)?
         .into_iter()
@@ -558,6 +577,7 @@ fn find_item(parent_dir_cluster: u32, name: &str) -> Result<DirItem, ()> {
 
 /// Find an entry by name (case-insensitive).
 pub fn find(vol: usize, parent_dir_cluster: u32, name: &str) -> Result<Entry, ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     find_item(parent_dir_cluster, name).map(|i| Entry {
         name: i.name,
@@ -576,6 +596,7 @@ pub fn read_file(
     buf: &mut [u8],
     pos: u64,
 ) -> Result<usize, ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     if buf.is_empty() {
         return Ok(0);
@@ -622,6 +643,7 @@ pub fn write_file(
     buf: &[u8],
     pos: u64,
 ) -> Result<usize, ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     if buf.is_empty() {
         return Ok(0);
@@ -685,6 +707,7 @@ pub fn write_file(
 }
 
 pub fn set_len(vol: usize, parent_dir_cluster: u32, name: &str, len: u64) -> Result<(), ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     let it = find_item(parent_dir_cluster, name)?;
     if it.attr & 0x10 != 0 {
@@ -1009,6 +1032,7 @@ fn add_dir_entry(parent: u32, name: &str, is_dir: bool, cluster: u32) -> Result<
 }
 
 pub fn create(vol: usize, parent_dir_cluster: u32, name: &str, is_dir: bool) -> Result<(), ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     if find(vol, parent_dir_cluster, name).is_ok() {
         return Err(());
@@ -1048,6 +1072,7 @@ pub fn create(vol: usize, parent_dir_cluster: u32, name: &str, is_dir: bool) ->
 }
 
 pub fn remove(vol: usize, parent_dir_cluster: u32, name: &str) -> Result<(), ()> {
+    let _lock = DiskGuard::acquire();
     select_vol(vol)?;
     let it = find_item(parent_dir_cluster, name)?;
     if it.attr & 0x10 != 0 {