[Top] [Prev] [Next]

Limbo System Module


The Limbo system modules are as follows:
bind, mount, unmount - change file name space

byte2char, char2byte - convert between bytes and characters

chdir - change working directory

dial, announce, export, listen - make network connections

dirread - read directory

dup - duplicate an open file descriptor

file2chan - create file connected to Limbo channel

millisec - millisecond timer

open, create - open/create a file for reading or writing

pctl - process control

print, fprint, sprint - print formatted output

read, write, stream - read, write, or stream file

remove - remove a file

seek - change file offset

sleep - delay execution

stat, fstat, fwstat, wstat - get and put file status

tokenize - split string into words

utfbytes - compute the Unicode length of a UTF byte sequence

Synopsis

include "sys.m";
sys:= load Sys Sys->PATH;

Description

Inferno system calls are provided by the system module interface file, sys.m. The system module provides access to system calls for basic string and file manipulation, primitive printing functions and network functions.

File Name Space

Files are collected into a hierarchical organization called a file tree starting in a directory called the root. Filenames, also called pathnames, consist of a number of path elements separated by slashes (/) the slashes which correspond to directories. A path element must contain only printable characters (those outside ASCII and Latin-1 control space). A path element cannot contain a space, slash, or #. The path element '..' refers to the parent directory of the directory containing that element.

When a process presents a file name to Inferno, it is evaluated by the following algorithm:

  1. Start with a directory that depends on the first character of the path: / means the root of the main hierarchy

    # means the separate root of a kernel device's file tree (see Section 3)

    anything else means the current working directory of the process.

  2. For each path element, look up the element in the directory, advance to that directory, do a possible translation.
  3. Repeat. The last step may yield a directory or regular file. The collection of files that can be reached from the root is called the name space of a process.

    A program can use bind or mount so that whenever a specified file is reached during an evaluation, that evaluation continues instead from some other specified file. These calls create union directories, which are concatenations of ordinary directories that are searched sequentially until the desired element is found.

    Using bind and mount to do name space adjustment affects only the current name space group.

File Manipulation Functions

File Descriptor (FD)

The Limbo programming language and its libraries manage I/O via references to instances of an abstract data type, FD, called a file descriptor. This type holds an integer-valued file descriptor, the form used by the operating system, in a structure that can be reference counted and garbage collected. There are occasions when a program must access the underlying integer file descriptor, such as arranging I/O re-direction for the standard input and output for a new process.

Files are opened for input, output or input/output by open or create. These calls return reference to an abstract data type (adt) of type FD (file descriptor) that identifies the file to subsequent I/O calls, such as read and write.

Files are normally read or written in sequential order. The I/O position in the file is called the file offset and may be set arbitrarily using the seek system call.

File descriptors are garbage-collected as soon as they are no longer referenced. There is no close function.

Integer File Descriptor

The FD abstract data type includes a number that is an integer file descriptor. Values for this number range from 0 to n, where the upper bound depends on the underlying operating system. The system allocates the numbers by selecting the lowest unused value. They may be reassigned with dup and used to initialize FD adts using fides. Integer file descriptor values are indices into a kernel-resident file descriptor table.

By convention, the first three integer values are used by application programs as follows:
0

standard input,

1

standard output,

2

standard error output.

Since this is only a convention, it is possible to close file descriptor 0, or even to replace it by a file open only for writing. However, programs must agree upon convention.

File Descriptor Group

By default, a Limbo process shares its file descriptor table with the creator process.

The set of processes that shares that table is called a file descriptor group. Files opened by one process in the group may be read from and written to other processes in the group. (See pctl - process control).

Directories and files

Directories may be opened and read much like regular files (see dirread - read directory). They contain an integral number of records, called directory entries. Each entry is a machine-independent representation of the information about an existing file in the directory including the name, ownership, permission, access dates, and similar information.

The entry corresponding to an arbitrary file can be retrieved by stat or fstat; wstat and fwstat write back entries, thus changing the properties of a file.

New files are made with create and deleted with remove (see open, create - open/create a file for reading or writing and remove - remove a file). As with regular files, attributes of directories can be manipulated by wstat, and fwstat. Directories may not be written directly.

Concurrent File Operations

If several processes access a file concurrently, Inferno does not guarantee consistency.

Guaranteed synchronous writes are not available.

File locking from underlying file systems is not supported by Inferno. Processes can coordinate their file operations by other mechanisms.

Atomicity of I/O is guaranteed for I/O with byte counts smaller than the Styx message size; see read, write - transfer data from and to a file in Chapter 3.

Process execution and control

A Limbo process, called a thread, is the basic unit of computation for Limbo application programming in the Inferno system.

A newly spawned thread shares the same program name space as that of its creator thread. The set of global variables that is in scope to one thread is in scope to the other. Also, change made by one can be detected by the other. Since they are scheduled independently, a creator and a spawned thread should synchronize their actions to share data meaningfully.

Processes are also organized into process groups that represent the set of threads that a single kill request terminates (see prog - interface to running programs in Chapter 2).

A newly spawned thread inherits the following attributes:

User/Group Identity

Inferno maintains user identifier (uid) and group identifier (gid) strings for each process. These values are also attributes of files and directories. A comparison of process and file identities take place when a process attempts to open or create a file. (See stat, fstat, fwstat, wstat - get and put file status and stat, wstat - inquire or change file attributes in Chapter 3.)

When a pathname crosses from one server to another, the process identities are mapped by each server receiving a file request.

The uid and gid strings are assigned to the thread that is created when a user logs into Inferno and cannot be changed.



[Top] [Prev] [Next]

infernosupport@lucent.com
Copyright © 1996,Lucent Technologies, Inc. All rights reserved.