Journal ArticleDOI
Some Deadlock Properties of Computer Systems
Reads0
Chats0
TLDR
A rumple graph model of computer systems is developed, and its deadlock propertms are investigated, which unifies a number of previous results, leads to efficient deadlock detection and prevenUon algorithms, and is useful for teaching purposes.Abstract:
Several examples of deadlock occurring in present day computer systems are given Next, there is a discussion of the strategms which can be ~sed to deal with the deadlock problem A theory of computer systems is developed so that the terms "process" and "deadlock" can be defined. "Reusable resources" are introduced to model objects that are shared among processes, and "consumable resources" are introduced to model signals or messages passed among processes. Then a rumple graph model of computer systems m developed, and its deadlock propertms are investigated This graph model unifies a number of previous results, leads to efficient deadlock detection and prevenUon algorithms, and ~s useful for teaching purposes.read more
Citations
More filters
Journal ArticleDOI
Concurrency Control in Distributed Database Systems
TL;DR: A survey of concurrency control methods for distributed database concurrency can be found in this paper, where the authors decompose the problem into two major subproblems, read-write and write-write synchronization, and describe a series of synchromzation techniques for solving each subproblem.
Book
Computer Architecture, Fifth Edition: A Quantitative Approach
TL;DR: The Fifth Edition of Computer Architecture focuses on this dramatic shift in the ways in which software and technology in the "cloud" are accessed by cell phones, tablets, laptops, and other mobile computing devices.
Journal ArticleDOI
Measurement and correction of systematic odometry errors in mobile robots
Johann Borenstein,Liqiang Feng +1 more
TL;DR: Experimental results are presented that show a consistent improvement of at least one order of magnitude in odometric accuracy (with respect to systematic errors) for a mobile robot calibrated with the method described.
Journal ArticleDOI
Multiversion concurrency control—theory and algorithms
TL;DR: This paper presents a theory for analyzing the correctness of concurrency control algorithms for multiversion database systems and uses the theory to analyze some new algorithms and some previously published ones.
Proceedings ArticleDOI
Encapsulation of parallelism in the Volcano query processing system
TL;DR: The reasons for not choosing the bracket model, the novel operator model, and details of Volcano's exchange operator that parallelizes all other operators are described, which makes implementation of parallel database algorithms significantly easier and more robust.
References
More filters
Book ChapterDOI
Cooperating sequential processes
TL;DR: This chapter is intended for all those who expect that in their future activities they will become seriously involved in the problems that arise in either the design or the more advanced applications of digital information processing equipment.
Journal ArticleDOI
The structure of the “THE”-multiprogramming system
TL;DR: A multiprogramming system is described in which all activities are divided over a number of sequential processes, in each of which one or more independent abstractions have been implemented.
Journal ArticleDOI
Parallel program schemata
TL;DR: This paper introduces a model called the parallel program schema for the representation and study of programs containing parallel sequencing, related to Ianov's program schema, but extends it, both by modelling memory structure in more detail and by admitting parallel computation.
Journal ArticleDOI
System Deadlocks
TL;DR: This article surveys the work that has been done on the treatment of deadlocks from both the theoretical and practical points of view.