Abstract: A system and method for defining a relational schema for a non-relational database are disclosed. In one embodiment, the system identifies a non-relational database; obtains a data structure of the non-relational database; determines a relational schema type; generates a relational schema based on the determined schema type; determines whether the relational schema includes a plurality of relational tables; and responsive to determining that the relational schema includes a plurality of relational tables, defines a relation between at least two of the relational tables in the relational schema.

Abstract: Disclosed herein are systems and methods for generating notional data. The method includes: receiving seed data of one or more object types in a base dataframe; defining one or more functional relationships associated with the one or more object types, at least one functional relationship of the one or more functional relationships specifying a change to seed data of one object type of the one or more object types; generating data of the one or more object types based at least in part on the seed data in the base dataframe and the one or more functional relationships; and generating the notional data based at least in part on the generated data of the one or more object types.

Abstract: This specification is generally directed to techniques for generating interfacing source code between computing components based on natural language input. In various implementations, a natural language input that requests generation of interfacing source code to logically couple a first computing component with a second computing component may be processed to generate an interface request semantic embedding. The interface request semantic embedding may be processed based on one or more domain models associated with the first and second computing components to generate a pool(s) of candidate code snippets for logically coupling with first and second computing components. A plurality of candidate instances of interfacing source code may be generated between the first and second computing components. Each candidate software interface may include a different permutation of candidate code snippets from the pool(s) of candidate code snippets.

Abstract: Embodiments herein describe a code obfuscation system. The code obfuscation system accesses computer code and identifies a subset of the code to obfuscate. The code obfuscation system analyzes the identified subset of code, the analysis comprising identifying code elements and identifying one or more files and directories. The code obfuscation system generates first obfuscation data for the identified code elements and generates second obfuscation data for the one or more files and directories. The code obfuscation system generates obfuscated computer code by applying the first obfuscation data and the second obfuscation data to the originally accessed computer code.

Abstract: A system receives a source database language statement according to a first dialect, determines a pattern of the source database language statement, the pattern comprising an abstract representation of the source database language statement, and checks whether the determined pattern is present in a cache of translations between patterns according to the first dialect and corresponding patterns according to a second dialect different from the first dialect. In response to the determined pattern being present in the cache of translations, the system converts, using a corresponding translation in the cache of translations, the source database language statement according to the first dialect to a respective target database language statement according to the second dialect.

Abstract: A system includes a database containing database tables. The system also includes one or more processors configured to: (i) determine, for a software application, a set of the database tables containing information used by the software application; (ii) for an item associated with the software application, query the set of the database tables for entries related to the item, wherein the entries are in a first language; (iii) generate, for display, a representation of a first pane and a second pane, wherein the first pane contains the entries, and wherein the second pane contains data input elements for translations of the entries into a second language; (iv) transmit the representation; (v) receive data entered into the data input elements of the second pane; and (vi) store, in the set of the database tables, the data entered into the data input elements as a translation to the second language.

Abstract: Adaptive data collections may include various type of data arrays, sets, bags, maps, and other data structures. A simple interface for each adaptive collection may provide access via a unified API to adaptive implementations of the collection. A single adaptive data collection may include multiple, different adaptive implementations. A system configured to implement adaptive data collections may include the ability to adaptively select between various implementations, either manually or automatically, and to map a given workload to differing hardware configurations. Additionally, hardware resource needs of different configurations may be predicted from a small number of workload measurements. Adaptive data collections may provide language interoperability, such as by leveraging runtime compilation to build adaptive data collections and to compile and optimize implementation code and user code together.

Abstract: Methods, devices and media for two-pass source code transformation from a first high-level programming language to a second high-level programming language are described. Two different source code transformation technologies are combined to produce a two-pass source code transformation method: a compiler-based source code transformation technique is used in a first pass, and a parse-tree-based source code transformation technique is used in second pass. The second pass may be used to automatically refactor the source code to enhance desired properties of the second programming language. A two-pass C-to-Rust transformation technique, CRustS, is described which automatically generates Rust source code that exhibits memory safety and overcomes other limitations of existing tools such as C2Rust.

