HeaderName from bytes unchecked support
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 45/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Tranquilla
- Stack tecnologico
- rust
- Ambito
- api, backend-api-design
Direzione di ricerca
Inizia individuando le API esistenti per la conversione da byte e il parsing di HeaderName, quindi confrontale con le firme proposte di from_bytes_unchecked e parse_hdr_unchecked. Esamina i requisiti di sicurezza e di durata di vita prima di decidere come integrare il percorso unchecked. Il lavoro è completato quando l’API supporta byte di nomi di intestazione validati senza validazione ridondante, preservando le garanzie dichiarate per gli input non validi.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Hello,
I would like to request support for a function that accepts pre-validated HTTP header name tokens. This would allow parsers to skip redundant validation when bytes have already been validated upstream.
Proposed API
/// Converts a slice of bytes to an HTTP header name.
///
/// # Safety
///
/// The caller must ensure that `src` contains only valid HTTP header name tokens.
/// This allows the parser to skip validation and normalization for improved performance.
/// Passing invalid bytes will result in undefined behavior.
pub unsafe fn from_bytes_unchecked(src: &[u8]) -> Result<HeaderName, InvalidHeaderName> {
let mut buf = uninit_u8_array();
// SAFETY: see `from_bytes_unchecked` guarantees
parse_hdr_unchecked(src, &mut buf)?
}
/// # Safety
///
/// The caller must ensure that `data` contains only valid HTTP header name tokens.
unsafe fn parse_hdr_unchecked<'a>(
data: &'a [u8],
b: &'a mut [MaybeUninit<u8>; SCRATCH_BUF_SIZE]
) -> Result<HeaderName, InvalidHeaderName> {
match data.len() {
0 => Err(InvalidHeaderName::new()),
len @ 1..=SCRATCH_BUF_SIZE => {
// Read from data into the buffer
data.iter()
.zip(b.iter_mut())
.for_each(|(byte, out)| *out = MaybeUninit::new(*byte as usize));
// SAFETY: len bytes of b were just initialized.
let name: &'a [u8] = unsafe { slice_assume_init(&b[0..len]) };
match StandardHeader::from_bytes(name) {
Some(sh) => Ok(sh.into()),
None => {
let buf = Bytes::copy_from_slice(name);
// SAFETY: see `parse_hdr_unchecked` guarantees
let val = unsafe { ByteStr::from_utf8_unchecked(buf) };
Ok(Custom(val).into())
}
}
},
SCRATCH_BUF_OVERFLOW..=super::MAX_HEADER_NAME_LEN => {
use bytes::{BufMut};
let mut dst = BytesMut::with_capacity(data.len());
dst.extend_from_slice(data);
// SAFETY: see `parse_hdr_unchecked` guarantees
let val = unsafe { ByteStr::from_utf8_unchecked(dst.freeze()) };
Ok(Custom(val).into())
},
_ => Err(InvalidHeaderName::new()),
}
}
Motivation
Many HTTP parsers already perform validation of header name tokens during parsing. This function would allow those parsers to avoid duplicate validation by reusing the existing validation results. Additionally, the unchecked parser could return HeaderName directly, since the invariant of valid header tokens would be guaranteed by the caller.
- Lingua principale
- Rust
- Stelle
- 1.4k
- Fork
- 380
- Merge medio
- 2g 5h
- PR unite (30g)
- 4
Preparare l'ambiente
Questo progetto non fornisce container di sviluppo, Dockerfile né guida per i contributori, quindi l'ambiente è a tuo carico: parti dal suo README e consulta la nostra guida al primo contributo per i passaggi generali.
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di hyperium/http
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 62/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 58/100
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 62/100
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
Tutte le issue di hyperium/http
Issue simili
-
tech-debt
Difficoltà 2/5 1-3 ore Idoneità per principianti 74/100
I maintainer di solito rispondono entro 1 giorno
-
Broken links in the docsApertadocumentation
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 85/100
I maintainer di solito rispondono entro 1 giorno
-
discover: `sudo RTK_DISABLED=$VAR …` is not detected as a bypass when `sudo` is a transparent prefixApertaarea:cli bug good first issue priority:medium
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
rtk-ai/rtk#4412 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
[review-skill] Unresolved review threads need paginated GraphQL; first:100 silently truncatesApertaskill:code-review
Difficoltà 1/5 1-3 ore Idoneità per principianti 88/100
I maintainer di solito rispondono entro 1 giorno
-
component:sight
Difficoltà 2/5 1-3 ore Idoneità per principianti 84/100
agentic-os-org/ANOLISA#4115 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno