... but few do it, because multithreading is such a minefield in most languages. I don't see a feasible solution other than compiler-enforced thread safety. For that, Rust and Swift are the only games in town as far as I can see, and Bevy gives Rust a big lead. 2/2 - ThreadSky

pcwalton.bsky.social • 26 days ago

... but few do it, because multithreading is such a minefield in most languages. I don't see a feasible solution other than compiler-enforced thread safety. For that, Rust and Swift are the only games in town as far as I can see, and Bevy gives Rust a big lead. 2/2

Comments

barretts.club•26 days ago

yeah, Bevy is **very** good at this! I still think a purpose-built language + editor is preferable

(think GDScript with Rusty characteristics)

pcwalton.bsky.social•26 days ago

Animators are *really* happy in my experience when they hear how many bones we can efficiently animate, thanks to the performance that pervasive multithreading gets you.

mcy.gay•26 days ago

when are we gonna start using this to do automatic spmd in rust? how beefy is the vector throughput on consoles these days anyways?

pcwalton.bsky.social•26 days ago

Vector on consoles are basically the same throughput as consumer grade CPUs I think. There have been several attempts at making SIMD code look like scalar code in Rust, but none that I know of that are ubiquitous. Autovectorization is hard animation because you have to go AoSoA.

mcy.gay•26 days ago

it's kind of a shame that rust is pervasively impure, because that makes it very hard to force programs into the exact shape that make it easy to fully vectorize a function.

bushr.at•26 days ago

I do hope Rust implements some kind of effect system (like has been proposed). I'd love to write allocation-free, panic-free, etc. software and actually have the tools to enforce it.

mcy.gay•26 days ago

i have relatively little interest in that type of thing. i am most interested in enabling optimizations

tylermandry.bsky.social•25 days ago

what's fun is the same tools that help you reason about your program should help a compiler reason about it too

without.boats•26 days ago

What definition of purity is relevant for this optimization?

mcy.gay•25 days ago

side effects introduce the need to branch, which is an impediment to converting a computation into a circuit that can then be replicated a bunch of times in parallel across the lanes of be tor registers

mcy.gay•25 days ago

you can eliminate branches if neither outgoing edge has side effects by just executing both branches and selecting the output you want. similarly you can (partly) eliminate loops by unroll-and-jamming them and masking off remainders and stuff like that

piss.beauty•26 days ago

sort of the whole reason ISPC exists is that you can't really do automatic spmd

nekotachi.bsky.social•26 days ago

autovectorization? yeah everyone's been doing that for years, close to a decade even.

it can always be better, of course.

https://hpac.cs.umu.se/teaching/sem-accg-14/llvm-vectorization.pdf

Comments

Posting Rules

Reply