Hi Julian
> [quick check: you are subscribed to valgrind-developers, yes?
> some messages about thread checking go only there]
Yes since few weeks i am.
> What I can do is to help to provide an evaluation. I can:
>
> * commit the 64-bit SVal patch, so you don't both have to
> include it in your own work
I have done some minor changes in your 64 bit schema as I needed in ShM2
lset, tset and TSegments.
> * fix the signed/unsigned Word problem that is now in hg_wordfm.c
Could be helpful
>
> * try out your patched versions on OOo / Firefox, and compare/
> summarise results.
>
> Is that useful?
This could be very useful to have an overview and compare the MSMs. I am
doing a review on my changes pls use the new patch that I will send you
after my revision.
I will run Konstatntin unittest with "MSMUnika" and will send you the
results.
> One comment about your MSM. It is often possible for memory
> to change from Virgin ("New" is a better name, imo) directly
> to Excl.R. Especially if the application is buggy (reading
> uninitialised memory) or due to compiler tricks, where the
> compiler loads a word from memory, part of which is uninitialised,
> and then does not use the uninitialised part. So you should add
> an edge for this transition to your Figure 1.
In the new version I changed and got a better results. thanks
Ali
-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Valgrind-developers mailing list
Valgrind-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-developers
