
DIRECTORY
UnixSysCallExtensions,
UnixTypes
;

UnixSysCallExtensionsImpl: CEDAR PROGRAM
EXPORTS UnixSysCallExtensions
~ { OPEN UnixTypes;
FDKind: TYPE ~ UnixSysCallExtensions.FDKind;

Open4: PUBLIC PROC [path: CHARPtr, flags: FileFlags, mode: Mode, kind: FDKind] RETURNS [FD]
~ {
Open4Inner: PROC [path: CHARPtr, flags: FileFlags, mode: Mode, kind: FDKind] RETURNS [FD]
~ TRUSTED MACHINE CODE {
"XR_Open4"
};
RETURN[ Open4Inner[path, flags, mode, kind] ];
};

GetDescriptorKind: PUBLIC PROC [d: FD] RETURNS [FDKind]
~ {
GetDescriptorKindInner: PROC [d: FD] RETURNS [FDKind]
~ TRUSTED MACHINE CODE {
"XR_GetDescriptorKind"
};
RETURN[ GetDescriptorKindInner[d] ];
};

GetDTableSize1: PUBLIC PROC [kind: FDKind] RETURNS [INT]
~ {
GetDTableSize1Inner: PROC [kind: FDKind] RETURNS [INT]
~ TRUSTED MACHINE CODE {
"XR_GetDTableSize1"
};
RETURN[ GetDTableSize1Inner[kind] ];
};

ExpandPath: PUBLIC PROC [path: CHARPtr] RETURNS [CHARPtr] ~ {
ExpandPathInner: PROC [path: CHARPtr] RETURNS [CHARPtr]
~ TRUSTED MACHINE CODE {
"XR_ExpandPath"
};
RETURN[ ExpandPathInner[path] ];
};

GetNumberOfFreeFDs: PUBLIC PROC [kind: FDKind] RETURNS [INT] ~ {
GetNumberOfFreeFDsInner: PROC [kind: FDKind] RETURNS [INT]
~ TRUSTED MACHINE CODE {
"XR_GetNumberOfFreeFDs"
};
RETURN[ GetNumberOfFreeFDsInner[kind] ];
};
BlockingMode: TYPE ~ UnixSysCallExtensions.BlockingMode;

SetGetBlocking: PUBLIC PROC [s: FD, blocking: BlockingMode] RETURNS [RES]
~ {
SetGetBlockingInner: PROC [s: FD, blocking: BlockingMode] RETURNS [RES]
~ TRUSTED MACHINE CODE {
"XR_SetGetBlocking"
};
RETURN[ SetGetBlockingInner[s, blocking] ];
};

GetGetBlocking: PUBLIC PROC [s: FD] RETURNS [BlockingMode]
~ {
GetGetBlockingInner: PROC [s: FD] RETURNS [BlockingMode]
~ TRUSTED MACHINE CODE {
"XR_GetGetBlocking"
};
RETURN[ GetGetBlockingInner[s] ];
};

SetPutBlocking: PUBLIC PROC [s: FD, blocking: BlockingMode] RETURNS [RES]
~ {
SetPutBlockingInner: PROC [s: FD, blocking: BlockingMode] RETURNS [RES]
~ TRUSTED MACHINE CODE {
"XR_SetPutBlocking"
};
RETURN[ SetPutBlockingInner[s, blocking] ];
};

GetPutBlocking: PUBLIC PROC [s: FD] RETURNS [BlockingMode]
~ {
GetPutBlockingInner: PROC [s: FD] RETURNS [BlockingMode]
~ TRUSTED MACHINE CODE {
"XR_GetPutBlocking"
};
RETURN[ GetPutBlockingInner[s] ];
};


SetGetTimeout: PUBLIC PROC [s: FD, timeoutMsec: CARD] RETURNS [RES]
~ {
SetGetTimeoutInner: PROC [s: FD, timeoutMsec: CARD] RETURNS [RES]
~ TRUSTED MACHINE CODE {
"XR_SetGetTimeout"
};
RETURN[ SetGetTimeoutInner[s, timeoutMsec] ];
};
GetGetTimeout: PUBLIC PROC [s: FD] RETURNS [CARD]
~ {
GetGetTimeoutInner: PROC [s: FD] RETURNS [CARD]
~ TRUSTED MACHINE CODE {
"XR_GetGetTimeout"
};
RETURN[ GetGetTimeoutInner[s] ];
};
SetPutTimeout: PUBLIC PROC [s: FD, timeoutMsec: CARD] RETURNS [RES]
~ {
SetPutTimeoutInner: PROC [s: FD, timeoutMsec: CARD] RETURNS [RES]
~ TRUSTED MACHINE CODE {
"XR_SetPutTimeout"
};
RETURN[ SetPutTimeoutInner[s, timeoutMsec] ];
};

GetPutTimeout: PUBLIC PROC [s: FD] RETURNS [CARD]
~ {
GetPutTimeoutInner: PROC [s: FD] RETURNS [CARD]
~ TRUSTED MACHINE CODE {
"XR_GetPutTimeout"
};
RETURN[ GetPutTimeoutInner[s] ];
};

Spawn: PUBLIC PROC [cmd, stdin, stdout, stderr: CHARPtr] RETURNS [INT] 
~ {
SpawnInner: PROC [cmd, stdin, stdout, stderr: CHARPtr] RETURNS [INT] 
~ TRUSTED MACHINE CODE {
"XR_Spawn"
};
RETURN[ SpawnInner[cmd, stdin, stdout, stderr] ];
};

CDSpawn: PUBLIC PROCEDURE [cmd, wd, stdin, stdout, stderr: UnixTypes.CHARPtr] 
RETURNS [INT] ~ {
CDSpawnInner: PROCEDURE [cmd, wd, stdin, stdout, stderr: UnixTypes.CHARPtr] 
RETURNS [INT] ~ TRUSTED MACHINE CODE {
"XR_CDSpawn"
};
RETURN[ CDSpawnInner[cmd, wd, stdin, stdout, stderr] ];
};
PPOpen: PUBLIC PROC [cmd: CHARPtr] RETURNS [FD] ~ {
PPOpenInner: PROC [cmd: CHARPtr] RETURNS [FD] ~ TRUSTED MACHINE CODE {
"XR_PPOpen"
};
RETURN [PPOpenInner[cmd]]
};

RExec2: PUBLIC PROC [host: SockAddrPtr, port: CARD, user: CHARPtr, passwd: CHARPtr, cmd: CHARPtr, errbuf: CHARPtr, errbufbytes: INT м 0] RETURNS [FD] ~ {
RExec2Inner: PROC [host: SockAddrPtr, port: CARD, user: CHARPtr, passwd: CHARPtr, cmd: CHARPtr, errbuf: CHARPtr, errbufbytes: INT] RETURNS [FD] ~ TRUSTED MACHINE CODE {
"XR_RExec2"
};
RETURN [RExec2Inner[host, port, user, passwd, cmd, errbuf, errbufbytes]]
};


VMReserve: PUBLIC PROC [nbytes: CARD] RETURNS [address: RawVM] ~ {
vmreserve: PROC [nbytes: CARD] RETURNS [address: RawVM] ~ TRUSTED MACHINE CODE {
"<xr/ThreadsSharedMem.h>.XR_VMReserve"
};
RETURN [vmreserve[nbytes]]
};

UNTHREADEDShmCtl: PUBLIC UNSAFE PROC [shmId: SharedMemoryIdentifier, cmd: IPCCtlCmd, buf: POINTER TO ShmIdDs] RETURNS [RES] = UNCHECKED {
unthreadedshmctl: PUBLIC UNSAFE PROC [shmId: SharedMemoryIdentifier, cmd: IPCCtlCmd, buf: POINTER TO ShmIdDs] RETURNS [RES] = MACHINE CODE {
"*#include <sys/types.h>\n";
"#include <sys/ipc.h>\n";
"#include <sys/shm.h>\n";
".shmctl"
};
RETURN [unthreadedshmctl[shmId, cmd, buf]]
};

RegisterUNTHREADEDTerminationCleanupProc: PUBLIC UNSAFE PROC [cleanup: PROC [REF], data: REF м NIL] RETURNS [RES] = UNCHECKED {
registerunthreadedterminationcleanupproc: UNSAFE PROC [cleanup: PROC [REF], data: REF] RETURNS [RES] = MACHINE CODE {
"<xr/ThreadsTermination.h>.XR_RegisterTerminationCleanupProc"
};
RETURN [registerunthreadedterminationcleanupproc[cleanup, data]];
};

}.
     
