Replace bcopy() to update ether_addr

Luigi Rizzo rizzo at iet.unipi.it
Wed Aug 22 21:33:37 UTC 2012


On Wed, Aug 22, 2012 at 03:21:06PM -0400, John Baldwin wrote:
> On Wednesday, August 22, 2012 2:54:07 pm Adrian Chadd wrote:
> > On 22 August 2012 05:02, John Baldwin <jhb at freebsd.org> wrote:
> > > On Tuesday, August 21, 2012 12:34:42 pm Adrian Chadd wrote:
> > >> Hi,
> > >>
> > >> What about just creating an ETHER_ADDR_COPY(dst, src) and putting that
> > >> in a relevant include file, then hide the ugliness there?
> > >>
> > >> The same benefits will likely appear when copying wifi MAC addresses
> > >> to/from headers.
> > >>
> > >> Thanks, I'm glad someone noticed this.
> > >
> > > I doubt we even _need_ the ugliness.  We should just use *dst = *src
> > > unless there is a compelling reason not to.
> > 
> > Because it's not very clear? :-) I'd much prefer my array-of-things
> > copies to be explicit.
> 
> Eh?  'struct foo *src, *dst; *dst = *src' is pretty bog-standard C.  That 
> isn't really all that obtuse.

the thread has probably forked causing people to miss the explanation
that Bruce gave: quite often the function is called by casting
arbitrary pointers into 'struct foo *', so the compiler's expectations
about alignment do not necessarily match the user's lies.

Unfortunately we are building kernels with many compiler checks
disabled, so there is a fair chance that the compiler will not
detect such invalid casts.

Probably addresses are aligned to 2-byte boundaries, but certainly
not on a 4-byte, which means that a safe copy might require 3
instructions, even though a compiler could otherwise decide to align
all non-packed 'struct foo' to a 4- or 8-byte boundary and possibly
do the copy with 2 or even 1 instruction.

I would also suggest to try the code i posted in response to bruce
so you can check how good or bad are the various solutions on
different architectures or CPUs, and see if there is a reasonable
compromise.

cheers
luigi

> > Also, the optimisation and compiler silliness may not be THAT obvious
> > on intel (except when you're luigi and using netmap) but I can't help
> > but wonder whether the same does hold for MIPS/ARM. Getting it wrong
> > there will lead to some very very poor performing code.
> 
> Don't you think there's a really good chance the compiler knows how to copy a 
> structure appropriately for each architecture already?
> 
> -- 
> John Baldwin
> _______________________________________________
> freebsd-hackers at freebsd.org mailing list
> http://lists.freebsd.org/mailman/listinfo/freebsd-hackers
> To unsubscribe, send any mail to "freebsd-hackers-unsubscribe at freebsd.org"


More information about the freebsd-net mailing list