Port #126 (polled bare-metal) onto the #125 stack — handoff - #134

Closed

JustinKovacich wants to merge 200 commits into

mainfrom

feat/polled-port-onto-125

Commits on Apr 24, 2026

Extract SdStateManager from server mod
JustinKovacich
committed
370d3ac
Shifted tests around, added a test, removed dead impl Default
JustinKovacich
committed
9c73ab8
Add multicast-loopback coverage for SdStateManager::send_offer_service

JustinKovacich
and
claude
committed
4f9f709
fmt: apply rustfmt style to the new multicast tests

JustinKovacich
and
claude
committed
d3315e8
server: track SD session wrap, propagate reboot flag everywhere

JustinKovacich
and
claude
committed
e9d1805
server: fix SD wrap-flag ordering across all emission paths

JustinKovacich
and
claude
committed
3116a1c
round-3: drop branch-specific note from #[ignore] reason

JustinKovacich
and
claude
committed
7f975cc

Commits on Apr 25, 2026

Switch to existing collections to heapless, hide other non-embedded features behind gates
JustinKovacich
committed
ada2553
Address PR #76 review feedback

JustinKovacich
and
claude
committed
a36af2f
phase 2: cover pending_responses saturation branch

JustinKovacich
and
claude
committed
7d3da6e
client+server: harden re-enqueue + misc Copilot round-2

JustinKovacich
and
claude
committed
540899d
chore(clippy): add Panics doc + safe cast in move_vec PR
JustinKovacich
committed
d6cca3a
round-3: handle displaced-sender branch in pending_responses insert

JustinKovacich
and
claude
committed
951b02d
docs(error): flag variant additions on client::Error as breaking

JustinKovacich
and
claude
committed
073ee80
server: NACK on Subscribe capacity overflow instead of false ACK

JustinKovacich
and
claude
committed
34e1a05
round-4: address Copilot feedback on session/sub_manager docs + log wording

JustinKovacich
and
claude
committed
97eca58
round-5: clean up Subscribe-NACK reason path + CHANGELOG + doc

JustinKovacich
and
claude
committed
cea2204
PR #76 round: trim stale changelog, specific NACK reasons, truthful subscribe docs

JustinKovacich
and
claude
committed
5a804cf
Update src/server/mod.rs

JustinKovacich
and
Copilot
committed
bceae77
Max buffer size set to 1500, avoid heap allocation/vecs, overflow returns an error, added unit tests
JustinKovacich
committed
3881278
Responding to PR Feedback
JustinKovacich
committed
3b4c10f
phase 3: add coverage for publish_event pre-encode overflow branch

JustinKovacich
and
claude
committed
92cf7f8
docs: clarify UDP_BUFFER_SIZE scope + wording (Copilot round-2)

JustinKovacich
and
claude
committed
cb2c7ed
round-3: clarify UDP_BUFFER_SIZE + memory-footprint docs

JustinKovacich
and
claude
committed
edea683
test(event_publisher): cover E2E-protected overflow guard in publish_event

JustinKovacich
and
claude
committed
4aadf73
round-4: fix E2E-overflow log wording + MTU-vs-UDP_BUFFER_SIZE comment

JustinKovacich
and
claude
committed
9fbd8e0
fix(event_publisher): guard against usize overflow in raw-event total_len

JustinKovacich
and
claude
committed
32233bd
round-5: derive oversize fixtures from UDP_BUFFER_SIZE + fix log wording

JustinKovacich
and
claude
committed
f5bf200
Added Transport Socket, Transport Factory and Timer traits
JustinKovacich
committed
b786551
phase 4: rewrite Send-bound docs to remove nonexistent type reference

JustinKovacich
and
claude
committed
495f661
docs: fix transport.rs + lib.rs module-level accuracy (Copilot round-2)

JustinKovacich
and
claude
committed
2b5dd3e
docs: reword transport-module doc on lib.rs to match transport.rs

JustinKovacich
and
claude
committed
3e0b68c
docs: drop pub on structs inside doctest wrapper fn

JustinKovacich
and
claude
committed
1a35836
transport: make TransportSocket I/O methods take &self

JustinKovacich
and
claude
committed
db44209
docs(transport): correct backend wording; add Errors sections