UnixSysCallExtensionsImpl.mesa
Copyright ╙ 1988, 1991, 1992 by Xerox Corporation.  All rights reserved.
Christian Jacobi, January 24, 1991 5:30 pm PST
Peter B. Kessler, January 16, 1990 1:20:35 pm PST
Demers, November 11, 1988 1:13:10 pm PST
Carl Hauser, December 8, 1988 12:56:07 pm PST
Michael Plass, January 29, 1992 2:54 pm PST
Non-Unix-like I/O
NonBlocking I/O
Timeouts


Unix command access


Virtual memory allocation
Shared memory control operations, version NOT to be called from a regular Cedar/Mesa thread.
Register a cleanup proc to be called automatically just before PCR terminates.  The cleanup proc is called from a Unix process rather than a thread -- it should do native Unix system calls and avoid thread operations such as entering monitors.
 Э╩▓  Ц(cedarcode) styleХNewlineDelimiter
Щ codeЪЬЩKЪЬ
╧eЬ=ЩHJЩ.KЩ1KЩ(KЩ-KЩ+KШ Ъ╧k	Ш	KЪЬШKШ	KШKШ ЧЧЪ╧nЬЮЬЮШ(KЪЮЬШKЪЬЮЬШheadЩKЪЬЮЬ Ш,KШ Ъ
ЯЬЮЬЮЬ=ЮЬЮЬШ[KШЪЯ
ЬЮЬ=ЮЬЮЬШYKЪЬЮЬЮЬЮЬШKШ
KШЧKЪЮЬ(Ш.KШЧKШ Ъ
ЯЬЮЬЮЬЮЬЮЬ	Ш7KШЪЯЬЮЬЮЬЮЬ	Ш5KЪЬЮЬЮЬЮЬШKЪЬШKШЧKЪЮЬШ$KШЧKШ Ъ
ЯЬЮЬЮЬЮЬЮЬШ8KШЪЯЬЮЬЮЬЮЬШ6KЪЬЮЬЮЬЮЬШKЪЬШKШЧKЪЮЬШ$KШKШ ЧЪЯ
ЬЮЬЮЬЮЬШ=ЪЯЬЮЬЮЬ
Ш7KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬШ KЪЬШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ@ЪЯЬЮЬЮЬЮЬШ:KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬ"Ш(KЪЬШЧЧЩЪЬЮЬ&Ш8KШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШIKШЪ
ЯЬЮЬЮЬЮЬЮЬШGKЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬ%Ш+KШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ:KШЪЯЬЮЬЮЬЮЬШ8KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬШ!KШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШIKШЪ
ЯЬЮЬЮЬЮЬЮЬШGKЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬ%Ш+KШKШ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ:KШЪЯЬЮЬЮЬЮЬШ8KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬШ!KШKШ ЧKШ ЧЩЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШCKШЪЯЬЮЬЮЬЮЬЮЬЮЬШAKЪЬЮЬЮЬЮЬШKЪЬШKШЧKЪЮЬ'Ш-KШKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШ1KШЪ
ЯЬЮЬЮЬЮЬЮЬШ/KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬШ KШKЩ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШCKШЪЯЬЮЬЮЬЮЬЮЬЮЬШAKЪЬЮЬЮЬЮЬШKЪЬШKШЧKЪЮЬ'Ш-KШKШ ЧЪЯЬЮЬЮЬЮЬЮЬЮЬШ1KШЪ
ЯЬЮЬЮЬЮЬЮЬШ/KЪЬЮЬЮЬЮЬШKШKШЧKЪЮЬШ KШKЩ ЧШ KЩ ЧЧЩЪ
ЯЬЮЬЮЬ'ЮЬЮЬШGKЪЬШЪЯ
ЬЮЬ'ЮЬЮЬШEKЪЬЮЬЮЬЮЬШKШ
KШЧKЪЮЬ+Ш1KЪЬШKШ ЧЪ
ЯЬЮЬЮ	Ь6ЮЬЮЬШ`ЪЯЬЮ	Ь6ЮЬЮЬЮЬЮЬЮЬШsKШKШЧKЪЮЬ1Ш7KШKЩ ЧЪ
ЯЬЮЬЮЬЮЬЮЬШ3ЪЯЬЮЬЮЬЮЬЮЬЮЬЮЬШFKШKШЧKЪЮЬШKЪЬШKШ ЧЪЯЬЮЬЮЬЮЬNЮЬЮЬЮЬШЩЪЯЬЮЬЮЬNЮЬЮЬЮЬЮЬЮЬЮЬШиKШKШЧKЪЮЬBШHKЪЬШЧKШ Ш KЩ ЧЧЩЪ
Я	ЬЮЬЮЬ
ЮЬЮЬШBЪЬЮЬ
ЮЬЮЬЮЬЮЬЮЬШPKЪЬ&Ш&KЪЬШЧKЪЮЬШKЪЬШKШ ЧЧЪЯЬЮЬЮЬЮЬ6ЮЬЮЬ
ЮЬЮЬЮ	ЬШЙKЪЬ\Щ\ЪЬЮЬЮЬЮЬ6ЮЬЮЬ
ЮЬЮЬЮЬЮЬШМKЪЬШKЪЬШKЪЬШKЪЬ	Ш	KШЧKЪЮЬ$Ш*KШKШ ЧЪЯ(ЬЮЬЮЬЮЬЮЬЮЬ	ЮЬЮЬЮЬЮЬЮ	ЬШKЪЬєЩєЪЬ*ЮЬЮЬЮЬЮЬ	ЮЬЮЬЮЬЮЬЮЬШuKЪЬ=Ш=KШЧKЪЮЬ;ШAKШKШ ЧKШЧЧ ЕЧ    n   $  