Filters








330,588 Hits in 3.3 sec

Performance assertion checking

Sharon E. Perl, William E. Weihl
1993 Proceedings of the fourteenth ACM symposium on Operating systems principles - SOSP '93  
Performance assertion checking is an approach to describing and monitoring the performance of complex software systems.  ...  PSpec is a language and a set of tools that embodies the idea of performance assertion checking. A PSpec user writes performance assertions in the PSpec language.  ...  Assertion Checking Performance assertions are somewhat analogous to functional assertions.  ... 
doi:10.1145/168619.168630 dblp:conf/sosp/PerlW93 fatcat:g6l6elvtnvbqdat5zlxecrh6je

Performance assertion checking

Sharon E. Perl, William E. Weihl
1993 ACM SIGOPS Operating Systems Review  
Performance assertion checking is an approach to describing and monitoring the performance of complex software systems.  ...  PSpec is a language and a set of tools that embodies the idea of performance assertion checking. A PSpec user writes performance assertions in the PSpec language.  ...  Assertion Checking Performance assertions are somewhat analogous to functional assertions.  ... 
doi:10.1145/173668.168630 fatcat:o5jjtq4nhrhljjzs2w3wkub54q

Performance Assertion Checking

Sharon E. Perl
1992 ACM SIGOPS Operating Systems Review  
Performance assertion checking is an approach to describing and monitoring the performance of complex software systems.  ...  PSpec is a language and a set of tools that embodies the idea of performance assertion checking. A PSpec user writes performance assertions in the PSpec language.  ...  Assertion Checking Performance assertions are somewhat analogous to functional assertions.  ... 
doi:10.1145/142111.964626 fatcat:36hb52xzz5e7rb2ifvg74vktgu

Adaptable assertion checking for scientific software components

T.L. Dahlgren
2004 "Software Engineering for High Performance Computing System (HPCS) Applications" W3S Workshop - 26th International Conference on Software Engineering   unpublished
Run-time enforcement of assertions is a well-known technique for improving the quality of software; however, the performance penalty is often too high for their retention during deployment, especially  ...  We present a proposal for lowering the overhead of interface contract checking for science and engineering applications.  ...  When the policy dictates that assertions are not checked, the fast path is taken, which performs only slightly more processing than the method invocation.  ... 
doi:10.1049/ic:20040422 fatcat:ohp5nz3rbrginf6v53zeuq7ei4

Asynchronous assertions

Edward E. Aftandilian, Samuel Z. Guyer, Martin Vechev, Eran Yahav
2011 SIGPLAN notices  
Assertions are a powerful bug detection technique. Traditional assertion checking, however, is performed synchronously, imposing its full cost on the runtime of the program.  ...  Our technique ensures that the assertion checking thread operates on a consistent view of the global state, and that an assertion always produces the same result as it would in a serial execution.  ...  In this paper we show how assertions can be checked asynchronously, greatly reducing checking overhead.  ... 
doi:10.1145/2076021.2048090 fatcat:sb2xwcjjpbdnlkvr4deiizkcda

Asynchronous assertions

Edward E. Aftandilian, Samuel Z. Guyer, Martin Vechev, Eran Yahav
2011 Proceedings of the 2011 ACM international conference on Object oriented programming systems languages and applications - OOPSLA '11  
Assertions are a powerful bug detection technique. Traditional assertion checking, however, is performed synchronously, imposing its full cost on the runtime of the program.  ...  Our technique ensures that the assertion checking thread operates on a consistent view of the global state, and that an assertion always produces the same result as it would in a serial execution.  ...  In this paper we show how assertions can be checked asynchronously, greatly reducing checking overhead.  ... 
doi:10.1145/2048066.2048090 dblp:conf/oopsla/AftandilianGVY11 fatcat:kdxfcpe64fbfhetxgonqtla23u

Improving scientific software component quality through assertions

Tamara L. Dahlgren, Premkumar T. Devanbu
2005 Proceedings of the second international workshop on Software engineering for high performance computing system applications - SE-HPCS '05  
to efficiently maximize assertion checking within performance constraints.  ...  Demonstrating software correctness through assertions is a well-known technique for quality improvement. However, the performance penalty is often considered too high for deployment.  ...  ACKNOWLEDGMENTS We thank Lori Diachin for her simplicial mesh implementation and Lori, Kyle Chand, and Carl Ollivier-Gooch for their help defining the assertion specifications.  ... 
doi:10.1145/1145319.1145341 fatcat:cytcz2wu5jhwhc6r77bhzqtgk4

GC assertions

