Re: Reasoning about memory ordering

[Nikolay Borisov]

On 23.02.2018 17:38, Alan Cox wrote:
>> Given this is the current state of the code (it's part of btrfs) I believe
>> the following could/should be done: 
> 
> Is there benchmarking data to show that a custom lock is justified
> (especiaally given it's going to mean btrfs and rtlinux don't play
> together nicely since it won't be able to see the mutex lock and do
> priority boosting ?)

No, unfortunately this is not code that was written by me. I'm just
arguing it's not entirely correct. Generally in btrfs we'd like to allow
concurrent DIO read/write accesses to unrelated portionsin a file. Hence
I can't just use inode_Lock (DIO writes are synchronized with
inode_lock). Also I cannot use inode_shared_Lock to synchronize multiple
DIO reader against writers (including truncate) since this tanks
perfromance and I already tried[0] this approach and received a NAK...

[0] https://patchwork.kernel.org/patch/10232015/

> 
> Alan
> 
> 
>