Critical section speedup using help-enabled locks
A first data accessor acquires a lock associated with a critical section. The first data accessor initiates a help session associated with a first operation of the critical section. In the help session, a second data accessor (which has not acquired the first lock) performs one or more sub-operations of the first operation. The first data accessor releases the lock after at least the first operation has been completed.
1. A computer-implemented method, comprising:
determining, based on one or more criteria, that (a) a first operation of a plurality of operations of a critical section is to be performed exclusively by a first data accessor which holds a first lock associated with the critical section and (b) a second operation of the plurality of operations of the critical section is to be performed in a first help session while the first data accessor holds the first lock, wherein during the first help session, one or more other data accessors are permitted to perform individual ones of a plurality of sub-operations of the second operation;
performing, by the first data accessor, the first operation; and
performing, during the first help session while the first data accessor holds the first lock, by a second data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of the second operation.
2. The computer-implemented method as recited in claim 1 , further comprising:
performing, exclusively by the first data accessor, after the first help session is completed, a third operation of the critical section; and
performing, during a second help session, by a third data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of a fourth operation of the critical section, wherein the second help session is started after the third operation is performed by the first data accessor.
3. The computer-implemented method as recited in claim 1 , further comprising:
performing, during the first help session, another sub-operation of the second operation by a third data accessor which has (a) requested the first lock and has not been granted the first lock and (b) determined that a limit on the number of data accessors participating in the first help session has not been exceeded.
4. The computer-implemented method as recited in claim 1 , further comprising:
performing, during the first help session, by the first data accessor, another sub-operation of the second operation.
5. The computer-implemented method as recited in claim 1 , further comprising:
determining, based at least in part on identifying (a) the first operation as a single-threaded operation and (b) the second operation as a parallelizable operation, that a criterion of the one or more criteria has been satisfied.
6. The computer-implemented method as recited in claim 1 , further comprising:
determining, based at least in part on an overhead associated with dividing the first operation into sub-operations which can be performed by other data accessors, that a criterion of the one or more criteria has been satisfied.
7. The computer-implemented method as recited in claim 1 , further comprising:
obtaining, from the first lock by the second data accessor, an indication of the particular sub-operation.
8. A system, comprising:
one or more computing devices;
wherein the one or more computing devices include instructions that upon execution on or across the one or more computing devices cause the one or more computing devices to:
determine, based on one or more criteria, that (a) a first operation of a plurality of operations of a critical section is to be performed exclusively by a first data accessor which holds a first lock associated with the critical section and (b) a second operation of the plurality of operations of the critical section is to be performed in a first help session while the first data accessor holds the first lock, wherein during the first help session, one or more other data accessors are permitted to perform individual ones of a plurality of sub-operations of the second operation;
perform, by the first data accessor, the first operation; and
perform, during the first help session while the first data accessor holds the first lock, by a second data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of the second operation.
9. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
perform, exclusively by the first data accessor, after the first help session is completed, a third operation of the critical section; and
perform, during a second help session, by a third data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of a fourth operation of the critical section, wherein the second help session is started after the third operation is performed by the first data accessor.
10. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
perform, during the first help session, another sub-operation of the second operation by a third data accessor which has (a) requested the first lock and has not been granted the first lock and (b) determined that a limit on the number of data accessors participating in the first help session has not been exceeded.
11. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
perform, during the first help session, by the first data accessor, another sub-operation of the second operation.
12. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
determine, based at least in part on identifying (a) the first operation as a single-threaded operation and (b) the second operation as a parallelizable operation, that a criterion of the one or more criteria has been satisfied.
13. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
determine, based at least in part on an overhead associated with dividing the first operation into sub-operations which can be performed by other data accessors, that a criterion of the one or more criteria has been satisfied.
14. The system as recited in claim 8 , wherein the one or more computing devices include further instructions that upon execution on or across the one or more computing devices further cause the one or more computing devices to:
obtain, from the first lock by the second data accessor, an indication of the particular sub-operation.
15. One or more non-transitory computer-accessible storage media storing program instructions that when executed on or across one or more processors cause the one or more processors to:
determine, based on one or more criteria, that (a) a first operation of a plurality of operations of a critical section is to be performed exclusively by a first data accessor which holds a first lock associated with the critical section and (b) a second operation of the plurality of operations of the critical section is to be performed in a first help session while the first data accessor holds the first lock, wherein during the first help session, one or more other data accessors are permitted to perform individual ones of a plurality of sub-operations of the second operation;
perform, by the first data accessor, the first operation; and
perform, during the first help session while the first data accessor holds the first lock, by a second data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of the second operation.
16. The one or more non-transitory computer-accessible storage media as recited in claim 15 , storing further program instructions that when executed on or across the one or more processors further cause the one or more processors to:
perform, exclusively by the first data accessor, after the first help session is completed, a third operation of the critical section; and
perform, during a second help session, by a third data accessor which has requested the first lock and has not been granted the first lock, a particular sub-operation of a fourth operation of the critical section, wherein the second help session is started after the third operation is performed by the first data accessor.
17. The one or more non-transitory computer-accessible storage media as recited in claim 15 , storing further program instructions that when executed on or across the one or more processors further cause the one or more processors to:
perform, during the first help session, another sub-operation of the second operation by a third data accessor which has (a) requested the first lock and has not been granted the first lock and (b) determined that a limit on the number of data accessors participating in the first help session has not been exceeded.
18. The one or more non-transitory computer-accessible storage media as recited in claim 15 , storing further program instructions that when executed on or across the one or more processors further cause the one or more processors to:
perform, during the first help session, by the first data accessor, another sub-operation of the second operation.
19. The one or more non-transitory computer-accessible storage media as recited in claim 15 , storing further program instructions that when executed on or across the one or more processors further cause the one or more processors to:
determine, based at least in part on identifying (a) the first operation as a single-threaded operation and (b) the second operation as a parallelizable operation, that a criterion of the one or more criteria has been satisfied.
20. The one or more non-transitory computer-accessible storage media as recited in claim 15 , storing further program instructions that when executed on or across the one or more processors further cause the one or more processors to:
determine, based at least in part on an overhead associated with dividing the first operation into sub-operations which can be performed by other data accessors, that a criterion of the one or more criteria has been satisfied.