JustinKovacich
and
claude
committed
756f4b2
Add a new tokio transport layer that uses semantics identical to the current client/server code, gated behind client and server
JustinKovacich
committed
40b82f4
bind_discovery_seeded and bind are async and construct a TokioSocket rather than call on socket2 directly
JustinKovacich
committed
6b85988
Added bind_with_transport methods that accept a factory that produces a TokioSocket, one for SD, added tests
JustinKovacich
committed
8526f9f
Responding to PR feedback
JustinKovacich
committed
e37d061
phase 5: respond to PR #79 feedback

JustinKovacich
and
claude
committed
5fd8387
tokio_transport: document truncation caveat + triage log levels

JustinKovacich
and
claude
committed
d50d21b
docs: fix transport.rs intra-doc links under default features

JustinKovacich
and
claude
committed
f76c2b6
chore(clippy): tidy new warnings in tokio_transport
JustinKovacich
committed
e703de2
fix(socket_manager): correct error log on recv_from failure

JustinKovacich
and
claude
committed
2b46f0b
round-N: align map_io_error + spawn_socket_loop docs with implementation

JustinKovacich
and
claude
committed
24a470c
client/socket_manager: clean up error-log + if-let-Ok patterns

JustinKovacich
and
claude
committed
d9e08c4
Potential fix for pull request finding

JustinKovacich
and
Copilot
committed
24aef9d
fix(rebase): resolve semantic conflicts from base-trait migration
JustinKovacich
committed
92cf168
Apply hoists: run_future doesnt call tokio::spawn, client::new/with_loopback return type has a breaking change and server::start_announcing's loop signature changed
JustinKovacich
committed
94cb236
Add testing, add sensible panics, updated docs
JustinKovacich
committed
07f7abe
phase 6: respond to PR #80 feedback (typed Shutdown + test/doc fixes)

JustinKovacich
and
claude
committed
84ee4e8
lints: address must_use + README wording (Copilot round-2)

JustinKovacich
and
claude
committed
7a8d2d4
chore(clippy): address new warnings in hoist_tokio PR
JustinKovacich
committed
a1a01ed
PR #80 round: apply reviewer suggestions

JustinKovacich
and
claude
committed
ffffa1a
examples: bind spawn handle in client_server to avoid let_underscore_future

JustinKovacich
and
claude
committed
452e47b
server: add #[must_use] to announcement_loop

JustinKovacich
and
claude
committed
6646cf3
client: distinguish pending_responses saturation from shutdown

JustinKovacich
and
claude
committed
118c8ce
docs(error): add "pending_responses" to Capacity tag list

JustinKovacich
and
claude
committed
8964f75
fix: capture tokio::spawn JoinHandle to avoid unused_must_use warnings

JustinKovacich
and
claude
committed
92606c1
fix: store and observe JoinHandles in production/example code

JustinKovacich
and
claude
committed
d92c5a3
fix: use Tokio-specific wording and unique test service IDs

JustinKovacich
and
claude
committed
861c5d3
docs(server): fix Result signatures and executor wording in README API ref

JustinKovacich
and
claude
committed
82df573
phase 7: select-fairness, FusedFuture migration, Timer trait wiring

JustinKovacich
and
claude
committed
398289b
phase 8: bare_metal example as trait-surface canary

JustinKovacich
and
claude
committed
e4ab414
phase 9: Spawner trait + executor-agnostic Client construction

JustinKovacich
and
claude
committed
e87c128

Commits on Apr 27, 2026

phase 9: round-N response to consolidated review feedback

JustinKovacich
and
claude
committed
81d1dee
phase 10: lock-handle abstraction (Arc<Mutex/RwLock<_>> → trait handles)

JustinKovacich
and
claude
committed
43118c7
phase 11: channel replacement (tokio::sync → ChannelFactory trait)
JustinKovacich
committed
fbc2998
phase 12: socket-bound relax via TransportSocket GATs

JustinKovacich
and
claude
committed
d31fa2d
phase 13a: feature-flag detangle (client side)

JustinKovacich
and
claude
committed
05565d7
phase 13.5: no-tokio Client construction

JustinKovacich
and
claude
committed
97553d6

Commits on Apr 28, 2026

phase 13.6a: ChannelFactory bounded const-N quirk fix

JustinKovacich
and
claude
committed
0cc8b25
phase 13.6b: ChannelFactory per-T Pooled<C> bounds

