better testing

compile_sources.sh

@@ -4,4 +4,4 @@ echo "======================="
 echo " "
 echo "Compiling FPC Sources..."
 echo " "
-fpc -Aelf -gw -g -gl -n -v0ew -O3 -OpPENTIUM3 -Si -Sc -Sg -Xd -CX -XXs -CfSSE -CfSSE2 -Rintel -Pi386 -Tlinux -FElib/ -Fusrc/* -Fusrc/driver/* -Fusrc/driver/net/* -Fusrc/driver/bus/* -Fusrc/driver/bus/usb/* -Fusrc/driver/hid/* src/kernel.pas
+fpc -Aelf -gw -g -gl -n -v0ew -O3 -OpPENTIUM3 -Si -Sc -Sg -Xd -CX -XXs -CfSSE -CfSSE2 -Rintel -Pi386 -Tlinux -FElib/ -Fusrc/* -Fusrc/include/* -Fusrc/driver/* -Fusrc/driver/net/* -Fusrc/driver/bus/* -Fusrc/driver/bus/usb/* -Fusrc/driver/hid/* src/kernel.pas

src/kernel.pas

@@ -67,12 +67,30 @@ uses
      hashmap, vfs,
      video, vesa, doublebuffer, color, lvgl, desktop, uidebug,
      vterminal,
-     graphicsrefresh, usbhotplug;
+     graphicsrefresh, usbhotplug,
+     fifo, cfifo, cfifols, lifo, circ, minh, maxh, prio;
  
 procedure kmain(mbinfo: Pmultiboot_info_t; mbmagic: uint32); stdcall;
  
 implementation
 
+procedure terminal_command_meminfo(params : PParamList; stdin_buf, stdout_buf, stderr_buf : POutBuf);
+begin
+    push_trace('kernel.terminal_command_meminfo');
+
+    stdio.bufWriteStr(stdout_buf, 'Lower Memory = ');
+    stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_lower);
+    stdio.bufWriteStrLn(stdout_buf, 'KB');
+    stdio.bufWriteStr(stdout_buf, 'Higher Memory = ');
+    stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_upper);
+    stdio.bufWriteStrLn(stdout_buf, 'KB');
+    stdio.bufWriteStr(stdout_buf, 'Total Memory = ');
+    stdio.bufWriteInt(stdout_buf, ((multibootinfo^.mem_upper + 1000) div 1024) + 1);
+    stdio.bufWriteStrLn(stdout_buf, 'MB');
+
+    pop_trace;
+end;
+
 procedure terminal_command_bsod(params : PParamList; stdin_buf, stdout_buf, stderr_buf : POutBuf);
 begin
     push_trace('kernel.terminal_command_bsod');
@@ -165,6 +183,7 @@ begin
 
      { Stdio Init }
      stdio.init();
+     stdio.registerCommand('MEMINFO', @terminal_command_meminfo, 'Print Simple Memory Information.');
      stdio.registerCommand('BSOD', @terminal_command_bsod, 'Force a Panic Screen.');
 
      tss.init();
@@ -253,6 +272,14 @@ begin
      usbhub.UnitTest;
      usb_keyboard.UnitTest;
      usb_mouse.UnitTest;
+     fifo.UnitTest;
+     cfifo.UnitTest;
+     cfifols.UnitTest;
+     lifo.UnitTest;
+     circ.UnitTest;
+     minh.UnitTest;
+     maxh.UnitTest;
+     prio.UnitTest;
 
      { Register timer-driven tasks }
      graphicsrefresh.init;

src/prog/meminfo.pas

@@ -1,83 +0,0 @@
-//  Copyright 2021 Kieron Morris
-//
-//  Licensed under the Apache License, Version 2.0 (the "License");
-//  you may not use this file except in compliance with the License.
-//  You may obtain a copy of the License at
-//
-//  http://www.apache.org/licenses/LICENSE-2.0
-//
-//  Unless required by applicable law or agreed to in writing, software
-//  distributed under the License is distributed on an "AS IS" BASIS,
-//  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-//  See the License for the specific language governing permissions and
-//  limitations under the License.
-
-{ 
-	Prog->meminfo - Print memory statistics (PMM / LMM).
-	
-	@author(Kieron Morris <[email protected]>)
-}
-unit meminfo;
-
-interface
-
-uses
-    stdio, multiboot, pmemorymanager, lmemorymanager, tracer;
-
-procedure init();
-
-implementation
-
-procedure run(Params : PParamList; stdin_buf, stdout_buf, stderr_buf : POutBuf);
-var
-    pmm_total, pmm_free, pmm_used : uint32;
-    lmm_pages, lmm_free           : uint32;
-begin
-    { Multiboot memory info }
-    stdio.bufWriteStrLn(stdout_buf, '--- Multiboot ---');
-    stdio.bufWriteStr(stdout_buf, 'Lower Memory  : ');
-    stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_lower);
-    stdio.bufWriteStrLn(stdout_buf, ' KB');
-    stdio.bufWriteStr(stdout_buf, 'Upper Memory  : ');
-    stdio.bufWriteInt(stdout_buf, multibootinfo^.mem_upper);
-    stdio.bufWriteStrLn(stdout_buf, ' KB');
-    stdio.bufWriteStr(stdout_buf, 'Total Memory  : ');
-    stdio.bufWriteInt(stdout_buf, ((multibootinfo^.mem_upper + 1000) div 1024) + 1);
-    stdio.bufWriteStrLn(stdout_buf, ' MB');
-
-    { PMM stats }
-    stdio.bufWriteStrLn(stdout_buf, '--- PMM (4 MB blocks) ---');
-    pmm_total := pmemorymanager.pmm_total_blocks;
-    pmm_free  := pmemorymanager.pmm_free_blocks;
-    pmm_used  := pmm_total - pmm_free;
-    stdio.bufWriteStr(stdout_buf, 'Total Blocks  : ');
-    stdio.bufWriteIntLn(stdout_buf, pmm_total);
-    stdio.bufWriteStr(stdout_buf, 'Free Blocks   : ');
-    stdio.bufWriteIntLn(stdout_buf, pmm_free);
-    stdio.bufWriteStr(stdout_buf, 'Used Blocks   : ');
-    stdio.bufWriteIntLn(stdout_buf, pmm_used);
-    stdio.bufWriteStr(stdout_buf, 'Free Physical : ');
-    stdio.bufWriteInt(stdout_buf, pmm_free * 4);
-    stdio.bufWriteStrLn(stdout_buf, ' MB');
-
-    { LMM heap stats }
-    stdio.bufWriteStrLn(stdout_buf, '--- LMM (Heap) ---');
-    lmm_pages := lmemorymanager.lmm_page_count;
-    lmm_free  := lmemorymanager.lmm_total_free;
-    stdio.bufWriteStr(stdout_buf, 'Heap Pages    : ');
-    stdio.bufWriteIntLn(stdout_buf, lmm_pages);
-    stdio.bufWriteStr(stdout_buf, 'Heap Size     : ');
-    stdio.bufWriteInt(stdout_buf, lmm_pages * 4);
-    stdio.bufWriteStrLn(stdout_buf, ' MB');
-    stdio.bufWriteStr(stdout_buf, 'Heap Free     : ');
-    stdio.bufWriteInt(stdout_buf, lmm_free div 1024);
-    stdio.bufWriteStrLn(stdout_buf, ' KB');
-end;
-
-procedure init();
-begin
-    tracer.push_trace('meminfo.init');
-    stdio.registerCommand('MEMINFO', @Run, 'Print memory statistics (PMM/LMM).');
-end;
-
-end.

src/progmanager.pas

@@ -24,7 +24,7 @@ interface
 uses
     tracer,
     //progs
-    base64_prog, md5sum, dhclient, vbeinfo, meminfo;
+    base64_prog, md5sum, dhclient, vbeinfo;
 
 { Initialize all baked-in programs }
 procedure init();
@@ -40,7 +40,6 @@ begin
     tracer.push_trace('progmanager.dhclient.init');
     dhclient.init();
     vbeinfo.init();
-    meminfo.init();
 end;
 
 end.

src/vmemorymanager.pas

@@ -159,14 +159,20 @@ end;
 
 function map_page(page_number : uint16; block : uint16) : boolean;
 var
+    addr  : ubit20;
+    page  : uint16;
     rldpd : uint32;
 
 begin
     push_trace('vmemorymanager.map_page');
-    { Delegate to map_page_ex — no redundant direct PDE writes }
+    map_page:= false; 
-    map_page := map_page_ex(page_number, block, PageDirectory);
+    PageDirectory^[page_number].Present:= true;
-    { Reload CR3 to flush TLB }
+    addr:= block;
-    rldpd := uint32(PageDirectory) - KERNEL_VIRTUAL_BASE;
+    PageDirectory^[page_number].Address:= addr SHL 10;
+    PageDirectory^[page_number].PageSize:= true;
+    PageDirectory^[page_number].Writable:= true;
+    map_page:= map_page_ex(page_number, block, PageDirectory);
+    rldpd:= uint32(PageDirectory) - KERNEL_VIRTUAL_BASE;
     asm
         mov eax, rldpd
         mov CR3, eax
@@ -195,15 +201,14 @@ var
 
 begin
     push_trace('vmemorymanager.new_page');
-    new_page := false;
+    new_page:= false;
     if not PageDirectory^[page_number].Present then begin
         if not PageDirectory^[page_number].Reserved then begin
-            block := pmemorymanager.new_block(uint32(PageDirectory));
+            block:= pmemorymanager.new_block(uint32(PageDirectory));
-            if block = 0 then begin
+            if block < 2 then begin
-                { OOM — PMM has no free blocks. Return false gracefully. }
+                GPF;
-                syslog.logln('VMM', 'ERROR: new_page failed — PMM OOM.');
             end else begin
-                new_page := map_page(page_number, block);
+                new_page:= map_page(page_number, block);
             end;
         end;
     end;
@@ -211,15 +216,17 @@ begin
 end;
 
 function page_mappable(page_number : uint16) : boolean;
+var
+    block : uint16;
+
 begin
     push_trace('vmemorymanager.page_mappable');
-    page_mappable := false;
+    page_mappable:= false;
     if not PageDirectory^[page_number].Present then begin
         if not PageDirectory^[page_number].Reserved then begin
-            page_mappable := true;
+            page_mappable:= true;
         end;
     end;
-    pop_trace;
 end;
 
 function new_page_at_address(address : uint32) : boolean;
@@ -236,25 +243,14 @@ end;
 procedure free_page(page_number : uint16);
 var
     block : uint16;
-    vaddr : uint32;
 
 begin
     push_trace('vmemorymanager.free_page');
     if PageDirectory^[page_number].Present then begin
-        { Recover block index: Address stores (block SHL 10), so SHR 10 gives block }
+        block:= PageDirectory^[page_number].Address;
-        block := PageDirectory^[page_number].Address SHR 10;
-        { Clear the PDE before invalidating }
-        PageDirectory^[page_number].Present    := false;
-        PageDirectory^[page_number].Writable   := false;
-        PageDirectory^[page_number].PageSize   := false;
-        PageDirectory^[page_number].Address    := 0;
-        { Invalidate TLB for this virtual address (invlpg needs a virtual addr) }
-        vaddr := uint32(page_number) SHL 22;
         asm
-            mov eax, vaddr
+            invlpg [page_number]
-            invlpg [eax]
         end;
-        { Return physical block to PMM }
         pmemorymanager.free_block(block, uint32(PageDirectory));
     end else begin
         GPF;