Abstract: Systems and methods for identifying similar three-dimensional (3D) representations of an object. The method includes receiving at an interface a target 3D model and at least one candidate 3D model, executing at least one feature identification procedure to identify a feature of the target 3D model, generating a target feature tensor based on the identified feature of the target 3D model, and executing the at least one feature identification procedure on the candidate 3D model. The method further includes generating a candidate feature tensor based on the identified feature of the candidate 3D model, executing at least one comparison function to compare the target feature tensor and the candidate feature tensor, generating a feature comparison tensor based on the execution of the at least one comparison function, and identifying a degree of similarity between target 3D model and the candidate 3D model based on the feature comparison tensor.

Abstract: A batching module that prepares a plurality of blocked expressions for batch evaluation. The plurality of blocked expressions comprises a plurality of expressions in a blocked state. The batching module divides the plurality of blocked expressions into one or more partitions. For each particular partition of the one or more partitions, a single batch processing call is dispatched to an application server to perform a batch evaluation.

Abstract: A system identifies data objects from a first piece of code in an original programming language and creates a knowledge graph that represents a relationship among the data objects. The system identifies an expression syntax in the first piece of code and determines an interpretation of the expression syntax. The system creates a sentence that indicates an interpretation of a respective code line. The system determines a counterpart data object in a target programming language for each word in the created sentence. In response, the system creates a second piece of code in the target programming language, such that the second price of code satisfies syntax rules in the target programming language. In response to determining that the second piece of code is configured to perform a particular task that the first piece of code is configured to, the system executes the second piece of code.

Abstract: In one aspect, an example methodology implementing the disclosed techniques includes, by a computing device, determining a source platform code for migration from a source platform to a target platform and determining one or more attributes of the source platform code. The method also includes determining, using a machine learning (ML) model, one or more existing templates based on the one or more attributes of the source platform code, and recommending the one or more existing templates for use in generating a template for migration of the source platform code to the target platform. The template for the source platform code is configured to convert the source platform code to a target platform code suitable for the target platform. The one or more existing template can then be used to generate a template for migrating the source platform code to a target platform code suitable for the target platform.

Abstract: The present invention relates to a video encoding method, to a video decoding method, and to an apparatus using same. The video encoding method according to the present invention comprises the steps of: setting a tile and a slice for the inputted current picture; performing encoding based on the tile and the slice; and a step of transmitting the encoded video information. The current picture may include one or more tiles and one or more slices. The largest coding units (hereinafter, referred to as LCUs) in the slice may be arranged based on a tile scan.

Abstract: Disclosed herein are systems and methods for automated conversion and management of web server configuration files using a conversion application. In one aspect, an exemplary method comprises receiving an input configuration file for conversion from an Apache configuration file to an NGINX configuration file, parsing the input configuration file into tokens for processing to construct an Apache configuration tree in memory, building a structured Apache configuration tree from the tokens and storing in memory, traversing the Apache configuration tree examining each element of the Apache configuration tree, and for each Apache directive or block that is encountered during the examination, invoking a directive conversion plugin for handling requirements of the respective Apache directive or block, building an NGINX configuration tree corresponding to the Apache configuration tree, and writing the NGINX configuration depicted in the NGINX configuration tree to an NGINX configuration file.

Abstract: An enhanced integration of spreadsheet environments and external environments is disclosed herein that allows users to enter non-native statements directly into the cells of a worksheet so that external resources can be applied with respect to their values. In addition, a security model is disclosed whereby external functions referenced in the cells of a worksheet are executed in the context of a runtime environment that is secured apart from the spreadsheet application that hosts the worksheet. Various enhancements to the user experience are also disclosed that allow users to enter non-native statements in line with respect to the functional syntax that forms the basis of spreadsheet formulas.

Abstract: A system and method of transferring data generated at a data source to a dictation system for use by the dictation system to generate reports are disclosed. One example method includes parsing the data to retrieve values from the data that match a field in a formatting template. The matching values are then normalized based on format settings configured in the formatting template. A range of values may be added to one or more fields in the formatting template. For values that match the fields associated with the range of values, it is determined if the values fall outside the range of values. Upon positive determination, the values may be further formatted by adding an indicator marking that the values are out of bounds from the range of values. The formatted values are then sent to the dictation system for use by the dictation system in generating reports.

Abstract: In some embodiments, systems and methods for visualizing one or more datasets include importing a plurality of root objects, each root object including linked data attributes and obtaining a joined dataset based on the plurality of root objects, that includes for each or the plurality of root objects, a plurality of rows of related attribute data linked to each root object as a result of a join operation. The systems and methods perform an aggregation computation on the plurality of rows of related attribute data corresponding to each of the plurality of root objects to produce a corresponding single aggregation row of consolidated data for each root object and present a user interface that shows each of the plurality of root objects with their corresponding single aggregation row of consolidated data resulting from the aggregation computation, in a one-to-one manner.

