摘要:
Machine-readable media, methods, apparatus and system for detecting a data access violation are described. In some embodiments, current memory access information related to a current memory access to a memory address by a current user thread may be obtained. It may be determined whether a cache includes a cache entry associated with the memory address. If the cache includes the cache entry associated with the memory address, then, an access history stored in the cache entry and the current memory access information may be analyzed to detect if there is at least one of an actual violation and a potential violation of accessing the memory address.
摘要:
Machine-readable media, methods, apparatus and system for detecting a data access violation are described. In some embodiments, current memory access information related to a current memory access to a memory address by a current user thread may be obtained. It may be determined whether a cache includes a cache entry associated with the memory address. If the cache includes the cache entry associated with the memory address, then, an access history stored in the cache entry and the current memory access information may be analyzed to detect if there is at least one of an actual violation and a potential violation of accessing the memory address.
摘要:
A threaded-programming analysis and diagnostic tool including two data structures to store a termination status of each of the threads in a multi-threaded program, logic to propagate information between the two data structures, and detection logic to determine whether a first thread could access the stack of a second thread before the second thread terminates.
摘要:
A threaded-programming analysis and diagnostic tool including two data structures to store a termination status of each of the threads in a multi-threaded program, logic to propagate information between the two data structures, and detection logic to determine whether a first thread could access the stack of a second thread before the second thread terminates.
摘要:
The invention provides a mixing system comprising a magnetically coupled drive system and a foil for cultivating algae, or cyanobacteria, in an open or enclosed vessel. The invention provides effective mixing, low energy usage, low capital expenditure, and ease of drive system component maintenance while maintaining the integrity of a sealed mixing vessel.
摘要:
A computer system includes a desk top computer and a portable computer. The desktop computer can be operatively connected to the portable computer and can perform symmetrical processing.
摘要:
The invention provides a mixing system comprising a magnetically coupled drive system and a foil for cultivating algae, or cyanobacteria, in an open or enclosed vessel. The invention provides effective mixing, low energy usage, low capital expenditure, and ease of drive system component maintenance while maintaining the integrity of a sealed mixing vessel.
摘要:
A disc shaped ratchet wrench device has an outer concentric member disposed at the outer circumference and formed substantially concentrical to a center of the disc shaped ratchet wrench device. The device further has an inner member disposed within the outer concentric member. The inner disc has a driving element rigidly affixed to the center of the disc shaped ratchet wrench device. Whereby, when the outer concentric member is rotated, the inner member and the driving element rotate in conjunction with the outer concentric member for tightening or loosening of a work piece.
摘要:
The present invention relates to systems and methods for providing multiple access paths to a single ported storage device used in data storage subsystems. In an embodiment, the system provides circuitry associated with single ported storage devices, including a coupling circuit with a microcontroller for signals which include the data and control paths to and from redundant storage device controllers. In this embodiment, the additional control in the form of discrete signal lines or through additional commands is used to manage routing of the signals to and from a redundant data storage controller. Further, each redundant data storage controller preferably has its own primary set of storage devices. If one of the controllers fails, the redundant controller can switch its control to the failed controller's storage devices thus maintaining user access to the data contained on those storage devices.
摘要:
The present invention relates to systems and methods for providing multiple access paths to a single ported storage device used in data storage subsystems. In an embodiment, the system provides circuitry associated with single ported storage devices, including a coupling circuit with a microcontroller for signals which include the data and control paths to and from redundant storage device controllers. In this embodiment, the additional control in the form of discrete signal lines or through additional commands is used to manage routing of the signals to and from a redundant data storage controller. Further, each redundant data storage controller preferably has its own primary set of storage devices. If one of the controllers fails, the redundant controller can switch its control to the failed controller's storage devices thus maintaining user access to the data contained on those storage devices.