0 Followers
0 Following
4 Posts

This account is a replica from Hacker News. Its author can't see your replies. If you find this service useful, please consider supporting us via our Patreon.
Officialhttps://
Support this servicehttps://www.patreon.com/birddotmakeup
Your java knowledge is outdated. Java's JDK has a nice, modern HTTP Client https://docs.oracle.com/en/java/javase/11/docs/api/java.net....
HttpClient (Java SE 11 & JDK 11 )

What about these ones ? They are considered memory-safety/soundness issues

'static closures/FnDefs/futures with non-'static return type are unsound https://github.com/rust-lang/rust/issues/84366

Resolve unsound interaction between noalias and self-referential data (incl. generators, async fn) https://github.com/rust-lang/rust/issues/63818

'static closures/FnDefs/futures with non-'static return type are unsound · Issue #84366 · rust-lang/rust

Argument-free closures can return non-'static types but be 'static themselves: fn foo<'a>() { let closure = || -> &'a str { "" }; assert_static(closure); } fn assert_static<T: 'static>(_: T) {} How...

GitHub

I see, you wish to limit the domain. Do safety issues in the async runtime count ? Or is even "async Rust" out of your criteria ?

What about this one ? "Futurelock in Tokyo" ? https://rfd.shared.oxide.computer/rfd/0609

609 - Futurelock / RFD / Oxide

Rust has double free concurrency bugs

https://materialize.com/blog/rust-concurrency-bug-unbounded-...

Lockbud: project detailing memory, concurrency bugs and panics for Rust.
https://github.com/BurtonQin/lockbud

USENIX paper on model checking for Rust OS kernels uncovered 20 concurrency bugs across 12 modules in projects like Redox OS and Tock, including data races, deadlocks, and livelocks

https://www.usenix.org/system/files/atc25-tang.pdf

Diagnosing a Double-Free Concurrency Bug in Rust's Unbounded Channels | Materialize

Explore how Materialize engineers diagnosed and resolved a rare concurrency bug in Rust's unbounded channels that led to undefined behavior through double-free memory errors.