Execution Support Environment
SYSTEM SOFTWARE AND SOFTWARE SYSTEMS: Concepts and Methodology is intended to offer a systematic treatment of the theory and practice of designing and implementing system software.The two volumes systematically develop and apply the systems methodology for software development. For that the concept of a system is analysed and various types of systems used in computer science are systematized into a concept of an ad hoc system that is suitable as a mechanism for software development. The kernel of this methodology consists of a systematic approach for ad hoc systems development (specification, implementation, validation). The hardware and the software of a computer system are specified as ad hoc systems. Examples from various architectures, languages, and operating systems are provided as illustrations. Problems and their suggested solutions are provided at the end of each chapter. Further readings and a list of references conclude each chapter.These volumes are self-contained and may be used as textbooks for an introductory course on system software and for a course on operating system. However, a broad spectrum of professionals in computer science will benefit from it.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Process management and parallel programming
Parallel process interaction
Process interaction by message passing
Language support for parallel programming
Memory management system micro level
abstract address space algorithm allocated allow associative memory behavior buddy buffer bytes communication link communication monitor compiler components Concurrent Pascal created critical section data structure declaration defined denoted device descriptor device driver discussed disk Doio Efile entry fault interrupt Figure file descriptor file type fork frame free blocks free list function hardware I/O device I/O operations Ifile type implementation initialized integer language constructs loosely connected processes mailbox main memory mechanism message system object operating system page table parallel process parallel program parameter parbegin parend performed pointer precedence graph primitive operations printf Problem procedure process executing process interaction process management process Pi processor program development program execution programming language queue registers remote procedure call request secondary memory segment semaphore Send shared Show signal solution specified stack StarOS struct synchronization system call tasking environment terminate tuple Unix system variable virtual memory wait wait(s waitQ
Page 413 - RC Daley and JB Dennis, Virtual memory, processes, and sharing in MULTICS.
Page 412 - ... Parameters in a Persistent Environment". In Workshop on Persistent Object Systems: their design, implementation and use, volume PPRR 16, pages 1-24, Appin, Scotland, Aug. 1985. Universities of Glasgow and St. Andrews, Scotland. 3. Buhr, PA and Zarnke, CR "A Design for Integration of Files into a Strongly Typed Programming Language".