Common Rust Lifetime Misconceptions

Re:Common Rust Lifetime Misconceptions by spacechild1 on Tuesday December 05, 2023 @01:50AM (#38527830)

> The overhead of an uncontested lock is not much more than a memory operation

An atomic memory operation! These can be orders of magnitude slower than regular memory operations.

[ Parent | on HN ]

Re:Common Rust Lifetime Misconceptions by gpderetta on Tuesday December 05, 2023 @02:53AM (#38528148)

An atomic read-modify-write. Atomic non-seq-cst load/stores can be cheap.

/Overly pedantic

[ Parent | on HN ]

Re:Common Rust Lifetime Misconceptions by spacechild1 on Tuesday December 05, 2023 @05:34AM (#38529174)

> An atomic read-modify-write.

No, this also applies to (non-relaxed) atomic loads and stores, depending on the platform.

> Atomic non-seq-cst load/stores can be cheap.

Relaxed atomic loads and stores are always cheap, but anything above requires additional memory order instructions on many platforms, most notably on ARM.

Here we are talking specifically about mutexes, which follow acquire release semantics.

To be clear: locking an uncontented mutex is indeed much, much cheaper than an actual call into the kernel, but it is not free either.

[ Parent | on HN ]

Re:Common Rust Lifetime Misconceptions by gpderetta on Tuesday December 05, 2023 @07:18AM (#38529907)

Ok, technically we both used the weasel word 'can' so we are both right.

But even on ARM, these days store releases and load acquires, while not as free as on x86 are very cheap.

To make my statement more precise, typically what is still expensive pretty much everywhere is anything with #StoreLoad barrier semantics, which is what you need to acquire a mutex.

[ Parent | on HN ]