On Fri, Nov 6, 2009 at 7:35 AM, Zhao Qin <[email protected]> wrote:
> Hi:
>
>
> We plan to run a DynamoRIO Tutorial at MICRO on Dec 12, 2009. Registration
> information is at the MICRO site:
>
Awesome!
At the same day in the morning there will be the Workshop on Binary
Instrumentation and Applications,
where we plan to present ThreadSanitizer, a Valgrind-based race detector.
Here is the abstract:
Multithreading has become nearly unavoidable nowadays.
With multithreading you get many benefits, such as greater
throughput and smaller latency. But you also get new kinds
of bugs. Data races is a particularly unpleasant kind of
threading bugs. They are hard to find and reproduce – you
may not observe the bug during the entire testing cycle and
will only see it in production as rare unexplainable failures.
This paper presents ThreadSanitizer – a dynamic detector
of data races. We describe the hybrid algorithm (based on
happens-before and locksets) used in the detector. We intro-
duce the dynamic annotations – a sort of race detection API
that allows a user to inform the detector about any tricky
synchronization in the user program. Various practical as-
pects of using ThreadSanitizer to test multithreaded C++
code at Google are also discussed.
--kcc
>
> http://www.microarch.org/micro42/
>
>
>
> DynamoRIO is a runtime code manipulation system that supports code
> transformations on any part of a program, while it executes.
>
> More detailed information about DynamoRIO is available here:
>
>
>
> http://dynamorio.org/
>
>
>
> We have a blurb on the tutorial here:
>
>
>
> http://dynamorio.org/tutorial.html
>
>
>
> One of the large, real-world tools we'll use as an example is Dr. Memory, a
> Valgrind Memcheck-ish tool that works on both Windows and Linux.
>
> It currently has an Alpha release for Windows:
>
>
>
> http://dynamorio.org/drmemory.html
>
>
>
> The abstract of the tutorial:
>
>
>
> This tutorial will present the DynamoRIO tool platform and describe how to
> use its API to build custom tools that utilize dynamic code manipulation for
> instrumentation, profiling, analysis, optimization, introspection, security,
> and more. The DynamoRIO tool platform was first released to the public in
> June 2002 and has since been used by many researchers to develop systems
> ranging from taint tracking to prefetch optimization. DynamoRIO is now
> publicly available in open source form. It handles large, complex,
> real-world applications on both Windows and Linux on the IA-32 and
>
> AMD64/Intel-64 platforms.
>
>
>
> The tutorial will describe the full range of DynamoRIO's powerful API,
> which abstracts away the details of the underlying infrastructure and allows
> the tool builder to concentrate on analyzing or modifying the application's
> runtime code stream. We will give many examples and highlight differences
> between DynamoRIO and other tool platforms. We will also seek feedback on
> how we can improve the DynamoRIO API.
>
>
>
> Best Regards
>
> Qin
>
>
>
>
> ------------------------------------------------------------------------------
> Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
> trial. Simplify your report design, integration and deployment - and focus
> on
> what you do best, core application coding. Discover what's new with
> Crystal Reports now. http://p.sf.net/sfu/bobj-july
> _______________________________________________
> Valgrind-users mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/valgrind-users
>
>
------------------------------------------------------------------------------
Let Crystal Reports handle the reporting - Free Crystal Reports 2008 30-Day
trial. Simplify your report design, integration and deployment - and focus on
what you do best, core application coding. Discover what's new with
Crystal Reports now. http://p.sf.net/sfu/bobj-july
_______________________________________________
Valgrind-users mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/valgrind-users