Abstract: According to some embodiments, methods and systems may provide integration adapter generation for a cloud computing environment. The system may include a smart adapter user interface component that receives a standard, programming language-agnostic interface specification. The smart adapter user interface component may then graphically interact with a user via a guided navigation, no-code wizard user interface to collect additional information associated with the standard, programming language-agnostic interface specification. A semantic model is then automatically generated by the smart adapter user interface component based on characteristics of the received standard, programming language-agnostic interface specification and the additional information. A smart adapter generator may receive the semantic model along with information about the standard, programming language-agnostic interface specification and automatically generate a Cloud Integration adapter.

Abstract: Code translation is an evolving field and due to advancements in the infrastructure and compute power. The existing methods for code translation are time and effort intensive. A method and system for translation of codes based on the semantic similarity have been provided. A machine learning model is developed, that understands and encapsulates the semantics of the code in the source side and translates the semantic equivalent code which is more maintainable and efficient compared to one to one translation. The system is configured to group a plurality of statements present in the source code together into blocks of code and comprehend the semantics of the block. The system is also trained to understand syntactically different but semantically similar statements. While understanding the semantics of the block and translating, the unused/duplicate code etc. gets eliminated. The translated code is better architected and native to the target environment.

Abstract: Techniques are described herein that are capable of translating an edit from a child computer language to a parent computer language while maintaining a semantic meaning of the edit. Parent code that is based on the parent computer language is compiled, which automatically triggers generation of child code that is mapped to the parent code and that is based on the child computer language. A determination is made that the edit, which is not mapped to the parent code, is implemented in the child code to provide edited child code. The parent code is updated to include a change that is based on the semantic meaning of the edit. The updated parent code is configured such that compilation of the updated parent code automatically triggers generation of an updated version of the child code that includes the semantic meaning of the edit.

Abstract: A system and method for defining a relational schema for a non-relational database are disclosed. In one embodiment, the system identifies a non-relational database; obtains a data structure of the non-relational database; determines a relational schema type; generates a relational schema based on the determined schema type; determines whether the relational schema includes a plurality of relational tables; and responsive to determining that the relational schema includes a plurality of relational tables, defines a relation between at least two of the relational tables in the relational schema.

Abstract: The system and method for training a neural machine translation (NMT) model is disclosed wherein training data in terms of source statements and equivalent targets statements may be received. The source statements and equivalent targets statements may be encoded using source and target vocabulary respectively. A source-target map containing relation between tokens is created. The source statements and equivalent target statements is split into multiple fragments using fragments generator based on the source-target map. Such generated multiple fragments are used to train NMT model. Whenever the trained NMT model receives a source codes as input, the source codes are transformed to target codes.

Abstract: In an embodiment, a method of performance-enhanced machine-learning model creation is performed by a computer system. The method includes receiving a command to port a first bot from a first RPA platform to a second RPA platform, where the first bot executes a robotic process in a computing environment provided by a particular computer system using the first RPA platform. The method further includes extracting bot configurations for the first bot from the first RPA platform, where the bot configurations include an instruction set that at least partially defines the robotic process. The method also includes creating a second bot for the second RPA platform, where the creating includes transforming the instruction set to a format of the second RPA platform. In addition, the method includes deploying the second bot on the second RPA platform, wherein the deployed second bot executes the robotic process.

Abstract: Systems and methods for data modeling in multi-tenant systems are disclosed. Embodiments allow the customization of data models for data types (e.g., such as documents or the like) through the addition of fields to data models for data types for particular tenants without modification to components of the system by allowing the definition of a data type and its associated fields for each tenant and externalizing the definition of those data types. This metamodel can thus enable the fields of a data type for a particular tenant to be independently modified or updated for that tenant and data type. The data type for an individual tenant at any given point in time can thus be defined by the set of fields (e.g., and field versions) associated with that data type as defined for that tenant in the metamodel at that point in time.

Abstract: A conversion apparatus improves utilization of definition information for system migration by including: a first conversion unit converting definition information about first rules for generating first data showing information about an operation of a migration source first system in a form depending on an implementation technique of the first system based on materials of the first system, according to a combination of first environment information showing an environment that the first system depends on and second environment information showing an environment that a migration destination second system depends on; a second conversion unit converting definition information about second rules for generating second data showing the information about the operation in a form not depending on a particular implementation technique based on the first data, according to the combination of the first environment information and the second environment information; and a third conversion unit converting definition informat

