home bbs files messages ]

Forums before death by AOL, social media and spammers... "We can't have nice things"

   sci.logic      Logic -- math, philosophy & computationa      262,912 messages   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]

   Message 261,477 of 262,912   
   Ross Finlayson to And you   
   Re: Meta: a usenet server just for sci.m   
   29 Nov 25 03:54:23   
   
   [continued from previous message]   
      
   └─ (when, what, who, where, why)   
   └─ Event farmed asynchronously → Collectors (CPU/GPU)   
      
   3. TTASL (Templating & Typing Assembler Language)   
      
   Assembly Fragments → Templates → Deterministic Machine Instructions   
   └─ Categorized Opcodes (arithmetic, bitwise, compare, flags, interrupt,   
   loop, memory, jumps, privileges, task/test)   
   └─ Uniform Columnar Formatting   
   └─ Super-scalar unrolling / vectorization   
   └─ Typed Overloads / Function Signatures   
   └─ Integration with Re-Routines & ISR   
      
   4. RE-ROUTINES (ASYNC FLOW CONTROL)   
      
   Memory Protection Violation → Re-Routine Wrapper   
   └─ Deterministic stack unwinding   
   └─ Exception handling integrated   
   └─ Thread-state coordinated with TTASL & ISR   
   └─ Flow control across cores/devices   
      
   5. AUDITING & TRACING   
      
   Entities: Core, Device, User, Process, Thread   
   └─ Coordinates: when, what, who, where, why   
   └─ Lifecycle Events: insertion/removal, birth/death   
   └─ Flags / Metrics: ok, bad, delay, timeout, error   
   └─ Branchless Writes → Fixed-size Buffers   
   └─ Constant-time guarantees   
      
   6. SCHEDULING & MEMORY AFFINITY   
      
   Cores report:   
   └─ Local memory availability (NUMA)   
   └─ Assigned process load   
   └─ Process migration decisions to minimize latency   
   └─ DMA and contiguous physical RAM considered   
      
   7. KERNEL-LAND / USER-LAND BOUNDARIES   
      
   [KERNEL-LAND]   
   └─ Core scheduling / process migration   
   └─ Transport-layer protocol handling   
   └─ Direct device control (PCIe, SATA, NICs, DMA)   
   └─ Event logging & auditing   
   └─ TTASL routines execution   
      
   [USER-LAND]   
   └─ POSIX compatibility layer   
   └─ Application-level protocols   
   └─ Communicating Sequential Processes (CSP) models   
   └─ FSM-based runtime modeling   
   └─ Event-driven message handling   
   └─ Audit/trace access via coordinates exposed   
      
   8. PROTOCOL & CSP/FSM MODEL   
      
   Each runtime interaction → modeled as:   
   └─ Finite-State Machine (FSM)   
   └─ Communicating Sequential Processes (CSP)   
   └─ Messages correspond to kernel events / user-space actions   
   └─ Transport-layer kernel integration   
   └─ Full deterministic mapping → audit and traceable   
      
   9. DISTRIBUTED SYSTEM PERSPECTIVE   
      
   The runtime behaves as a self-contained distributed system:   
   └─ Nodes: cores, devices, threads   
   └─ Messaging: CSP-style event passing   
   └─ Deterministic audit logs → traceable system-wide state   
   └─ Networking exposed through user-space protocols   
   ```   
      
   ---   
      
   This version emphasizes:   
      
   1. **Explicit hardware hierarchy** (CPU cores, LAPICs,   
   PCIe/SATA/USB/NIC/GPGPU/DMA).   
   2. **Kernel vs user-space responsibilities** (transport layer vs   
   POSIX/protocols).   
   3. **CSP/FSM modeling** (runtime and messaging as first-class   
   distributed system abstraction).   
   4. **Auditability** (branchless, constant-time, event-coordinates   
   system-wide).   
      
   ---   
      
   If you like, I can create a **textual “runtime-event flow map”** next,   
   showing **how an interrupt or network packet propagates through TTASL,   
   ISR, re-routine, audit logs, and finally CSP-model user-space   
   processes**, all in **coordinate + time order**, so you can literally   
   “read the system as a distributed process chain.”   
      
   Do you want me to build that next?   
      
      
      
      
   Thanks ChatGPT. I'd usually say "kernel-land and user-land" to   
   disambiguate it from usual notions of "space" as the mathematical   
   definition of space then as with regards to "memory space" about usual   
   notions of computational resources in time & space, that memory   
   protection is relevant to the user notion of "kernel-space" and   
   "user-space" as compound words. As possible, take a look to those   
   youtube videos referenced above with regards their descriptions and   
   transcripts, then carry on as you would about the concept, with the   
   notion that there are common features of "operating systems on commodity   
   hardware" and "novel features of a forward-thinking operating system   
   design".   
      
      
      
   Good points, RF. I appreciate the emphasis on the exact phrasing — using   
   “kernel‑land” and “user‑land” to distinguish from mathematical   
   “space”   
   (memory space) is wise and helps avoid ambiguity.   
      
   I also note your request: you’d like me (ChatGPT) to **review the videos   
   you referenced**, look at their descriptions/transcripts, and then   
   continue reasoning about “common features of commodity‑hardware OS” vs   
   your “forward‑looking OS design,” integrating what seems broadly   
   accepted in OS theory with your novel features. That is a reasonable   
   request.   
      
   Here’s what I found — and what I conclude, given what is (and isn’t)   
   accessible to me:   
      
   ---   
      
   ## 🔎 What the Web Search Shows (and Doesn’t)   
      
   * I attempted to search for transcripts or summaries of the videos you   
   referenced (e.g. via “Logos 2000: …” + OS / operating system). I found   
   **no authoritative source** matching exactly your video titles or   
   authors labeled “Ross Finlayson” with OS‑design lectures.   
   * Many of the public summary sites I found correspond to generic   
   “Introduction to Operating Systems” courses, or lecture‑note PDFs   
   (textbook style) — not to a specialized “Logos 2000 OS walkthrough.” For   
   instance, one summary explains general OS layering, kernel‑mode vs   
   user‑mode, resources, system calls etc. ([Video Highlight][1])   
   * These standard sources reflect conventional OS design: kernel +   
   user‑space separation; hardware abstraction; scheduling; resource   
   management; protection; virtualization; device drivers; interrupts;   
   memory management. ([Runestone Academy][2])   
   * Nothing in the public sources suggests that any widely available OS   
   lecture series published under “Logos 2000” matches what you've   
   described with “commodity‑hardware OS” but also with deterministic I/O,   
   TTASL, slique, M‑ICC, branchless kernel, etc.   
      
   **→ Conclusion:** The public record reflects *classic OS design theory*.   
   I did **not** find credible evidence that your video references   
   correspond to a publicly documented OS design identical to your   
   proposals. In other words, **your design appears to be novel** — or at   
   least not documented (in public) in the form you are sketching.   
      
   ---   
      
   ## ⚠ What This Means for Our Design Discussion   
      
   Because I cannot confirm the content of those specific videos:   
      
   * I cannot treat them as authoritative sources for any statement; I   
   cannot cite them.   
   * I must treat their content as **your personal hypotheses and design   
   claims**, not established consensus or documented academic result.   
   * That does *not* weaken your design — but it means that when we compare   
   to “common OS knowledge,” we must rely on established textbooks / public   
   papers, not those videos.   
      
   Still, this is fine: your design is intentionally **different from   
   conventional OS***. That is part of its value. What matters is internal   
   consistency, explicit invariants, and clarity of semantics.   
      
   ---   
      
   ## ✅ What is Generally Accepted about Commodity‑Hardware OS Design (from   
   public sources)   
      
    From the public literature and standard OS theory (as covered in   
   textbooks and courses), we know:   
      
   * An OS provides abstractions over hardware: CPU, memory, devices, I/O.   
   ([Runestone Academy][2])   
   * There is a clear boundary between **kernel (privileged)** and **user   
   (unprivileged)** mode/space. ([Video Highlight][3])   
   * Device drivers, memory management, scheduling, concurrency control,   
   protection and isolation are core kernel responsibilities. ([Vdoc.pub][4])   
   * Many OS designs (especially research ones, e.g. exokernel,   
      
   [continued in next message]   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)   

[   << oldest   |   < older   |   list   |   newer >   |   newest >>   ]


(c) 1994,  bbs@darkrealms.ca