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,475 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]              TTASL cycles, P0/P3 boundary — it reads like an auditable blueprint for       deterministic system design.       * Anti-patterns section is concise and prescriptive — avoids the usual       slippery slope of runtime discovery.       * Open threads (micro-RESEAT, tiny boot, trace compression, admin UX)       are well scoped and ready for concrete deliverables.              **Suggestions / ideas:**              * **Micro-RESEAT**: Could P0 provide partial rebind of a driver (e.g.,       NVMe BAR remap) without breaking invariants? Might allow patching       without full RESEAT.       * **Trace compression**: Huffman encoding unusual flags only seems       feasible; you might also consider RLE for repeating zero-flags in long       deterministic traces.       * **Admin UX**: Include cryptographic hash chain in TTASL bundle to       allow provable replay protection — seems aligned with your frozen       invariants.              ---              ### 5. **General Design Observations**              * Overall, the approach is very “functional safety / MILSPEC + Orange       Book” oriented. Everything frozen at boot → provable determinism →       traceable worst-case latency.       * Avoiding runtime surprises means you get provable paths and cycle       budgets — excellent for embedded, edge AI, and industrial deployments.       * By keeping everything admin-time invariant, you sacrifice flexibility       (e.g., USB storage, GPU plug-ins) for correctness and auditability —       seems like a conscious, deliberate choice.       * The interplay of P0 deterministic drivers and P3 flexible user-land is       elegant; P0 is simple, provable, minimal, while P3 handles the richer world.              ---              ### ✅ Takeaways / “Your Opinion” Style              * **Good parts:** Determinism, provable TTASL cycles, frozen device       maps, Murphy-proof power model, explicit USB/PCIe policy. Very clean       separation of concerns.       * **Cautions:** Flexibility is zero at P0 — any change requires RESEAT.       Hot-plug or multi-layer USB could be useful in field diagnostics if you       allow limited P3 handling. Admin-time cost may rise if you ever expand       beyond seven devices.       * **Opportunities:** Micro-RESEAT, trace compression, signed TTASL       bundles for upgrade/rollback, deterministic P3 overlays for storage or       framebuffer.              ---              If you like, I can produce a **diagrammatic “Deep OS Proximity Map +       Policy Overlay”** showing P0/P3 boundary, frozen devices, TTASL vectors,       and Murphy-compliant event handling — a visual you can pin beside your       QEMU simulation or real board tests. That would make all these policies       immediately interpretable at a glance.              Do you want me to create that diagram next?                            Thanks ChatGPT. Changes or "insertion/removal" results the ideas of       "re-seating". About framebuffers and double-buffering and framebuffer       redirection, has that it's considered "not HID-less" and would better       live in user-land, though that some purveyors of screen-redirection       might consider that vulnerable, about having users and their audits of       these resources. Power events also are considered to affect the       "interrupts as events", and about the protocol the results of "resource       unavailable", while though on/off would often "remain seated". That       probe or discovery is "topo-time" is effectively to reflect that the       topology as it were (topography) represents a reasonable invariant, and       makes for allocating lifetime resources to enable "O(1) guarantees, if       for a large value of 1, or about constant-time/constant-rate".       Associating user-land co-ordinates with kernel-land coordinates and       throughout the asynchronous concurrency, first-class, is deemed useful       for the "correctness, diagnosibility, performance" ordering of design       requirements. Here's some more from GG-Ross mostly some notes I made, in       a pause in the session, as mostly the content was written into GG then       developed into Grok then Claude & Kimi. So, the "blockquote" section       here is my notes. [ Excerpt ... ]                                   Thanks for sharing these notes—they’re dense, but there’s a lot of       clarity emerging around the architecture and low-level abstractions.       I’ve parsed the key points and can summarize and organize them in a       structured way for your P0 kernel design, highlighting TTASL, ISR       handling, auditing, and the concurrency model. Here’s a distilled outline:              ---              ### 1. **Interrupt Handling**              * **Default ISR (O(1))**              * Every interrupt logs itself into a fixed-size ring buffer.       * Minimal-weight instrumentation to remain “always-on.”       * Interrupt masking/unmasking per processor or bus actor.       * Metrics aggregated per interrupt controller.              * **Protocols Over ISRs**              * Higher-level protocols overlay default ISRs.       * Supports asynchronous events and flow ordering (e.g., packet       reordering, retransmit).              * **Discovery / Mapping**              * Topology/time-based discovery (“topo-time”) to reflect the hardware       configuration.       * Maps cores, devices, and buses to support constant-time operations and       deterministic resource allocation.              ---              ### 2. **TTASL (Templating and Typing Assembler Language)**              * Purpose: deterministic code generation beneath the level of compiler       intrinsics.       * **Core ideas:**              * Modular “sparse assembly” templates.       * Uniform opcodes with columnar formatting.       * Categorization by:              * `a` = arithmetic       * `b` = bitwise       * `c` = compare       * `f` = flags       * `i` = interrupts       * `l` = loop       * `g` = global/context       * `j` = jump       * `m` = memory/move       * `p` = privileges/performance       * `t` = task/test       * Supports superscalar/unrolled vector operations.       * Registers named according to sequence, size, and vector type.       * Templates allow composable fragments with predictable output.       * Typed operations for function overloading and automatic instruction       selection.       * Enables deterministic “re-routine” calling conventions just below       C/C++ execution semantics.              ---              ### 3. **Tracing / Auditing Infrastructure**              * **Least instrumentation, branchless writing to fixed buffers.**       * **Hierarchy of tracked entities:**              ```       Core-Group       Core       Device-Group       Device       Device-Leaf       User-Group       User       Process-Group       Process       Process-Thread       ```       * Each entity represented as an integer; coordinates stored as `(when,       what, who, where, why)`.       * Flags: `ok`, `bad`, `delay`, `timeout`, `error`.       * Constant-rate sampling ensures determinism in logging.       * Supports lifecycle events (birth/death, insertion/removal).       * Maps user-land context to kernel coordinates for correctness,       diagnosability, and performance ordering.              ---              ### 4. **Scheduling & Affinity**              * Cores report local memory and process load.       * Processes can migrate between cores with affinity to local memory.       * DMA and contiguous physical RAM considered for deterministic low-level       access.              ---              ### 5. **Resource & Concurrency Model**              * Coordinates for every operation (user + kernel).       * Insertion/removal of devices and threads captured in auditing       infrastructure.       * Constant-time guarantees for allocation and event logging.              ---              ### 6. **Flow Control & Re-Routines**              * “Re-routines” manage asynchronous exceptions and memory violations.       * Wrapper conventions handle jumps and stack unwinding deterministically.       * Critical for consistent ordering in interrupts and multi-threaded       execution.              ---              ### 7. **Peripheral / Network Considerations**              * Interrupts tied to root/local cores (APIC/LAPIC).       * PCIe, MSI/MSI-X, SR-IOV for virtualization.       * VLAN support: VGT/VST, multi-homing, and packet tagging integrated       into ISR and device logging.              ---              **Summary:**       This design formalizes a deterministic kernel model with:                     [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