Abstract: Implementations for verifying validity of a literate programming document are described. An example method may include accessing a first module of a plurality of modules of a literate programming document, wherein the plurality of modules are organized as a directed graph, identifying a first contract associated with the first module, wherein the first contract specifies a first set of input criteria to be satisfied by one or more first input provided to the first module and a first set of output criteria to be satisfied by one or more first output generated by the first module, and determining whether the one or more first output satisfies the first set of output criteria when the one or more first input satisfies the first set of input criteria.

Abstract: In some examples, a method includes downloading, from an application provider, a patch to be applied to a first application element and a stripped version of the application that does not include one or more application elements to be reused during installation of the application, decompressing the first application element to generate a decompressed version of the first application element, and decompressing the patch to generate a decompressed version of the patch. The method may also include applying the decompressed version of the patch to the decompressed version of the first application element to generate a patched application element, compressing the patched application element to generate a compressed patched application element, and installing the application using the compressed patched application element, the stripped version of the application, and the one or more application elements other than the first application element.

Abstract: Systems, apparatuses and methods are disclosed for scheduling threads comprising of code blocks in a graph streaming processor (GSP) system. One system includes a scheduler for scheduling plurality of threads, the plurality of threads includes a set of instructions operating on the graph streaming processors of GSP system. The scheduler comprises a plurality of stages where each stage is coupled to an input command buffer and an output command buffer. A portion of the scheduler is implemented in hardware and comprises of a command parser operative to interpret commands within a corresponding input command buffer, a thread generator coupled to the command parser operate to generate the plurality of threads, and a thread scheduler coupled to the thread generator for dispatching the plurality of threads for operating on the plurality of graph streaming processors.

Abstract: In accordance with an embodiment, described herein is a system and method for managed server independence for deployment (MSI-D) of software applications and libraries, for use in a cloud computing, application server, or other environment. Software applications or libraries can be prepared for deployment as multi-version format application(s) or library(s). A deployment configuration tool enables use of an input file which specifies one or more deployment configuration overrides data that provide additional pieces of information for each MSI-D/multi-version format application and library. A managed server can independently poll for changes to the deployment configuration overrides, for example to update one or more of its deployed applications or libraries, from a first version to a second version. The system can be used to provide eventual consistency of the deployed application and library versions within a plurality of managed servers.

Abstract: Methods and systems for downloading software information are disclosed herein. In one example embodiment, the method includes performing a first determination as to whether a first number of inquiries or download requests received by a server computer is or has been excessive and, if the first determination is that the first number of inquiries or download requests is not or has not been excessive, sending a signal including a first permission to download a software package. Also, the method includes performing a second determination as to whether either the first number or a second number of inquiries or download requests received by the server computer is or has been excessive and, if the second determination is that the first or second number of inquiries or download requests is not or has not been excessive, sending a first part of the software package for receipt by a first client computer.

Abstract: System and computer-implemented method for managing workload volatility in a cloud architecture including a plurality of computing instances in a group of hosts use volatiltiy factors to identify first and second hosts and then a first virtual computing instance in the first host. A workload metric associated with the group of hosts is used to identify a second virtual computing instance in the second host to be swapped with the first virtual computing instance in the first host. The first and second virtual computing instances are swapped so that the first virtual computing instance is migrated from the first host to the second host and the second virtual computing instance is migrated from the second host to the first host.

Abstract: Relocation of virtual machines is facilitated by obtaining, by a first controller, first power-related information from a first power system set that provides power to a first set of powered hardware components, where the first set of powered hardware components are running a first plurality of virtual machines. The first controller generates a relocation protocol for migrating the first plurality of virtual machines based, at least in part, upon the first power-related information. The relocation protocol includes: a migration of a first subset of one or more virtual machines so that the first subset of virtual machine(s) is to be migrated to and run on a second set of powered hardware components in a manner such that the first subset of virtual machine(s) continues to operation in a substantially continuous manner through the migration; and a snapshotting of a second subset of one or more virtual machines.

Abstract: The disclosure herein describes generating a virtualized stub service based on deep learning for use in simulating a service during testing of a software module configured to interact with the service. Request-response pairs between the software module and the service are captured by an interceptor module, each request-response pair including a request and a response to the request. The captured request-response pairs are added to a training data set. A service virtualization engine trains a request categorization model based on the training data set, wherein the request categorization model is trained to respond to requests with responses based on the request-response pairs of the training data set. Then, a virtualized stub service is generated for the service based on the trained request categorization model. The disclosure provides for automatic generation of virtualized stub services using deep learning techniques for use in testing software modules.

Abstract: An embodiment performs escape analysis of a function as a compiler optimization and stack-allocates an object referenced by the function. At runtime, the embodiment includes detecting a hot code replacement of a portion of the function while the referenced object is stored in stack memory. Responsive to detecting the hot code replacement, the embodiment includes allocating heap memory for the object and moving the object from the stack memory to the allocated heap memory. The embodiment also updates references to the object that were pointing to the object in the stack memory to instead point to the object in the heap memory.

Abstract: Analyzing or debugging applications is provided. The system identifies an action for an application provided by a developer. The system determines a first classification score based on historical execution of the action. The system generates a machine generated action for the application based on metadata associated with the application. The system determines a second classification score based on a comparison of the action with the machine generated action. The system selects, via a matching program, a second application that matches the application. The system determines a third classification score based on a comparison of an action approved for the second application with the action provided by the application developer. The system updates a delivery control parameter based on the first classification score, the second classification score and the third classification score. The system controls delivery of the application based on the delivery control parameter.

