Christian Schwarz
@problame.bsky.social
Storage @ neon.tech / Databricks Lakebase
OpenZFS & zrepl.github.io
cschwarz.com
Engineering
26%
Economics
15%
And I just received this amazing swag drop in the mail: that beanie is going for a morning run right away!
Super excited to be speaking at #p99conf about the evolution of the Neon storage stack! My talk is on Wednesday: www.p99conf.io/agenda/#wedn...
Christian Schwarz
@problame.bsky.social
· Jan 18
Ok, that clarifies your original post for me, thanks!
Christian Schwarz
@problame.bsky.social
· Jan 18
So in terms of possible optimizations unlocked by explicit synchronization points, you’d say Rust today already exploits all of them? IIUC most of the Rust compiler and LLVM doesn’t understand the “meaning” of Poll::Pending, right? I’m interested in whether new optimizations were unlocked if it did.
Christian Schwarz
@problame.bsky.social
· Jan 18
Ok, so, expressivity in the typesystem, maybe reasoning about deadlock-freedom, etc.
Any foreseeable advantages wrt low level optimizations? Like, can I optimize the code *between* the synchronization points better if I know them at the type system level at compile time?
Any foreseeable advantages wrt low level optimizations? Like, can I optimize the code *between* the synchronization points better if I know them at the type system level at compile time?
Christian Schwarz
@problame.bsky.social
· Jan 18
What improvements are unlocked in PL and compilers by marking synchronization points? Not doubting your point, just wondering what the broader context of the post is.