1. A computer-implemented method to manage a concurrent, asynchronous system, the method being implemented by one or more processors that are associated with a memory, wherein the method comprises: monitoring performance of a plurality of concurrent and asynchronous operations that access one of a plurality of designated regions of the memory; detecting an occurrence of a potentially non-deterministic event in an accessed region of memory that corresponds to occurrence of two or more concurrent and asynchronous operations, of which at least one is a write operation; and recording the occurrence of the potentially non-deterministic event.