摘要:
An approach is provided for performing software fault injection code testing in a framework that allows testers to place flexible tracing and monitoring actions into algorithmic scripts which provide instructions for dynamically switching called software program functions to corresponding fault injected functions during program execution and that allows testers to perform fault injection testing without requiring modification or access to the underlying source code of the software program being tested. The framework suspends execution of the software program when certain conditions are met, removes any existing linking to called functions, changes the software program's runtime dynamic linking, performs any other instructions provided by the algorithmic script, and then resumes the software program's execution until execution of the program is complete or until the framework is again instructed to change the software program's runtime dynamic linking.
摘要:
A method for executing a loop in an application that includes executing iterations in a first segment of the loop by a base thread, logging memory transactions that occur during execution of iterations in the first segment by a co-inspector thread to obtain a co-inspector log, executing iterations in a second segment of the loop by a co-thread to obtain temporary results, logging memory transactions that occur during execution of iterations in the second segment to obtain a co-thread log, and comparing the co-inspector log and the co-thread log to determine whether a thread interdependency exists.
摘要:
A system and method are provided for providing information on at least one container for storing a biological sample, including: a holder configured to hold at least one biological sample container and a receiver configured to receive information relating to at least one of the container or the biological sample as well as data relating to at least one instruction for printing the information. The system and method further include a printer configured to print the information in accordance with the at least one instruction. In one embodiment, the printer is configured to print the information directly on the container. In another embodiment, the system and method further include an applicator configured to apply a label on the container and the printer is configured to print the information on the label. In another embodiment, the system and method include a detector configured to detect whether the container contains the biological sample and a processor configured to determine the manner for printing the information. In this embodiment, the determination is based, at least in part, on whether container contains the biological sample.
摘要:
A generic fault tolerant “match-and-set” locking mechanism and method for controlling access to resources shared among a plurality of users N. The match-and-set lock has a locked operating state and an unlocked operating state controlled by the value C of its content such that the lock is in its locked operating state when C≠0 and in its unlocked operating state where C=0. The lock returns a value R, equal to the lock's current content C, to an inquiring user seeking access to the resource. A return value R=0 denotes that the resource is free, and a return value R≠0 denotes that the resource is locked by another user. The lock is responsive to a command in the form (A, B), such that the lock substitutes B for C if A=C. Thus, the lock may be locked by issuing the command (A, B) where A=C and B≠0; and the lock may be released by issuing the command (A, B) where A=C and B=0. A deadlock condition may be avoided by setting the lock to the value B=P+T*(N+1), where P
摘要:
Disclosed is a fluid collection device wherein multiple, individual samples of fluid can be collected simultaneously. The device includes a chamber and an adapter which substantially and simultaneously distributes the blood to individual chambers with chamber specific additives. Also included is a system for using the blood collection device, preferably within a diagnostic testing laboratory.
摘要:
Systems and methods for managing system resources on distributed servers are discussed. The servers may determine, using control circuitry, a system resource metric of the server. The system resource metric may be compared with a pre-determined threshold value. Based on the comparison of the system resource metric with a pre-determined threshold value, the server may determine whether to initiate maintenance on the server. If it is determined that maintenance should be initiated, the server may enter a not-in-service mode and the server may initiate maintenance. Once maintenance is complete, the server may exit the not-in-service mode.
摘要:
A system is configured to identify a particular channel that provides content, where the particular channel includes content items; determine a respective first score, for each of the content items, that reflects a measure of quality of the content item; determine a topic distribution, for each of the content items, that indicates a topic conveyed by the content item; assign a second score, to the particular channel, that reflects a measure of quality of the particular channel; determine a particular term for which the particular channel is authoritative based on the first scores, the topic distributions, and the second score; and store information identifying the particular channel as authoritative for the particular term. A new content item, associated with the particular channel and relating to the particular term, may be promoted in search results for a search query relating to the particular term.
摘要:
A system and method to assign paths for data flows through a wide area network. A plurality of data flows is received, wherein a respective data flow in the plurality of data flows includes a respective source address and a respective destination address. An ordering of the plurality of data flows is generated. The ordering of the plurality of data flows are iteratively modified until a cost associated with path assignments for the ordering of the plurality of data flows satisfies a predetermined condition, wherein a respective path assignment for a respective data flow specifies a respective path from a respective source address to a respective destination address. The data flows are executed based on the path assignments for the ordering of the plurality of data flows having the cost that satisfies the predetermined condition.
摘要:
Methods, systems, and apparatus, including computer programs encoded on a computer storage medium, for user-space resource management are described. In one aspect, a method includes receiving in a user memory space kernel resource information from a kernel executing in a kernel memory space, the kernel resource information identifying one or more kernel items in the kernel memory space that depend on kernel resources. The method further includes evaluating one or more resource management policies for one or more of the kernel items. The resource management polices are stored in the user memory space. The method further includes selecting a kernel item to be modified based on the evaluation in order to release some or all of the kernel resources, and communicating a request for modification of the selected kernel item to the kernel.
摘要:
Aspects of the invention pertain to transmitting packet data across a computer network. The packets may be sent via one or more distinct routes from a source to a destination. Each route may employ multiple routers disposed along the network. Non-colliding routes are determined by transmitting pairs of probe packets along the routes. A first probe packet has a maximal length, and a second probe packet has a minimal length. Depending on the order of arrival of the probe packets, the system determines whether two transport layer ports at the destination device collide. If there is a collision, then the system searches for a set of non-colliding ports. Once the non-colliding ports are determined, application data may be sent as packets along the different routes to those ports.