Make string-cache compatible with Strict Provenance
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
Inizia esaminando il branch collegato fix-aliasing e il report Strict Provenance, quindi ispeziona l’uso di Atom in string-cache-codegen e il pattern generato mostrato in generated.rs:3381, raggiunto da interface/tree_builder.rs:89. Il lavoro è completato quando si preserva la niche di Atom, si evitano i roundtrip dei puntatori e il pattern macro_rules! compila con i vincoli di provenance segnalati.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Original title: Status of provenance/aliasing issues detected by Miri
Hi, I wish I were being helpful here but I'm just reporting the status of some hackery I've done. (hours wasted here, etc)
This is one of the most-downloaded crates that roundtrips pointer values through integers. I'm looking into most such crates to understand if it's possible to rewrite such roundtrips or if there's something better that can be done to support what libraries want to do.
For this crate, I do not think that it is possible to patch out the roundtrips, but the problem isn't the round-tripping. This crate wants to store pointers inside Atom, and to do that in a well-defined way we need a type which is capable of storing provenance and also plain old bytes, so we could use a raw pointer type or MaybeUninit. But we want to uphold the niche which it currently has, so the only type which is eligible is NonNull. But putting NonNull in that field breaks string-cache-codegen, because it puts Atom in a macro_rules! pattern:
error: to use a constant of type `std::ptr::NonNull` in a pattern, `std::ptr::NonNull` must be annotated with `#[derive(PartialEq, Eq)]`
--> /tmp/markup5ever-0.11.0/target/miri/x86_64-unknown-linux-gnu/debug/build/markup5ever-85445da718f099e3/out/generated.rs:3381:39
|
3381 | ...html") => { $ crate :: ATOM_NAMESPACE__68_74_74_70_3A_2F_2F_77_77_77_2E_77_33_2E_6F_72_67_2F_31_39_39_39_2F_78_68_74_6D_6C } ;
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
|
::: interface/tree_builder.rs:89:9
|
89 | expanded_name!(html "template") => flags.template = true,
| ------------------------------- in this macro invocation
|
= note: this error originates in the macro `namespace_url` (in Nightly builds, run with -Z macro-backtrace for more info)
I've put up the changes that would remove the ptr-int-ptr roundtrips (as well as some aliasing issues with Box that current SB has) in a branch in case anyone is interested: https://github.com/servo/string-cache/compare/master...saethlin:fix-aliasing
- Lingua principale
- Rust
- Stelle
- 212
- Fork
- 84
- Merge medio
- 1g 2h
- PR unite (30g)
- 6
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
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 servo/string-cache
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
servo/string-cache#293 · 1 commento ·
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
servo/string-cache#240 · 4 commenti ·
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
servo/string-cache#236 · 8 commenti ·
-
Use a faster hash function Apertaperformance
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
servo/string-cache#31 · 2 commenti ·
Tutte le issue di servo/string-cache
Issue simili
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
BurntSushi/jiff#653 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
ZcashFoundation/zeeder#106 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
oxidize-rb/rb-sys#807 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 88/100
-
todo:ticket
Difficoltà 2/5 1-2 giorni Idoneità per principianti 74/100