JustinKovacich
and
claude
committed
fd01d5c
phase 13.6c: src/static_channels/ pool primitives

JustinKovacich
and
claude
committed
6cbece8
phase 13.6d: define_static_channels! macro

JustinKovacich
and
claude
committed
c17e0f6
phase 13.6e: alloc-counting witness + bare_metal_client uses StaticChannels

JustinKovacich
and
claude
committed
1bd1fc0
phase 13.6f: waker tests, Debug impls, macro vis fragment, drop spurious wake

JustinKovacich
and
claude
committed
6547a91
phase 14a: server feature-flag detangle (topology only)

JustinKovacich
and
claude
committed
7c57598
phase 14a fixup: refresh stale doc text after the server split

JustinKovacich
and
claude
committed
e2e9a73
phase 14b: server engine retargeting (Server reachable without tokio)

JustinKovacich
and
claude
committed
22a1737
phase 15: rewrite bare_metal example as Client::new_with_deps integration

JustinKovacich
and
claude
committed
b4f4c96
phase 15: add bare_metal_server example; rename bare_metal → bare_metal_client

JustinKovacich
and
claude
committed
7171ffc
phase 16: no-alloc CI gate — StaticE2EHandle, AtomicInterfaceHandle, panic-allocator witness

JustinKovacich
and
claude
committed
503a55d
phase 16 review: explicit CI gate, first-claim/recv/Profile5 witnesses,
JustinKovacich
committed
085c3f7
cleanup: fix three correctness bugs in transport / E2E / server bind

JustinKovacich
and
claude
committed
732cd89
cleanup: honor close-semantic contracts on embassy + static-pool backends

JustinKovacich
and
claude
committed
2d9238f
cleanup: !Send Client construction via LocalSpawner + BindDispatch

JustinKovacich
and
claude
committed
6a22fd2
cleanup: drop per-event allocations + Send bounds from server hot path

JustinKovacich
and
claude
committed
7c58649
cleanup: fix MockRecvFut busy-wake + MockTimer duration violations

JustinKovacich
and
claude
committed
76e4b21
fix: phase 17 cleanup - docs, API alignment, alloc gating
JustinKovacich
committed
3f6e027
Fix tests so they run serially and don't flake.
JustinKovacich
committed
4c099ac
Fix waker being held during waker.wake when it didnt need to be
JustinKovacich
committed
2d1c768
Improve code coverage and remove dead code.
JustinKovacich
committed
850800c
fix: address round-2 review comments on #95/#96

JustinKovacich
and
claude
committed
1f2fd79
fix: address adversarial review for #95 (3 Crit + 12 High + 13 Med + 9 Low)

JustinKovacich
and
claude
committed
8303b31
fix(examples): port workspace example mocks to GAT BindFuture/SleepFuture

JustinKovacich
and
claude
committed
fe618cf
test: add regression tests for H3/H4/H5/H10/H12

JustinKovacich
and
claude
committed
61c67f4
chore: remove accidentally-committed local config files

JustinKovacich
and
claude
committed
de31890
fix: address remaining Copilot inline comments on #95

JustinKovacich
and
claude
committed
dcb0f83
docs: correct assert_no_alloc semantics (abort, not panic)

JustinKovacich
and
claude
committed
9aa2619

Commits on Apr 29, 2026

phase 18a: port E2ERegistry to heapless::FnvIndexMap

JustinKovacich
and
claude
committed
e943c52
phase 18b: SubscriptionManager off std::vec::Vec on the no_std path

JustinKovacich
and
claude
committed
9127891
phase 18c: ungate StaticE2EHandle; add StaticSubscriptionHandle

JustinKovacich
and
claude
committed
537e997
phase 18d: drop std from `client` / `server` Cargo features

JustinKovacich
and
claude
committed
54245e3
phase 18d follow-up: actually compile for thumbv7em-none-eabihf

JustinKovacich
and
claude
committed
6789fee
phase 18e: add no_std-target CI gate (thumbv7em-none-eabihf)

JustinKovacich
and
claude
committed
12a0450
phase 18f: docs sweep, examples on Static*Handle, finalize 0.8.0

JustinKovacich
and
claude
committed
24ef942
phase 19a: scaffold simple-someip-embassy-net workspace member

