Files
Marc Schier da7412c429 Add native xRegistry events and distinct Resource versions (#4396)
## Summary

- support the xRegistry 0.6.0 distinct Resource/Version hierarchy:
  `Registry -> Group -> Resource -> Versions -> Version`
- instantiate stable logical Resource nodes separately from exact
Version nodes
  while preserving existing Version NodeIds
- delegate logical Resource FileType operations and Version-view
metadata to the
selected default Version with handle pinning and shared writer
reservations
- make Resource and Version delete behavior role-stable and use
`MetaEpoch` /
  `Epoch` respectively
- use stable Resource SourceNodes, exact Version SourceNodes and the
  `Server -> Registry -> Group -> Resource -> Version` notifier chain
- keep a model-metadata-gated client fallback for 0.5 flat Servers; 0.6
Servers
  expose no legacy aliases
- target `HasWoTProjection` at the real stable logical Resource node
- use `AsyncCustomNodeManager` for the registration, fast-path, and
federation managers,
  with awaited lifecycle, node mutations, event delivery, and cleanup
- handle startup rollback, reentrant deletion callbacks, undisclosed
file handles,
  and retryable cleanup without blocking unrelated file operations

## Authoritative dependencies

- companion specification: OPCF-Members/spec-drafts#32 at
  `d3399fca025025a73e5a6b599f850a81d985c060`
- OPC UA binding: xregistry/spec#568
- xRegistry event semantics: xregistry/spec#563, merged as
  `66ee31e47fbadff6ab982ae1516f7d9065e46b64`
- companion NodeSet SHA-256:
  `369f5f3f1814b333e4eeb52bfb4b6a730cdff372505a5f91a54c94f0016ac4cf`

## Review feedback

- keep the WoT Connectivity information-model designation at `1.1`;
draft revisions update the publication date without changing the model
version
- eliminate all 198 unique CA1861 diagnostics across 54 files and remove
seven obsolete project suppressions
- fix the analyzer-clean touched-path CA1307 and the hierarchy follow-up
CA1846/CA1851 diagnostics without dropping legacy-TFM compatibility

- recover the reconcile queue after callback faults/cancellation and
continue accepted pending changes
- remove migration guidance for the xRegistry managers, which are new in
2.0

## Compatibility

- public WoT Connectivity model designation remains `1.1`
- generated event-record ABI, constructors, options, NodeIds, and stored
documents remain compatible
- the generic xRegistry managers are new in 2.0 and implement
`IAsyncNodeManager`;
use `IAsyncNodeManagerFactory` and the async lifecycle hooks (see
`docs\XRegistry.md`)
- persistence schema and document blobs remain compatible unless noted
below

## Validation

- merge validation at `980422f76` with upstream `e8bec27d5`: 454
targeted WoT/materialization/model/registry cases and all 327 XRegistry
cases passed on both net10.0 and net48; all 29 net10 aggregation sample
cases passed
- feedback regressions at `308e8ba74`: 55 targeted queue and live
registry event/projection/lifecycle cases passed on each of net10.0 and
net48
- prior CI: all 266 checks passed at `6489a0908`; the unchanged Ubuntu
Core certificate-counter test and dependent jobs passed on the one-time
retry ([run 34117304035, attempt
2](https://github.com/OPCFoundation/UA-.NETStandard/actions/runs/34117304035/attempts/2))
- `Opc.Ua.XRegistry.Tests` — 327 passed on net10.0 and net48 for
migration commit `32c914aaf`
- `Opc.Ua.WotCon.Tests` net10.0 — 1348 passed
- `Opc.Ua.WotCon.Bindings.Tests` net10.0 — 683 passed
- `Opc.Ua.SourceGeneration.Core.Tests` net10.0 — 3807 passed, 8 skipped
- `Opc.Ua.SourceGeneration.Tests` net10.0 — 145 passed
- `Opc.Ua.SourceGeneration.Stack.Tests` net10.0 — 94 passed
- affected XRegistry and WoT client/server projects build successfully
- xRegistry NodeSet is byte-identical to the companion artifact
- repository-wide CA1861 inventory — 198 unique diagnostics across 54
files reduced to zero
- targeted changed-fixture validation — 1,098 passed, 3 skipped, 0
failed
- constrained full `UA.slnx` net10.0 Release build — CA1861 = 0
- `Opc.Ua.XRegistry.Client` net472 and netstandard2.1 builds — 0
warnings, 0 errors
- independent shared-array safety review — no significant issues
- `git diff --check`

The final review regressions cover concurrent reconcile/open, synthetic
logical
handle collisions across default switches, cross-session Close
isolation,
shared writer reservations, logical FileType property/change
propagation,
logical Labels delegation, role-fixed deletion, event sources,
model-version
gating, and stable `HasWoTProjection` targets.

The companion specification and protocol binding are reviewed in the
linked PRs above.

---------

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
Copilot-Session: 5c79a1ed-6dab-4522-a9fc-6548caa78ad5
Copilot-Session: b605797f-a97a-4cd0-8f12-016d33c2fd88
Copilot-Session: 7ef369a5-2307-4f71-8a11-15af0e72f240
Copilot-Session: e716d455-8397-4d22-9c5a-398847ab7317
2026-09-08 04:46:40 +00:00

209 lines
9.0 KiB
C#

/* ========================================================================
* Copyright (c) 2005-2025 The OPC Foundation, Inc. All rights reserved.
*
* OPC Foundation MIT License 1.00
*
* Permission is hereby granted, free of charge, to any person
* obtaining a copy of this software and associated documentation
* files (the "Software"), to deal in the Software without
* restriction, including without limitation the rights to use,
* copy, modify, merge, publish, distribute, sublicense, and/or sell
* copies of the Software, and to permit persons to whom the
* Software is furnished to do so, subject to the following
* conditions:
*
* The above copyright notice and this permission notice shall be
* included in all copies or substantial portions of the Software.
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES
* OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT
* HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
* WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR
* OTHER DEALINGS IN THE SOFTWARE.
*
* The complete license agreement can be found here:
* http://opcfoundation.org/License/MIT/1.00/
* ======================================================================*/
// CA2000: system-under-test disposables are created per test and released at teardown;
// there is no cross-test resource leak. Suppressed file-level for the suite.
#pragma warning disable CA2000 // Dispose objects before losing scope
// CA2007: tests run without a SynchronizationContext; ConfigureAwait(false)
// adds noise without a behavioural benefit. Disabled file-level for the suite.
#pragma warning disable CA2007
using System;
using System.Collections.Generic;
using System.Threading.Tasks;
using Crdt;
using Crdt.Transport;
using NUnit.Framework;
using Opc.Ua.Redundancy;
namespace Opc.Ua.Client.Redundancy.Tests
{
/// <summary>
/// Coverage for the client-side CRDT shared key/value store.
/// </summary>
[TestFixture]
[Category("ClientRedundancy")]
public sealed class ReplicatedSharedKeyValueStoreTests
{
[Test]
public async Task SetThenGetRoundTripsAsync()
{
await using var network = new InMemoryNetwork();
await using var store = new ReplicatedSharedKeyValueStore(
ReplicaId.New(), network.CreateTransport(), TimeProvider.System, CrdtReaderOptions.Default);
var value = new ByteString(new byte[] { 1, 2, 3, 4 });
await store.SetAsync("session/a", value).ConfigureAwait(false);
(bool found, ByteString got) = await store.TryGetAsync("session/a").ConfigureAwait(false);
Assert.That(found, Is.True);
Assert.That(got.ToArray(), Is.EqualTo(new byte[] { 1, 2, 3, 4 }));
}
[Test]
public async Task ReplicatesSetAndDeleteAcrossReplicasAsync()
{
await using var network = new InMemoryNetwork();
await using ReplicatedSharedKeyValueStore storeA = CreateStore(network);
await using ReplicatedSharedKeyValueStore storeB = CreateStore(network);
// Warm up both transports so neither misses the other's broadcasts.
await storeA.TryGetAsync("warmup").ConfigureAwait(false);
await storeB.TryGetAsync("warmup").ConfigureAwait(false);
var value = new ByteString(new byte[] { 1, 2, 3, 4 });
await storeA.SetAsync("session/abc", value).ConfigureAwait(false);
await AssertEventuallyAsync(
async () =>
{
(bool found, ByteString stored) = await storeB.TryGetAsync("session/abc").ConfigureAwait(false);
return found && stored.ToArray().AsSpan().SequenceEqual(value.ToArray());
},
"a value set on A replicates to B").ConfigureAwait(false);
bool existed = await storeA.DeleteAsync("session/abc").ConfigureAwait(false);
Assert.That(existed, Is.True, "delete reports the entry existed locally");
await AssertEventuallyAsync(
async () =>
{
(bool found, _) = await storeB.TryGetAsync("session/abc").ConfigureAwait(false);
return !found;
},
"a delete on A replicates to B").ConfigureAwait(false);
}
[Test]
public async Task DeleteReturnsFalseWhenKeyAbsentAsync()
{
await using var network = new InMemoryNetwork();
await using ReplicatedSharedKeyValueStore store = CreateStore(network);
bool existed = await store.DeleteAsync("missing").ConfigureAwait(false);
Assert.That(existed, Is.False);
}
[Test]
public async Task CompareAndSwapThrowsNotSupportedAsync()
{
await using var network = new InMemoryNetwork();
await using ReplicatedSharedKeyValueStore store = CreateStore(network);
Assert.That(
async () => await store.CompareAndSwapAsync("k", default, new ByteString(new byte[] { 1 }))
.ConfigureAwait(false),
Throws.TypeOf<NotSupportedException>(),
"CRDT stores cannot provide a linearizable compare-and-swap");
}
[Test]
public async Task ScanReturnsOnlyMatchingPrefixAsync()
{
await using var network = new InMemoryNetwork();
await using ReplicatedSharedKeyValueStore store = CreateStore(network);
await store.SetAsync("session/a", new ByteString(new byte[] { 1 })).ConfigureAwait(false);
await store.SetAsync("session/b", new ByteString(new byte[] { 2 })).ConfigureAwait(false);
await store.SetAsync("other/c", new ByteString(new byte[] { 3 })).ConfigureAwait(false);
var keys = new List<string>();
await foreach (KeyValuePair<string, ByteString> pair in store.ScanAsync("session/").ConfigureAwait(false))
{
keys.Add(pair.Key);
}
Assert.That(keys, Is.EquivalentTo(["session/a", "session/b"]));
}
[Test]
public async Task WatchThrowsNotSupportedAsync()
{
await using var network = new InMemoryNetwork();
await using ReplicatedSharedKeyValueStore store = CreateStore(network);
// WatchAsync throws synchronously (its body throws, so it is not a
// deferred iterator), hence the delegate is not awaited.
Assert.That(() => store.WatchAsync("session/"), Throws.TypeOf<NotSupportedException>());
}
[Test]
public async Task ConstructorRejectsNullArgumentsAsync()
{
await using var network = new InMemoryNetwork();
Assert.That(
() => new ReplicatedSharedKeyValueStore(
ReplicaId.New(), null!, TimeProvider.System, CrdtReaderOptions.Default),
Throws.TypeOf<ArgumentNullException>(), "transport must not be null");
Assert.That(
() => new ReplicatedSharedKeyValueStore(
ReplicaId.New(), network.CreateTransport(), TimeProvider.System, null!),
Throws.TypeOf<ArgumentNullException>(), "reader options must not be null");
Assert.That(
() => new ReplicatedSharedKeyValueStore(
ReplicaId.New(), network.CreateTransport(), null!, CrdtReaderOptions.Default),
Throws.TypeOf<ArgumentNullException>(), "time provider must not be null");
}
[Test]
public async Task DisposeIsIdempotentAsync()
{
await using var network = new InMemoryNetwork();
ReplicatedSharedKeyValueStore store = CreateStore(network);
await store.DisposeAsync().ConfigureAwait(false);
Assert.That(async () => await store.DisposeAsync().ConfigureAwait(false), Throws.Nothing);
}
private static ReplicatedSharedKeyValueStore CreateStore(InMemoryNetwork network)
{
return new ReplicatedSharedKeyValueStore(
ReplicaId.New(), network.CreateTransport(), TimeProvider.System, CrdtReaderOptions.Default);
}
private static async Task AssertEventuallyAsync(Func<Task<bool>> condition, string message)
{
// Generous deadline: CRDT convergence over the in-memory gossip network is normally
// sub-second, but background loops can be CPU-starved on a loaded CI runner.
DateTime deadline = DateTime.UtcNow + TimeSpan.FromSeconds(30);
while (DateTime.UtcNow < deadline)
{
if (await condition().ConfigureAwait(false))
{
return;
}
await Task.Delay(25).ConfigureAwait(false);
}
Assert.Fail(message);
}
}
}