Abstract: Systems and methods are described for analyzing and verifying distributed applications. In one embodiment, an application program is executed as independently executable components. During execution, redundant portions of application program data are aggregated. A property of the application program is verified using the aggregated application program data to represent code execution paths.

Abstract: The present invention includes a plurality of computing units executing a plurality of threads including a communication control thread to which a receiving process by polling is assigned. In a CPU core, a computing unit executing the communication control thread performs polling in a memory region indicating notification of arrival of data and waits for execution of the receiving process until arrival of data, and when a computing unit executing an application thread executes a process assigned to the application thread, the computing unit executing the communication control thread moves to a resource-saving mode in which the use of physical resources is suppressed.

Abstract: Systems and methods of prioritizing execution of plans for obtaining and/or processing data based on partial execution of the plans are presented herein. In certain implementations, one or more plans may be executed. Costs associated with individual ones of the plans may be estimated based on partial execution of respective ones of the plans. Based on a comparison between the estimated costs, the execution of at least one of plans may be prioritized over at least the execution of the other ones of the plans.

Abstract: Method and system for determining the total processing time required for executing a plurality of jobs. In certain aspects, a set of jobs along with a mean processing time and a queue length are received. The set of jobs are distributed across computing resources based upon the queue length. A set of priority jobs is received when the execution of a subset of jobs from the set of jobs has been executed in a first processing time (TF). Further, the set of priority jobs is distributed for execution across the plurality of computing resources. A second processing time (TS) required for the execution of the set of priority jobs is computed. Further, a third processing time (TT) required for the execution of the set of remaining jobs from the set of jobs is determined. Finally, the total processing time is determined by summing TF, TS, and TT.

Abstract: A method and virtualization software for providing at least two mutually independent time sources for at least one real-time operating system of a data processing device including virtual runtime environments, where a general-purpose operating system runs in one virtual runtime environment, and the virtual runtime environments are managed by virtualization software (hypervisor). A first time source is exclusively assigned to each real-time operating system, where the data processing device includes a second time source independent of the first time source, the second time source is configured to periodically generate an interrupt, the first processor core enters a routine of the virtualization software (hypervisor) with each interrupt triggered by the second time source, the content of at least one memory cell readable by the real-time operating system is updated and used as a time source, which is independent of the first time source, to control the first time source.

Abstract: A search facility is used to predict the impact of change on events detected in application logic, where the change may involve a computing resource used by or referenced by the application logic and/or by event detection logic. The search may be performed prior to making a change, in order to judge potential impact of the change, or after the change has been made. The search makes the prediction by evaluating semantics of conditions that specify when and/or how an event will be detected at run-time.

Abstract: A program that performs a virtual machine move control predicts a resource shortage, predicted to occur for a predetermined time period, of a physical server that includes multiple virtual machines and that is included in a management server; specifies a virtual machine that eliminate the resource shortage by moving, at a time point at which the predicted resource shortage occurs, among the virtual machine included in the physical server, for which the resource shortage is predicted, to another physical server; and moves the specified virtual machine to the other physical server on the basis of the resource usage of the specified virtual machine for the predetermined time period and on the basis of a time point that is associated with the resource usage.

Abstract: Methods and systems for routing frames are provided. A routing module of a network device stores a destination address for a virtual machine with a virtual bridge identifier associated with a virtual bridge. The virtual bridge identifier is associated with a queue pair that is used by the virtual machine to send and receive information using the virtual bridge. The network device also includes a port connected to a link for sending and receiving the information and the virtual bridge is associated with the port. The routing module is used to determine the destination of a frame whether the frame is sent by an external device or the virtual machine.

Abstract: Method, system, and programs for dynamic control of a processing system having a plurality of tiers. Queue lengths of a plurality of nodes in one of the plurality of tiers are received. A control objective is received from a higher tier. One or more requests from the higher tier are processed by the plurality of nodes in the tier. A control model of the tier is computed based on the received queue lengths. One or more parameters of the control model are adjusted based on the received control objective. At least one control action is determined based on the control model and the control objective.

Abstract: An information processing method including calculating, for migration of a first virtual machine between a migration-source computer coupled to a network and a migration-destination computer coupled to the network, a difference between a first resource allocated to the first virtual machine in the migration-source computer and a second resource to be allocated to a second virtual machine to be executed based on the virtual machine in the migration-destination computer, estimating a bandwidth for the network to be used by the second virtual machine based on the difference and a bandwidth for the network used by the first virtual machine in the migration-source computer.

Abstract: Embodiments include apparatuses, systems, and methods mobile coprocessing. A connection is established between a mobile device and an auxiliary computing device. The mobile device implements a CPU abstraction layer and a virtual CPU between a software stack and a CPU of the mobile device. The abstraction layer allows for the mobile device to offload tasks to the auxiliary computing device while the software stack interacts with the abstraction layer as if the tasks are being executed by the CPU of the mobile device. The mobile device of allocates tasks to the auxiliary computing device based on various parameters, including properties of the auxiliary computing device, metrics of the connection, and priorities of the tasks.

