Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 1 addition & 0 deletions .github/coverage/pinned-surface
Original file line number Diff line number Diff line change
Expand Up @@ -77,6 +77,7 @@ module src/server/mod.rs The server module and what it places at its
module src/server/address.rs The address a person typed, parsed and refused where it is not usable.
module src/server/certificate.rs The one exception 0029 admits to certificate validation: which certificate an operator pinned for which server, and what a pin never vouches for. A defect here accepts a certificate nobody asserted was theirs, or turns one server's key into something that can answer for a name the person never typed.
module src/server/federation.rs Which second host a request may reach, and the deliberate act that admits one.
module src/server/library.rs 0039's answer shape: the offset and the count a paged read is asked for by, the three numbers an answer carries, and the read that takes neither. A defect here is a paging loop that stops after one screenful because a total the server filled in from the page was read as the size of a library, or a request for the second hundred views answered with the first hundred and nothing saying so.
module src/server/recovery.rs 0045's schedule for a server that is gone: when the next probe is due, where the doubling stops, and the hour after which the core stops asking. A defect here is a radio kept busy overnight on a device in somebody's bag, or a server that came back and was noticed hours later.
module src/server/transport.rs The bounds every request is carried inside: which deadline an attempt runs against, how many may be outstanding against one server, how long an idle connection may be reused, and how far a cancelled body is read. A defect here is a request that outlives the deadline a caller was promised, or a connection handed back to an origin it was never opened to.
module src/server/write_queue.rs 0047's order, coalescing and bound for every write the core makes to a server. A defect here delivers somebody's actions out of the order they took them, keeps a queue that grows with activity rather than with breadth, or drops what a person just did instead of what they did three weeks ago.
Expand Down
7 changes: 6 additions & 1 deletion src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -139,8 +139,13 @@ const _: () = {
any_thread::<diagnostics::redaction::FieldName>();
any_thread::<diagnostics::redaction::CorrelatorSalt>();
any_thread::<diagnostics::redaction::Correlator>();
any_thread::<server::QueryResult>();
any_thread::<server::federation::Federation<'static>>();
any_thread::<server::library::PageRequest>();
any_thread::<server::library::WhatTheReadAnswers>();
any_thread::<server::library::LibraryRead>();
any_thread::<server::library::NotAPagedRead>();
any_thread::<server::library::WhatAskingForAPageDid>();
any_thread::<server::library::Page<()>>();
any_thread::<server::certificate::Fingerprint>();
any_thread::<server::certificate::PresentedChain<'static>>();
any_thread::<server::certificate::Refused<'static>>();
Expand Down
Loading
Loading