Detecting infinite loops in a programmable atomic transaction
Disclosed in some examples are systems, methods, devices, and machine-readable mediums to detect and terminate programmable atomic transactions that are stuck in an infinite loop. In order to detect and terminate these transactions, the programmable atomic unit may use an instruction counter that increments each time an instruction is executed during execution of a programmable atomic transaction. If the instruction counter meets or exceeds a threshold instruction execution limit without reaching the termination instruction, the programmable atomic transaction may be terminated, all resources used (e.g., memory locks) may be freed, and a response may be sent to a calling processor.
1. An apparatus comprising:
a programmable atomic unit coupled to a memory controller and comprising a processor, the processor configured to perform operations comprising:
receiving a request to execute a programmable atomic transaction at the programmable atomic unit of the memory controller;
locate instructions of the programmable atomic transaction in a memory of the programmable atomic unit;
execute the instructions of the programmable atomic transaction until an instruction counter exceeds a specified instruction execution limit or until a termination instruction is reached; and if the instruction counter exceeded the specified instruction execution limit, terminating execution of the programmable atomic transaction.
2. The apparatus of claim 1 , wherein the programmable atomic unit is further configured to send a response to a calling processor indicating the termination of the programmable atomic transaction due to the instruction counter exceeding the specified instruction execution limit.
3. The apparatus of claim 1 , wherein the programmable atomic unit is further configured to release a lock on memory resources used during the execution of the programmable atomic transaction upon termination.
4. The apparatus of claim 1 , wherein the memory of the programmable atomic unit includes a partitioned instruction memory, and the instructions of the programmable atomic transaction are located in one or more specified partitions of the instruction memory.
5. The apparatus of claim 1 , wherein the instruction execution limit is received from a process that registers the programmable atomic transaction.
6. The apparatus of claim 1 , wherein the programmable atomic unit is further configured to determine the instruction execution limit by analyzing a count of a number of instructions in the programmable atomic transaction.
7. The apparatus of claim 1 , wherein the processor is further configured to perform operations comprising:
determining that a program counter of the programmable atomic transaction is pointing to an instruction that is in a memory partition with an index that is past a sum of a partition index in which the programmable atomic transaction started and a partition count of the programmable atomic transaction; and
responsive to determining that the program counter of the programmable atomic transaction is pointing to the instruction that is in the memory partition with the index that is past a sum of the partition index in which the programmable atomic transaction started and the partition count of the programmable atomic transaction, terminating the programmable atomic transaction with an error.
8. A method comprising:
at a processor of a programmable atomic unit coupled to a memory controller;
receiving a request to execute a programmable atomic transaction at the programmable atomic unit of the memory controller;
locate instructions of the programmable atomic transaction in a memory of the programmable atomic unit;
execute the instructions of the programmable atomic transaction until an instruction counter exceeds a specified instruction execution limit or until a termination instruction is reached; and if the instruction counter exceeded the specified instruction execution limit, terminating execution of the programmable atomic transaction.
9. The method of claim 8 , wherein the method further comprises sending a response to a calling processor indicating the termination of the programmable atomic transaction due to the instruction counter exceeding the specified instruction execution limit.
10. The method of claim 8 , further comprising releasing a lock on memory resources used during the execution of the programmable atomic transaction upon termination.
11. The method of claim 8 , wherein the memory of the programmable atomic unit includes a partitioned instruction memory, and the instructions of the programmable atomic transaction are located in one or more specified partitions of the instruction memory.
12. The method of claim 8 , wherein the instruction execution limit is received from a process that registers the programmable atomic transaction.
13. The method of claim 8 , further comprising determining the instruction execution limit by analyzing a count of a number of instructions in the programmable atomic transaction.
14. The method of claim 8 , further comprising:
determining that a program counter of the programmable atomic transaction is pointing to an instruction that is in a memory partition with an index that is past a sum of a partition index in which the programmable atomic transaction started and a partition count of the programmable atomic transaction; and
responsive to determining that the program counter of the programmable atomic transaction is pointing to the instruction that is in the memory partition with the index that is past a sum of the partition index in which the programmable atomic transaction started and the partition count of the programmable atomic transaction, terminating the programmable atomic transaction with an error.
15. A non-transitory machine-readable medium, storing instructions, which when executed by a programmable atomic unit coupled to a memory controller, cause the programmable atomic unit to perform operations comprising:
receiving a request to execute a programmable atomic transaction at the programmable atomic unit of the memory controller;
locate instructions of the programmable atomic transaction in a memory of the programmable atomic unit;
execute the instructions of the programmable atomic transaction until an instruction counter exceeds a specified instruction execution limit or until a termination instruction is reached; and if the instruction counter exceeded the specified instruction execution limit, terminating execution of the programmable atomic transaction.
16. The non-transitory machine-readable medium of claim 15 , wherein the operations further comprise sending a response to a calling processor indicating the termination of the programmable atomic transaction due to the instruction counter exceeding the specified instruction execution limit.
17. The non-transitory machine-readable medium of claim 15 , wherein the operations further comprise releasing a lock on memory resources used during the execution of the programmable atomic transaction upon termination.
18. The non-transitory machine-readable medium of claim 15 , wherein the memory of the programmable atomic unit includes a partitioned instruction memory, and the instructions of the programmable atomic transaction are located in one or more specified partitions of the instruction memory.
19. The non-transitory machine-readable medium of claim 15 , wherein the instruction execution limit is received from a process that registers the programmable atomic transaction.
20. The non-transitory machine-readable medium of claim 15 , wherein the operations further comprise:
determining that a program counter of the programmable atomic transaction is pointing to an instruction that is in a memory partition with an index that is past a sum of a partition index in which the programmable atomic transaction started and a partition count of the programmable atomic transaction; and
responsive to determining that the program counter of the programmable atomic transaction is pointing to the instruction that is in the memory partition with the index that is past a sum of the partition index in which the programmable atomic transaction started and the partition count of the programmable atomic transaction, terminating the programmable atomic transaction with an error.