Dynamically overriding a function based on a capability set

US11720374B1 · kind B1 · utility

Assignee

• MICROSOFT TECHNOLOGY LICENSING, LLC · US

Inventors

• Pranav Kant · Kirkland, US
• Joseph Norman BIALEK · Seattle, US
• Xiang Fan · San Jose, US
• Yongkang Zhu · Bothell, US
• Gabriel Thomas Kodjo Dos Reis · Issaquah, US
• Russell B. Keldorph · Seattle, US
• Mehmet Iyigun · Kirkland, US
• Russell Charles Hadley · Bellevue, US
• Roy Williams · Woodinville, US
• Kenneth D. Johnson · Seattle, US
• Pedro Miguel Sequeira De Justo Teixeira · Kirkland, US
• Yevgeniy Bak · Redmond, US

Key dates

• Filing date: Apr 19, 2022
• Grant date: Aug 8, 2023
• Expiry date: Apr 19, 2042

Classification

• Technology area (CPC G): Physics
• CPC primary: G06F9/4484
• WIPO field: Computer technology
• WIPO sector: Electrical engineering

Abstract

Dynamically overriding a function based on a capability set. A computer system reads a portion of an executable image file. The portion includes a first memory address corresponding to a first callee function implementation. The first memory address was inserted into the portion by a compiler toolchain. Based on extensible metadata included in the executable image file, and based on a capability set that is specific to the computer system, the computer system determines a second memory address corresponding to a second callee function implementation. Before execution of the portion, the computer system modifies the portion to replace the first memory address with the second memory address.