JustinKovacich
and
claude
committed
300070c
phase 19b: EmbassyNetFactory + SocketPool storage

JustinKovacich
and
claude
committed
5a5cd5b
phase 19c: EmbassyNetSocket send/recv via poll_send_to / poll_recv_from

JustinKovacich
and
claude
committed
261ccb0
phase 19e: adapter-level loopback test (LoopbackDriver pair + UDP roundtrip)

JustinKovacich
and
claude
committed
10fdfdc
phase 19e: lockfile update for tokio/futures dev-deps

JustinKovacich
and
claude
committed
96f6afa
phase 19f: SocketHandle abstraction over Server's socket storage

JustinKovacich
and
claude
committed
165f02d
phase 19g: SOME/IP Client+Server roundtrip over embassy-net loopback

JustinKovacich
and
claude
committed
93858d5
phase 19h: examples/embassy_net_client/ — runnable adapter demo

JustinKovacich
and
claude
committed
b148fc3
server: split run() into run_with_buffers + alloc shim

JustinKovacich
and
claude
committed
4f9d36e
server: SdStateHandle trait + drop Arc<SdStateManager> requirement

JustinKovacich
and
claude
committed
9220cde
phase 20c: EventPublisherHandle trait + drop Arc<EventPublisher> requirement

JustinKovacich
and
claude
committed
c72c3cf
phase 20d: Server::new_with_handles + new_passive_with_handles

JustinKovacich
and
claude
committed
bf8f774
phase 20e: consolidate handle traits into SharedHandle<T>