Abstract: A computer implemented method for scanning source code files included in an application. A source code scanner identifies an assembly generated from a set of source code files. The assembly comprises assembly code and assembly metadata. The source code scanner identifies a file path for each source code file identified from the assembly. The file path is identified within the assembly metadata. Responsive to identifying the file paths from the assembly metadata, the source code scanner identifies the set of source code files within a code repository. The source code scanner scans the set of source code files to identify potential code vulnerabilities in the set of source code files. The scan omits files in the code repository that were not identified within the assembly metadata.

Abstract: A service provider network includes a database that has one or more “base” machine images and, for one or more of the base machine images, one or more predetermined “optimized” machine images. Each base and optimized machine image are stored in the database and selected based on certain user inputs to create a customer-desired virtual machine instance on a host computer. An optimized machine image is a version of a particular base machine image to which one or more optimizations have been applied. The database may contain complete optimized machine images or data bits that, when applied to a base machine image, result in the optimized machine image.

Abstract: Methods, systems, and computer-readable storage media for receiving, by a customer cockpit, a toggle notification indicating that an edge feature of an edge component of a hybrid software deployment is to be activated, the toggle notification being received during execution of a process by the edge component, determining, by the customer cockpit, that the process has ended and, in response, triggering an edge controller to toggle the edge feature to an activated state within the edge component, receiving, by a vendor cockpit, an edge confirmation of the edge component that confirms that the edge feature is in the activated state, and at least partially in response to receiving the edge confirmation, triggering, by the vendor cockpit, a tenant controller to toggle a tenant feature to an activated state within a tenant component of the hybrid software deployment.

Abstract: Routing log-based information by generating a log entry at a production server, computing an identifier for a logging server, and transmitting the log entry from the production server to the identified logging server. A hash-based routing system for storing and retrieving log-based information. A production server for generating and transmitting a log entry from a production server to a logging server.

Abstract: For a first virtual machine (VM) executing on a physical machine and virtualizing a set of redundant physical adapters installed in the physical machine, a second VM is instantiated on the physical machine. A first physical adapter is reassigned from the first VM to the second VM, the first physical adapter comprising one of the set of redundant physical adapters, the reassigning performed without rebooting a first operating system executing in the first VM. A second rule configuration of the second VM is updated to match a first rule configuration of the first VM, forming an updated second VM. A hypervisor managing the physical machine is caused to redirect traffic for a first virtual adapter associated with the reassigned first physical adapter to the updated second VM.

Abstract: In one approach, an import mechanism allows new hardware intrinsics to be utilized by writing or updating a library of source code, rather than specifically modifying the virtual machine for each new intrinsic. Thus, once the architecture is in place to allow the import mechanism to function, the virtual machine itself (e.g. the code which implements the virtual machine) no longer needs to be modified in order to allow new intrinsics to be utilized by end user programmers. Since source code is typically more convenient to write than the language used to implement the virtual machine and the risk of miscoding the virtual machine is minimized when introducing new intrinsics, the import mechanism described herein increases the efficiency at which new hardware intrinsics can be introduced.

Abstract: Techniques for inferring code deprecation from module deprecation are disclosed. A system detects a reference to a type. The system determines that a particular module, in a plurality of modules in a module system, exposes the referenced type. The system determines that the particular module is associated with a deprecation status. Responsive to determining that the particular module is associated with the deprecation status, the system presents information indicating that the reference references a deprecated module.

Abstract: According to an aspect of an embodiment, operations include receiving first log data including first information associated with electronic trigger events from a trigger data source. The operations further include extracting trigger output parameters from a first sentence token of the received first log data and displaying a first set of trigger rules onto an electronic User Interface (UI) of a user device based on the extracted trigger output parameters. The operations further include receiving a first input comprising a selection of one or more trigger rules of the displayed first set of trigger rules and receiving a second input comprising a selection of computer-executable actions to be performed based on whether the first information satisfies the one or more trigger rules. The operations further include generating a computer-executable mashup code for execution on a runtime system based on the received first input and the received second input.

Abstract: A virtual machine live migration is performed. A port mirroring rule for a source virtual machine in source computer is created by a computer system such that ingress traffic received at the source computer for the source virtual machine is delivered to both the source virtual machine and a target virtual machine on a target computer. The port mirroring rule is established prior to the virtual machine live migration from the source virtual machine to the target virtual machine. The source virtual machine on the source computer is migrated by the computer system to the target virtual machine on the target computer in which the port mirroring rule directs the ingress traffic to both the source virtual machine and the target virtual machine while the source virtual machine is migrated from the source computer to the target virtual machine on the target computer during the virtual machine live migration.

Abstract: A method, computer program product, and computer system for detecting, by a computing device, a desired configuration of a virtual machine (VM) for a plurality of devices. It may be detected that a current state of the plurality of devices does not match the desired configuration of the VM for the plurality of devices, wherein the current state of the plurality of devices may identify that at least one device of the plurality of devices is not present. The desired configuration of the VM may be modified to exclude the at least one device of the plurality of devices that is not present.