MODULE Unix; (* Josef Templ, 5.3.90 Linux system calls *) (* ported to gnu x86_64 and added system function, noch *) (* Module Unix provides a system call interface to Linux. Naming conventions: Procedure and Type-names always start with a capital letter. error numbers as defined in Unix other constants start with lower case letters *) IMPORT SYSTEM; CONST (* various important constants *) stdin* = 0; stdout* =1; stderr* = 2; LOCKEX* = 2; LOCKUN* = 8; (* /usr/include/file.h *) AFINET* = 2; (* /usr/include/sys/socket.h *) PFINET* = AFINET; (* /usr/include/linux/socket.h *) SOCKSTREAM* = 1; (* /usr/include/linux/socket.h *) FIONREAD* = 541BH; (* in /usr/include/asm/termios.h *) SETFL* = 4; (* set file descriptor flags; in asm/fcntl.h *) TCP* = 0; (* flag sets, cf. /usr/include/asm/fcntl.h *) rdonly* = {}; wronly* = {0}; rdwr* = {1}; creat* = {6}; excl* = {7}; trunc* = {9}; append* = {10}; ndelay = {11}; (* error numbers *) EPERM* = 1; (* Not owner *) ENOENT* = 2; (* No such file or directory *) ESRCH* = 3; (* No such process *) EINTR* = 4; (* Interrupted system call *) EIO* = 5; (* I/O error *) ENXIO* = 6; (* No such device or address *) E2BIG* = 7; (* Arg list too long *) ENOEXEC* = 8; (* Exec format error *) EBADF* = 9; (* Bad file number *) ECHILD* = 10; (* No children *) EAGAIN* = 11; (* No more processes *) ENOMEM* = 12; (* Not enough core *) EACCES* = 13; (* Permission denied *) EFAULT* = 14; (* Bad address *) ENOTBLK* = 15; (* Block device required *) EBUSY* = 16; (* Mount device busy *) EEXIST* = 17; (* File exists *) EXDEV* = 18; (* Cross-device link *) ENODEV* = 19; (* No such device *) ENOTDIR* = 20; (* Not a directory*) EISDIR* = 21; (* Is a directory *) EINVAL* = 22; (* Invalid argument *) ENFILE* = 23; (* File table overflow *) EMFILE* = 24; (* Too many open files *) ENOTTY* = 25; (* Not a typewriter *) ETXTBSY* = 26; (* Text file busy *) EFBIG* = 27; (* File too large *) ENOSPC* = 28; (* No space left on device *) ESPIPE* = 29; (* Illegal seek *) EROFS* = 30; (* Read-only file system *) EMLINK* = 31; (* Too many links *) EPIPE* = 32; (* Broken pipe *) EDOM* = 33; (* Argument too large *) ERANGE* = 34; (* Result too large *) EDEADLK* = 35; (* Resource deadlock would occur *) ENAMETOOLONG* = 36; (* File name too long *) ENOLCK* = 37; (* No record locks available *) ENOSYS* = 38; (* Function not implemented *) ENOTEMPTY* = 39; (* Directory not empty *) ELOOP* = 40; (* Too many symbolic links encountered *) EWOULDBLOCK* = EAGAIN; (* Operation would block *) ENOMSG* = 42; (* No message of desired type *) EIDRM* = 43; (* Identifier removed *) ECHRNG* = 44; (* Channel number out of range *) EL2NSYNC* = 45; (* Level 2 not synchronized *) EL3HLT* = 46; (* Level 3 halted *) EL3RST* = 47; (* Level 3 reset *) ELNRNG* = 48; (* Link number out of range *) EUNATCH* = 49; (* Protocol driver not attached *) ENOCSI* = 50; (* No CSI structure available *) EL2HLT* = 51; (* Level 2 halted *) EBADE* = 52; (* Invalid exchange *) EBADR* = 53; (* Invalid request descriptor *) EXFULL* = 54; (* Exchange full *) ENOANO* = 55; (* No anode *) EBADRQC* = 56; (* Invalid request code *) EBADSLT* = 57; (* Invalid slot *) EDEADLOCK* = 58; (* File locking deadlock error *) EBFONT* = 59; (* Bad font file format *) ENOSTR* = 60; (* Device not a stream *) ENODATA* = 61; (* No data available *) ETIME* = 62; (* Timer expired *) ENOSR* = 63; (* Out of streams resources *) ENONET* = 64; (* Machine is not on the network *) ENOPKG* = 65; (* Package not installed *) EREMOTE* = 66; (* Object is remote *) ENOLINK* = 67; (* Link has been severed *) EADV* = 68; (* Advertise error *) ESRMNT* = 69; (* Srmount error *) ECOMM* = 70; (* Communication error on send *) EPROTO* = 71; (* Protocol error *) EMULTIHOP* = 72; (* Multihop attempted *) EDOTDOT* = 73; (* RFS specific error *) EBADMSG* = 74; (* Not a data message *) EOVERFLOW* = 75; (* Value too large for defined data type *) ENOTUNIQ* = 76; (* Name not unique on network *) EBADFD* = 77; (* File descriptor in bad state *) EREMCHG* = 78; (* Remote address changed *) ELIBACC* = 79; (* Can not access a needed shared library *) ELIBBAD* = 80; (* Accessing a corrupted shared library *) ELIBSCN* = 81; (* .lib section in a.out corrupted *) ELIBMAX* = 82; (* Attempting to link in too many shared libraries *) ELIBEXEC* = 83; (* Cannot exec a shared library directly *) EILSEQ* = 84; (* Illegal byte sequence *) ERESTART* = 85; (* Interrupted system call should be restarted *) ESTRPIPE* = 86; (* Streams pipe error *) EUSERS* = 87; (* Too many users *) ENOTSOCK* = 88; (* Socket operation on non-socket *) EDESTADDRREQ* = 89; (* Destination address required *) EMSGSIZE* = 90; (* Message too long *) EPROTOTYPE* = 91; (* Protocol wrong type for socket *) ENOPROTOOPT* = 92; (* Protocol not available *) EPROTONOSUPPORT* = 93; (* Protocol not supported *) ESOCKTNOSUPPORT* = 94; (* Socket type not supported *) EOPNOTSUPP* = 95; (* Operation not supported on transport endpoint *) EPFNOSUPPORT* = 96; (* Protocol family not supported *) EAFNOSUPPORT* = 97; (* Address family not supported by protocol *) EADDRINUSE* = 98; (* Address already in use *) EADDRNOTAVAIL* = 99; (* Cannot assign requested address *) ENETDOWN* = 100; (* Network is down *) ENETUNREACH* = 101; (* Network is unreachable *) ENETRESET* = 102; (* Network dropped connection because of reset *) ECONNABORTED* = 103; (* Software caused connection abort *) ECONNRESET* = 104; (* Connection reset by peer *) ENOBUFS* = 105; (* No buffer space available *) EISCONN* = 106; (* Transport endpoint is already connected *) ENOTCONN* = 107; (* Transport endpoint is not connected *) ESHUTDOWN* = 108; (* Cannot send after transport endpoint shutdown *) ETOOMANYREFS* = 109; (* Too many references: cannot splice *) ETIMEDOUT* = 110; (* Connection timed out *) ECONNREFUSED* = 111; (* Connection refused *) EHOSTDOWN* = 112; (* Host is down *) EHOSTUNREACH* = 113; (* No route to host *) EALREADY* = 114; (* Operation already in progress *) EINPROGRESS* = 115; (* Operation now in progress *) ESTALE* = 116; (* Stale NFS file handle *) EUCLEAN* = 117; (* Structure needs cleaning *) ENOTNAM* = 118; (* Not a XENIX named type file *) ENAVAIL* = 119; (* No XENIX semaphores available *) EISNAM* = 120; (* Is a named type file *) EREMOTEIO* = 121; (* Remote I/O error *) EDQUOT* = 122; (* Quota exceeded *) CONST sigsetarrlength = 1024 / 8 * SIZE(LONGINT); TYPE (* bits/sigset.h _SIGSET_NWORDS (1024 / (8 * sizeof (unsigned long int))) 1024 / 8*8 = 16 1024 / 8*4 = 32 *) sigsett* = RECORD val : ARRAY 16 OF LONGINT (* 32 for 32 bit *) (*val : ARRAY sigsetarrlength OF LONGINT *) END; JmpBuf* = RECORD (* macosx darwin 64bit, cpp /usr/include/setjmp.h typedef int jmp_buf[((9 * 2) + 3 + 16)]; *) (*bx*, si*, di*, bp*, sp*, pc*: LONGINT;*) (* bits/setjmp.h sets up longer array in GNU libc *) (* # if __WORDSIZE == 64 typedef long int __jmp_buf[8]; # else typedef int __jmp_buf[6]; # endif *) (*bx*, si*, di*, bp*, sp*, pc*, ki*, ku*: LONGINT;*) f0, f1, f2, f3, f4, f5, f6, f7, f8, f9, f10, f11, f12, f13, f14, f15, f16, f17, f18, f19, f20, f21, f22, f23, f24, f25, f26, f27, f28, f29, f30, f31, f32, f33, f34, f35, f36: INTEGER; (* setjmp.h /* Calling environment, plus possibly a saved signal mask. */ struct __jmp_buf_tag { /* NOTE: The machine-dependent definitions of `__sigsetjmp' assume that a `jmp_buf' begins with a `__jmp_buf' and that `__mask_was_saved' follows it. Do not move these members or add others before it. */ __jmp_buf __jmpbuf; /* Calling environment. */ int __mask_was_saved; /* Saved the signal mask? */ __sigset_t __saved_mask; /* Saved signal mask. */ }; *) (*maskWasSaved*, savedMask*: LONGINT;*) (*maskWasSaved*: INTEGER; *) (* # define _SIGSET_NWORDS (1024 / (8 * sizeof (unsigned long int))) typedef struct { unsigned long int __val[_SIGSET_NWORDS]; } __sigset_t; *) (*savedMask*: sigsett;*) END ; Status* = RECORD (* struct stat *) dev* : INTEGER; (* dev_t 4 *) mode*: SHORTINT; mode1*: SHORTINT; (* mode_t 2 *) nlink* : SHORTINT; nlink1*: SHORTINT; (* nlink_t 2 *) ino* : LONGINT (* __darwin_ino64_t 8 *) uid*, gid*: INTEGER; (* uid_t, gid_t 4 *) rdev*: INTEGER; (* dev_t 4 *) atime* : LONGINT; atimences* : LONGINT; (* struct timespec 16 *) mtime* : LONGINT; mtimences* : LONGINT; (* struct timespec 16 *) ctime* : LONGINT; ctimences* : LONGINT; (* struct timespec 16 *) birthtime* : LONGINT; birthtimences* : LONGINT; (* struct timespec 16 *) size*: LONGINT; (* off_t 8 *) blocks* : LONGINT; blksize* : INTEGER; flags* : INTEGER; gen* : INTEGER; lspare* : INTEGER; qspare*, qspare1*: LONGINT; END ; (* from /usr/include/bits/time.h struct timeval { __time_t tv_sec; /* Seconds. */ //__time_t 8 __suseconds_t tv_usec; /* Microseconds. */ __suseconds_t 8 }; *) Timeval* = RECORD sec*, usec*: LONGINT END ; (* from man gettimeofday struct timezone { int tz_minuteswest; /* minutes west of Greenwich */ int 4 int tz_dsttime; /* type of DST correction */ int 4 }; *) Timezone* = RECORD (*minuteswest*, dsttime*: LONGINT*) minuteswest*, dsttime*: INTEGER END ; Itimerval* = RECORD interval*, value*: Timeval END ; FdSet* = ARRAY 8 OF SET; SigCtxPtr* = POINTER TO SigContext; SigContext* = RECORD END ; SignalHandler* = PROCEDURE (sig, code: LONGINT; scp: SigCtxPtr); Dirent* = RECORD ino, off: LONGINT; reclen: INTEGER; name: ARRAY 256 OF CHAR; END ; Rusage* = RECORD utime*, stime*: Timeval; maxrss*, ixrss*, idrss*, isrss*, minflt*, majflt*, nswap*, inblock*, oublock*, msgsnd*, msgrcv*, nsignals*, nvcsw*, nivcsw*: LONGINT END ; Iovec* = RECORD base*, len*: LONGINT END ; SocketPair* = ARRAY 2 OF LONGINT; Pollfd* = RECORD fd*: LONGINT; events*, revents*: INTEGER END ; Sockaddr* = RECORD family*: INTEGER; port*: INTEGER; internetAddr*: LONGINT; pad*: ARRAY 8 OF CHAR; END ; HostEntry* = POINTER [1] TO Hostent; Hostent* = RECORD name*, aliases*: LONGINT; addrtype*, length*: LONGINT; addrlist*: LONGINT; (*POINTER TO POINTER TO LONGINT, network byte order*) END; Name* = ARRAY OF CHAR; PROCEDURE -includeStat() "#include "; PROCEDURE -includeErrno() "#include "; PROCEDURE -err(): LONGINT "errno"; PROCEDURE errno*(): LONGINT; BEGIN RETURN err() END errno; PROCEDURE -Exit*(n: LONGINT) "exit(n)"; PROCEDURE -Fork*(): LONGINT "fork()"; PROCEDURE -Wait*(VAR status: LONGINT): LONGINT "wait(status)"; PROCEDURE -Select*(width: LONGINT; VAR readfds, writefds, exceptfds: FdSet; VAR timeout: Timeval): LONGINT "select(width, readfds, writefds, exceptfds, timeout)"; PROCEDURE -Gettimeofday* (VAR tv: Timeval; VAR tz: Timezone) : LONGINT "gettimeofday(tv, tz)"; PROCEDURE -Read* (fd, buf, nbyte: LONGINT): LONGINT "read(fd, buf, nbyte)"; PROCEDURE -ReadBlk* (fd: LONGINT; VAR buf: ARRAY OF SYSTEM.BYTE): LONGINT "read(fd, buf, buf__len)"; PROCEDURE -Write* (fd, buf, nbyte: LONGINT): LONGINT "write(fd, buf, nbyte)"; PROCEDURE -WriteBlk* (fd: LONGINT; VAR buf: ARRAY OF SYSTEM.BYTE): LONGINT "write(fd, buf, buf__len)"; PROCEDURE -Dup*(fd: LONGINT): LONGINT "dup(fd)"; PROCEDURE -Dup2*(fd1, fd2: LONGINT): LONGINT "dup(fd1, fd2)"; PROCEDURE -Pipe*(fds : LONGINT): LONGINT "pipe(fds)"; PROCEDURE -Getpid*(): LONGINT "getpid()"; PROCEDURE -Getuid*(): LONGINT "getuid()"; PROCEDURE -Geteuid*(): LONGINT "geteuid()"; PROCEDURE -Getgid*(): LONGINT "getgid()"; PROCEDURE -Getegid*(): LONGINT "getegid()"; PROCEDURE -Unlink*(name: Name): LONGINT "unlink(name)"; PROCEDURE -Open*(name: Name; flag, mode: SET): LONGINT "open(name, flag, mode)"; PROCEDURE -Close*(fd: LONGINT): LONGINT "close(fd)"; PROCEDURE -stat(name: Name; VAR statbuf: Status): LONGINT "stat((const char*)name, (struct stat*)statbuf)"; PROCEDURE Stat*(name: Name; VAR statbuf: Status): LONGINT; VAR res: LONGINT; BEGIN res := stat(name, statbuf); (* make the first 4 bytes as unique as possible (used in module Files for caching!) *) (* don't understand this INC(statbuf.dev, statbuf.devX); INC(statbuf.rdev, statbuf.rdevX); *) RETURN res; END Stat; PROCEDURE -fstat(fd: LONGINT; VAR statbuf: Status): LONGINT "fstat(fd, (struct stat*)statbuf)"; PROCEDURE Fstat*(fd: LONGINT; VAR statbuf: Status): LONGINT; VAR res: LONGINT; BEGIN res := fstat(fd, statbuf); (* make the first 4 bytes as unique as possible (used in module Files for caching!) *) (*INC(statbuf.dev, statbuf.devX); INC(statbuf.rdev, statbuf.rdevX); *) RETURN res; END Fstat; PROCEDURE -Fchmod*(fd, mode: LONGINT): LONGINT "fchmod(fd, mode)"; PROCEDURE -Chmod*(path: Name; mode: LONGINT): LONGINT "chmod(path, mode)"; PROCEDURE -Lseek*(fd, offset, origin: LONGINT): LONGINT "lseek(fd, offset, origin)"; PROCEDURE -Fsync*(fd: LONGINT): LONGINT "fsync(fd)"; PROCEDURE -Fcntl*(fd, cmd, arg: LONGINT ): LONGINT "fcntl(fd, cmd, arg)"; PROCEDURE -Flock*(fd, operation: LONGINT): LONGINT "flock(fd, operation)"; PROCEDURE -Ftruncate*(fd, length: LONGINT): LONGINT "ftruncate(fd, length)"; PROCEDURE -Readblk*(fd: LONGINT; VAR buf: ARRAY OF SYSTEM.BYTE; len: LONGINT): LONGINT "read(fd, buf, len)"; PROCEDURE -Rename*(old, new: Name): LONGINT "rename(old, new)"; PROCEDURE -Chdir*(path: Name): LONGINT "chdir(path)"; PROCEDURE -Ioctl*(fd, request, arg: LONGINT): LONGINT "ioctl(fd, request, arg)"; PROCEDURE -Kill*(pid, sig: LONGINT): LONGINT "kill(pid, sig)"; PROCEDURE -Sigsetmask*(mask: LONGINT): LONGINT "sigsetmask(mask)"; (* TCP/IP networking *) PROCEDURE -Gethostbyname*(name: Name): HostEntry "(Unix_HostEntry)gethostbyname(name)"; PROCEDURE -Gethostname*(VAR name: Name): LONGINT "gethostname(name, name__len)"; PROCEDURE -Socket*(af, type, protocol: LONGINT): LONGINT "socket(af, type, protocol)"; PROCEDURE -Connect*(socket: LONGINT; name: Sockaddr; namelen: LONGINT): LONGINT "connect(socket, &(name), namelen)"; PROCEDURE -Getsockname*(socket: LONGINT; VAR name: Sockaddr; VAR namelen: LONGINT): LONGINT "getsockname(socket, name, namelen)"; PROCEDURE -Bind*(socket: LONGINT; name: Sockaddr; namelen: LONGINT): LONGINT "bind(socket, &(name), namelen)"; PROCEDURE -Listen*(socket, backlog: LONGINT): LONGINT "listen(socket, backlog)"; PROCEDURE -Accept*(socket: LONGINT; VAR addr: Sockaddr; VAR addrlen: LONGINT): LONGINT "accept(socket, addr, addrlen)"; PROCEDURE -Recv*(socket, bufadr, buflen, flags: LONGINT): LONGINT "recv(socket, bufadr, buflen, flags)"; PROCEDURE -Send*(socket, bufadr, buflen, flags: LONGINT): LONGINT "send(socket, bufadr, buflen, flags)"; PROCEDURE -sys(str: ARRAY OF CHAR): INTEGER (* need this to call external tools like gcc or gas; noch *) "system(str)"; PROCEDURE system*(cmd : ARRAY OF CHAR); VAR r : INTEGER; BEGIN r := sys(cmd); END system; PROCEDURE System*(cmd : ARRAY OF CHAR): INTEGER; VAR r : INTEGER; BEGIN r := sys(cmd); RETURN r END System; END Unix.