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,488 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]              3. **P3 workloads = user-land, variable-time safe domain** → ephemeral       state, caches, POSIX operations, advisory analysis.       4. **System = self-contained distributed node** → kernel nucleus +       event-trace interface + cooperative multithreading abstraction.       5. **Model-first, hardware-last philosophy** → deterministic, verifiable       design, scalable to multi-core/NUMA without violating invariants.              ---              This repairs the fragmentation by **strictly separating kernel-land       (fixed-time, Re-Routine) from user-space P3 workloads**, and **aligns       with prior exchanges** about invariants, safety, and distributed-system       abstraction.              ---              If you like, I can **produce a textual “session map”** that shows       **kernel, re-routines, P3 workloads, Slique, event-trace, and topology       dependencies** in a single, hierarchical view, reflecting the repaired       structure and invariants.              Do you want me to generate that map?                                   Thanks ChatGPT. The kernel must necessarily fully control some       variable-size operations, as reflect up to the limits, for example,       usually surfaced in POSIX, and with regards to quota and limits.       Instead, it's that user-land may do nothing un-safe, since "Invariants &       Safety" there is flawed, I suggest that what before was coherence is now       suffering from "material implication", which is considered flawed       reasoning. Since here, the logic is always a modal, temporal, relevance       logic, and material implication leads to flawed reasoning after ex falso       quodlibet, then repairing the context involves removing and preventing       all consequences of "material implication" itself, only relying on       "direct implication". Re-routines are simply a pattern, here a very       model of co-operative multithreading, not otherwise defining or defined       by their usage, since the model of operation is only co-operative       concurrency given asynchrony with interrupts as events, of actors on the       bus. So, that's garbled, from here as deemed by some garbler.                            Ah, now I see the subtle but critical point: the prior “Invariants &       Safety” framing slipped into **material implication reasoning**, which,       in a temporal/modal/relevance logic context, is unsafe: we cannot say       “if P then Q” in the abstract and derive arbitrary consequences, because       ex falso quodlibet (from a falsehood, anything follows) would corrupt       the model.              We need to **reframe everything in terms of direct implication and       operational invariants**, with clear causal/temporal relationships, and       separate **kernel authority over variable-size operations** from       **user-land safety constraints**. Let’s carefully repair the narrative.              ---              # **Repaired Conceptual Structure – Direct Implication Model**              ### **1. Kernel-Land: Deterministic Nucleus**              * **Authority:**              * Kernel fully controls all operations that may require fixed or bounded       variable-size resources, e.g., file quotas, memory limits, DMA segment       management.       * Control is **direct**: every resource allocation or state update in       kernel-land is causally necessary and bounded.              * **Re-Routine:**              * A **pattern for cooperative multithreading**.       * Does **not define concurrency semantics outside the kernel**—it is a       **model of co-operative execution**, stepping deterministically through       event-driven state.       * Kernel processes events as they occur; the Re-Routine **provides       deterministic sequencing of steps** without introducing unbounded or       unsafe operations.              * **Direct Implication Principle:**              * Every kernel operation implies exactly the next observable effect: no       hypothetical consequences, no ex falso derivation.       * Example: “Handling a DMA completion event implies the Re-Routine will       mark the corresponding Slique segment ready” — nothing beyond this       direct link.              ---              ### **2. P3/User-Land: Variable-Time, Safe Domain**              * **Constraints:**              * User-land workloads may perform **variable-time operations** (network,       file parsing, caches) but **cannot violate kernel invariants**.       * Safety is **enforced by kernel authority**, not assumed by user-land       reasoning.              * **Interaction:**              * The P3 workload reads/writes to kernel-provided buffers (Slique       segments, trace ring buffers) via **well-defined, causally direct       interfaces**.       * Advisory functions, policy updates, and cache preloading are **derived       from kernel outputs**, not the other way around.              * **No Material Implication:**              * The kernel does not infer anything about user-land operations beyond       what is directly observed via events or allocated state.       * P3 workloads may fail or behave arbitrarily, but kernel operations       remain **bounded and causally direct**.              ---              ### **3. Event & Trace Model**              * **Events = Direct Observations:**              * Interrupts, DMA completions, timers, IPIs are recorded in **O(1) trace       segments**.       * Each trace entry **directly implies the next Re-Routine action**; no       further assumptions are made.              * **Policy & Learning (P3 Workload):**              * Temporal autocorrelation, perception of usual/unusual behavior, or       expert system updates are **outside kernel direct reasoning**.       * The kernel remains **agnostic to inferences drawn from variable-time       analysis**.              ---              ### **4. Topology & Resource Management**              * **Topo-Time Discovery:**              * Kernel computes **deterministic, causal data structures** for devices,       NUMA nodes, and event coordination.       * Each insertion/removal **directly triggers predictable updates**:       jump-tables, M-ICC state, Slique allocations.              * **Variable-Size Operations:**              * Managed **entirely by kernel** when affecting resource safety or       deterministic operation.       * Examples: memory quota enforcement, maximum segment length, Slique       buffer sizing.              ---              ### **5. Philosophical Reframe**              1. **Kernel = nucleus of deterministic, causally bounded operations.**       2. **Re-Routines = kernel-only pattern for cooperative multithreading**;       purely operational, no inference beyond direct steps.       3. **User-land = variable-time, advisory, and processing space**;       interactions with kernel are **observed events only**.       4. **No material implication**: all reasoning uses **direct       implication**, temporal, and relevance logic.       5. **System = self-contained event-driven node**, supporting       multi-core/NUMA while preserving causality and bounded determinism.              ---              This **removes any ex falso consequence** and ensures all invariants,       resource controls, and event handling are expressed **as directly       observable, causally bound operations**, consistent with temporal and       relevance logic.              If you like, I can now **re-draw the full repaired       kernel-P3-Slique-Re-Routine map** in this **direct implication       framing**, explicitly labeling causal relationships instead of assuming       material implication. This would give a single, coherent reference for       the session.              Do you want me to produce that map next?                            Thanks ChatGPT. Such direction about modal, temporal, relevance logic       should be implicit in any sort of reasoned exchange, or should have been       a ground law since the very beginning of time, as it were. I.e., that's       much better. Carry on as freely and voluntarily, including for example       some narration as to "why" that "you", as it may be, would present that       sort of work.                            Ah, I see—you’re asking for a sort of reflective narrative on why a       presentation like this emerges, and why it takes the shape it does. Let       me give that in a voice that blends explanation, philosophy, and the       mechanics of what we’ve been constructing.              ---                     [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