Formal description of Unix interface and internals

Article View: comp.specification

Article #54

Back to comp.specification Previous Next

#54

From: 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

Technical Details

Message-ID: <MACRAKIS.92Apr8135551@next4.osf.org>

Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!paperboy.osf.org!paperboy!macrakis

Show Full Headers

Complete Article Headers

Newsgroups: comp.specification,comp.specification.z
Path: arc1-ca.pugleaf.net!sparky!uunet!think.com!paperboy.osf.org!paperboy!macrakis
From: macrakis@osf.org (Stavros Macrakis)
Subject: Formal description of Unix interface and internals
Message-ID: <MACRAKIS.92Apr8135551@next4.osf.org>
Sender: news@osf.org (USENET News System)
Organization: OSF Research Institute
Date: 8 Apr 92 13:55:51
Lines: 19