I'd actually used it in my local experiments before you told it has write barrier verification. It worked almost straightforwardly without much intergration efforts. :-)
Thanks, xiaofeng On 8/25/06, Ivan Volosyuk <[EMAIL PROTECTED]> wrote:
The HARMONY-881 patch was submitted quite some time ago. I'm also looking forward to see it integrated. -- Regards, Ivan On 8/25/06, Xiao-Feng Li <[EMAIL PROTECTED]> wrote: > Ivan, Salikh, good idea and thanks for the info. We'd want to apply > the work into Harmony GC. > > Thanks, > xiaofeng > > > On 8/25/06, Salikh Zakirov <[EMAIL PROTECTED]> wrote: > > Ivan Volosyuk wrote: > > > Yes, I have experimented with per-slot verification of write barrier. > > > > > > The idea was the following: each word in java heap has external mirror > > > record. After garbage collection all mirror records are synchronized > > > with the heap. Each write barrier updates mirror record with > > > corresponding data. Before next garbage collection there is a trace > > > for all reachable objects in heap which validates that each slot > > > contains the same data as the mirror. > > > > > > The idea is quite simple. Even that, it helped my find number of > > > places in VM code which have updated slots in heap without call to > > > write barrier. The results of the work are in HARMONY-504. > > > > > > The scheme has one impotant limitation. When several threads write to > > > single slot, this verifier may report false-positive result of missing > > > write barrier. But, I didn't see such situtations in any workloads I > > > have tested it with. > > > > The infrastructure based on the same idea, but independent of GC implementation > > is submitted as HARMONY-881. It provides patch for the VM, which incorporates > > the heap mirroring framework for write barrier verification into the VM core, > > and can work with any garbage collector. > > > > > > --------------------------------------------------------------------- > > Terms of use : http://incubator.apache.org/harmony/mailing.html > > To unsubscribe, e-mail: [EMAIL PROTECTED] > > For additional commands, e-mail: [EMAIL PROTECTED] > > > > > > --------------------------------------------------------------------- > Terms of use : http://incubator.apache.org/harmony/mailing.html > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > > -- Ivan Intel Middleware Products Division --------------------------------------------------------------------- Terms of use : http://incubator.apache.org/harmony/mailing.html To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
--------------------------------------------------------------------- Terms of use : http://incubator.apache.org/harmony/mailing.html To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
