# Description Completes the OPC UA Part 11 Historical Access work requested by #4387 and the historian framework integration requested by #4400. The conformance/evidence catalog covers all 37 released UACore 1.05 Historical Access profiles: 15 Server facets and 22 Client facets, together with the standard aggregate functions and their conformance units. Server facets are advertised only when the resolved providers expose their required interfaces and capabilities. ## Server and provider support - Completes raw, modified, at-time, processed, annotation, structured, and event history. - Dispatches best-effort, bulk, and transactional updates with aligned statuses, old values, diagnostics, and rollback state. - Supports mixed history-update detail types and batched structured/annotation operations. - Uses composite identities and exclusive cursors for same-timestamp structured, modified, and event values. - Captures live data and events, installs historical configuration objects, and emits typed audit payloads. - Derives aggregate monitoring filters from per-node historian capabilities and rejects unsupported processed aggregates before provider dispatch. - Supports tri-state `Historizing`: set, clear, or preserve provider-owned state. ## Client support - Exposes modified values together with `ModificationInfo`. - Adds event-history reads and event insert/replace/update/delete operations. - Adds structured and annotation batching with strict response validation. - Shares continuation handling and release-on-abandon across read families. - Accepts inherited standard event fields rooted at event subtypes. ## Review hardening - Registers DI-selected historians before node-manager reconciliation and capability publication, while preserving provider ownership. - Uses committed Raft read barriers for linearizable `TryGetAsync` and `ScanAsync`. - Keeps claimed continuation state immutable until a fresh successor is saved, restoring the original after transient failures. - Uses exact-incarnation compare-and-delete so delayed cleanup cannot remove a restored same-ID continuation. - Cleans up indeterminate initial and replacement saves, and propagates shutdown cancellation through cleanup resolution. - Preserves legacy continuation envelopes/cursors and distinct annotation parent/property identities. - Deletes every structured entry at a requested timestamp and uses the complete modified-history ordering tuple. - Shares native/fallback at-time and AnnotationCount calculations, including reverse endpoints and cross-framework fractional intervals. - Primes modified aggregate items before buffered live delivery and deduplicates history/live overlap using provider-specific identities. - Keeps committed Modify results successful while reporting priming failures through the monitored item's notification queue. - Keeps protected-notification state live-only for queues larger than one. Queue size one retains the newest notification without pinning errors or transferring priority during resizing. Durable restore retains ordinary definitions, last values/errors, and raw queues without recreating priority. - Isolates aggregate calculation, modification preparation, and historical/live handoff in `AggregationFilterHandler`, retaining existing provider/factory wiring and supported past-start behavior. The larger-queue protection policy is unchanged pending the open review discussion. - Uses one `IMonitoringFilter` owner for protocol filters or the aggregation handler, eliminating parallel effective-filter storage and retaining the current definition during preparation. The original client filter stays distinct. - Integrates current master, retaining custom monitored-item creation decisions and per-node history callbacks. ## Redundant-server alignment and samples - Adds a protected shared historian with immutable segments, manifest CAS publication, writer fencing, and restart recovery. - Persists portable continuation state before exposing it to clients and transfers ownership during mirrored-session takeover. - Rejects eventual-consistency and active/active multi-writer historian configurations rather than silently degrading. - ReferenceServer and ConsoleReferenceClient demonstrate discovery, paging, raw/modified/at-time/processed reads, annotation/structured CRUD, event capture, and event CRUD. - RedundantServer and RedundantClient demonstrate active/passive history, continuation recovery after replica termination, and post-promotion writes. - Updates Historical Access, High Availability, profile, migration, and sample documentation. ## Compatibility - New 2.0 collection boundaries use `ArrayOf<T>` and public byte payloads use `ByteString`. - Removes the legacy public virtual `SamplingGroupManager.CreateMonitoredItem` / `ModifyMonitoredItem` entry points and protected creation factory, as agreed in review. Migration guidance points to the monitored-item manager and construction-decision APIs. - Retains established persisted formats and current write layouts. Retired interim notification-state formats (sample v2 / shared v4) are rejected, as agreed in review. - Keeps the historian integration compatible with .NET Framework and NativeAOT. ## Validation ### Latest CI source repair `73c619435` forwards the existing cancellation token at both predefined-node creation calls in the PR-added History event fixture. The merged lifecycle overload exposed these two CA2016 errors, which blocked History jobs, the solution build matrix, and CodeQL on GitHub and Azure. The exact compiler failure was reproduced locally; the repaired fixture passes 4/4 integration cases on net10.0 and 4/4 on net48 with clean scoped diagnostics. No assertions, tests, coverage thresholds, or CI configuration were weakened. The repaired History jobs on Linux/macOS and all four Azure solution builds now pass. The Windows all-TFM GitHub job instead lost its hosted runner's connection; no build log was recoverable, and GitHub recorded a runner-loss annotation rather than a compiler/test diagnostic. One unchanged retry was requested. Remaining checks are monitored with `gh pr checks --watch --fail-fast --interval 30`; CI is not yet reported as green. ### Latest base integration `bd52e5fea` merges upstream `master` at `da7412c42`. The lifecycle conflict retains upstream's shared cancellation-aware registration helper and the historian behavior. The hosted-historian fixture forwards its existing token to the new lifecycle overload. GDS project renames and all three AOT test hosts are retained, with their project references resolving after the merge. | Integrated scope | net10.0 | net48 | | --- | --- | --- | | Server lifecycle, fluent authoring/import, historian, monitored-item and hosting regressions | 732 passed | 732 passed | | NodeState lifecycle regressions | 216 passed | 216 passed | | Automatically merged Raft client fixtures | 28 passed | 28 passed | No selected tests failed or were skipped. The manually resolved files pass scoped formatting/analyzer checks. One CA1861 warning remains in the incoming `NodeSetImportIntegrationTests.cs`; that file is byte-identical to upstream master and was not rewritten or suppressed during integration. ### Latest feedback follow-up `102954eaa` replaces split filter references with the shared `IMonitoringFilter` contract implemented by protocol filters and `AggregationFilterHandler`. Targeted server regressions pass **103/103 on net10.0 and 103/103 on net48**; scoped formatting/analyzers are clean, and the updated XML-documentation inventory has zero gaps across 188 non-generated PR C# files. `93c5b5db8` renames `AggregationFilterHandler`, makes it the owner of the server-revised aggregate filter while preserving the original client filter, and removes the retired interim notification-state readers. Server regressions pass **101/101** and shared-store regressions **64/64**, on both net10.0 and net48, with no failures or skips. Runtime-file formatting/analyzers are clean. `5ccf45630` completes the public/internal XML-documentation sweep. The Roslyn inventory finds zero undocumented eligible declarations across all 186 non-generated PR C# files; the 110-file documentation slice changes only XML comments and spacing. `f17765475` applies the three requested Markdown edits. ### Earlier feedback follow-ups `a53950737` removes single-slot notification pinning and extracts aggregate implementation from MonitoredItem. Targeted sampling, aggregate modification, history/live handoff, queue/lifecycle, restore, and serialization cases pass **101/101 on net10.0 and 101/101 on net48**, without failures or skips. Scoped formatting/analyzers are clean; the focused review found no significant issues. The final formatted monitored-item fixtures also pass 45/45 on net48. The preceding `b21555568` removes the legacy sampling API bridge and durable notification-priority state. Its targeted Server cases passed 97/97 and shared subscription-store cases passed 64/64 on each framework. The broader evidence below remains pinned to its original tested commit, not attributed to these follow-ups. ### Earlier integrated-implementation validation Validated implementation commit: **`3efae597f`**. The following commit, `f6dbefb1c`, only adds two explanatory comment lines for the final standards review; it changes no executable code. | Scope | net10.0 | net48 | | --- | --- | --- | | Server | 5,187 passed; 56 skipped | Affected surface: 2,160 passed; 1 reproduced baseline failure; 56 skipped | | Client | 2,202 passed; 2 skipped | 2,204 passed; 5 skipped | | History integration | 519 passed; 21 skipped | 519 passed; 21 skipped | | Redundancy server | 641 passed | 641 passed | | Redundancy client | 124 passed | 124 passed | | Core shared-store regression suite | 23 passed | 23 passed | All six affected samples passed non-incremental Release/net10.0 builds with zero warnings and errors: ConsoleReferenceClient, ConsoleReferenceServer, RedundantServer, RedundantClient, MinimalBoilerServer, and PumpDeviceIntegrationServer. The published self-contained win-x64 NativeAOT executable is 116,924,928 bytes and has no CLR header or managed runtime dependency. Direct execution passed **HistoryAotTests 3/3** and **RaftAotTests 2/2**. Final standards and specification reviews found no confirmed outstanding high/medium functional gaps or hard standards violations. The remaining constructor-purpose clarification is addressed in `f6dbefb1c`. ### Reproduced baseline exceptions The net48 hosted-startup timeout also reproduces in a pristine worktree at the previous PR head, `24cf1416d`, in `RegisterPostStartRegistriesWiresHistorianAndAliasStoresOnPlainServerAsync`, with the same subsequent certificate-leak assertion. The corresponding renamed case fails before startup in the reviewed branch as well. This is reported separately from the net48 affected-surface results, not counted as a passing full Server suite. The net48 matrix selected the historian, aggregate, monitored-item, fluent, and continuation surfaces and excluded the Hosting namespace. `DurableDataValueQueueVerifyReferenceBatchingAsync` failed at item 1000 in the net48 affected-surface run and passed its single isolated rerun. The same failure at the same assertion reproduces on pristine `849e16acc`; the test, sample queue, queue factory, and batch persistor are unchanged. The original failure remains in the table rather than being erased by the rerun. ### CI source repairs - `4be7eb8f7` keeps diagnostics/configuration managers out of distributed address-space replication. Those managers inherit the source interface, but their live server state and redundancy metadata must remain replica-local. The ownership regression passes on net10.0 and net48, and all nine redundancy sample CI tests pass locally. - `d17f467b3` completes the sample startup repair: core managers are also replica-local; the startup banner no longer advertises readiness before initialization; the producer starts after distributed services; and native Raft startup no longer forces disruptive extra elections. The full sample suite passed 9/9, with initialized `RedundancySupport=Hot`, and focused Raft/address-space regressions passed 8/8 and 3/3. - `81b0b72be` moves the unchanged distributed-historian NativeAOT scenario into a smaller, always-run companion executable to bound Apple's linker input. All 137 AOT tests remain present; the moved test and helpers are unchanged. GitHub and Azure publish/run both native executables, with separate result directories where they share a job. The companion passed actual Windows NativeAOT execution. Linux and Intel macOS CI passed both executables, but this split alone did not fix ARM64 macOS linking. The remaining historian graph is rooted by ReferenceServer startup, not just the relocated test. No test exclusion or speculative linker setting was added to conceal it. - `8a5842913` isolates the independent MCP test graph into an always-run native host. The existing MCP source and assembly leak hooks are linked unchanged, and evaluated compiler inputs prove exactly one owner for every test source: 133 main + 3 MCP + 1 historian = 137 declarations. All three hosts run on every AOT platform. The main Windows native object is 9.35% smaller; both changed publishes had zero diagnostics. MCP passed 3/3; the identical main executable passed 133/133 on one unfiltered followup after two initial endpoint-discovery connection failures, which remain recorded in the local evidence. - The previous Intel macOS job successfully published and executed its native tests, then failed on artifact-upload DNS (`ENOTFOUND`). No upload gate, shared environment setting, or cache configuration was disabled. The first repair round also encountered the unrelated `MetricsAreEmittedForChannelLifetimeAsync` timing failure on macOS Core. Neither that test nor channel-manager code is changed by this PR, and its assertions remain intact. It passed unchanged on the final repair head. On `d17f467b3`, the Linux and macOS redundancy sample jobs pass; the remaining failure was ARM64 Apple's `too many large addends` assertion. The verified upstream relocation-anchor fix (dotnet/runtime#124721, backport dotnet/runtime#132171) is not present in the shipping ILCompiler 10.0.11. An experimental multi-module probe failed and was rejected, not added to CI. On `8a5842913`, [`aot-macos-latest`](https://github.com/OPCFoundation/UA-.NETStandard/actions/runs/34102158680/job/101678934057) successfully publishes and executes all three native hosts on ARM64: 136 main runtime cases, 1 historian case, and 3 MCP cases, with no skips. The previous Apple linker blocker is resolved. Linux NativeAOT also passes. No assertion, test, shared environment setting, cache, or required gate was weakened. The same CI run reports a separate macOS Sessions teardown failure: all 662 executed tests pass, but the global leak assertion detects one undisposed certificate. The MCP partition changes no runtime, Sessions, or test-fixture code. A single unchanged diagnostic rerun is queued once GitHub permits rerunning that job; the failure is not suppressed or counted as green. Other CI checks are still pending. ## Related issues - Fixes #4387 - Fixes #4400 ## Checklist - [ ] I have signed the CLA and read the contributing guide. - [x] I have added regression tests and directly related documentation. - [x] I have retained working reference and redundant-server sample wiring. - [x] Final validation and review evidence is complete, including the baseline exceptions above. - [ ] All required CI checks pass; the fail-fast rerun for `73c619435` is pending. --------- Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com> Copilot-Session: 9dbd9527-d818-47a0-984c-fbb1472d3d6b
10 KiB
Native AOT Testing
Overview
The OPC UA .NET Standard stack supports Native AOT (Ahead-of-Time) compilation, which produces a self-contained executable that is compiled to native code at publish time rather than at run time. This eliminates the need for a JIT compiler and the .NET runtime on the target machine, resulting in faster startup and a smaller deployment footprint.
The Opc.Ua.Aot.Tests project verifies that the core OPC UA libraries work correctly when published as a Native AOT binary. The tests exercise encoding, sessions, subscriptions, monitored items, discovery, security, events, history, diagnostics, batch operations, node cache, complex types, GDS client operations, and client sample patterns — all running inside a single ahead-of-time compiled executable.
The crypto provider model is AOT-compatible and covered by
CryptoProviderAotTests; see CryptoProvider. The optional
OPCFoundation.NetStandard.Opc.Ua.Security.Pkcs11 package is covered too, by
Pkcs11AotTests: although Pkcs11Interop carries no trim or AOT annotations of
its own, the ILCompiler analysis produces no warnings for the paths the package
uses, so it is marked IsAotCompatible on net10.0. Resolving the token module
is native interop, which trimming does not affect.
Prerequisites
.NET SDK
- .NET 10.0 SDK (or later LTS) is required.
Platform-Specific Native Toolchain
Native AOT compilation requires a C/C++ toolchain on the build machine.
| Platform | Requirement |
|---|---|
| Windows | Visual Studio 2022+ with the Desktop development with C++ workload, or the equivalent Build Tools package. |
| Linux | clang and zlib1g-dev (Debian/Ubuntu) or the equivalent packages for your distribution. |
| macOS | Xcode Command Line Tools (xcode-select --install). |
See the official Microsoft documentation for full details: https://learn.microsoft.com/en-us/dotnet/core/deploying/native-aot/?tabs=windows%2Cnet8plus
Project Structure
tests/Opc.Ua.Aot.Tests/
├── Opc.Ua.Aot.Tests.csproj # Project file (PublishAot=true, net10.0)
├── AotServerFixture.cs # Lightweight AOT-compatible server host
├── AotTestFixture.cs # Shared fixture: starts server + client session
├── GdsTestFixture.cs # GDS-specific test fixture
├── EncodingAotTests.cs # Binary & JSON encoding round-trips
├── DataTypeAotTests.cs # OPC UA data type verification
├── SessionAotTests.cs # Session lifecycle & reconnect
├── SubscriptionAotTests.cs # Subscription create / modify / delete
├── MonitoredItemAotTests.cs # Monitored item operations
├── DiscoveryAotTests.cs # Endpoint & server discovery
├── SecurityAotTests.cs # Security policy negotiation
├── EventsAotTests.cs # Event subscription & filtering
├── HistoryAotTests.cs # Historical read operations
├── DiagnosticsAotTests.cs # Server diagnostics
├── BatchOperationsAotTests.cs # Batch read / write / call
├── NodeCacheAotTests.cs # Client-side node cache
├── ComplexTypeAotTests.cs # Complex type loading & serialization
├── GdsClientAotTests.cs # Global Discovery Server client
├── ClientSamplesAotTests.cs # End-to-end client sample patterns
├── AotClientSamples.cs # Helper methods for client samples
├── PubSubAotTests.cs # Part 14 PubSub publisher / subscriber round-trips
├── WebApiAotFixture.cs # Kestrel host for REST endpoint round-trips
├── WebApiAotTests.cs # REST binding (Opc.Ua.Bindings.Https) smoke + Basic auth
└── StubWebApiServer.cs # IWebApiServer stub backing WebApiAotFixture
Why TUnit Instead of NUnit?
The project uses the TUnit test framework instead of NUnit. TUnit relies on source generation rather than runtime reflection for test discovery, which makes it fully compatible with Native AOT and the IL trimmer. NUnit (and most traditional .NET test frameworks) depend heavily on reflection, which is not supported in trimmed / AOT-published applications.
Test Fixture Pattern
AotTestFixture implements IAsyncInitializer and IAsyncDisposable from
TUnit. It is shared across all test classes via the attribute:
[ClassDataSource<AotTestFixture>(Shared = SharedType.PerTestSession)]
On initialization the fixture:
- Starts a
ReferenceServerin-process usingAotServerFixture<T>. - Creates a client
ApplicationConfigurationprogrammatically. - Connects an
ISessionto the server overopc.tcp.
Every test class receives the fixture through its primary constructor and reuses the same server and session, keeping the test suite fast.
AotServerFixture<T> is a cut-down, AOT-compatible version of
ServerFixture<T> from the NUnit test infrastructure. It avoids transitive
references to BenchmarkDotNet, Moq, and other packages that are not
AOT-friendly.
How to Build and Run
1. Publish the Native AOT Binary
dotnet publish tests/Opc.Ua.Aot.Tests/Opc.Ua.Aot.Tests.csproj --configuration Release
The publish step compiles the entire application (tests, server, and all referenced OPC UA libraries) into a single native executable. This can take several minutes depending on the machine.
2. Run the Tests
Windows (x64):
./tests/Opc.Ua.Aot.Tests/bin/Release/net10.0/win-x64/publish/Opc.Ua.Aot.Tests.exe
Linux (x64):
./tests/Opc.Ua.Aot.Tests/bin/Release/net10.0/linux-x64/publish/Opc.Ua.Aot.Tests
The executable discovers and runs all tests, producing TUnit console output and
writing results to a TestResults directory.
Build + Run in a Single Step (Development)
For iterative development you can combine both commands:
# Windows
dotnet publish tests/Opc.Ua.Aot.Tests/Opc.Ua.Aot.Tests.csproj -c Release && ^
tests\Opc.Ua.Aot.Tests\bin\Release\net10.0\win-x64\publish\Opc.Ua.Aot.Tests.exe
# Linux / macOS
dotnet publish tests/Opc.Ua.Aot.Tests/Opc.Ua.Aot.Tests.csproj -c Release && \
./tests/Opc.Ua.Aot.Tests/bin/Release/net10.0/linux-x64/publish/Opc.Ua.Aot.Tests
Note:
dotnet testanddotnet rundo not perform AOT compilation. You must usedotnet publishfollowed by direct execution of the resulting binary.
CI Integration
The GitHub Actions workflow .github/workflows/buildandtest.yml runs AOT
jobs on Ubuntu and both Intel and ARM64 macOS. Azure's Test Native AoT
matrix covers Windows. Each platform performs these steps:
- Checkout the repository.
- Setup .NET 10.0 SDK.
- Publish the project with
dotnet publishinReleaseconfiguration. - Execute the platform-specific binary directly.
- Publish + execute the
.Historianand.Mcpcompanions the same way, keeping results separate. - Upload any
TestResultsartifacts.
The job runs in a separate matrix from the main dotnet test build so that AOT
failures are isolated and clearly visible.
Writing New AOT Tests
1. Choose or Create a Test Class
Place AOT tests in tests/Opc.Ua.Aot.Tests/. Each file should focus on a
single area (encoding, sessions, etc.). Apply the shared fixture:
[ClassDataSource<AotTestFixture>(Shared = SharedType.PerTestSession)]
public class MyFeatureAotTests(AotTestFixture fixture)
{
[Test]
public async Task MyTestAsync()
{
// Use fixture.Session, fixture.ServerUrl, etc.
await Assert.That(fixture.Session.Connected).IsTrue();
}
}
2. Use TUnit Attributes and Assertions
- Mark tests with
[Test](not NUnit's[Test]—they are different types). - Use
await Assert.That(…)for assertions. TUnit assertions are async. - Do not reference NUnit, xUnit, or MSTest assemblies.
3. Keep Code AOT-Compatible
- Avoid unbounded reflection. Do not use
Type.GetType(),Activator.CreateInstance(), or similar APIs unless the types are statically reachable. - Avoid dynamic code generation.
Reflection.Emit,System.Linq.Expressions.Expression.Compile(), and similar APIs are not supported. - Prefer concrete generic instantiations. The trimmer must see every generic type combination at compile time.
- Annotate when necessary. Use
[DynamicallyAccessedMembers]or[RequiresUnreferencedCode]attributes to preserve metadata the trimmer would otherwise remove.
4. Handle Trimming Warnings
The project suppresses IL2104 (see the .csproj), which comes from
third-party packages that are not yet trim-annotated. For warnings in your own
code, fix the root cause rather than suppressing.
Troubleshooting
Publish Fails with Linker Errors
Ensure the platform-specific C/C++ toolchain is installed (see Prerequisites). On Windows, verify the Desktop development with C++ workload is present in the Visual Studio Installer.
TypeInitializationException or MissingMetadataException at Runtime
The IL trimmer removed type metadata that is needed at runtime. Common fixes:
- Add
[DynamicallyAccessedMembers(DynamicallyAccessedMemberTypes.All)]to parameters or fields that hold types accessed via reflection. - Add an explicit
rd.xmlfile or[DynamicDependency]attribute to preserve specific types. - Ensure the type is statically referenced somewhere in the code path.
Tests Pass Under dotnet test but Fail Under AOT
dotnet test runs with JIT and full reflection. Some APIs silently work under
JIT but are unsupported in AOT. Compare the stack trace from the AOT binary to
identify which API is problematic, then refactor to a trim-safe alternative.
Slow Publish Times
Native AOT compilation is inherently slower than JIT builds because it performs
whole-program optimization. On CI this is expected. For local development,
consider running the NUnit tests with dotnet test for fast feedback, and
reserve AOT publish for final validation.
IL2104 or Other Trimming Warnings
Warnings prefixed with IL come from the IL trimmer/linker. The project
suppresses IL2104 for third-party packages. If you see new warnings from OPC
UA code, investigate and fix the root cause. Suppress only as a last resort and
document the reason in a code comment.