Version-Controlled Concurrency Management

A method comprising:

• responsive to a first thread attempting to access a direct-write field in a target object of one or more objects:
• determining that a first copy of the one or more objects corresponds to a first version of the one or more objects, the first copy of the one or more objects comprised within a first section of runtime memory that is (a) exposed to the first thread and (b) not exposed to a second thread, wherein the first copy of the one or more objects comprises a first copy of the target object;
• determining that a second copy of the one or more objects corresponds to a second version of the one or more objects, the second copy of the one or more objects residing in a shared area of the runtime memory that is exposed to a plurality of threads comprising the first thread and the second thread, wherein determining that the second copy of the one or more objects corresponds to the second version of the one or more objects comprises traversing one or more pointers linking (a) the direct-write field in the first copy of the target object to (b) a second object that represents the second version of the one or more objects;
• based on comparing the first version of the one or more objects to the second version of the one or more objects, determining that the first version is not the second version;
• responsive to determining that the first version is not the second version:
• identifying a first mutation that the first thread applied to the first copy of the one or more objects;
• identifying a second mutation that the second thread committed to the second copy of the one or more objects;
• and
• determining that the first mutation conflicts with the second mutation,
• wherein the method is performed by at least one device including a hardware processor.

A system comprising:

• one or more hardware processors;
• one or more non-transitory computer-readable media;
• and
• program instructions stored on the one or more non-transitory computer-readable media which, when executed by the one or more hardware processors, cause the system to perform operations comprising:
• responsive to a first thread attempting to access a direct-write field in a target object of one or more objects:
• determining that a first copy of the one or more objects corresponds to a first version of the one or more objects, the first copy of the one or more objects comprised within a first section of runtime memory that is (a) exposed to the first thread and (b) not exposed to a second thread, wherein the first copy of the one or more objects comprises a first copy of the target object;
• determining that a second copy of the one or more objects corresponds to a second version of the one or more objects, the second copy of the one or more objects residing in a shared area of the runtime memory that is exposed to a plurality of threads comprising the first thread and the second thread, wherein determining that the second copy of the one or more objects corresponds to the second version of the one or more objects comprises traversing one or more pointers linking (a) the direct-write field in the first copy of the target object to (b) a second object that represents the second version of the one or more objects;
• based on comparing the first version of the one or more objects to the second version of the one or more objects, determining that the first version is not the second version;
• responsive to determining that the first version is not the second version:
• identifying a first mutation that the first thread applied to the first copy of the one or more objects;
• identifying a second mutation that the second thread committed to the second copy of the one or more objects;
• and
• determining that the first mutation conflicts with the second mutation.