Shared Resource Mutual Exclusiveness Checking in Technical Computing

Solution Overview

Problem

In modeling environments, shared resources can lead to issues when multiple resources attempt to access them simultaneously, resulting in non-mutually exclusive access, which can cause problems during system simulation and analysis.

Innovation Solution

A technical computing environment (TCE) is implemented to identify shared resources in models, determine if they are accessed mutually exclusively, generate results indicating access status, and output these results, using array-based programming and execution control graphs to analyze access patterns.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Quantity of substance

If shared resources are used in models, then the number of resources required is reduced, but the reliability of the model decreases due to potential non-mutually exclusive access conflicts

Engineering Contradiction:

Improvenumber of resourcesVSAvoidmodel reliability

Core Design Contradiction:

Quantity of substanceVSReliability

Solution Approach 1:

The system performs preliminary analysis during model compilation to identify shared resources and determine their access patterns before execution. By pre-analyzing the model structure and resource access relationships, the system can detect potential conflicts early and provide warnings or suggestions to resolve them, ensuring reliable model execution while still allowing shared resource usage for efficiency

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The system provides feedback to users about shared resource access patterns and potential conflicts. By analyzing the model and generating reports on resource sharing issues, the system enables users to make informed decisions about resource allocation and access control, balancing resource efficiency with model reliability

Inventive Principle:

Principle #23Feedback

2Productivity

If multiple resources access shared resources simultaneously, then the productivity of the model increases, but harmful factors increase due to access conflicts

Engineering Contradiction:

Improvemodel execution efficiencyVSAvoidaccess conflicts

Core Design Contradiction:

ProductivityVSObject-generated harmful factors

Solution Approach 1:

The system performs preliminary analysis during model compilation to identify shared resources and determine their access patterns before execution. By pre-analyzing the model structure and resource access relationships, the system can detect potential conflicts early and provide warnings or suggestions to resolve them, ensuring reliable model execution while still allowing shared resource usage for efficiency

Inventive Principle:

Principle #10Preliminary action

Solution Approach 2:

The system acts as an intermediary by providing automated analysis tools that examine resource access patterns and identify conflicts. This intermediary analysis layer between model creation and execution helps users understand and resolve potential access conflicts without preventing simultaneous resource usage, thus maintaining productivity while reducing harmful access conflicts

Inventive Principle:

Principle #24Intermediary (Mediator)

Data Source

PatentUS8234647B1Checking for mutual exclusiveness of a shared resource

Publication Date: 2012.07.31 MATHWORKS INC

AI summary

In an embodiment, a technique that may be used to report whether a shared resource in a model is accessed on a mutually exclusive basis by two or more resources in the model. The technique may include identifying the shared resource, determining if the shared resource is accessed on a mutual exclusive basis, generating a result based on the determination, and outputting the result.