Efficient timestamp solution for analyzing concurrent software systems

A system, comprising:

• a memory, coupled to a processor, comprising a repository comprising:
• a concurrent application comprising a plurality of processes, each comprising a plurality of operations,
• an initial hybrid timestamp for an initial operation of a first process of the plurality of processes, wherein the initial hybrid timestamp comprises an initial vector list timestamp comprising an initial plurality of vector clocks each comprising a clock value for each of the plurality of processes, and
• a next hybrid timestamp for a next operation of the first process, wherein the next hybrid timestamp comprises a differential timestamp relative to the initial hybrid timestamp;
• and
• a timestamp generator executing on the processor configured to:
• determine a first synchronization category for the next operation;
• and
• in response to the first synchronization category indicating that the next operation does not require inter-process synchronization, generate the next hybrid timestamp.

A non-transitory computer readable medium comprising instructions that, when executed by a processor, perform:

• obtaining a concurrent application comprising a plurality of processes, each comprising a plurality of operations;
• obtaining an initial hybrid timestamp for an initial operation of a first process of the plurality of processes, wherein the initial hybrid timestamp comprises an initial vector list timestamp comprising an initial plurality of vector clocks each comprising a clock value for each of the plurality of processes;
• determining a first synchronization category for a next operation of the first process;
• and
• in response to the first synchronization category indicating that the next operation does not require inter-process synchronization, generating a next hybrid timestamp for the next operation, wherein the next hybrid timestamp comprises a differential timestamp relative to the initial hybrid timestamp.