Filters








15 Hits in 3.9 sec

Low-Overhead Interactive Debugging via Dynamic Instrumentation with DISE

M.L. Corliss, E.C. Lewis, A. Roth
11th International Symposium on High-Performance Computer Architecture  
Cycle-level simulation on the SPEC 2000 integer benchmarks shows that the DISE approach eliminates all unnecessary context switching, typically limits debugging overhead to 25% or less for a wide range  ...  Cycle-level simulation on the SPEC 2000 integer benchmarks shows that the DISE approach eliminates all unnecessary context switching, typically limits debugging overhead to 25% or less for a wide range  ...  DISE is a hybrid that marries the flexibility of software with the low overhead of hardware.  ... 
doi:10.1109/hpca.2005.18 dblp:conf/hpca/CorlissLR05 fatcat:ajuujr45m5cahjngdial6wng4e

Efficient remote profiling for resource-constrained devices

Priya Nagpurkar, Hussam Mousa, Chandra Krintz, Timothy Sherwood
2006 ACM Transactions on Architecture and Code Optimization (TACO)  
By guiding low-overhead, hardware-supported sampling according to program phase behavior via HPS, our system is able to collect highly accurate profiles transparently.  ...  HPS efficiently inserts profiling instructions into an executing program using a novel extension to Dynamic Instruction Stream Editing(DISE).  ...  The progenitors of DISE have built DISE utilities for software fault isolation [Corliss et al. 2003b ], dynamic debugging [Corliss et al. 2003b; , and dynamic code decompression [Corliss et al. 2003a  ... 
doi:10.1145/1132462.1132465 fatcat:onemupfjfrcdpej7w5c6p2w62u

HeapMon: A helper-thread approach to programmable, automatic, and low-overhead memory bug detection

R. Shetty, M. Kharbutli, Y. Solihin, M. Prvulovic
2006 IBM Journal of Research and Development  
This paper presents HeapMon, a heap memory bug-detection scheme that has a very low performance overhead, is automatic, and is easy to deploy. HeapMon relies on two new techniques.  ...  Second, it associates a filter bit with each cached word to safely and significantly reduce bug checking frequency-by 95% on average.  ...  In DISE, store instructions are instrumented by dynamically replacing each with a set of instructions at fetch time.  ... 
doi:10.1147/rd.502.0261 fatcat:5d4iluou6ncyzmbfe7blhx7loy

Quantifying the Potential of Program Analysis Peripherals

Mohit Tiwari, Shashidhar Mysore, Timothy Sherwood
2009 2009 18th International Conference on Parallel Architectures and Compilation Techniques  
While many issues still remain with such an approach, we demonstrate that program analysis speedups of 29% to 440% could be achieved today with strictly off-the-shelf components on some of the state-of-the-art  ...  Using this prototype we characterize the potential of such a system to both accelerate existing software development tools and enable a new class of heavyweight dynamic analysis.  ...  The key to implementing our prototype with low overhead is carefully optimizing the low level aspects of the instrumentation, managing the virtual address space, and exploiting the full potential of the  ... 
doi:10.1109/pact.2009.38 dblp:conf/IEEEpact/TiwariMS09 fatcat:nwjm5o5f3rfvrgnxnrjy475rvq

Log-based architectures

Shimin Chen, Phillip B. Gibbons, Michael Kozuch, Todd C. Mowry
2011 ACM SIGOPS Operating Systems Review  
debug cycles.  ...  Lifeguards are typically written today using dynamic binary instrumentation frameworks such as Valgrind or Pin.  ...  We incorporated our approach into both LBA's logging mechanism from Section 3 and a lifeguard platform based on dynamic binary instrumentation (Valgrind) [24] .  ... 
doi:10.1145/1945023.1945034 fatcat:rilpizgqlnetdophuh6ttfgks4

Profile-guided proactive garbage collection for locality optimization

Wen-ke Chen, Sanjay Bhansali, Trishul Chilimbi, Xiaofeng Gao, Weihaw Chuang
2006 Proceedings of the 2006 ACM SIGPLAN conference on Programming language design and implementation - PLDI '06  
We want efficient low-overhead run-time performance of these checks and synchronization so that it can be left on all of the time, even in production code releases.  ...  It can serve two purposes: it can assist debugging by precisely capturing invalid memory accesses, and it can guarantee protection against buffer overflow attacks.  ...  But DISE has not looked at providing complete bounds The memory subsystem can be modified to protect memory regions for debugging.  ... 
doi:10.1145/1133981.1134021 dblp:conf/pldi/ChenBCGC06 fatcat:bnv6i26dnfaj3fel6vudd2ut3u

Profile-guided proactive garbage collection for locality optimization

Wen-ke Chen, Sanjay Bhansali, Trishul Chilimbi, Xiaofeng Gao, Weihaw Chuang
2006 SIGPLAN notices  
We want efficient low-overhead run-time performance of these checks and synchronization so that it can be left on all of the time, even in production code releases.  ...  It can serve two purposes: it can assist debugging by precisely capturing invalid memory accesses, and it can guarantee protection against buffer overflow attacks.  ...  But DISE has not looked at providing complete bounds The memory subsystem can be modified to protect memory regions for debugging.  ... 
doi:10.1145/1133255.1134021 fatcat:rdddng3bj5fdfprxfg6ut3dg3y

How to Do a Million Watchpoints: Efficient Debugging Using Dynamic Instrumentation [chapter]

Qin Zhao, Rodric Rabbah, Saman Amarasinghe, Larry Rudolph, Weng-Fai Wong
Lecture Notes in Computer Science  
It does this in software and hence provides a portable debugging environment. It is also well suited for interactive debugging because of its low overhead.  ...  This paper introduces the new concept of Efficient Debugging using Dynamic Instrumentation (EDDI).  ...  The low overhead makes EDDI practical for interactive debugging.  ... 
doi:10.1007/978-3-540-78791-4_10 dblp:conf/cc/ZhaoRARW08 fatcat:xncarchaeva2noginosuijnzwy

Managing software evolution through semantic history slicing

Yi Li
2017 2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE)  
It is amazing to see how far I have come with all her generous help. I have also been privileged to work closely with Julia Rubin.  ...  Many of the initial ideas of this thesis came from a discussion with her five years ago.  ...  The software projects we experimented with are relatively large in size (30 to 190 KLOC). Instrumenting the entire project and tracing test execution end-to-end with Daikon is often impractical.  ... 
doi:10.1109/ase.2017.8115722 dblp:conf/kbse/Li17 fatcat:zkrpia6wbfdglcxvcv57ladsda

The BORG

Matthias Neugschwandtner, Paolo Milani Comparetti, Istvan Haller, Herbert Bos
2015 Proceedings of the 5th ACM Conference on Data and Application Security and Privacy - CODASPY '15  
In this work, we introduce the BORG (Buffer Over-Read Guard), a testing tool that uses static and dynamic program analysis, taint propagation and symbolic execution to detect buffer overread bugs in real-world  ...  Two components constantly interact with the symbolic executor: guidance and detection.  ...  For instance, when symbolic input arrives via a network socket, it has to pass through all of the network stack in the kernel, adding significant overhead in symbolic execution.  ... 
doi:10.1145/2699026.2699098 dblp:conf/codaspy/Neugschwandtner15 fatcat:2gitoroosrdafplnaswr2rysc4

Improving Device Driver Reliability through Decoupled Dynamic Binary Analyses

Olatunji O. Ruwase
2018
In contrast to prior techniques which focused on preventing unsafe driver interactions (e.g., with the OS kernel), my thesis is that checking a driver's execution for correctness violations results in  ...  The results show that with hardware-assisted logging for decoupling the heavyweight analyses from driver execution, standard I/O workload [...]  ...  low-level programming.  ... 
doi:10.1184/r1/6720107 fatcat:4amiok5v5neuxjq3oul4a7kox4

Handbook of environmental engineering

2016 ChoiceReviews  
These Impurities (eN(Cept glass) mostly influence the conductivity of the mater- Coulomb Interaction with the nucleus clvtiit a!  ...  AD first is 'Lo choose a material with a low specific , !.!l0UIS.  ...  and instrumentation.  ... 
doi:10.5860/choice.195878 fatcat:shks3yuh4vfwrlz24nnfhcufma

Hybrid Differential Software Testing

Yannic Noller, Humboldt-Universität Zu Berlin
2020
The first analysis type would execute different program versions with the same input, while the second type would execute the same program with different inputs.  ...  Die systematische Analyse basiert auf Dynamic Symbolic Execution, das konkrete Eingaben bei der Analyse integrieren kann.  ...  Therefore, not the complete binary is instrumented so that the execution overhead is kept low.  ... 
doi:10.18452/21968 fatcat:5kj62c6shvhbbi45qsfgpyia7q

The development and evaluation of an andragogic training programme for small business retailers

Cliff Kotzé, Gavin Staude
1996 Development Southern Africa  
The Ciskei Small Business Corporation was also instrumental in assisting Ciskeians to establish small businesses.  ...  Ciskei with its unemployment problem, low productivity, rapidly nsmg population, low educational levels, lack of job opportunities, lack of large scale 55 industry  ... 
doi:10.1080/03768359608439877 fatcat:2uxugkuhnncy3dk5hfoaxiwh6u

Combining Objective and Subjective Data in Evaluation of Spoken Dia-logues

Lars Larsen, Bo, Lars Larsen
1996 Appendix C 1 "Voice Controlled Home Banking-Objectives and Experiences of the Esprit Ovid Project   unpublished
Similarly, efforts have been made by to extend PARA-DISE to handle multi modal interaction.  ...  In the case of the OVID field trial, the user interacts with the system from a remote location via the phone.  ...  Another plausible explanation is that spoken interaction simply isn't competitive in terms of functionality, speed, convenience, privacy, etc.  ... 
fatcat:z7pnynaavnhjfly4uyrn363ai4