摘要:
In accordance with some embodiments, software transactional memory may be used for both managed and unmanaged environments. If a cache line is resident in a cache and this is not the first time that the cache line has been read since the last write, then the data may be read directly from the cache line, improving performance. Otherwise, a normal read may be utilized to read the information. Similarly, write performance can be accelerated in some instances to improve performance.
摘要:
A method and apparatus for efficient and consistent validation/conflict detection in a Software Transactional Memory (STM) system is herein described. A version check barrier is inserted after a load to compare versions of loaded values before and after the load. In addition, a global timestamp (GTS) is utilized to track a latest committed transaction. Each transaction is associated with a local timestamp (LTS) initialized to the GTS value at the start of a transaction. As a transaction commits it updates the GTS to a new value and sets versions of modified locations to the new value. Pending transactions compare versions determined in read barriers to their LTS. If the version is greater than their LTS indicating another transaction has committed after the pending transaction started and initialized the LTS, then the pending transaction validates its read set to maintain efficient and consistent transactional execution.
摘要:
A hydrogen generation device adapted to a fuel cell is provided. The hydrogen generation device includes a containing tank and a buffer layer. The buffer layer is disposed in the containing tank and divides the containing tank into a first containing space and a second containing space. The first containing space is capable of containing a liquid reactant. The second containing space is capable of containing a first solid fuel. The liquid reactant is capable of entering the second containing space through the buffer layer and reacts with the first solid fuel to generate hydrogen.
摘要:
A powering method of a fuel cell includes following steps. A fuel cartridge including a plurality of fuel units and an accumulator is provided. An under-load electric quantity of the accumulator is detected. If the under-load electric quantity is less than a threshold, power is supplied by the accumulator to a load. If the under-load electric quantity is greater than the threshold, a first fuel unit of the fuel units is selected and triggered to provide fuel which converted into the power. If the fuel of the first fuel unit is not enough to supply the power to the load, a second fuel unit of the fuel units is selected and triggered to provide the fuel. If the load is removed, the other fuel units which are not yet triggered are not triggered, and the accumulator is charged with the power converted from the fuel.
摘要:
A fuel cartridge of a fuel cell and a method for operating the fuel cartridge are provided. The fuel cartridge has a plurality of fuel units. At least one first fuel unit is selected form the fuel units and the first fuel unit is triggered to provide a fuel to the fuel cell. If the fuel produced by the first fuel unit is insufficient to provide for the fuel cell, at least a second fuel unit is selected from the fuel units. A temperature of the second fuel unit is detected, and if the temperature of the second fuel unit is lower than an upper-limit operating temperature, the second fuel unit is triggered to provide the fuel to the fuel cell.
摘要:
Disclosed is a method for running a first code generated by a Software-based Redundant Multi-Threading (SRMT) compiler along with a second code generated by a normal compiler at runtime, the first code including a first function and a second function, the second code including a third function. The method comprises running the first function in a leading thread and a tailing thread (104); running the third function in a single thread (106), the leading thread calls the third function and running the second function in the leading thread and the tailing thread (108), the third function calls the second function. The present disclosure provides a mechanism for handling function calls wherein SRMT functions and binary functions can call each other irrespective of whether the callee function is a SRMT function or a binary function and thereby dynamically adjusts reliability and performance tradeoff based on run-time information and user selectable policies.
摘要:
Methods and an apparatus for forming a transaction object instruction construct are provided. An example method translates a source instruction construct to form a transactional objective instruction construct, executes the transactional objective instruction construct, intercepts an aborted transaction associated with the transactional objective instruction construct during execution, maintains a graph of nodes and edges associated with the executed transactional objective instruction construct to predict a deadlock situation, and resolves the deadlock situation associated with the transactional objective instruction construct based on the graph.
摘要:
One embodiment of the present invention provides a system that automatically generates addressing queries for objects rendered on a graphical user interface (GUI). During operation, the system receives a request for GUI object-addressing query for an application to be tested. The system first identifies the application context, and retrieves a rule document describing GUI object-addressing query rules according to the identified application context. Next, the system parses the rule document to generate an applicable query rule set for the application. Based on the applicable query rule set, the system generates a set of query candidates and determines a unique query for each GUI object.
摘要:
A light source apparatus including a first heat transfer element, a second heat transfer element, at least one first light emitting element, and at least one second light emitting element is provided. The first heat transfer element has a first carrying surface and a first heat dissipation surface opposite to the first carrying surface. The second heat transfer element surrounds the first heat transfer element and has a second carrying surface and a second heat dissipation surface opposite to the second carrying surface. The thermal resistance of the first heat transfer element is smaller than the thermal resistance of the second heat transfer element. The first and the second light emitting elements are disposed over the first and the second carrying surfaces respectively. The luminance of the first light emitting element is easier to vary with a change of temperature than the luminance of the second light emitting element.
摘要:
A compound having the general structure shown in Formula I: or pharmaceutically acceptable salts and/or solvates thereof are useful in treating diseases or conditions mediated by NK1 receptors, for example various physiological disorders, symptoms or diseases, including emesis, depression, anxiety and cough.