CA2606457C - Techniques for handling inconsistencies in enqueue lock information - Google Patents

Techniques for handling inconsistencies in enqueue lock information Download PDF

Info

Publication number
CA2606457C
CA2606457C CA2606457A CA2606457A CA2606457C CA 2606457 C CA2606457 C CA 2606457C CA 2606457 A CA2606457 A CA 2606457A CA 2606457 A CA2606457 A CA 2606457A CA 2606457 C CA2606457 C CA 2606457C
Authority
CA
Canada
Prior art keywords
resource
lock
lock information
node
processors
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Active
Application number
CA2606457A
Other languages
French (fr)
Other versions
CA2606457A1 (en
Inventor
Wilson Wai Shun Chan
Angelo Pruscino
Stefan Roesch
Michael Zoll
Tolga Yurek
Eugene Ho
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Oracle International Corp
Original Assignee
Oracle International Corp
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by Oracle International Corp filed Critical Oracle International Corp
Publication of CA2606457A1 publication Critical patent/CA2606457A1/en
Application granted granted Critical
Publication of CA2606457C publication Critical patent/CA2606457C/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/46Multiprogramming arrangements
    • G06F9/52Program synchronisation; Mutual exclusion, e.g. by means of semaphores
    • G06F9/526Mutual exclusion algorithms
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2209/00Indexing scheme relating to G06F9/00
    • G06F2209/52Indexing scheme relating to G06F9/52
    • G06F2209/522Manager
    • YGENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10TECHNICAL SUBJECTS COVERED BY FORMER USPC
    • Y10STECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
    • Y10S707/00Data processing: database and file management or data structures
    • Y10S707/99931Database or file accessing
    • Y10S707/99938Concurrency, e.g. lock management in shared database

Abstract

Techniques are described herein for handling lock- related inconsistencies. As mentioned above, such inconsistencies occur when two or more sets of lock information, relating to the same resource, convey inconsistent information about locks requested and/or granted on that resource. In general, the techniques involve causing the locally-stored lock information about a resource to be sent to the master node of the resource . The master node of the resource compares the lock information thus received against the lock information maintained by the master node. Based on the comparison, the master node determines how to resolve the lock-related inconsistency, and sends messages to those nodes that need to change their local lock information for the resource. Once all of the lock information has been made consistent, the resource made available for access. Because the lock- related inconsistency is resolved without restarting nodes, the availability of the resources is improved .

Description

TECHNIQUES FOR HANDLING INCONSISTENCIES IN ENQUEUE LOCK INFORMATION
FIELD OF THE INVENTION
[0001] The present invention relates to lock management and, more specifically, to handling lock-related inconsistencies in multiple-node systems.

BACKGROUND
[0002] Computers use resources, such as memory, modems and printers, during the execution of computer programs. Many of these resources are only used periodically by any given computer program. For example, the amount of time a word processing application requires a printer to print documents is typically small relative to the amount of time that the word processing application is used to create documents. If the only process that had access to the printer was a single word processing application, the printer would remain idle most of the time.
[0003] To take full advantage of resources, computer networks have been developed in which processes running on many computer devices or "nodes" can share resources. Thus, instead of having to purchase one printer for every computer, users may purchase a single printer that may be connected to a network that has many computers. Processes on each computer on the network access the printer only when the processes require the printer.
[0004] Even though resources may be shared, as described above, many resources may not be used by more than one process at any given time. For example, most printers are unable to print more than one document at a time. Other resources, such as data blocks of a storage medium or tables stored on a storage medium, may be concurrently accessed in some ways (e.g. read) by multiple processes, but accessed in other ways (e.g. written to) by only one process at a time. Consequently, mechanisms have been developed which control access to resources.
[0005] One such mechanism is referred to as a lock. A lock is a data structure that indicates that a particular process has been granted certain rights with respect to the resource.
There are many types of locks. Some types of locks may be shared by many processes, while other types of locks prevent any other locks to be granted on the same resource.
[0006] Before a process can perform an operation on a resource, the process is required to obtain a lock that grants to the process the right to perform the desired operation on the resource. To obtain a lock, a process transmits a request for the lock to a lock manager. A
lock manager is a process that is responsible for granting, queuing, and keeping track of locks on one or more resources. To manage the use of resources in a network system, lock managers are executed on one or more nodes in the network. The node that is executing the lock manager that governs access to a particular resource is referred to as the "master node", or simply the "master", of that resource.
[0007] According to one prior art implementation, a lock manager implements two types of objects: a resource object and a lock. Resource objects are data structures that correspond to actual resources. An application that uses a lock manager establishes a mapping between actual resources and resource objects. Each resource object has two queues: a granted queue and a convert queue. The granted queue is an unordered list of locks that have been granted.
The convert queue is a partially ordered list of locks that have been requested, but not yet granted. Typically, a request for a lock is actually a convert request, where a process holding a lock is requesting that the lock it holds be converted from one mode of lock to a different mode of lock.
[0008] Locks are data structures that identify a process and a lock mode. Lock managers attach locks to the grant queues of resource objects to indicate that the process identified in the lock has been granted a lock of the type indicated in the lock on the resource that corresponds to the resource object to which the lock is attached.
[0009] Figure 1 is a block diagram illustrating a typical lock manager 106.
Lock manager 106 is a process that is configured to manage a resource object 100 stored in a memory '108.
The resource object includes a granted queue 102 and a convert queue 104. Lock manager 106 has attached three locks 110, 112 and 114 to the granted queue 102, and one convert request 130 to the convert queue 104.
[0010] All locks and convert requests have a process ID portion and a lock mode portion.
The process ID portion 116 of lock 110 indicates that a process PROC_1 owns lock 110, and the lock mode portion 118 of lock 110 indicates that lock 110 is an exclusive lock. The process ID portion 120 of lock 112 indicates that lock 112 is owned by a process PROC_2, and the lock mode portion 122 of lock 112 indicates that lock 112 is a NULL
mode lock. The process ID portion 124 of lock 114 indicates that lock 114 is owned by a process PROC_3, and the lock mode portion 126 of lock 114 indicates that lock 114 is a NULL
lock. The process ID portion 132 of convert request 130 indicates that convert request 130 is associated with process PROC_4, and the lock mode portion 136 of convert request 130 indicates that PROC_4 currently holds a NULL mode lock on the resource. In addition to a lock mode portion 136, convert request 130 has a requested mode portion 134 that indicates that PROC 4 is requesting an exclusive mode lock.
[0011] Lock manager 106 has attached locks 110, 112 and 114 to granted queue 102, indicating that PROC_1 currently has exclusive ownership of the resource that corresponds to resource object 100. Lock manager 106 has attached convert request 130 to the convert queue 104, indicating that PROC 4 has requested but has not yet been granted an exclusive mode lock on the resource associated with resource object 100.
[0012] The convert queue of a resource object is a partially ordered list that holds all outstanding (ungranted) lock requests. If any outstanding lock requests have not been granted, one of the ungranted lock requests will be at the "head" of the convert queue.
Even if the currently granted locks do not prevent a lock manager from granting a particular lock request, the lock request is placed on the convert queue if the convert queue is not empty. This policy prevents "livelocks", where one process cannot make progress in the system while other processes can.
[0013] In networked computer systems, some or all of the processes that are holding and requesting locks on a particular resource may be on different nodes than the master node of that resource. When the node that is executing a process that requests a lock on a resource is not the master node for the resource, a lock request must be transmitted between nodes. The computational power that must be expended to facilitate such inter-node messages is significant relative to the power required for infra-node communication. In addition, inter-node communication is generally slower than infra-node communication. Further, the inter-node traffic thus generated reduces the throughput available for other types of inter-node traffic, which may be significant when the inter-node traffic is between workstations on a network.
[0014] One technique for reducing the inter-node traffic related to lock operation involves spreading shadows of a resource object over many nodes, effectively turning the resource object into a distributed object. An implementation of this technique is described, for example, in U.S. Patent No. 6,574,654, issued June 3, 2003.
[0015] By spreading shadows of the resource object over many nodes, the processing power of multi-processing systems maybe exploited in that each of the nodes that has a shadow resource object may be used to perform lock operations related to the resource.
Further, because the lock management workload for a resource is distributed, the processing load required to perform lock management for the resource is less likely to overburden a node than in lock management systems in which all lock operations for a resource must be performed at a single node.
[0016] Using the shadow resource object approach, the master resource object for a resource grants locks to shadow resource objects located on the nodes on which are located the processes that desire to access the resource. Each shadow resource object, in turn, grants locks on the resource to the processes that are located on the same node as the shadow resource object. The master resource object may also act as a shadow resource object to the processes running on the master node that require access to the resource owned by the master resource object.
[0017] The lock owned by each shadow resource object determines the types of locks the shadow resource object is allowed to grant to processes. If the lock owned by a shadow resource object does not give the shadow resource object the right to grant a lock requested by a process on the same node as the shadow resource object, then the shadow resource object may request for a lock upgrade from the master resource object.
[0018] Because the processes that use a resource do not have to communicate directly with the master resource object, the amount of inter-node traffic required by the distributed lock management system may be less than that required by lock management systems that employ a single centralized resource object for each resource. Specifically, inter-node traffic is avoided when the shadow resource object owns a lock that allows the shadow resource object to perform a requested lock operation without communicating with the master resource object.
[0019] When shadow lock objects are used, the lock information related to a single resource may be reflected on multiple nodes. For example, the same lock request may be reflected on both the local shadow resource object and the master resource object. In this case, the master node has "global knowledge" of the request. In other words, the master node knows which node made the lock request, and what lock mode was requested. In contrast, the local shadow resource object has "local knowledge" of the request.
Specifically, the local resource object may identify which local process requested the lock, and what lock mode was requested by that process.
[0020] For any given resource, the information about the locks held and requested on the resource should be consistent across the cluster of nodes that access the resource, except for a small time interval when messages are in transit between the nodes. However, due to various reasons (such as missing messages, bugs, etc), there may be inconsistencies in enqueue lock information between the shadow and master nodes. Such inconsistencies are referred to herein as "lock-related inconsistencies".
[0021] One example of a lock-related inconsistency is a situation in which the master resource object indicates that an exclusive lock has been granted to node A, but the shadow lock resource of node A indicates that node A is still waiting for the grant.
As another example, a node B may be requesting an exclusive mode ("EX mode") lock on a resource, but the master node may not have any knowledge of the request. Inconsistencies such as these may lead to hang a situation.
[0022] In a more serious case, two nodes may both "think" that they were granted exclusive mode to the same resource. This type of lock-related inconsistency may lead to corruption in the resource.
[0023] When lock-related inconsistencies are discovered, measures have to be taken to resolve the inconsistencies. In the context of a cluster of database servers, resolving lock-related inconsistencies typically involves performing some form of resource reconfiguration operation. Such reconfiguration operations may, for example, involve restarting the database server on one or more of the nodes in the cluster. Unfortunately, the process of restarting a database server can have a significant detrimental effect on the performance of the system.
[0024] The approaches described in this section are approaches that could be pursued, but not necessarily approaches that have been previously conceived or pursued.
Therefore, unless otherwise indicated, it should not be assumed that any of the approaches described in this section qualify as prior art merely by virtue of their inclusion in this section.

BRIEF DESCRIPTION OF THE DRAWINGS
[0025] The present invention is illustrated by way of example, and not by way of limitation, in the figures of the accompanying drawings and in which like reference numerals refer to similar elements and in which:
[0026] FIG. 1 is a block diagram of a resource object that may be used to keep track of requests relating to a resource;
[0027] FIG. 2 is a flowchart for handling lock-related inconsistencies, according to an embodiment of the invention; and [0028] FIG. 3 is a block diagram of a computer system upon which the techniques described herein may be implemented.

DETAILED DESCRIPTION
[0029] In the following description, for the purposes of explanation, numerous specific details are set forth in order to provide a thorough understanding of the present invention. It will be apparent, however, that the present invention may be practiced without these specific details. In other instances, well-known structures and devices are shown in block diagram form in order to avoid unnecessarily obscuring the present invention.

OVERVIEW
[0030] Techniques are described herein for handling lock-related inconsistencies. As mentioned above, such inconsistencies occur when two or more sets of lock information, relating to the same resource, convey inconsistent information about locks requested and/or granted on that resource. In general, the techniques involve causing the locally-stored lock information about a resource to be sent to the master node of the resource.
The master node of the resource compares the lock information thus received against the lock information maintained by the master node. Based on the comparison, the master node determines how to resolve the lock-related inconsistency, and sends messages to those nodes that need to change their local lock information for the resource. Once all of the lock information has been made consistent, the resource is made available for access. Because the lock-related inconsistency is resolved without restarting nodes, the availability of the resources is improved.

LOCK-RELATED INCONSISTENCIES
[0031] Lock-related inconsistencies may be caused by a variety of situations.
For example, a lock-related inconsistency may be caused when a lock-related message is lost. In this situation, the sender of the lock-related message will typically have updated its lock information based on having sent the message, but the lock information maintained by the intended recipient will not reflect the message.
[0032] For example, if a lock-request message is lost during its transmission from a requesting node to the master node, then the local lock information on the requesting node will reflect that a lock has been requested, but the global lock information on the master node will have no evidence of the request. Conversely, if a lock-granted message is lost during its transmission from the master node to a requesting node, then the global lock information on the master node will reflect that the lock has been granted, but the local lock information on the requesting node will not reflect the lock grant.
[0033] The loss of a lock-related message is merely one example of a situation that will result in a lock-related inconsistency. Other situations that result in lock-related inconsistencies include memory corruption, improper resource clean-up 'operations, etc. The techniques described herein for handling lock-related inconsistencies are not limited to any particular cause or set of causes of those inconsistencies.

DETECTING LOCK-RELATED INCONSISTENCIES
[0034] The existence of lock-related inconsistencies may be detected in a variety of ways.
For example, according to one embodiment, messages exchanged between the nodes indicate not only locks that the nodes are requesting and/or granting, but also "current lock state"
information. Current lock state information sent by a node indicates the current state of the lock information maintained by that node. For example, if the shadow lock object on node Ni for resource R1 indicates that node Ni has been granted an exclusive lock on R1, then messages sent from node Ni to the master of resource R1 would indicate that Ni believes that it holds an exclusive lock on R1.
[0035] When a node receives a message that contains current lock state information for a resource from another node, the receiving node can compare the lock state information against its own lock information for that resource. For example, assume that the master node N2 for resource R1 receives a message from node Ni that indicates Ni believes it holds an exclusive lock on resource R1. Master node N2 can then inspect the master resource object for resource R1. If the master resource object for resource RI does not indicate that node Ni holds an exclusive lock on resource R1, then a lock-related inconsistency exists.
[0036] The master node for a resource may not be the node that initially detects the inconsistency. For example, assume that node N1 receives a message from master node N2 that indicates N2 believes that Ni holds an exclusive lock on resource R1.
Node Ni can then inspect its shadow resource object for resource RI. If the shadow resource object for resource R1 does not indicate that node Ni holds an exclusive lock on resource R1, then a lock-related inconsistency exists.
[0037] Another way to automatically detect lock-related inconsistencies is to have each requesting node track how much time passes after sending a lock request, without receiving a response to the request. If more than a threshold amount of time passes without receiving a response, then the requesting node may initiate a hang resolution operation.
As part of the hang resolution operation, the lock management system may check whether any lock-related inconsistency exists relative to the requested resource.
[0038] These are just a few examples of ways for automatically detecting lock-related inconsistencies. According to one embodiment, the lock management system includes a mechanism for automatically identifying conditions that indicate possible lock-related inconsistencies, and initiating an operation to handle those inconsistencies without shutting down any node. Techniques for handling lock related inconsistencies shall now be described in greater detail.
HANDLING INCONSISTENCIES
[0039] Referring to FIG. 2, it is a flowchart for handling lock-related inconsistencies, according to an embodiment of the invention. For the purpose of explanation, it shall be assumed that an inconsistency exists between the local lock information maintained by a node Ni about a resource R1, and the information maintained by the master node N2 for resource R1.
[0040] At step 200, the lock-related inconsistency is detected. As mentioned above, various mechanisms may be used to detect lock-related inconsistencies, and the techniques for handling such consistencies that are described herein are not limit to any particular detection mechanism. Depending on the mechanism that is used to detect the inconsistency, the node that detects the inconsistency may be the master node N2, or some other node.
According to one embodiment, when the node that detects the lock-related inconsistency is not the master node N2, the node that detects the lock-related inconsistency notifies master node N2 of the lock-related inconsistency.
[0041] At step 202, the master node N2 broadcasts a "freeze" message to all nodes in the system. The freeze message informs the nodes that lock-related activity for the resource has been suspended, pending corrective action.
[0042] According to one embodiment, all nodes send acknowledge messages to the master node N2 to indicate that they received the freeze message. In addition, the nodes that have local lock information relating to resource R1 (the "involved nodes") send to the master node N2 local-lock-state messages (step 204). The local-lock-state message sent by each interested node reflects the local lock information maintained for resource R1 by that node. Thus, node N1 would send to node N2 a local-lock-state message that indicates the local lock information that node Ni has for resource R1.
[0043] The local-lock-state messages may be sent separate from the acknowledge messages, or in a combined message that both acknowledges receipt of the freeze message and communicates the local lock information maintained for resource R1.
[0044] When acknowledge messages have been received from all nodes, and local lock information has been received from all involved nodes, the master node N2 figures out what needs to be changed to resolve the inconsistency. In the present example, assume that the master node N2 had granted node Ni an exclusive lock to resource RI, but that node Ni still believes that it only holds a shared lock on resource RI. In this example, master node N2 may determine that the inconsistency can be corrected by having node Ni change its local lock information to indicate that node Ni has an exclusive lock on resource R 1.
[0045] At step 208, the master node N2 corrects any lock information that needs to be corrected on the master node N2, and sends correction requests to all nodes that need to change their local lock information ("correction-needed nodes"). In the present example, no changes need to be made to the information on the master resource object.
However, the local lock information on node Ni needs to be corrected. Therefore, master node N2 sends to node Ni a correction request for node Ni to change its local lock information to indicate that node Ni has an exclusive lock on resource R1 [0046] At step 210, the correction-needed nodes receive the correction requests and make the corrections. After making the corrections, the correction-needed nodes send a correction-performed message back to the master node. In the present example, node Ni updates its local lock information to indicate that it holds an exclusive lock on resource Rl, and sends master node N2 a correction-performed message to indicate that node Ni has corrected its local lock information.
[0047] When, at step 212, the master node receives correction-performed messages from all of the correction-needed nodes, the master node broadcasts an "unfreeze"
message to all nodes. When the nodes receive the unfreeze message, the nodes know that lock-related operations for resource R1 may resume.

SEPARATE COORDINATOR EMBODIMENT
[0048] In the foregoing example, the master node is responsible for deciding what corrections to make, and coordinating the correction. However, the tasks performed by the master node in that example may instead be performed by one or more other nodes. In other words, the master node of a resource need not be the "coordinator node" for the operation of resolving lock-related inconsistencies for the resource.
[0049] For example, the node that detects the lock-related inconsistency may be designated as the coordinator for the inconsistency resolution operation. In such an embodiment, the node that detects the lock-related inconsistency would be the one that broadcasts the freeze message, receives the local lock information, determines how to resolve the inconsistency, etc. The node detects the lock-related inconsistency would also receive, from the master node, information about the state of the global resource object. The coordinator node would determine how to correct the inconsistency based on both the local lock information received from the involved nodes, and the global lock information from the master node.
[0050] In other embodiments, the tasks performed by the master node may be spread among several nodes. For example, the node that detects a lock-related inconsistency may be responsible for broadcasting the freeze message, while the master node is still responsible for receiving the lock information and determining how to resolve the inconsistency. Thus, the techniques described herein are not limited to specific nodes being responsible for the performance of specific tasks.

MANUAL INITIATION OF LOCK-RELATED INCONSISTENCY CORRECTION
[0051] In the embodiments described above, the lock-related inconsistency correction is performed automatically in response to a process detecting conditions that indicate the possible existence of a lock-related inconsistency. However, before such inconsistencies are automatically detected, a database user may notice behavior that causes the user to believe that there may be a lock-related inconsistency.
[0052] Therefore, according to one embodiment, the lock management system is configured to include a mechanism by which a user may manually initiate a lock-related inconsistency correction operation. The mechanism may include, for example, controls that allow the user to specify a resource, or set of resources, for which to perform correction operations. The controls may be, for example, graphical user interface controls, a command line interpreter, etc. The invention is not limited to any particular mechanism for receiving user input to initiate inconsistency correction operations.

HARDWARE OVERVIEW
[0053] Figure 3 is a block diagram that illustrates a computer system 300 upon which an embodiment of the invention may be implemented. Computer system 300 includes a bus 302 or other communication mechanism for communicating information, and a processor 304 coupled with bus 302 for processing information. Computer system 300 also includes a main memory 306, such as a random access memory (RAM) or other dynamic storage device, coupled to bus 302 for storing information and instructions to be executed by processor 304.
Main memory 306 also may be used for storing temporary variables or other intermediate information during execution of instructions to be executed by processor 304.
Computer system 300 further includes a read only memory (ROM) 308 or other static storage device coupled to bus 302 for storing static information and instructions for processor 304. A storage device 310, such as a magnetic disk or optical disk, is provided and coupled to bus 302 for storing information and instructions.
[0054] Computer system 300 may be coupled via bus 302 to a display 312, such as a cathode ray tube (CRT), for displaying information to a computer user. An input device 314, including alphanumeric and other keys, is coupled to bus 302 for communicating information and command selections to processor 304. Another type of user input device is cursor control 316, such as a mouse, a trackball, or cursor direction keys for communicating direction information and command selections to processor 304 and for controlling cursor movement on display 312. This input device typically has two degrees of freedom in two axes, a first axis (e.g., x) and a second axis (e.g., y), that allows the device to specify positions in a plane.
[0055] The invention is related to the use of computer system 300 for implementing the techniques described herein. According to one embodiment of the invention, those techniques are performed by computer system 300 in response to processor 304 executing one or more sequences of one or more instructions contained in main memory 306. Such instructions may be read into main memory 306 from another machine-readable medium, such as storage device 310. Execution of the sequences of instructions contained in main memory 306 causes processor 304 to perform the process steps described herein. In alternative embodiments, hard-wired circuitry may be used in place of or in combination with software instructions to implement the invention. Thus, embodiments of the invention are not limited to any specific combination of hardware circuitry and software.
[0056] The term "machine-readable medium" as used herein refers to any medium that participates in providing data that causes a machine to operation in a specific fashion. In an embodiment implemented using computer system 300, various machine-readable media are involved, for example, in providing instructions to processor 304 for execution. Such a medium may take many forms, including but not limited to, non-volatile media, volatile media, and transmission media. Non-volatile media includes, for example, optical or magnetic disks, such as storage device 310. Volatile media includes dynamic memory, such as main memory 306. Transmission media includes coaxial cables, copper wire and fiber optics, including the wires that comprise bus 302. Transmission media can also take the form of acoustic or light waves, such as those generated during radio-wave and infra-red data communications.
[0057] Common forms of machine-readable media include, for example, a floppy disk, a flexible disk, hard disk, magnetic tape, or any other magnetic medium, a CD-ROM, any other optical medium, punchcards, papertape, any other physical medium with patterns of holes, a RAM, a PROM, and EPROM, a FLASH-EPROM, any other memory chip or cartridge, a carrier wave as described hereinafter, or any other medium from which a computer can read.
[0058] Various forms of machine-readable media may be involved in carrying one or more sequences of one or more instructions to processor 304 for execution. For example, the instructions may initially be carried on a magnetic disk of a remote computer.
The remote computer can load the instructions into its dynamic memory and send the instructions over a telephone line using a modem. A modem local to computer system 300 can receive the data on the telephone line and use an infra-red transmitter to convert the data to an infra-red signal.
An infra-red detector can receive the data carried in the infra-red signal and appropriate circuitry can place the data on bus 302. Bus 302 carries the data to main memory 306, from which processor 304 retrieves and executes the instructions. The instructions received by main memory 306 may optionally be stored on storage device 310 either before or after execution by processor 304.
[0059] Computer system 300 also includes a communication interface 318 coupled to bus 302. Communication interface 318 provides a two-way data communication coupling to a network link 320 that is connected to a local network 322. For example, communication interface 318 may be an integrated services digital network (ISDN) card or a modem to provide a data communication connection to a corresponding type of telephone line. As another example, communication interface 318 may be a local area network (LAN) card to provide a data communication connection to a compatible LAN. Wireless links may also be implemented. In any such implementation, communication interface 318 sends and receives electrical, electromagnetic or optical signals that carry digital data streams representing various types of information.
[0060] Network link 320 typically provides data communication through one or more networks to other data devices. For example, network link 320 may provide a connection through local network 322 to a host computer 324 or to data equipment operated by an Internet Service Provider (ISP) 326. ISP 326 in turn provides data communication services through the world wide packet data communication network now commonly referred to as the "Internet"
328. Local network 322 and Internet 328 both use electrical, electromagnetic or optical signals that carry digital data streams. The signals through the various networks and the signals on network link 320 and through communication interface 318, which carry the digital data to and from computer system 300, are exemplary forms of carrier waves transporting the information.
[0061] Computer system 300 can send messages and receive data, including program code, through the network(s), network link 320 and communication interface 318. In the Internet example, a server 330 might transmit a requested code for an application program through Internet 328, ISP 326, local network 322 and communication interface 318.
[00621 The received code may be executed by processor 304 as it is received, and/or stored in storage device 310, or other non-volatile storage for later execution. In this manner, computer system 300 may obtain application code in the form of a carrier wave.
[00631 In the foregoing specification, embodiments of the invention have been described with reference to numerous specific details that may vary from implementation to implementation. Thus, the sole and exclusive indicator of what is the invention, and is intended by the applicants to be the invention, is the set of claims that issue from this application, in the specific form in which such claims issue, including any subsequent correction. Any definitions expressly set forth herein for terms contained in such claims shall govern the meaning of such terms as used in the claims. Hence, no limitation, element, property, feature, advantage or attribute that is not expressly recited in a claim should limit the scope of such claim in any way. The specification and drawings are, accordingly, to be regarded in an illustrative rather than a restrictive sense.

Claims (20)

What is claimed is:
1. A method for handling an inconsistency in enqueue lock information involving a resource in a system in which multiple nodes separately maintain lock information relating to the resource, the method comprising the steps of:

causing the multiple nodes to send, to a particular node, lock information relating to the resource, wherein the lock information that is sent to the particular node includes first lock information sent and maintained by a first node, and second lock information that is sent, and concurrently and separately maintained by a second node, wherein the first lock information and the second lock information are both about which locks, if any, are currently granted on the resource, wherein the first lock information is inconsistent with the second lock information;

based on the lock information received from the multiple nodes, the particular node making a determination about how to correct the inconsistency in enqueue lock information;

based on the determination about how to correct the inconsistency in enqueue lock information, the particular node sending, to a set of one or more correction-needed nodes, correction requests for the correction-needed nodes to correct the lock information that the correction-needed nodes maintain for the resource; and in response to the correction requests, the correction-needed nodes correcting the lock information that they maintain for the resource while maintaining continuous operation of the correction-needed nodes.
2. The method of claim 1 wherein the particular node is a master node that maintains a master resource object for the resource.
3. The method of claim 2 further comprising:

based on the determination about how to correct the inconsistency in enqueue lock information, the master node changing global lock information maintained for the resource on the master node.
4. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 3.
5. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 2.
6. The method of claim 1 wherein:

the multiple nodes include a master node that maintains a master resource object for the resource; and the particular node is a node other than said master node.
7. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 6.
8. The method of claim 1 wherein the multiple nodes belong to a system that includes one or more nodes that do not have lock information relating to the resource, the method further comprising:

in response to detecting conditions indicating the inconsistency in enqueue lock information, broadcasting to all nodes in the system a freeze message to stop lock-related activity associated with the resource; and after the inconsistency in enqueue lock information is resolved, broadcasting to all nodes in the system an unfreeze message to resume lock-related activity associated with the resource.
9. The method of claim 8 wherein the step of causing the multiple nodes to send, to a particular node, lock information relating to the resource includes causing the multiple nodes to respond to the freeze message by sending an acknowledge message that includes lock information relating to the resource.
10. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 9.
11. The method of claim 8 wherein the particular node does not make the determination about how to correct the inconsistency in enqueue lock information until all nodes in the system have acknowledged the freeze message.
12. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 11.
13. The method of claim 8 wherein the particular node does not make the determination about how to correct the inconsistency in enqueue lock information until the particular node has received lock information from all nodes in the system that maintain lock information for the resource.
14. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 13.
15. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 8.
16. The method of claim 1 wherein the step of causing the multiple nodes to send, to a particular node, lock information relating to the resource includes causing all nodes, within a multiple-node database system, that currently have shadow lock objects for the resource to send a message about the current state of their shadow lock objects to the master node for the resource.
17. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 16.
18. The method of claim 1 further comprising automatically detecting conditions indicating the inconsistency in enqueue lock information, wherein the step of causing the multiple nodes to send lock information is performed in response to detection of said conditions.
19. A computer-readable storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 18.
20. A computer-readable-storage medium carrying one or more sequences of instructions which, when executed by one or more processors, causes the one or more processors to perform the method recited in claim 1.
CA2606457A 2005-06-16 2006-06-09 Techniques for handling inconsistencies in enqueue lock information Active CA2606457C (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US11/156,318 US7315910B2 (en) 2005-06-16 2005-06-16 Techniques for handling lock-related inconsistencies
US11/156,318 2005-06-16
PCT/US2006/022501 WO2006138168A2 (en) 2005-06-16 2006-06-09 Techniques for handling lock-related inconsistencies

Publications (2)

Publication Number Publication Date
CA2606457A1 CA2606457A1 (en) 2006-12-28
CA2606457C true CA2606457C (en) 2011-07-26

Family

ID=37499647

Family Applications (1)

Application Number Title Priority Date Filing Date
CA2606457A Active CA2606457C (en) 2005-06-16 2006-06-09 Techniques for handling inconsistencies in enqueue lock information

Country Status (9)

Country Link
US (1) US7315910B2 (en)
EP (1) EP1891525B1 (en)
JP (1) JP4607999B2 (en)
CN (1) CN101189581B (en)
AU (1) AU2006259651B2 (en)
CA (1) CA2606457C (en)
DE (1) DE602006010858D1 (en)
HK (1) HK1109939A1 (en)
WO (1) WO2006138168A2 (en)

Families Citing this family (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7725660B2 (en) * 2007-07-26 2010-05-25 International Business Machines Corporation Directory for multi-node coherent bus
US8429657B2 (en) 2008-04-28 2013-04-23 Oracle International Corporation Global avoidance of hang states via priority inheritance in multi-node computing system
CN101464884B (en) * 2008-12-31 2011-09-28 阿里巴巴集团控股有限公司 Distributed task system and data processing method using the same
US8868748B2 (en) * 2010-10-11 2014-10-21 International Business Machines Corporation Two-level management of locks on shared resources
CN102298539A (en) * 2011-06-07 2011-12-28 华东师范大学 Method and system for scheduling shared resources subjected to distributed parallel treatment
CN103248667B (en) * 2012-02-14 2016-03-30 阿里巴巴集团控股有限公司 A kind of resource access method of distributed system and system

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4949239A (en) * 1987-05-01 1990-08-14 Digital Equipment Corporation System for implementing multiple lock indicators on synchronous pended bus in multiprocessor computer system
US5339427A (en) * 1992-03-30 1994-08-16 International Business Machines Corporation Method and apparatus for distributed locking of shared data, employing a central coupling facility
US5454108A (en) * 1994-01-26 1995-09-26 International Business Machines Corporation Distributed lock manager using a passive, state-full control-server
US6574654B1 (en) 1996-06-24 2003-06-03 Oracle Corporation Method and apparatus for lock caching
US6931430B1 (en) * 1998-05-13 2005-08-16 Thomas W. Lynch Maintaining coherency in a symbiotic computing system and method of operation thereof
US6480918B1 (en) * 1998-12-22 2002-11-12 International Business Machines Corporation Lingering locks with fairness control for multi-node computer systems
US6301676B1 (en) * 1999-01-22 2001-10-09 Sun Microsystems, Inc. Robust and recoverable interprocess locks
US6920454B1 (en) 2000-01-28 2005-07-19 Oracle International Corporation Techniques for DLM optimization with transferring lock information
US6751616B1 (en) 2000-01-28 2004-06-15 Oracle International Corp. Techniques for DLM optimization with re-mapping responsibility for lock management
US6529906B1 (en) 2000-01-28 2003-03-04 Oracle Corporation Techniques for DLM optimization with re-mastering events
US6961865B1 (en) * 2001-05-24 2005-11-01 Oracle International Corporation Techniques for resuming a transaction after an error
US6970872B1 (en) * 2002-07-23 2005-11-29 Oracle International Corporation Techniques for reducing latency in a multi-node system when obtaining a resource that does not reside in cache
US7216346B2 (en) * 2002-12-31 2007-05-08 International Business Machines Corporation Method and apparatus for managing thread execution in a multithread application

Also Published As

Publication number Publication date
EP1891525B1 (en) 2009-12-02
AU2006259651B2 (en) 2010-01-07
WO2006138168A2 (en) 2006-12-28
CN101189581A (en) 2008-05-28
JP2008544371A (en) 2008-12-04
AU2006259651A1 (en) 2006-12-28
EP1891525A2 (en) 2008-02-27
HK1109939A1 (en) 2008-06-27
CN101189581B (en) 2010-08-18
CA2606457A1 (en) 2006-12-28
US7315910B2 (en) 2008-01-01
JP4607999B2 (en) 2011-01-05
DE602006010858D1 (en) 2010-01-14
WO2006138168A3 (en) 2007-03-08
US20060288144A1 (en) 2006-12-21

Similar Documents

Publication Publication Date Title
US8990179B2 (en) Time limited lock ownership
US6965893B1 (en) Techniques for granting shared locks more efficiently
US7600063B2 (en) Techniques for improved read-write concurrency
US7392335B2 (en) Anticipatory changes to resources managed by locks
US6618744B1 (en) Efficient lock state transitions in a distributed system
US7493400B2 (en) Creating and dissolving affinity relationships in a cluster
US8037169B2 (en) Determining affinity in a cluster
US9152666B2 (en) Distributed database system providing data and space management methodology
US6529906B1 (en) Techniques for DLM optimization with re-mastering events
US6920454B1 (en) Techniques for DLM optimization with transferring lock information
US6272491B1 (en) Method and system for mastering locks in a multiple server database system
US6697901B1 (en) Using secondary resource masters in conjunction with a primary resource master for managing resources that are accessible to a plurality of entities
US20070185872A1 (en) Adaptive region locking
CA2606457C (en) Techniques for handling inconsistencies in enqueue lock information
WO2005124547A1 (en) Techniques for achieving higher availability of resources during reconfiguration of a cluster
US20220155992A1 (en) Methods and systems for memory management in a publish and subscribe system
US6233587B1 (en) Extensible framework of key resource manager and transaction manager events for providing native support for foreign-initiated transactions
US6704767B1 (en) Using distributed information about lock conversion requests to efficiently manage lock state transitions
US20220159070A1 (en) Methods and systems for enabling publish-subscribe message transmission in a distributed environment
JPS62232064A (en) Deadlock prevention system for distributed data base system

Legal Events

Date Code Title Description
EEER Examination request