Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[trace] avoid Paje inconsistencies by forcing the generation of a time-ordered trace...
authorschnorr <Lucas.Schnorr@imag.fr>
Tue, 3 Apr 2012 08:51:19 +0000 (10:51 +0200)
committerschnorr <Lucas.Schnorr@imag.fr>
Tue, 3 Apr 2012 08:51:19 +0000 (10:51 +0200)
details:
- this might come with a performance penalty.
If so, set tracing/buffer to zero, and sort the trace afterward.


No differences found