Re: cacheflush.2

[Dave Martin <Dave.Martin@arm.com>]

On Wed, Dec 09, 2020 at 07:34:09PM +0100, Alejandro Colomar (man-pages) wrote:
> Hi Heinrich & Michael,
> 
> What about the following?:
> 
> [
> NOTES
>        GCC provides a similar function, which may be useful on  archi‐
>        tectures that lack this system call:
> 
>            void __builtin___clear_cache(void *begin, void *end);
> ]
> 
> Cheers,
> 
> Alex

Maybe we should discourage people from calling the cacheflush syscall?

I think that people shouldn't be using the syscall unless they really
need the finer grained control it provides, and are prepared to take a
hit to portability.

(On arches where userspace is allowed to do cache flushing directly,
__builtin___clear_cache() should transparently do the right thing, with
no syscall overhead -- if not, that's probably a bug in the toolchain or
compiler support library.)

[...]

Cheers
---Dave