Transactional memory compatibility management

US8266604B2 · kind B2 · utility

Assignee

• Microsoft Corporation · US

Inventors

• Dana Groff · Redmond, US
• Yosseff Levanoni · Redmond, US
• Stephen Toub · Seattle, US
• Michael M. Magruder · Issaquah, US
• Weirong Zhu · Issaquah, US
• Timothy L. Harris · Cambridge, GB
• Christopher W. Dern · Kirkland, US
• John Duffy · Renton, US
• David L. Detlefs · Westford, US
• Martin Abadi · Palo Alto, US
• Sukhdeep Singh Sodhi · San Jose, US
• Lingli Zhang · Goleta, US
• Alexander Dadiomov · Redmond, US
• Vinod Grover · Mercer Island, US

Key dates

• Filing date: Jan 26, 2009
• Grant date: Sep 11, 2012
• Expiry date: Jul 15, 2031

Classification

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

Abstract

Transactional memory compatibility type attributes are associated with intermediate language code to specify, for example, that intermediate language code must be run within a transaction, or must not be run within a transaction, or may be run within a transaction. Attributes are automatically produced while generating intermediate language code from annotated source code. Default rules also generate attributes. Tools use attributes to statically or dynamically check for incompatibility between intermediate language code and a transactional memory implementation.