On Sep 29, 4:14=A0pm, "Chris M. Thomasson" <n...@[EMAIL PROTECTED]
> wrote:
> > I have to admit, the content of the file that Relacy outputted to was
a
> > bit overwhelming at first... Then I read it VERY carefully, and over
an=
d
> > over again; things became crystal clear. My only suggestion, would be
t=
o
> > create a manual on how to efficiently decipher the error output of
Rela=
cy
> > Dmitriy; that would have saved me some time indeed. Perhaps create a
mo=
de
> > in which the output can be a little bit more "narrowed/focused"
somewha=
t.
> > Humm... Anyway, GREAT piece of work Dmitriy; seriously!
>
> [...]
>
> Dmitriy, maybe Relacy could create _two_ re****ts...
>
> 1. Detailed; narrative style...
>
> 2. Action-Items; referring to points within the narrative re****t.
>
> Humm... Does that sound Kosher to you?
Chris, thank you for such kind words and countenance.
I am always ready to consider all suggestions. Can you provide example
how execution history must look according to your proposal?
Btw, I have some items related to execution history in my todo list:
- for load operation output which store writes value returned by the
load operation.
- output happens-before matrix for all operations
- output what operations cause data race
What do you think? Do you find those improvements useful?
Dmitriy V'jukov
|
