Harmonious Cooperation of Processes Operating on a Common Set of Data. Part 1

Abstract

A mathematical model of a computer system for multi-user data base management is presented. Rules of cooperation, a scheduling strategy, and a safety algorithm are shown to provide harmonious cooperation among processes while preventing conflict, deadlock, and permanent blocking. Throughout the development, the discussion is related to a set of COBOL programs operating on a collection of COBOL files.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Dec 01, 1972
Accession Number
AD0757902

Entities

People

  • L. J. Lapadula

Organizations

  • MITRE Corporation

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Application Software
  • Classification
  • Computer Programming
  • Computer Programs
  • Computers
  • Contracts
  • Corporations
  • Databases
  • Government Procurement
  • Governments
  • Language
  • Mathematical Models
  • Notation
  • Petri Nets
  • Security

Readers

  • Computer Science.
  • Parallel and Distributed Computing.
  • Software Engineering.