|
From: Konstantin S. <kon...@gm...> - 2009-11-06 07:13:06
|
On Fri, Nov 6, 2009 at 7:35 AM, Zhao Qin <qin...@gm...> 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 > Val...@li... > https://lists.sourceforge.net/lists/listinfo/valgrind-users > > |