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