|
From: Zhao Q. <qin...@gm...> - 2009-11-06 04:36:08
|
Hi: We plan to run a DynamoRIO Tutorial at MICRO on Dec 12, 2009. Registration information is at the MICRO site: 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 |
|
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 > > |
|
From: Florian K. <br...@ac...> - 2009-11-06 14:02:09
|
On Friday 06 November 2009 02:12:34 am Konstantin Serebryany wrote: > 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. > Cool. What about the program for the workshop ? The website doesn't show it.. Nick, I see you're on the program committee. Would you mind sharing it? Florian |