Pathlengths of SPEC benchmarks for PA-RISC, MIPS, and SPARC

2002 ◽  
Author(s):  
L. McMahan ◽  
R. Lee
Keyword(s):  
Spec Benchmarks

An Analysis of MIPS and SPARC Instruction Set Utilization on the SPEC Benchmarks

1991 ◽  
pp. 457-492
Author(s):  
Robert F. Cmelik ◽  
Shing I. Kong ◽  
David R. Ditzel ◽  
Edmund J. Kelly
Keyword(s):  
Instruction Set ◽  
Spec Benchmarks

Evolution and evaluation of SPEC benchmarks

1998 ◽  
Vol 26 (3) ◽  
pp. 2-9 ◽  
Author(s):  
Jozo J. Dujmovic ◽  
Ivo Dujmovic
Keyword(s):  
Spec Benchmarks

scholarly journals Cache profiling and the SPEC benchmarks: a case study

Computer ◽  
1994 ◽  
Vol 27 (10) ◽  
pp. 15-26 ◽  
Author(s):  
A.R. Lebeck ◽  
D.A. Wood
Keyword(s):  
Spec Benchmarks

The SPEC benchmarks

1991 ◽  
Vol 17 (10-11) ◽  
pp. 1195-1209 ◽  
Author(s):  
Kaivalya M. Dixit
Keyword(s):  
Spec Benchmarks

scholarly journals PICO

2021 ◽  
Vol 18 (4) ◽  
pp. 1-27
Author(s):  
Tina Jung ◽  
Fabian Ritter ◽  
Sebastian Hack
Keyword(s):  
Execution Time ◽  
Code Size ◽  
Memory Safety ◽  
Common Solution ◽  
Buffer Overflows ◽  
Code Instrumentation ◽  
Spec Benchmarks ◽  
Memory Accesses ◽  
The Impact ◽  
Time Overhead

Memory safety violations such as buffer overflows are a threat to security to this day. A common solution to ensure memory safety for C is code instrumentation. However, this often causes high execution-time overhead and is therefore rarely used in production. Static analyses can reduce this overhead by proving some memory accesses in bounds at compile time. In practice, however, static analyses may fail to verify in-bounds accesses due to over-approximation. Therefore, it is important to additionally optimize the checks that reside in the program. In this article, we present PICO, an approach to eliminate and replace in-bounds checks. PICO exactly captures the spatial memory safety of accesses using Presburger formulas to either verify them statically or substitute existing checks with more efficient ones. Thereby, PICO can generate checks of which each covers multiple accesses and place them at infrequently executed locations. We evaluate our LLVM-based PICO prototype with the well-known SoftBound instrumentation on SPEC benchmarks commonly used in related work. PICO reduces the execution-time overhead introduced by SoftBound by 36% on average (and the code-size overhead by 24%). Our evaluation shows that the impact of substituting checks dominates that of removing provably redundant checks.

Truth in SPEC benchmarks

1995 ◽  
Vol 23 (5) ◽  
pp. 34-42 ◽  
Author(s):  
Nikki Mirghafori ◽  
Margret Jacoby ◽  
David Patterson
Keyword(s):  
Spec Benchmarks

SPEC Benchmarks

2011 ◽  
pp. 1886-1893
Author(s):  
Jack Dongarra ◽  
Piotr Luszczek ◽  
Felix Wolf ◽  
Jesper Larsson Träff ◽  
Patrice Quinton ◽  
...  
Keyword(s):  
Spec Benchmarks
Sign in / Sign up

Export Citation Format

Share Document