Hardware Support for Dynamic Type Checking
Principal Investigator: Luis Ceze
Dynamically typed languages have become a de-facto standard for web-based applications. Generating efficient code for dynamically typed languages, however, is a challenge because such languages require frequent dynamic type checks. An average of 12.9% of the instructions of a typical program relate to type checks. The overall efficiency of such a program could be greatly improved by improving the efficiency of type checking. Additionally, embedded processors do not typically employ the traditionally used heavy-weight architectural techniques for improving code execution efficiency. A light-weight architecture that can improve the execution efficiency of dynamically typed languages would be very useful for mobile computing devices.
• A computing device configured to execute dynamically typed programming languages.
• A method of performing type checking during the execution of a program in a dynamically typed programming language.
• A method for predicting a result of the comparison of the type tag.
• This invention improves the efficiency of type checking.
• This system and method would increase efficiency of type checking for mobile computing devices.
• This innovation provides a light-weight architecture for improving execution efficiency of dynamically typed languages.
For more info, contact: Laura Dorsey
swap_vertical_circlecloud_downloadDownloads (0)Files marked with an asterix (*) can only be downloaded by users that have the appropriate product licence. The license must be active and you must be logged into your account.