Abstract: Approaches to memory management and synchronization are described relating to provision of highly robust and highly available servers that can serve multiple requests in parallel. Programming objects can be analyzed at design time by comparison to predefined patterns to identify a set of requirements and rules that must be followed to ensure that all part of a program cooperate. In highly complex programming environments, enforcement of such rules for a program as a whole can be quite difficult. As such, analysis of compliance can desirably occur at a programming object level.

Abstract: In one general aspect, a method can include executing multiple functions calls in parallel, and receiving, by each function call, at least one data object passed as a parameter to the function call, the at least one data object associated with a data sharing mode that defines a restricted subset of allowed operations for performing by the function call on the at least one data object. The method can further include performing, by each function call, at least one operation on the at least one data object, the at least one operation included in the restricted subset of allowed operations, and performing at least one check to ensure that the at least one operation performed by the function call on the at least one data object received by the function call is included in the restricted subset of allowed operations.

Abstract: According to some embodiments, a system and method for determining a value for an error code for a program operation; determining whether the operation supports postponing a determination of an occurrence of an error for the operation; proceeding to evaluate a next operation in an instance the operation does support postponing the determination of an occurrence of an error for the operation; and checking the error code for the operation in an instance the operation does not support postponing the determination of an occurrence of an error for the operation.

Abstract: Approaches to memory management and synchronization are described relating to provision of highly robust and highly available servers that can serve multiple requests in parallel. Programming objects can be analyzed at design time by comparison to predefined patterns to identify a set of requirements and rules that must be followed to ensure that all part of a program cooperate. In highly complex programming environments, enforcement of such rules for a program as a whole can be quite difficult. As such, analysis of compliance can desirably occur at a programming object level.

Abstract: According to some embodiments, a system and method for determining a value for an error code for a program operation; determining whether the operation supports postponing a determination of an occurrence of an error for the operation; proceeding to evaluate a next operation in an instance the operation does support postponing the determination of an occurrence of an error for the operation; and checking the error code for the operation in an instance the operation does not support postponing the determination of an occurrence of an error for the operation.