undefined | Better HN

Better HN

Top Best Ask Show New Jobs

0 pointssanxiyn5y ago0 comments

Synchronous code is even easier to reason about than code using async syntax sugar.

0 pointssanxiyn5y ago0 comments

Synchronous code is even easier to reason about than code using async syntax sugar.

0 comments

6 comments · 1 top-level

nialv75y ago· 5 in thread

No, multithreaded synchronous code is not easier to reason about than async. I think most would agree.

sanxiynOP5y ago

I disagree, at least in Rust. async is hard. Threading is easy.

nialv75y ago

Do you have something that backs up your belief?

akvadrako5y ago

You probably think async code can't have deadlocks like threaded code can. Async is still multi-threaded it's just that the threads are done in user-space and contain an implicit global lock.

nicoburns5y ago

Async is not pre-emptive though (if using a single theaded executor). And thats where most of the unintutive behaviour of threads comes from.

nialv75y ago

Notice I didn't say async code is easier to reason about.

j / k navigate · click thread line to collapse

0 comments

6 comments · 1 top-level

nialv75y ago· 5 in thread

No, multithreaded synchronous code is not easier to reason about than async. I think most would agree.

sanxiynOP5y ago

I disagree, at least in Rust. async is hard. Threading is easy.

nialv75y ago

Do you have something that backs up your belief?

akvadrako5y ago

You probably think async code can't have deadlocks like threaded code can. Async is still multi-threaded it's just that the threads are done in user-space and contain an implicit global lock.

nicoburns5y ago

Async is not pre-emptive though (if using a single theaded executor). And thats where most of the unintutive behaviour of threads comes from.

nialv75y ago

Notice I didn't say async code is easier to reason about.

j / k navigate · click thread line to collapse