Abstract: Techniques for stitching application programming interfaces (APIs) to communicate between applications are disclosed. Stitching APIs includes transferring data obtained using an API corresponding to a source application and an API corresponding to a destination. A system obtains a mapping file that maps data objects maintained by the source application to data objects maintained by the destination application. When the system receives a data transfer request, the system: (a) identifies the source application and the destination application, (b) identifies the mapping between objects maintained by the source application and objects maintained by the destination application, and (c) identifies the API calls for the source application and the destination application for performing the data transfer. Based on the mapping, the system invokes API calls to a source application and a destination application to transmit the data.

Abstract: A compiler is capable of compiling instructions that do or do not supply specialization information for a generic type. The generic type is compiled into an unspecialized type. If specialization information was supplied, the unspecialized type is adorned with information indicating type restrictions for application programming interface (API) points associated with the unspecialized type, which becomes a specialized type. A runtime environment is capable of executing calls to a same API point that do or do not indicate a specialized type, and is capable of executing calls to a same API point of objects of an unspecialized type or of objects of a specialized type. When the call to an API point indicates a specialized type, and the specialized type matches that of the object (if the API point belongs to an object), then a runtime environment may perform optimized accesses based on type restrictions derived from the specialized type.

Abstract: In an embodiment, a query system sends compact code to a database service for expansion of the compact code to partially-expanded code and expanded code. In an embodiment, a hash value is generated based on the partially-expanded code and indexed in memory with the expanded code. In an embodiment, a hash value is received as part of a command and expanded code is identified based on the hash value and sent to a database service.

Abstract: A system, method, and computer-readable medium for proving feedback on database instructions, identifying, for example, existing patterns and providing suggested replacement instructions. This may have the effect of improving the efficiency of instructions used to create and/or manipulate databases. According to some aspects, these and other benefits may be achieved by parsing received instructions into an organizational structure, traversing the organizational structure for known patterns, and suggesting replacement patterns. In implementation, this may be effected by receiving one or more sets of known patterns and corresponding replacement patterns, parsing received instructions, comparing the known patterns with the parsed instructions, and providing suggested replacement patterns based on one or more known patterns matching the parsed instructions. A benefit of may include reducing Cartesian products during the merging of tables.

Abstract: Disclosed herein are system, method, and computer program product embodiments for generating folder keys and using folder keys to access folder paths. In an embodiment, a computer system may instantiate a graphical user interface (GUI) to display folder and sub-folder contents as well as a folder key. A user may input a folder key as a representation of the displayed sub-folder of the corresponding folder path. The folder key may include one or more symbols that the computer system may store and associate with the folder path. Using the folder key, the computer system may retrieve a particular sub-folder, manage security or permissions related to folders, and/or facilitate navigation between sub-folders. Using a folder key may aid a user in quickly navigating to a particular sub-folder and may allow a computer system to avoid loading unnecessary intermediate sub-folders as a user navigates to a particular desired sub-folder.

Abstract: Techniques are described for enabling the automatic refactoring of software application source code to mitigate identified anti-patterns and other software modernization-related issues. A software modernization system analyzes software applications to generate various types of modernization report information, where the report information can include identifications of various types of design and cloud anti-patterns, proposed decompositions of monolithic applications into subunits, refactoring cost information, recommended modernization tools and migration paths, among other such information. A software modernization system further includes a refactoring engine that can automatically refactor source code based on such application analysis information, e.g., to automatically address identified anti-patterns, restructure code for decomposition, etc. A refactoring engine performs refactoring actions based on refactoring templates, machine learning (ML) refactoring models, or other input.

Abstract: A system, method, and computer-readable medium for proving feedback on database instructions, identifying, for example, existing patterns and providing suggested replacement instructions. This may have the effect of improving the efficiency of instructions used to create and/or manipulate databases. According to some aspects, these and other benefits may be achieved by parsing received instructions into an organizational structure, traversing the organizational structure for known patterns, and suggesting replacement patterns. In implementation, this may be effected by receiving one or more sets of known patterns and corresponding replacement patterns, parsing received instructions, comparing the known patterns with the parsed instructions, and providing suggested replacement patterns based on one or more known patterns matching the parsed instructions. A benefit of may include reducing Cartesian products during the merging of tables.

