On Thu, Feb 25, 2010 at 11:53:01AM -0500, Mathieu Desnoyers wrote: > * Nick Piggin (npiggin@xxxxxxx) wrote: > > On Wed, Feb 24, 2010 at 10:22:52AM -0500, Mathieu Desnoyers wrote: > > > * Nick Piggin (npiggin@xxxxxxx) wrote: > > > > On Mon, Feb 22, 2010 at 04:23:21PM -0500, Mathieu Desnoyers wrote: > > > > > * Chris Friesen (cfriesen@xxxxxxxxxx) wrote: > > > > > > On 02/12/2010 04:46 PM, Mathieu Desnoyers wrote: > > > > > > > > > > > > > Editorial question: > > > > > > > > > > > > > > This synchronization only takes care of threads using the current process memory > > > > > > > map. It should not be used to synchronize accesses performed on memory maps > > > > > > > shared between different processes. Is that a limitation we can live with ? > > > > > > > > > > > > It makes sense for an initial version. It would be unfortunate if this > > > > > > were a permanent limitation, since using separate processes with > > > > > > explicit shared memory is a useful way to mitigate memory trampler issues. > > > > > > > > > > > > If we were going to allow that, it might make sense to add an address > > > > > > range such that only those processes which have mapped that range would > > > > > > execute the barrier. Come to think of it, it might be possible to use > > > > > > this somehow to avoid having to execute the barrier on *all* threads > > > > > > within a process. > > > > > > > > > > The extensible system call mandatory and optional flags will allow this kind of > > > > > improvement later on if this appears to be needed. It will also allow user-space > > > > > to detect if later kernels support these new features or not. But meanwhile I > > > > > think it's good to start with this implementation that covers 99.99% of > > > > > use-cases I can currently think of (ok, well, maybe I'm just unimaginative) ;) > > > > > > > > It's a good point, I think having at least the ability to do > > > > process-shared or process-private in the first version of the API might > > > > be a good idea. That matches glibc's synchronisation routines so it > > > > would probably be a desirable feature even if you don't implement it in > > > > your library initially. > > > > > > I am tempted to say that we should probably wait for users of this API feature > > > to manifest themselves before we go on and implement it. This will ensure that > > > we don't end up maintaining an unused feature and this provides a minimum > > > testability. For now, returning -EINVAL seems like an appropriate response for > > > this system call feature. > > > > It would be very trivial compared to the process-private case. Just IPI > > all CPUs. It would allow older kernels to work with newer process based > > apps as they get implemented. But... not a really big deal I suppose. > > This is actually what I did in v1 of the patch, but this implementation met > resistance from the RT people, who were concerned about the impact on RT tasks > of a lower priority process doing lots of sys_membarrier() calls. So if we want > to do other-process-aware sys_membarrier(), we would have to iterate on all > cpus, for every running process shared memory maps and see if there is something > shared with all shm of the current process. This is clearly not as trivial as > just broadcasting the IPI to all cpus. I don't see how this is fundamentally worse than your existing approach, because on some architectures with asids, the mm_cpumask isn't cleared when a process is scheduled off the CPU then you could effectively just cause IPIs to lots of CPUs anyway. x86 may also one day implement ASIDS in the same way. So if we are worried about this then we need to solve it properly IMO. Rate-limiting it might work. -- To unsubscribe from this list: send the line "unsubscribe linux-arch" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html