MIG documentation (was: libpager deadlock)

[Thomas Schwinge]

Hello!

On Fri, Apr 09, 2010 at 11:45:04AM +0200, Sergio Lopez wrote:
> El Thu, 8 Apr 2010 16:15:00 +0200
> Samuel Thibault <samuel.thibault@gnu.org> escribió:
> > Sergio Lopez, le Thu 08 Apr 2010 16:07:20 +0200, a écrit :
> > > In memory_object.defs, m_o_lock_request is defined as
> > > simpleroutine, so a call to mach_msg_trap should only enqueue the
> > > message and return immediately.
> > 
> > Is this kind of information documented somewhere?  I can't find such
> > documentation in MIG's source.
> 
> Humm... must be a paper somewhere... or perhaps I learnt it by reading
> the code...

<http://www.gnu.org/software/hurd/microkernel/mach/mig/documentation.html>:

    Richard P. Draves, Michael B. Jones, Mary R. Thompson, MIG - THE MACH
    INTERFACE GENERATOR. ps, doc. November 1989. Department of Computer
    Science, Carnegie-Mellon University.

That's the one I've once been reading.


Regards,
 Thomas

signature.asc
Description: Digital signature