Apparatus, system, and method for reducing shadowed state memory requirements for identifying driver command exceptions in a graphics system
First Claim
Patent Images
1. A method of developing graphics hardware and software, comprising:
- providing a model of a graphics system in which a class of commands has a corresponding abstract state machine representation that includes a set of state variables;
performing semantic processing on said model to generate validation logic capable of utilizing a reduced memory space shadow memory storing state information for performing validation of said class of commands that is smaller in size than a full version of said set of state variables; and
executing driver software issuing commands within said class of commands;
wherein said validation logic utilizes said reduced memory space shadow memory to determine exceptions generated by said driver software, wherein said model is an object model in which the object has an abstract state machine representation defining object behavior and associated object state.
1 Assignment
0 Petitions
Accused Products
Abstract
A graphics processing unit has a reduced memory space shadow memory as a source of state information for performing validation of commands. The reduced memory space shadow memory is smaller in size than a full version of state variables associated with an abstract state machine representation of a class of commands received from a software driver. The reduced memory space shadow memory is used by validation logic to detect exceptions indicative of an illegal command or sequence of commands.
-
Citations
11 Claims
-
1. A method of developing graphics hardware and software, comprising:
-
providing a model of a graphics system in which a class of commands has a corresponding abstract state machine representation that includes a set of state variables; performing semantic processing on said model to generate validation logic capable of utilizing a reduced memory space shadow memory storing state information for performing validation of said class of commands that is smaller in size than a full version of said set of state variables; and executing driver software issuing commands within said class of commands; wherein said validation logic utilizes said reduced memory space shadow memory to determine exceptions generated by said driver software, wherein said model is an object model in which the object has an abstract state machine representation defining object behavior and associated object state. - View Dependent Claims (2, 3)
-
-
4. A method of developing graphics hardware and software, comprising:
-
providing a model of a graphics system in which a class of commands has a corresponding abstract state machine representation that includes a set of state variables; performing semantic processing on said model to generate validation logic capable of utilizing a reduced memory space shadow memory storing state information for performing validation of said class of commands that is smaller in size than a full version of said set of state variables; and executing driver software issuing commands within said class of commands; wherein said validation logic utilizes said reduced memory space shadow memory to determine exceptions generated by said driver software, wherein said semantic processing includes identifying translated forms of state variables having a reduced memory size requirement for use in performing validation. - View Dependent Claims (5, 6)
-
-
7. A method of detecting exceptions generated by a graphics driver, comprising:
-
providing validation logic utilizing a reduced memory space shadow memory, said validation logic validating a class of commands having a corresponding abstract state machine representation with a set of state variables, said reduced memory space shadow memory storing a representation of state information for performing validation of said class of commands that is smaller in size than a full representation of said set of state variables; and testing commands issued by said graphics driver utilizing said validation logic; wherein said validation logic and said reduced memory space shadow memory are disposed in a graphics processing unit, wherein said validation logic and said reduced memory space shadow memory are generated by semantically processing said abstract state machine representation to generate said validation logic capable of utilizing said reduced memory space shadow memory storing a subset of said set of state variables. - View Dependent Claims (8, 9, 10, 11)
-
Specification