Abstract: Syntax parsing on a SQL statement is performed to determine whether an extended syntax identifier exists in the SQL statement, where the extended syntax identifier indicates a target computing service for the SQL statement. It is determined that the extended syntax identifier exists in the SQL statement. A computing service description statement in a first statement format is generated based on the SQL statement, where the first statement format is a statement format that can be recognized by a target computing framework. The computing service description statement is submitted to the target computing framework. Data queried by the SQL statement is invoked, in the target computing framework based on the computing service description statement, to perform target computation, where the SQL statement includes a computing element needed by the target computing service.

Abstract: A system and method for providing formal property verification across circuit design versions is described. In one embodiment, the system receives a first version and a second version of a circuit design. The received first version has a first set of constraints, a first set of next-state functions representing the first version of the circuit design, and a first property that has been verified as true for the first version of the circuit design. The received second version has a second set of constraints, a second set of next-state functions representing the second version of the circuit design, and a second property for the second version of the circuit design. The described embodiments further construct a composite circuit design based on the first set of constraints, the first set of next-state functions, and the first property and further based on the second set of constraints, the second set of next-state functions, and the second property.

Abstract: An intent compiler is disclosed. The intent compiler includes a backend services layer having at least one service application programming interface (API) specification. The intent compiler also includes a service adapter layer to receive the at least one service API specification and automatically generate at least one service adapter based on the at least one service API specification. The intent compiler additionally includes an application layer to automatically generate an application.

Abstract: Training and/or utilization of a neural decompiler that can be used to generate, from a lower-level compiled representation, a target source code snippet in a target programming language. In some implementations, the lower-level compiled representation is generated by compiling a base source code snippet that is in a base programming language, thereby enabling translation of the base programming language (e.g., C++) to a target programming language (e.g., Python). In some of those implementations, output(s) from the neural decompiler indicate canonical representation(s) of variables. Technique(s) can be used to match those canonical representation(s) to variable(s) of the base source code snippet. In some implementations, multiple candidate target source code snippets are generated using the neural decompiler, and a subset (e.g., one) is selected based on evaluation(s).

Abstract: A machine reading comprehension system (MRCS) can analyze a larger-sized document that includes multiple pages to predict an answer to a query. For example, the document can have two, five, tens, or hundreds of pages. The MRCS divides the document into multiple sections with each section including a portion of the document. Each section is processed separately by one or more processing circuitries to determine a score for that section. The score indicates how related the section is to the query and/or a probability that the section provides a possible answer to the query. Once all of the sections have been analyzed, the sections are ranked by their scores and a subset of the ranked sections are processed again to determine a predicted answer to the query.

Abstract: A method, a system, and an article are provided for enabling communication between disparate computer languages. An example computer-implemented method includes: providing on a computing device (i) a first environment supporting a first computer language and (ii) a second environment supporting a second computer language different from the first computer language; providing an instance of an instantiated class definition as an object; accessing the object from both the first environment and the second environment; and deleting the object once a reference count indicates that the object is no longer being accessed by the first environment and the second environment.

Abstract: Embodiments disclosed herein describe systems and methods for assessing vulnerabilities of embedded non-IP devices. In an illustrative embodiment, a system of assessing the vulnerabilities of embedded non-IP devices may be within a portable device. The portable device may include a plurality of wired connectors for various wired communication/data transfer protocols. The portable device may include tools for analyzing the firmware binaries of the embedded non-IP devices, such as disassemblers and modules for concrete and symbolic (concolic) execution. Based upon the disassembly and the concolic execution, the portable device may identify vulnerabilities such as buffer overflows and programming flaws in the firmware binaries.

Abstract: A block diagram includes at least a first block that exchanges data with an external service. The first block references a discovery object in a data definition collection. The discovery object defines a selection criterion. A method for generating source code from one or a plurality of blocks of the block diagram includes: opening, by a computer system, the block diagram including the first block in a model editor; reading, by the computer system, out the referenced discovery object from the data definition collection; generating, by the computer system, an application source code based on at least the first block; and generating, by the computer system, a service discovery source code based on at least the referenced discovery object.

Abstract: Systems and methods for common data ingestion are disclosed. In one embodiment, in an information processing apparatus including at least a memory, a communication interface, and at least one computer processor, a method for common data ingestion may include (1) receiving a project registration for a project; (2) receiving project data associated with the project; (3) building a job associated with the project; (4) executing the job associated with the project; and (5) exporting the project data to at least one target.

