Other

Hewlett-Packard Company

Richard C Johnson

Michael S Schlansker

H Peter Anvin

Linus Torvalds

Andrew Morgan

Shail Aditya Gupta

B Ramakrishna Rau

An architecture, system and method for operating on encrypted and/or hidden information (e.g., code and/or data). The invention enables creators, owners and/or distributors of proprietary code to keep such code inaccessible to users and user-controlled software programs. A memory architecture includes first and second protected memory spaces, respectively storing operating system instructions and a decrypted version of the encrypted information. The first protected memory space may further store a table linking the locations of the encrypted and/or hidden, decrypted information with a decryption and/or authorization key. The system includes the memory architecture and a processor for executing instructions, and the method loads, stores and operates on the encrypted and/or hidden information according to the memory architecture functionality and/or constraints.

Architecture, system, and method for operating on encrypted and/or hidden information

A computer-implemented method automates the design of efficient binary instruction encodings of VLIW instruction formats. The method automatically finds compact instruction formats that can express and exploit the full parallelism specified in the underlying processor microarchitecture, subject to constraints on alignment and decode hardware complexity. The method can be guided by statistics about the composition and frequency of program instructions, so that the instruction format design is customized to a particular set of applications or an application domain.

Automatic design of VLIW instruction formats

A compiler of a predicated code includes a data flow analysis system that manipulates and queries predicate expressions of the predicated code to (1) analyze data flow properties of the predicated code and (2) annotate the predicated code with the analyzed data flow properties. A predicate-sensitive analyzer for a compiler that compiles a predicated code is also described. The predicate-sensitive analyzer includes a scanner that determines local predicate relations of the predicated code. The analyzer also includes a builder that determines global predicate relations of the predicated code. A predicate query system is provided to store the local and global predicate relations of the predicated code and to answer queries about the local and global predicate relations. A method of compiling the predicated code is also described.

Compiling a predicated code with direct analysis of the predicated code

Growing community of inventors

Sunnyvale, CA, United States of America

Richard C Johnson