Async Rust: the good, the bad, and the ugly

Async Rust: the good, the bad, and the ugly - Steve Klabnik

Рет қаралды 10,295

7 ай бұрын

Presented at All Things Open 2023
Presented by Steve Klabnik - Oxide Computer Company
Title: Async Rust: the good, the bad, and the ugly
Abstract: Rust's async/await feature shipped in 2018 in an MVP state. Since then, a lot have things have changed, and there's a lot more work to do. In this talk, Steve will talk frankly about the design of async/await in Rust, its strengths, its weaknesses, and lessons learned from using it in production.
About All Things Open
All Things Open is a universe of open source events and platforms designed to educate and connect technologists around the world. It includes the All Things Open conference, the largest open source / tech / web event on the U.S. East Coast, meetups in the Research Triangle Park (RTP) of NC, South Carolina, and New York City, and a KZfaq channel with more than 1,000 free recordings. See everything we do at allthingsopen.org.
Join our meetups:
* New York City meetup: www.meetup.com/Open-Source-NYC/
* South Carolina meetup: www.meetup.com/open-source-so...
* Research Triangle Park, NC meetup: www.meetup.com/all-things-ope...
Follow All Things Open:
* KZfaq: / allthingsopen
* LinkedIn: / all-things-open
* Instagram: / allthingsopen
* Facebook: / allthingsopen
* Twitter: / allthingsopen

Пікірлер: 20

@meyou118 2 ай бұрын

rust's use of await is a big insight! i love it

@manohardenver6404 5 ай бұрын

Start at 17:30 for Async info

@10e999 Ай бұрын

thanks

@Dygear 3 ай бұрын

I did not know that you can use async await in embedded rust without an allocator. That's VERY cool. Going to have to look for cancellation problems in my code. Haven't had any bugs, but I might just be getting lucky.

@manishroy3024 6 ай бұрын

I think the joke failed at 2:30. The slide says "two raised to the power of its position" - which means 2^0 = 1 . And not the other way around.

@zeroows 5 ай бұрын

Still, the joke stands. Meaning only one would talk about it.

@No-op 4 ай бұрын

You do realize that the numbers are proportional to the time spent discussing the associated feature not the number of individuals discussing it@@zeroows

@heavenlyactsatheavycost7629 Ай бұрын

he put that there for the compiler-programmer watchers to error out on. smart.

21 күн бұрын

Off by one error

@gzoechi 4 ай бұрын

Wadlers Law seems to be quite similar to Bikeshedding

@BundesNachrichtenDavid 2 ай бұрын

2 to the power of 0 being 1 and not 0 is the only feedback I'm gonna give this talk, and there is nothing you can do about it ;-)

@micycle8778 Ай бұрын

19:55 erm, actually, its rust += 1

@Ic3q4 Ай бұрын

Has a talk about 6.4 why not add this there?

@scarminio 3 ай бұрын

Well… this talk took too long to get things going. I don’t know why people think that talks should be funny. They should be interesting instead.

@br9809 2 ай бұрын

More than halfway through, and I'm still awaiting the future that contains the subject matter declared in the title. On the other hand I know a ton about the speaker.

@Virens132 4 ай бұрын

Such an interesting talk, but such a shitty sound quality 🙉🙉

@laztheripper 4 ай бұрын

something().await makes it look like you're running a synchronous function, getting a result, and then accessing `await` on that. It fundamentally goes against assumed order of execution for nested statements. It might be nicer not to have to wrap `(await something())` for specific situations, but at least people would know in what order things are running. The monads / ? exception bubbling and all the rest are irrelevant to the question of what someone would naturally assume the code is doing, even in regards to internal consistency of the language syntax.

@mikkelens 4 ай бұрын

(await something()) is not the solution you want if you don't want await to look like a field you access after polling to completion and getting the result. You would want await(_), or (_.await()), or something like that, but this would also be new weird exceptional syntax the same way (await _) or (_.await) is. Your problem here is literally just the weird assumption that .await can only be read as field access, and that (await _) is inherently readable. I think this is both a superficial discussion, but also a bad argument that relies on the assumption that (await _) is readable, which I disagree with.

4 ай бұрын

that is quite literally what you do though. you access a function that returns a Future synchronously. Then you tell you executor to start working on it. without await nothing would happen.

@simonmassey8850 4 ай бұрын

i don't want to write async code and think about the execution order: i want to describe a data processing pipeline. I want to think declaratively. For example, with webflux on Java, you flatMap a Mono to say, “run another async task and extract the result”. In scala, you flatMap optional to extract the value, or flatMap lists of lists, or flatMap async tasks to say “flatten the containing handle to what it contains”, which is perfect for thinking about async tasks from a declarative perspective - i don't care about the wrappers. When they happen, i care about the results. Functional programming for the win 😊