Edward E. Aftandilian, Samuel Z. Guyer
2009 Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09  
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance problems, such as memory leaks  ...  We report results on both the performance of our system and the experience of using our assertions to find and repair errors in real-world programs.  ...  Run-time checking GC assertions are closely related to program invariants, but differ in the balance between the strength of the guarantees provided and the performance of checking.  ... 
doi:10.1145/1542476.1542503 dblp:conf/pldi/AftandilianG09 fatcat:onh3twnnsrheti5qlad66gtecu

GC assertions

Edward E. Aftandilian, Samuel Z. Guyer
2009 SIGPLAN notices  
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance problems, such as memory leaks  ...  We report results on both the performance of our system and the experience of using our assertions to find and repair errors in real-world programs.  ...  Run-time checking GC assertions are closely related to program invariants, but differ in the balance between the strength of the guarantees provided and the performance of checking.  ... 
doi:10.1145/1543135.1542503 fatcat:32wtoe5mlfhelekcbqk3wpsfoy

GC assertions

Edward Aftandilian, Samuel Z. Guyer
2008 Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08) - MSPC '08  
This paper introduces GC assertions, a system interface that programmers can use to check for errors, such as data structure invariant violations, and to diagnose performance problems, such as memory leaks  ...  We report results on both the performance of our system and the experience of using our assertions to find and repair errors in real-world programs.  ...  Runtime checking GC assertions are closely related to program invariants, but differ in the balance between the strength of the guarantees provided and the performance of checking.  ... 
doi:10.1145/1353522.1353533 dblp:conf/asplos/AftandilianG08 fatcat:tq7bvzgezjhqlibczju4ky4s44

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging [chapter]

Manuel Hermenegildo, Germán Puebla, Francisco Bueno
1999 The Logic Programming Paradigm  
The resulting tool generates and checks assertions for Prolog, CLP(R), and CHIP/CLP(fd) programs, and integrates compile-time and run-time checking in a uniform way.  ...  The results of this process are expressed in the user assertion language. Assertions (or parts of assertions) which cannot be checked statically are translated into run-time tests.  ...  Compile-time checking of assertions is performed in our framework (see Figure 1 ) by a program analyzer (the abstract interpreter) and an assertion comparator.  ... 
doi:10.1007/978-3-642-60085-2_7 fatcat:zup3lsn2cvfkpoo5egu6z4lvky

checkmate: Fast Argument Checks for Defensive R Programming [article]

Michel Lang
2017 arXiv   pre-print
The package is mostly written in C to avoid any unnecessary performance overhead.  ...  The package "checkmate" provides a plethora of functions to check the type and related properties of the most frequently used R objects and variable types.  ...  directly jump into compiled code to perform the assertions directly on the SEXPs.  ... 
arXiv:1701.04781v1 fatcat:ajlrcemzereqrdunyglndilciq

checkmate: Fast Argument Checks for Defensive R Programming

Michel Lang
2017 The R Journal  
The package is mostly written in C to avoid any unnecessary performance overhead.  ...  The package checkmate provides a plethora of functions to check the type and related properties of the most frequently used R objects and variable types.  ...  Related work Many packages contain custom code to perform argument checks.  ... 
doi:10.32614/rj-2017-028 fatcat:lik2urrm5bgenh2f3wbrkyfgka

Reducing the overhead of assertion run-time checks via static analysis

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2016 Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16  
S tarting w ith a s emantics f or p rograms with assertion checking, and for assertion simplification based on static analysis information, we propose and study a number of practical assertion checking  ...  W e also propose techniques for taking advantage of the run-time checking semantics to improve the precision of the analysis. Finally, we study experimentally the performance of these techniques.  ...  or run-time checks). 6 However, if we know that run-time checks will be performed for sure for a certain set of (check) assertions (as, e.g., for all assertions in the Safe-RT execution mode, or the  ... 
doi:10.1145/2967973.2968597 dblp:conf/ppdp/StulovaMH16 fatcat:kxgfgumvojgdhlaciqwrz6bwaa

An Approach to Static Performance Guarantees for Programs with Run-time Checks [article]

Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales, Manuel V. Hermenegildo
2018 arXiv   pre-print
are performed.  ...  Instrumenting programs for performing run-time checking of properties, such as regular shapes, is a common and useful technique that helps programmers detect incorrect program behaviors.  ...  Examples 3 and 4): performance static assertion checking run-time checking instrumentation Original no no (off) Worst no yes (full) Base shfr + eterms yes (opt) and we have performed for each benchmark  ... 
arXiv:1804.02380v1 fatcat:n5g33amwt5ae7mdbp7lnbrkdnm
« Previous Showing results 1 — 15 out of 330,588 results