shmc/l4shmnet improvements

[Adam Lackorzynski]

On Thu Apr 12, 2012 at 11:41:10 +0200, Stefan Fritsch wrote:
> Here are updated versions of my patches that incorporate your suggestions.
> 
> One additional issue: I have noticed that gcc does not provide 
> __sync_synchronize() on all ARM variants. I have added a workaround but it 
> would be nice if L4 provided a function that causes a hardware memory barrier 
> on platforms that have it, and does nothing on platforms that don't. 
> l4_barrier(), l4_mb(), l4_wmb() only cause a compiler memory barrier.

Ok, I'll investigate into this. (But will take a bit.)

> On Tuesday 27 March 2012 00:45:25 Adam Lackorzynski wrote:
> > Please no such macros. First I'd like those always parsed so that
> > they do not break: if (0) ... (or if (compile-time-fix-expression) ...).
> > Then, debug_printf is just too generic.
> 
> This is not that easy because users of the header may not have printf(). 
> Therefore I have just removed the debug output.

Ah, true. Then removing is good.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/