[ros-kernel] Paged pool validation

[Mike Nordell]

Ge van Geldorp wrote:

> I think we should disable verification for DBG = 0 builds and
> only do it every N pool operations for DBG = 1 builds.

I would have expected that to already be the case.

> If you define NDEBUG in ppool.c then N could be 1, otherwise it
> would be something like 1000.

I'm not sure I quite follow. Defining NDEBUG has the effect of disabling
assert() checking. Is this a proposal to overload its meaning for the pool
checking, more-or-less opposite of its meaning for assert, or was this name
used just as a placeholder?

If applying this change cuts load-time of a single app to a 20:th, I'm not
only in favor of this change but also to see why there are such an
extraordinary amount of (de)allocation going on just for loading an app, and
what can be done about it.

/Mike