Concurrency Management Model Using Software Transactional Memory, Dynamic Data Race Detection, And/Or Thread-Local Garbage Collection

A method comprising:

• responsive to a request to perform a program task that is attempting to apply a modification to a shared data structure that is comprised within a global area of runtime memory that is accessible to a plurality of threads:
• generating a copy of the shared data structure in a transaction area of runtime memory that is allocated for performing the program task through a software memory transaction;
• applying the modification to the copy of the shared data structure that is comprised within the transaction area of runtime memory;
• subsequent to acquiring a lock on the shared data structure that is comprised within the global area of runtime memory:
• performing a check for other accesses to the shared data structure that potentially conflict with mutating the shared data structure through the software memory transaction;
• and
• performing one of:
• (a) based, at least in part, on determining that there is no access to the shared data structure that potentially conflicts with mutating the shared data structure through the software memory transaction:
• updating the shared data structure that is comprised within in the global area of runtime memory to match a mutated state of the copy of the shared data structure that is comprised within in the transaction area of runtime memory;
• or
• (a) based, at least in part, on determining that there is another access to the shared data structure that potentially conflicts with mutating the shared data structure through the software memory transaction:
• aborting the software memory transaction,
• wherein the method is performed by at least one device including a hardware processor.

A system comprising:

• at least one device including a hardware processor;
• the system being configured to perform operations comprising:
• responsive to a request to perform a program task that is attempting to apply a modification to a shared data structure that is comprised within a global area of runtime memory that is accessible to a plurality of threads:
• generating a copy of the shared data structure in a transaction area of runtime memory that is allocated for performing the program task through a software memory transaction;
• applying the modification to the copy of the shared data structure that is comprised within the transaction area of runtime memory;
• subsequent to acquiring a lock on the shared data structure that is comprised within the global area of runtime memory:
• performing a check for other accesses to the shared data structure that potentially conflict with mutating the shared data structure through the software memory transaction;
• and
• performing one of:
• (a) based, at least in part, on determining that there is no access to the shared data structure that potentially conflicts with mutating the shared data structure through the software memory transaction:
• updating the shared data structure that is comprised within in the global area of runtime memory to match a mutated state of the copy of the shared data structure that is comprised within in the transaction area of runtime memory;
• or
• (a) based, at least in part, on determining that there is another access to the shared data structure that potentially conflicts with mutating the shared data structure through the software memory transaction:
• aborting the software memory transaction.