Informal Introduction

This module contains some global definitions referenced in different Unix system modules.

(0) CHARACTERISTICS

-type specified: global

-features: deterministic, non-parameterized

-foreign types:

(1) SYNTAX

(2) CANONICAL TRACES

canonical(T) T = _

AUXILIARY FUNCTIONS

C_block_size: <int>

C_block_size() = 1024

C_no_of_blocks: <int>

C_no_of_blocks() = 1000000

G_buffer_size: <int>

G_buffer_size() = 1024

G_sequence_size: <int>

G_sequence_size() = C_block_size() * C_no_of_blocks()

G_directory_size: <int>

G_directory_size() = 1024

G_inodetable_size: <int>

G_inodetable_size() = 1000

G_file_table_size: <int>

G_file_table_size() = 1000

G_fdtable_size: <int>

G_fdtable_size() = 256

G_proctable_size: <int>

G_proctable_size() = 1000

EOF: <int>

EOF() = -1

C_t_empty: <int>

C_t_empty() = -1

C_t_seq: <int>

C_t_seq() = 0

C_t_dir: <int>

C_t_dir() = 1

(3) SEMANTICS