NDLI: Design and development of MINIX distributed operating system

Please wait, while we are loading the content...

Expansions in the algebra of FP

A differentiation primitive for extended λ-calculus

Denotational data flow analysis for parallel implementation of imperative programs

Implementing first order logic in Modula-2 using an intuitionistic approach

Toward a theory of correct set algorithms

Future software development management system prototype

Industrializing software production

Literary criticism and programming pedagogy

Towards empirical studies of programming in new paradigms

Horizontal partitioning

Pixel preference

Implementation of cross intersection between triangular surfaces

Partitioning rectilinear figures into rectangles

An architecture for textual information retrieval

Computer organization/architecture: a threaded top-down design

Fast prototyping of a goal-oriented simulation environment sytem

A CAD system for the capture of combat casualty care information

A private military network using a power transmission line

Software design for electronic banking: managing the user-computer interface

Self-organizing scheme for file storage

Data modeling: order out of chaos

Incomplete information and the relational model of data

Semantics of update operations for an extended entity-relationship model

Computer technology in special education and rehabilitation

Is there a unified package for business applications?

$U^{2}RS:$ an upgradable universal relation system

Building expert sytems for statistical process control in steel remelt industry

MTEEP: mechanical transmission element expert system

Acceptance testing of expert systems: issues of verification and validation

Some techniques for minimizing and optimizing the rule base of an expert system

Constructing an expert system—software engineering of a different kind

A unified theory of software metrics

On generation of state space for timed Petri nets

Parsing a graph-grammar

Best first search in and/or graphs

A statistical model for the search problem

Functional path analysis: an approach to software verification

The execution history approach to intelligent debugging

Software testing in the commercial environment

The design of a PDL environment

Automating the software development process

A simplified LAN protocol for practicing file transfer, resource locating, and elementary distributed problem solving

A simple dynamic load balancing algorithm for homogeneous distributed systems

Path analysis of distributed programs

Software experience with concurrent C and LISP in a distributed system

Locality in distributed computations

Comparison of several techniques for generating systolic arrays

Some new systolic designs for two-dimensional convolution

Translating systolic arrays into instruction systolic arrays

A new parallel multiplication algorithm and its VLSI implementation

Parallel VLSI computation of all shortest paths in a graph

Systolic VLSI array for fuzzy logic in expart sytems

Ethics and computer security: cause and effect

A very long period (VLP) pseudorandom number generator for the microcomputer environment

Graphic animation and speech synthesis applications for the auditory and visually disabled

MAGNEX: a text editor for the visually impaired

A user interface for simulating calligraphic pens and brushes

Concurrent reading and writing with replicated data objects

An adaptable and distributed load adjustment algorithm

A model for an adaptive scheduler

Resource scheduling: specification and proof techniques

New directions in office automation research: SIGOA panel

How to relieve a programmer from synchronization details

A flexible interactive control structure for rule-based systems

A multiple cooperating intelligent agents project progress repost

Fault tolerance in deductive knowledge bases

A testbed for sensory PDP models

Two-level grammar: data flow English for functional and logic programming

Conjunctional type assignment in programming languages

g is for grammars: an extension of Lisp

Three dimensional tree grammars for the modeling of plants

Extending Earley's context-free parsing algorithm for string pattern matching

On the control dependence in the program dependence graph

Graphical extensions for pseudo-code, PDLs, and source code

Object-oriented design: is it enough for large Ada systems?

Tools for the storage and retrieval of reusable MIS software in Ada

Functionality in the reusability of software

An analysis of advanced C.S. students' experience with software maintenance

An inherently parlle large grained data flow environment

Constructs and evaluations strategies for intelligent speculative parallelism—armageddon revisited

Dynamic detection of parallelism in Pascal-like program

Vectorization and parallelization interactive assistant

A layered networking protocol designed to minimize complexity

A data flow approach to the evaluation of FP programs

Partial evaluation of logic programs

An implementation of the Vernian Cipher for file security

The interactions between operating system paging algorithms and database buffering algorithms

Design considerations for the transformation of MINIX into a distributed operating system

A threshold mechanism for distributed query processing

Concurrency control by transactions carrying states and preordering universioned entities

Modification operations in data base machines: where are they?

A universal hierarchical language interface for IMS (abstract)

SOLID: A high-speed data- and question-independent information management system

Approximate classification using conceptual clustering

Theoretical clustering and a scheme of its implementation

ESPAD: an adaptively controlled rule-based expert system for monitoring and diagnosing space vehicle subsystems

Seeding expert system technology: a practical approach

Programmed grammars with multi-production core and their applications (abstract)

Data structures: pointers vs. arrays. when, where and why

New syntax for if- and case statements

Macintosh assembly language

On designing a language for exclusive use in a syntax directed programming environment

GRASP: an executable specification language for Ada tasking

RT Prolog: a real time Prolog written in Ada

Design and development of MINIX distributed operating system

Implementation of a resource manager for distributed MINIX

The environment for learning to program

A factor analytic study of structured flowchart preference

Determination of order of an algorithm

Picture recognition using arc length and turning angle transformation

