Formal description of Unix interface and internals

Thread View: comp.specification

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Stavros Macrakis Wed, 08 Apr 1992 13:55

#54

Author: Stavros Macrakis
Date: Wed, 08 Apr 1992 13:55

19 lines
972 bytes

I'm interested in formal specifications of the external interface
(API) and the internal interfaces of Unix.  By internal interfaces, I
mean especially the invariants of critical data structures such as
vnodes, the process structure, etc.

Can anyone point me in the right direction?  Please reply by E-mail,
and I will summarize.

Thanks,

	-s

Stavros Macrakis
Open Software Foundation Research Institute

Mail:  11 Cambridge Center, Cambridge, MA 02142, USA
Net:   macrakis@osf.org
Phone: + 1 / 617 / 621 8892 (direct, voicemail)
Fax:   + 1 / 617 / 225 2943

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads