Patent Application
20070288939
The present description will be better understood from the following detailed description read in light of the accompanying drawings, wherein:
Like reference numerals are used to designate like parts in the accompanying drawings.
The detailed description provided below in connection with the appended drawings is intended as a description of the present examples and is not intended to represent the only forms in which the present example may be constructed or utilized. The description sets forth the functions of the example and the sequence of steps for constructing and operating the example. However, the same or equivalent functions and sequences may be accomplished by different examples.
“Threads,” as described herein, may refer to execution paths within an application, program, function, or other assemblage of programmable and executable code. Threads enable multiple paths or streams of execution of modules of code to occur concurrently within the same application, program, function, or other assemblage of programmable and executable code; whereby, within each stream, a different transaction or message may be processed. A multitasking or multiprocessing environment, in which multi-threading processes may be executed, may be found in either a managed execution environment or an unmanaged execution environment.
The helper thread 110 may block on some native portion of the program being debugged when a native thread is stopped by the debugger 104 while holding a lock. For example, suppose that a native thread is stopped by the debugger 104 while holding a lock 114. The debugger 104 will not resume the native thread until it makes some calls to the helper thread 110. However, the helper thread 110 may attempt to take the lock 114. The helper thread would then block on the native thread. The native thread is blocked on the debugger. The debugger is blocked on the helper thread. Therefore, the whole system may be deadlocked.
In the exemplary system 100 shown in
At 210, one or more synchronization objects that an API could block on are identified. Examples of synchronization objects that may be identified include but are not limited to locks, mutexes, monitors, signable events, and semaphores. At 220, a canary thread that takes the one or more synchronization objects is created. At 230, the canary thread is called to take the one or more synchronization objects. At 240, a determination is made as to whether the canary thread returned within a predetermined timeout period. If so, then at 250, it is determined that the one or more synchronization objects are available and safe to take. If the canary thread does not return within the timeout period, then at 260, it is determined that one or more of the synchronization objects are unavailable.
At 310, the function AreLocksAvailable( ) 302 waits for a predetermined timeout. The timeout may be any predetermined amount of time, such as for example, 100 ms. At 314, if the canary thread has exited, then the function AreLocksAvailable( ) 302 returns true to indicate that the locks are available. If the canary thread has not exited, then the function AreLocksAvailable( ) 302 returns false to indicate that one or more of the locks may be taken and unavailable. In the latter case, the helper thread may return a graceful failure. Then, when the debuggee is resumed, SniffLocks( ) 308 will acquire and release the locks, and the canary thread will exit.
If the locks are available, the canary thread will cache dwRequest to RequestCounter, run through SniffLocks( ), set AnswerCounter to dwRequest, and then ping the waitEvent. Since this will be within the timeout, RequestCounter has not changed and so AnswerCounter and RequestCounter will be equal. AreLocksAvailable( ) will break out of the loop and return true.
If the locks are held, the canary thread will cache dwRequest to the current value of RequestCounter and block in SniffLocks( ). AreLocksAvailable( ) will eventually timeout and return false. The process will eventually continue and CanaryThreadProc( ) will unblock and set AnswerCounter to the stale version of RequestCounter. At some future call to AreLocksAvailable( ), RequestCounter will be incremented. AreLocksAvailable( ) will see that AnswerCounter is not equal to RequestCounter and thus loop and reping the canary thread for a current lock sniff.
The technologies described herein may be operational with numerous other general purpose or special purpose computing environments or configurations. Examples of well known computing environments and/or configurations that may be suitable for use with the technologies described herein include, but are not limited to, personal computers, server computers, hand-held or laptop devices, tablet devices, multiprocessor systems, microprocessor-based systems, set top boxes, programmable consumer electronics, network PCs, minicomputers, mainframe computers, distributed computing environments that include any of the above systems or devices, and the like.
With reference to
Processing unit 512 may include one or more general or special purpose processors, ASICs, or programmable logic chips. Depending on the configuration and type of computing device, memory 514 may be volatile (such as RAM), non-volatile (such as ROM, flash memory, etc.) or some combination of the two. Computing device 510 may also include additional storage (removable and/or non-removable) including, but not limited to, magnetic or optical disks or tape. Such additional storage is illustrated in
Computing device 510 may also contain communication connection(s) 522 that allow the computing device 510 to communicate with other devices, such as with other computing devices through network 530. Communications connection(s) 522 is an example of communication media. Communication media typically embodies computer readable instructions, data structures, program modules or other data in a modulated data signal such as a carrier wave or other transport mechanism and includes any information delivery media. The term ‘modulated data signal’ means a signal that has one or more of its characteristics set or changed in such a manner as to encode information in the signal. By way of example, and not limitation, communication media includes wired media such as a wired network or direct-wired connection, and wireless media such as acoustic, radio frequency, infrared, and other wireless media. The term computer readable media as used herein includes storage media.
Computing device 510 may also have input device(s) 518 such as a keyboard, a mouse, a pen, a voice input device, a touch input device, and/or any other input device. Output device(s) 520 such as one or more displays, speakers, printers, and/or any other output device may also be included.
While the invention has been described in terms of several exemplary implementations, those of ordinary skill in the art will recognize that the invention is not limited to the implementations described, but can be practiced with modification and alteration within the spirit and scope of the appended claims. The description is thus to be regarded as illustrative instead of limiting.
