Directed acyclic graphs of locks:
The notions up to now introduce can be generalized to work for directed acyclic graphs (DAGs) of resources rather than simply hierarchies of resources. A tree is a easy DAG. The key observation is that too implicitly or explicitly locks a node one must lock all the parents of the node in the DAG as well as so by induction lock all ancestors of the node. Particularly to lock a sub graph one should implicitly or explicitly lock all ancestors of the sub graph in the appropriate mode (for a tree there is only one parent). To give an illustration of a non-hierarchical structure imagine the locks are organized as:
Figure: a non-hierarchical lock graph.
We postulate that areas are ‘physical’ notions as well as that file, indices and records are logical notions. The database is a collection of areas and every area is a collection of files as well as indices. Every file has some corresponding indices in the same area. Every record belongs to some file and to its corresponding indices. A record is including of field values and some field is indexed by the index associated with the file containing the record. The file provides a sequential access path to the records and the index gives an associative access path to the records based on field values. Because individual fields are never locked they do not appear in the lock graph.
To write the record A in file P with index I:
lock data base with mode =IXlock area containing F with mode =IXlock file F with mode =IXlock index I with mode =IXlock record R with mode = X
Note that every path to record R is locked. On the other hand one could lock F and I in exclusive mode thereby implicitly locking R in exclusive mode.
To give a more absolute explanation we observe that a node can be locked explicitly (by requesting it) or implicitly (by appropriate explicit locks on the ancestors of the node) in one of five modes: IS, IX. S, SIX, X. Nevertheless the definition of implicit locks and the protocols for setting explicit locks have to be extended for DAG's as follows:
A node is absolutely granted in S mode to a transaction if at least one of its parents is (implicitly or explicitly) granted to the transaction in S, SIX or X mode. By induction that signifies that at least one of the node's ancestors should be explicitly granted in S, SIX, or X mode to the transaction. A node is absolutely granted in X mode if all of its parents are (implicitly or explicitly) granted to the transaction in X mode. By induction this is equal to the condition that all nodes in some cut set of the collection of all paths leading from the node to the roots of the graph are explicitly granted to the transaction in X mode as well as all ancestors of nodes in the cut set are explicitly granted in IX or SIX mode.
By examination of the biased order of modes (see figure above) a node is implicitly granted in IS mode if it is implicitly granted in S mode as well as a node is implicitly granted in IS, IX, S and SIX mode if it is implicitly granted in X mode.
Latest technology based Operating System Online Tutoring Assistance
Tutors, at the www.tutorsglobe.com, take pledge to provide full satisfaction and assurance in Operating System help via online tutoring. Students are getting 100% satisfaction by online tutors across the globe. Here you can get homework help for Operating System, project ideas and tutorials. We provide email based Operating System help. You can join us to ask queries 24x7 with live, experienced and qualified online tutors specialized in Operating System. Through Online Tutoring, you would be able to complete your homework or assignments at your home. Tutors at the TutorsGlobe are committed to provide the best quality online tutoring assistance for Operating System Homework help and assignment help services. They use their experience, as they have solved thousands of the Operating System assignments, which may help you to solve your complex issues of Operating System. TutorsGlobe assure for the best quality compliance to your homework. Compromise with quality is not in our dictionary. If we feel that we are not able to provide the homework help as per the deadline or given instruction by the student, we refund the money of the student without any delay.
Application of the Iso-quinoline Ring System tutorial all along with the key concepts of Papaverine, Synthesis of Papaverine, Morphine, Isoquinolines and Parkinson's disease
tutorsglobe.com trypanosoma brucei rhodesiense assignment help-homework help by online trypanosomes tutors
tutorsglobe.com karyotyping of human chromosomes assignment help-homework help by online modern genetics tutors
The wish to communicate directly through voice, on a higher rate of speed than possible by general telegraphy, led to additional research. That research led to the progress of MODULATION.
online clep exam preparation course and online clep tutoring package offered by tutorsglobe are the most comprehensive and customized collection of study resources on the web, offering best collection of clep practice papers, quizzes, clep test papers, and guidance.
Acid-Base Titration tutorial all along with the key concepts of Classification of Solvents, Monitoring pH changes, Titration of Strong Acid against Strong Bases, Titration of weak Acids against Strong Bases, Detecting the End Point with Indicator
Flip-Flops tutorial all along with the key concepts of RS Flip-flop, Setting Flip-flop, Resetting or Clearing Flip-flop, Clocked RS Flip-flop, Clocked D Flip-flop, D Latch, Clocked JK Flip-flop
Resistivity Depth Sounding tutorial all along with the key concepts of Choice of array, Using the Schlumberger array, Offset Wenner depth sounding, Presentation of sounding data, Pseudo-sections and depth sections
Energy Metabolism tutorial all along with the key concepts of Enzymes and Energy, Regulating Metabolism, Do Enzymes Regulate Metabolic, Energy Transformations in Plants Photosynthesis and Flow of Energy
tutorsglobe.com mechanisms of contact dermatitis assignment help-homework help by online hypersensitivity- delayed type hypersensitivity tutors
tutorsglobe.com effect of change of temperature assignment help-homework help by online le chateliers principle tutors
tutorsglobe.com starch-sugar interconversion theory assignment help-homework help by online mechanism of stomatal closing and opening tutors
Physics of Lasers tutorial all along with the key concepts of Light Emission and Absorption, Einstein's Prediction, Prerequisites for a Laser, Types of Lasers, Application of lasers
For transformer oil the specifications are completely covered by IS: 335-1993. For instructions for keeping the insulating oil IS Code of Practice No. 1866 may be considered.
tutorsglobe.com oxidation of fatty acids assignment help-homework help by online lipid metabolism tutors
1958607
Questions Asked
3689
Tutors
1482566
Questions Answered
Start Excelling in your courses, Ask an Expert and get answers for your homework and assignments!!