CUBE architecture for 3-D computer graphics

Automatic layout for graphical representation of programs

Graphics and animation in expert systems for language tutoring

Survey of empirical studies of graphical representations for algorithms

An object-oriented, knowledge-based approach to simulation

The design of a programmer's interface for an interactive microcomputer animation tool

Intelligent document information retrieval system for determinants of medication research literature collection

Information technology and transaction processing jobs: a cognitive approach

Design of an on-line decision support system for process control

IEEE-488 1978 general purpose interface bus test

The structured flowchart niche: strenth of preference

A research tool for software design and documentation

Entity relationship modeling in object-oriented software development

Ada software development using generics

Generating environments for programming-in-the-large

Software sizing problems in software engineering metrics

Design of a test plan and its test cases for a translator

Developing expert system to evaluate leave/funding request for faculty professional enhancement at Central Missouri State University

Cognition as a source of selection pressure in the evolution of computer support systems for executives

An expert system approach to LAN design

PLAXPERT—an expert system for incorporating design for testability in programmable logic arrays

A proposal for adding reality to expert systems

KC expert—the development of an ICAI system for chemistry

The design of an intelligent interface for a laser optical system

Intelligent logical design of relational databases

Neighborhood systems and relational databases

PROREL: a Prolog-based system for relational algebra and data base

Generating a requirements specifications knowledge-base

Computer/radar joint scheduling using a parallel computer

Tasking troubles and tips (abstract)

A parallel algorithm for multi-dimensional fuzzy reasoning—toward a parallel fuzzy production system

Problem dynamics and working set principle as applied to concurrent processing

A parallel best-first search

Detecting intersection of two convex polygons in parallel

The mental abilities associated with programming aptitude

Human autobiographic memory simulation

One freshman studies program which improved student retention in the first year computer science sequence for majors

Ada projects for undergraduates

A Chinese natural language query system giving information about computer science

Correspondent computing

Prospectives on computer science: twenty-five years of observations

Design and development of MINIX distributed operating system

Content Provider	ACM Digital Library
Author	Ramesh, K. S.
Abstract	Students and faculty of University of Mississippi are in the process of transforming MINIX into a truly distributed operating system.MINIX is a complete operating system and has all the components such as 1) Process manager, 2) Memory manager, 3) File manager, 4) Device drivers, 5) Inter process communication, 6) Real time clock, 7) General i/o, 8) Utilities, 9) State saver and 10) Timing service. Unlike major operating systems which are monolithic in structure, MINIX is itself a collection of processes that communicate with each other through message passing.The design of the MINIX distributed system involves the addition of a server process called NET to the existing operating system. The functionality of the NET server can be broadly classified into four major routines. They are: 1) the communication manager which transmits and receives the frames from the remote hosts through the HSLAN driver installed in kernel. It also performs the error detection and correction function and maintains the transmission protocol. 2) The interprocess communication manager which maps message buffer into the fixed size frames to be transmitted by the communication manager. It also has primitives such as request, reply, flow controlled send to initiate and maintain a virtual circuit with the remote system. 3) The resource manager which is employed as a child process of the NET server process holds the status of the network. It maintains information such as remote logical address, number of process running in each system, resources available at each site etc. 4) Finally, the network service manager which services the remote file request from the local process and also the local file request from the remote host. Addition of these components in the NET process would enhance the capabilities of the operating system and provide users access to remote file systems and remote resources and also enable users to exploit multiprocessor capabilities with the help of well defined algorithms and tools.To accomplish the transformation of MINIX the following changes have been made to incorporate the NET process.Modify a system tool called Build which patches the independent files bootblok, kernel, memory manager, file manager and init into the memory resident portion of MINIX. Build was modified so that one more component NET could be added to the MINIX image. These were non-trivial changes because in addition to combining the object module Build also puts the CS & DS for all these components at the beginning of kernel data space, so that kernel can load their memory maps in the proc table during system initialization.Increase the storage size in the kernel data space where the CS & DS of all the components are stored so that Build can install the CS & DS of NET.Assign and make an entry into the memory manager proc table so that NET could make system calls to the memory manager.Assign an entry into the file system proc table and assign the working directory, real uid, effective uid for the NET process.The NET process like other processes is designed such that it will continuously wait for and respond to messages from other processes. Initially, it will be blocked waiting to receive a message from any process.Modify the dump routine to display the status of the NET process.Finally, the NET process is designed to continuously wait for its service request messages from other processes. The NET process is structured in such a way that the type of request is resolved and switched into a table of service routines. On accomplishing the service request the process loops back to receive the next request, thus providing the foundation for the development of the internal NET routines discussed above.
File Format	PDF
ISBN	0897912608
DOI	10.1145/322609.323152
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1988-02-01
Publisher Place	New York
Access Restriction	Subscribed
Content Type	Text
Resource Type	Article

Central Library (ISO-9001:2015 Certified)
Indian Institute of Technology Kharagpur
Kharagpur, West Bengal, India | PIN - 721302

See location in the Map
03222 282435
Mail: support@ndl.gov.in

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in