Re: default pager using legacy interfaces

[Thomas Bushnell, BSG]

Marcus Brinkmann <Marcus.Brinkmann@ruhr-uni-bochum.de> writes:

> the default pager in serverboot (also used by mach-defpager) is still using
> the legacy interfaces memory_object_set_attributes() and
> memory_object_data_write() to set the ready attribute and receive data from
> the kernel.  The newer documentation suggests that memory_object_ready()
> and memory_object_data_return() should be used.

In general I have no problem with this.  Switching to
memory_object_ready means that you have to commit to using the new
interface entirely, and IIRC there are several changes to worry
about.  I don't think any of them affect the default pager.

But I would feel happier if you compiled this and did some major
stress-testing of it first.