Abstract: A method for dynamically adjusting an actual wait period associated with an operating system call, wherein the operating system call suspends execution of at least one thread in a plurality of threads associated with an operating environment is provided. The method may include determining a utilization factor function associated with the operating environment. The method may also include selecting at least one performance counter within a plurality of performance counters associated with the operating environment. The method may further include computing a utilization factor based on the determined utilization factor function and the selected at least one performance counter. Additionally, the method may include intercepting an operating system call, wherein the operating system call includes a requested wait period parameter.

Abstract: A method is provided for use in a mobile communication terminal configured to support a plurality of applications, wherein each application is executed by performing one or more tasks. The method includes, in response to a scheduling request from an application, obtaining an indication of power supply condition at a requested run-time of at least one of the tasks. The method further includes obtaining a prediction of a rate of energy usage by the task at the requested run-time, estimating, from the predicted rate of energy usage, a total amount of energy needed to complete the task, and making a scheduling decision for the task. The scheduling decision comprises making a selection from a group of two or more alternative dispositions for the task. The selection is made according to a criterion that relates the run-time power-supply condition to the predicted rate of energy usage by the task and to the estimate of total energy needed to complete the task.

Abstract: A virtual machine system includes one or more virtual machines and a deactivator that deactivates the virtual machines. Each virtual machine includes an output unit that outputs a deactivation prohibiting signal indicating that the virtual machine is not permitted to stop operating while deactivation prohibited processing is being executed. The deactivation prohibited processing is processing that involves the device and during which the virtual machine is not permitted to stop operating. The deactivator deactivates a virtual machine that has not output the deactivation prohibiting signal, and does not deactivate a virtual machine that has output the deactivation prohibiting signal.

Abstract: Complex devices, software systems, and/or networks may comprise one or more subsystems that perform periodic tasks. A first task may be assigned a first execution frequency and a second task may be assigned a second execution frequency that is not an alias of the first execution frequency (e.g., assignment of execution intervals that are non-overlapping harmonics of each other, such as non-repeating frequencies). A first resource utilization by the first task may be distinguished from a second resource utilization of the second task based upon the first resource utilization corresponding to resource utilization (e.g., network usage, processor usage, power consumption, user access, etc.) associated with the first execution frequency and the second resource utilization corresponding to resource utilization associated with the second execution frequency. Thus, resource utilization of individual tasks of various subsystems and/or networks may be determined.

Abstract: Methods and systems for scheduling jobs to manycore nodes in a cluster include selecting a job to run according to the job's wait time and the job's expected execution time; sending job requirements to all nodes in a cluster, where each node includes a manycore processor; determining at each node whether said node has sufficient resources to ever satisfy the job requirements and, if no node has sufficient resources, deleting the job; creating a list of nodes that have sufficient free resources at a present time to satisfy the job requirements; and assigning the job to a node, based on a difference between an expected execution time and associated confidence value for each node and a hypothetical fastest execution time and associated hypothetical maximum confidence value.

Abstract: In server/client architectures, the server application and client applications are often developed in different languages and execute in different environments specialized for the different contexts of each application (e.g., low-level, performant, platform-specialized, and stateless instructions on the server, and high-level, flexible, platform-agnostic, and stateful languages on the client) and are often executed on different devices. Convergence of these environments (e.g., server-side JavaScript using Node.js) enables the provision of a server that services client applications executing on the same device. The local server may monitor local events occurring on the device, and may execute one or more server scripts associated with particular local events on behalf of local clients subscribing to the local event (e.g., via a subscription model).

Abstract: A method that includes coupling a first device to a client device using a universal serial bus (USB) link, and detecting, by the first device, a USB operating system (OS) descriptor request made by the client device. The method further includes reporting, by the first device, a mass storage interface to the client device in response to a detected USB OS descriptor request, and using the mass storage interface to install, in the client device, a device driver associated with the first device.

Abstract: Embodiments relate to migrating a local cache state with a virtual machine (VM) migration. An aspect includes detecting that a VM executing on a source host machine has been paused as part of a migration of the VM from the source host machine to a target host machine. A state of a first local cache associated with the VM is identified. The first local cache is accessible by the source host machine and includes data previously fetched from a shared storage. Pre-fetch hints that are based on the state of the first local cache are sent to the target host machine prior to the migration completing. The pre-fetch hints are utilized by the target host machine to fetch, from the shared storage, at least a subset of the data stored in the first local cache for storage in a second local cache accessible by the target host machine.

Abstract: Sanitizing a virtual machine image of sensitive data is provided. A label for a sensitivity level is attached to identified sensitive data contained within each software component in a plurality of software components of a software stack in a virtual machine image based on labeling policies. In response to receiving an input to perform a sanitization of the identified sensitive data having attached sensitivity level labels contained within software components of the software stack in the virtual machine image, the sanitization of the identified sensitive data having the attached sensitivity level labels contained within the software components of the software stack in the virtual machine image is performed based on sanitization policies.