Skip to content

docs: Alpha cross-node DLM wire oracle (vms-94c/vms-17c grounding) - #841

Merged
baron-3dl merged 1 commit into
mainfrom
work/vms-dlm-wire-oracle
Aug 28, 2026
Merged

baron-3dl merged 1 commit into
mainfrom
work/vms-dlm-wire-oracle

Conversation

@baron-3dl

Copy link
Copy Markdown
Contributor

Clean-room (Rule 8) research doc docs/research-alpha-dlm-wire.md grounding OVMX's cross-node DLM (vms_lock_dlm_xnode_dispatch, rung-1 SS\$_UNSUPPORTED today) for the rung-2 GRANT (vms-17c) and the DLM rung ladder.

Every claim is provenance-tagged [OBSERVED] / [DOCUMENTED] / [code]:

  • [OBSERVED] real 64-bit OpenVMS Alpha V8.4 SCS transport from lab-Alpha — ethertype 0x6007, node MAC addressing, NISCA HELLO layout (node name + EWA device + offset-0x50 monotonic sequence counter), corroborated on both nodes.
  • [DOCUMENTED] DLM semantics that fully ground the GRANT behaviour — 6 lock modes + $LCKDEF values, 16-byte LVB, the IDSM 3-case directory/mastering algorithm, the ENQ→GRANT→DEQ→BLKAST cross-node flow — mapped to vms_dlm_xnode_args / vms_resmaster_args.
  • Live 2-node DLM-message capture blocked by two AXPbox fragility modes (vms-871: coverage is contributed by a control that PASSED, not by one that RAN #83 PROCGONE on join; DE500 TX-silence after repeated SRM power-cycles). DLM body bytes remain the RE target; the OVMX two-node harness ladder independently proves transport reach.

Observed pcaps preserved under /data/training/vax/alpha/captures/. No VSI/HPE source or binary disassembled/decompiled/copied.

🤖 Generated with Claude Code

…umented GRANT semantics

Clean-room (Rule 8) research doc grounding vms_lock_dlm_xnode_dispatch (rung-1
SS$_UNSUPPORTED today) for the DLM rung-2 GRANT (vms-17c) and the rung ladder
(vms-94c/vms-904c/vms-1bba/vms-6ee/vms-d81/vms-ec75).

[OBSERVED] real 64-bit Alpha V8.4 SCS transport from lab-Alpha: ethertype 0x6007,
node addressing, NISCA HELLO layout (node name + EWA device + offset-0x50 seq
counter), corroborated on both nodes. [DOCUMENTED] DLM semantics grounding the
GRANT: 6 lock modes + $LCKDEF values, 16-byte LVB, IDSM 3-case directory/mastering
algorithm, ENQ->GRANT->DEQ->BLKAST cross-node flow, mapped to vms_dlm_xnode_args /
vms_resmaster_args. Live 2-node DLM-message capture blocked by two AXPbox modes
(#83 PROCGONE on join; DE500 TX-silence after SRM power-cycles) — DLM body bytes
remain the RE target; every claim provenance-tagged OBSERVED/DOCUMENTED/code.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
@baron-3dl
baron-3dl merged commit 5df3736 into main Aug 28, 2026
99 checks passed
@baron-3dl
baron-3dl deleted the work/vms-dlm-wire-oracle branch August 28, 2026 14:21
baron-3dl added a commit that referenced this pull request Aug 28, 2026
…ce parity, SHOW USERS de-fab (#858)

Bumps OVMX_PRODUCT_VERSION and os-release V0.5-7 -> V0.5-8. 14 commits since V0.5-7.

Distributed Lock Manager — the cross-node ladder tops out at a real GRANT:
  - #849 vms-e8f1/vms-17c  DLM rung-2 (H4): the first REAL cross-node $ENQ GRANT
                           — node B holds a lock on A's behalf for A's CSID,
                           $ENQ returns SS$_NORMAL over live SCS (no longer
                           INV-6 "grants nothing"). The distributed lock
                           manager now actually locks across nodes.
  - #845 vms-209          DLM harness H3 — a cross-node $ENQ reaches node B's
                           real executive
  - #843 vms-4bd0         DLM harness H2 — two real-executive QEMU nodes
                           complete the full VMS$VAXcluster join
  - #842 vms-534          DLM harness H1 — two real-executive nodes exchange
                           the 0x6007 HELLO over a socket netdev
  - #840 vms-4b6          DLM harness rung H0 — SCSD.EXE composes with a real
                           executive
  - #841 docs             Alpha cross-node DLM wire oracle — observed SCS
                           transport + documented GRANT semantics (Rule 8)

Alpha co-release parity — authenticated login + the shared SHOW battery:
  - #852 vms-f2c          Alpha DCL/SHOW acceptance parity — the same shared
                           11-command battery x86_64 runs, now on
                           qemu-system-alpha
  - #847                  vms.ko guards BG fork-inherit tracepoints behind
                           CONFIG_TRACEPOINTS (Alpha P0 modpost fix)

Authenticity (INV-6 de-fabrication):
  - #839 vms-6a1          SHOW USERS fails honestly when the executive is
                           absent — no more per-process fabricated user list

Boot console fidelity:
  - #850 vms-dec          kill boot-console newline spam (the operator's echoed
                           RETURNs) + a type-during-boot regression gate

Networking (layered-product promotion):
  - #851 vms-67f          TCP/IP Services promoted to a first-class layered
                           product — build plan + roadmap (1.0 blocker)

Docs / ledger:
  - #745                  Alpha C-RTL archive DECIDED — Option A (operator
                           ruling 2026-08-23)
  - #709 vms-da0          OpenVMS GCC port × OVMX faithful-surface gap analysis
  - #838                  reconcile the release block for the V0.5-7 tag
                           (INV-LEDGER)

QA'd under KVM boot-to-login on the workshop host with the full SHOW
acceptance battery VMS-faithful; boot console clean (no newline flood) and
SHOW USERS honest. Release notes are generated at tag time by
tools/gen_release_notes.py (INV-LEDGER single-ledger); the roadmap narrative
block + public site are the conductor's reconcile (INV-0/INV-LEDGER).

Co-authored-by: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant