Re: BPF memory model

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Tue, Sep 19, 2023 at 11:55:42AM -0400, Barret Rhoden wrote:
> On 9/19/23 05:52, Paul E. McKenney wrote:
> > Just to make sure that I understand, the idea is to compile from (say)
> > __atomic_load_n() to BPF instructions, correct? Or is this compiling all
> > the way to the target x86/ARMv8/whatever machine instructions?
> 
> correct; i'm compiling with clang -target bpf to BPF instructions, which
> should be spitting out the appropriate BPF atomic ops.  then i hope that if
> i get the compiler to emit the reads and writes in the correct order, that
> the JIT maintains that order when it turns them into x86/whatever.

Hopefully better late than never, here is a draft:

https://docs.google.com/document/d/1TaSEfWfLnRUi5KqkavUQyL2tThJXYWHS15qcbxIsFb0/edit?usp=sharing

Please do feel free to add relevant comments.

							Thanx, Paul




[Index of Archives]     [Linux Samsung SoC]     [Linux Rockchip SoC]     [Linux Actions SoC]     [Linux for Synopsys ARC Processors]     [Linux NFS]     [Linux NILFS]     [Linux USB Devel]     [Video for Linux]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]


  Powered by Linux