Thread-safe development in a multi-threaded system
AssigneeMicrosoft Technology Licensing, LLC
InventorJoel Stephen Pritchett
Life of this patent
Estimating the term…
Abstract
A method for thread-safe development of a computer program configured for parallel thread execution comprises maintaining a digital record of read or write access to a data object from each of a plurality of sibling threads executing on a computer system. Pursuant to each instance of read or write access from a given sibling thread, an entry comprising an indicator of the access type is added to the digital record. The method further comprises assessing the thread safety of the read or write access corresponding to each entry in the digital record and identifying one or more thread-unsafe instances of read or write access based on the assessment of thread safety.
Claims20
A method to be executed on a computer system configured for parallel thread execution, the method comprising:
- maintaining a digital record of each instance of read or write access to a data object from each of a plurality of sibling threads executing on the computer system;
- pursuant to each instance of read or write access from a given sibling thread, adding an entry to the digital record, the entry comprising an indicator of access type for the given instance;
- assessing thread safety of the recorded instance of read or write access corresponding to each entry in the digital record;
- and
- identifying one or more thread-unsafe instances of read or write access based on the assessing of thread safety.
A server system comprising:
- a network interface;
- and
- coupled operatively to the network interface, computer memory holding machine-readable instructions that, when executed by a multi-core processing system, cause the multi-core processing system to:
- maintain a digital record of each instance of read or write access to a data object from each of a plurality of sibling threads executing on the multi-core processing system,
- pursuant to each instance of read or write access from a given sibling thread, add an entry to the digital record, the entry comprising an indicator of access type for the given instance,
- assess thread safety of the recorded instance of read or write access corresponding to each entry in the digital record, and
- identify one or more thread-unsafe instances of read or write access based on the assessment of thread safety.
A method to be executed on a computer system configured for parallel thread execution, the method comprising:
- maintaining a digital record of each instance of read or write access to a data object from each of a plurality of sibling threads executing on the computer system;
- pursuant to each instance of read or write access from a given sibling thread, adding an entry to the digital record, the entry comprising an indicator of access type for the given instance;
- assessing thread safety of the recorded instance of read or write access corresponding to each entry in the digital record;
- pursuant to assessing the thread safety, detecting at least one thread-unsafe instance of read or write access;
- and
- reporting the at least one thread-unsafe instance.
Dependencies are inferred from the claim text.