Abstract: A system, method, and computer-readable medium for performing a workload analysis operation. The workload analysis operation incudes receiving workload data from a data source; defining a plurality of workload seeds, each of the plurality of workload seeds defining a particular type of workload; and, identifying a particular infrastructure configuration using the workload data and the plurality of workload seeds.

Abstract: Disclosed are various examples for client device migration. In one example, a migration service identifies migration data to migrate a client device from a first management service to a second management service. The migration service transmits a management data request to the first management service, and temporarily stores management data retrieved based on the request. The management data indicates an organizational group. The migration service creates the organizational group with the second management service to facilitate migration of the client device to the second management service.

Abstract: According to one or more embodiments of the present invention, a computer-implemented method for machine code analysis includes executing a set of test cases associated with a software product. The method further includes determining a failing test case, from the set of test cases. The method further includes identifying a portion of a machine code of the software product, the portion of the machine code corresponding to the failing test case. The method further includes analyzing the portion of the machine code to identify a pattern of machine code causing the failing test case to fail. The method further includes searching the machine code of the software product to find the identified pattern of machine code.

Abstract: A method allows transferring references from vertices, edges, and faces of a solid or surface model to an edited model, by finding correspondences between vertices, edges, faces, and bodies of the models. The method begins by quickly finding matching bodies and aligning them, considering factors such as size, complexity, and the location of its vertices, edges, and faces. For every pair of matched bodies, it then matches exactly coincident vertices, edges, and faces. Of the remaining unmatched topology, it matches edges and faces in the new model that overlap those of the old model considerably. It uses near-neighbor structures to speed up the search for correspondences by eliminating old-new pairs of vertices, edges, and faces that do not overlap. Finally, it iteratively matches unmatched vertices, edges, and faces whose adjacent vertices, edges, and faces are in exact correspondence between the old and new models.

Abstract: Disclosed herein is a method of designing a programmable logic device (PLD), in accordance with some embodiments. Accordingly, the method comprises transmitting module indications corresponding to application modules to a client device. Further, the method comprises receiving Hardware Description Language (HDL) code expressing a design of a PLD from the client device. Further, the method comprises analyzing the HDL code. Further, the method comprises retrieving an application module and a framework module corresponding to an API call based on the analyzing. Further, the method comprises instantiating the framework module and the application module based on the retrieving. Further, the method comprises configuring common synchronous logic components and an interconnect infrastructure based on the API call. Further, the method comprises generating a flat framework circuit data corresponding to the PLD based on the instantiating and the configuring.

Abstract: A method of determining a severity score is disclosed. The method includes receiving a binary; using the binary, determining a plurality of vulnerability parameters; and generating a report based on the plurality of vulnerability parameters.

Abstract: A multi-stage configuration service running in a cloud computing environment receives a transformation request from a client device. Based on a policy identified in the transformation request, the multi-stage configuration service constructs a configuration file containing key-value pairs representing settings of a requested transformation. The settings are set or constrained in accordance with zero or more facets contained in the policy that describe how an application feature is set or constrained in performing a transformation on a source file or files. The multi-stage configuration service determines, in accordance with the policy, whether the configuration file is structurally correct in view of a user-provided overriding property value and either enqueues the configuration file for a publishing agent in the cloud computing environment to perform the requested transformation or returns an error report to the client device.

Abstract: An infusion pump assembly includes a reservoir assembly configured to contain an infusible fluid. A motor assembly is configured to act upon the reservoir assembly and dispense at least a portion of the infusible fluid contained within the reservoir assembly. Processing logic is configured to control the motor assembly. The processing logic includes a primary microprocessor configured to execute one or more primary applications written in a first computer language; and a safety microprocessor configured to execute one or more safety applications written in a second computer language.

Abstract: A system includes a memory, at least one processor in communication with the memory, a plurality of threads executing on the at least one processor, and a supervisor. The supervisor is configured to preempt a first thread of the plurality of threads and determine a status of the first thread as either (i) executing in an atomic section or (ii) executing outside of the atomic section. The atomic section is a region of code tagged as atomic, and the atomic section includes instructions that run under a lock. Responsive to determining the status as executing in the atomic section, the supervisor is configured to notify a second thread of the plurality of threads to execute a system call based lock to block execution until the lock is released by the first thread.