PRKernel instances

[Philippe Marschall]

2006/9/9, Keith Hodges <keith_hodges at yahoo.co.uk>:
> Lukas,
>
> I would like to change PRKernel instances to be managed by a KeyedSet. I
> am seeking prior approval before submitting the work.
>
> I am looking forward to a time when there may be many many more pier
> kernels in one system, and the pier application serves them all (or a
> nominated subset) rather than just one.
>
> Lookup performance will be better, especially with the Magma-Pier
> changes that I made to make the application preference a String
> #kernelName rather than a PRKernel instance #kernel.
>
> Also error messages become consistent, e.g. creating a kernel with an
> already existing name.
>
> your thoughts?

I dislike KeyedSets because they don't work well together with
persistence in general. But if we use a symbol instead of a block
(Magritte adds #value: to Symbol) we should be able to work around
this.

Philippe