JustinKovacich
and
claude
committed
9f17909
phase 20f: vsomeip-based SD-conformance test (POC, #[ignore]'d)

JustinKovacich
and
claude
committed
d961fc1
tools: thumbv7em flash-size measurement probe

JustinKovacich
and
claude
committed
39a9290
phase 20g: vsomeip docker harness for SD-conformance test

JustinKovacich
and
claude
committed
886e2fe
phase 20h: TX-direction SD wire-format conformance + CI gate

JustinKovacich
and
claude
committed
a305e5b

Commits on Apr 30, 2026

phase 20 cleanup: workspace clippy + embassy-net adapter soundness

JustinKovacich
and
claude
committed
5ad28ee
phase 20 cleanup: alloc cfg + OfferedEndpoint visibility

JustinKovacich
and
claude
committed
878122e
phase 20 cleanup: select_biased fairness + CI audit holes

JustinKovacich
and
claude
committed
416b989
phase 20 cleanup: vsomeip conformance hardening

JustinKovacich
and
claude
committed
573346f
phase 20 cleanup: size_probe, sd_state visibility, spawner

JustinKovacich
and
claude
committed
c5885ba
phase 20 cleanup: MED clusters A/B/C/D

JustinKovacich
and
claude
committed
62dfac3
phase 20 cleanup: changelog [Unreleased] + final verification

JustinKovacich
and
claude
committed
7b0aa61
phase 20 cleanup: tests for new code + Copilot review fixes

JustinKovacich
and
claude
committed
a6e13d4
phase 20 cleanup: address adversarial review of new tests

JustinKovacich
and
claude
committed
b8c5911
phase 20 cleanup: correct embassy-sync dep-version comment

JustinKovacich
and
claude
committed
9b4b4c8
phase 21a: align Client/Server generic-parameter order

JustinKovacich
and
claude
committed
f2e6b79
phase 21c: tokio-defaulted Deps constructors + fluent builders

JustinKovacich
and
claude
committed
5610c67
phase 21e: ServerConfig fluent builder

JustinKovacich
and
claude
committed
11ad05c
phase 21d: surface required client channel types as discoverable rustdoc

JustinKovacich
and
claude
committed
19c7415

Commits on May 1, 2026

Commits on Jun 8, 2026

make tracing optional behind a feature

authored and
Feliciano Angulo
committed
892cb5b
feat(server): make client+server+bare_metal alloc-free, add NonSdRequestCallback
Feliciano Angulo
committed
be292bb
Apply suggestions from code review

FelicianoAngulo2
authored and
Feliciano Angulo
committed
3dafd3e
feat(server): add announce_only_future method for SD service announcements
Feliciano Angulo
committed
64fcc08

Commits on Jun 10, 2026

style: rustfmt + clippy cleanup over the #124 base

JustinKovacich
and
claude
committed
191b6b6
feat(transport): promote Null* stubs to a public probe module

JustinKovacich
and
claude
committed
2abb6ff
test(client): future-size witness for tokio run/socket-loop futures

JustinKovacich
and
claude
committed
391ce77
test(server): future-size witness for the tokio run future

JustinKovacich
and
claude
committed
1a6d84c
test(bare_metal): client + server future-size witnesses on static channels

JustinKovacich
and
claude
committed
b772e08
feat(tools): thumbv7em -Zprint-type-sizes capture + committed size baseline

JustinKovacich
and
claude
committed
a7b1c6f
ci: add -Zbuild-std=core halo gate; extend nm alloc audit to server,bare_metal

JustinKovacich
and
claude
committed
2316fb6
docs: changelog for PR 0 measurement harness

JustinKovacich
and
claude
committed
9593206
docs: purge remaining 'server pulls alloc' staleness (Copilot review)

JustinKovacich
and
claude
committed
ef988f7

Commits on Jun 11, 2026

docs: design for PR 1 (#124 follow-ups)

JustinKovacich
and
claude
committed
da3e02c
docs: implementation plan for PR 1 (#124 follow-ups)

JustinKovacich
and
claude
committed
8772524
feat(server)!: NonSdRequestCallback gains an opaque ctx:usize argument

JustinKovacich
and
claude
committed
97e6cf3
test(server): per-socket mock pipes routed by multicast_if_v4

JustinKovacich
and
claude
committed
a02d579
test(server): live-witness negative tests for the non-SD observer

JustinKovacich
and
claude
committed
1c58700
docs(server): document eager-at-construction timing of Ready-based subscribe

JustinKovacich
and
claude
committed
df65260
docs(server): record why announce_only_future may split the run shape

JustinKovacich
and
claude
committed
6bc74c4
docs: UDP_BUFFER_SIZE rustdoc — outbound SD paths are stack-buffered

JustinKovacich
and
claude
committed
23f0872
docs: changelog for the ctx-carrying NonSdRequestCallback break

JustinKovacich
and
claude
committed
9d0647c
docs: fix builder owner + heap-Vec-removal attribution in PR 1 design

JustinKovacich
and
claude
committed
9fd7260
test(embassy-net): add missing non_sd_observer field to ServerDeps inits

JustinKovacich
and
claude
committed
7969457
feat(server)!: NonSdRequestCallback adopts the parsed union contract

JustinKovacich
and
claude
committed
8e41b0e
docs: implementation plan for the #128 rebase + DispatchFn union adoption

JustinKovacich
and
claude
committed
e7c3a8c

Commits on Jun 17, 2026

Commits on Jun 18, 2026

feat(server)!: accept Subscribe for co-offered services on a shared recv loop

Feliciano Angulo
and
claude
committed
dd0f52d
feat(bare-metal): port reusable embassy runtime onto the #125 stack

Feliciano Angulo
and
claude
committed
8567644
style: clear clippy::pedantic across the bare-metal runtime

Feliciano Angulo
and
claude
committed
7b07ee7

Commits on Jun 19, 2026

ci(bare-metal-runtime): split --all-features into alloc + nightly lanes

Feliciano Angulo
and
claude
committed
8a79a0f
fix(docs): resolve intra-doc links under the no-std / no-alloc doc lanes

Feliciano Angulo
and
claude
committed
f54fc83

Commits on Jun 24, 2026

feat(server)!: enhance non-SD request handling with support for getter methods
Feliciano Angulo
committed
20b60af
fix(protocol)!: MessageTypeField::new emits the SOME/IP wire byte

JustinKovacich
and
claude
committed
48952bb
fix(server)!: bound non-SD response length + validate co-offer major version

JustinKovacich
and
claude
committed
bcfde58
fix(bare-metal): end publish/deinit buffer aliasing + make init idempotent

JustinKovacich
and
claude
committed
c5f79e4

Commits on Jun 26, 2026

feat(config): allow runtime constants to be configured via environment variables to always build with exact required memory
Feliciano Angulo
committed
bf21b2c

Commits on Jun 29, 2026

feat(runtime): make RX_SLOTS configurable via environment variable
Feliciano Angulo
committed
6932a62