P4-Research/nikss-p4c

Implement support for @atomic annotation

Opened this issue · 0 comments

osinstom commented

Consider using bpf_spinlock().