lkml.org 
[lkml]   [2014]   [Jun]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
Date
SubjectRe: [PATCH RFC net-next 13/14] samples: bpf: example of stateful socket filtering
On Fri, Jun 27, 2014 at 5:06 PM, Alexei Starovoitov <ast@plumgrid.com> wrote:
> this socket filter example does:
>
> - creates a hashtable in kernel with key 4 bytes and value 8 bytes
>
> - populates map[6] = 0; map[17] = 0; // 6 - tcp_proto, 17 - udp_proto
>
> - loads eBPF program:
> r0 = skb[14 + 9]; // load one byte of ip->proto
> *(u32*)(fp - 4) = r0;
> value = bpf_map_lookup_elem(map_id, fp - 4);
> if (value)
> (*(u64*)value) += 1;

In the code below, this is XADD. Is there anything that validates
that shared things like this can only be poked at by atomic
operations?

--Andy


\
 
 \ /
  Last update: 2014-06-28 03:21    [W:0.416 / U:0.304 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site