ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Synchronization in a parallel-accessed data base
Communications of the ACM
Database sharing: A study of interference, roadblock and deadlock
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Testing Deadlock-Freedom of Computer Systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Deadlock removal using partial rollback in database systems
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Distributed database concurrency controls using before-values
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
A reliable distributed control algorithm for updating replicated databases
SIGCOMM '79 Proceedings of the sixth symposium on Data communications
A Distributed Control Algorithm for Reliably and Consistently Updating Replicated Databases
IEEE Transactions on Computers
Performance of file directory systems for data bases in star and distributed networks
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
Some potential deadlocks in layered communications architectures
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
A distributed information system study
IBM Systems Journal
| Hi-index | 0.00 |
Deadlock prevention mechanisms and a deadlock protection mechanism for distributed data base systems are presented. The notion of process sets used in preventing deadlock is introduced. Examples are given to illustrate these methods for avoiding file deadlock in computer networks.