softboundcets-34 icon indicating copy to clipboard operation
softboundcets-34 copied to clipboard

Published 20 hours ago • verified publisher icon santoshn

Evaluation on SPEC2006

Open PeimingLiu opened this issue 6 years ago • 3 comments

Hi, I tried to evaluate Softbound on SPEC2006, but it showed a significant overhead (for bzip, 5x slower than native run). Is there any extra optimizations that I have to do to reduce the overhead?

Thanks

PeimingLiu avatar May 26 '18 00:05 PeimingLiu

It is possible that the checks are not getting inlined. Can you check if the checks and softboundcets wrappers are getting inlined?

santoshn avatar May 27 '18 16:05 santoshn

Thanks, I inlined them, and the runtime overhead for bzip2 is now about 1.7x, is it a fair result?

PeimingLiu avatar May 27 '18 17:05 PeimingLiu

1.7X with spatial and temporal safety seems to be in right ballpark. That said, I have not updated this code base in 7 years. You may be interested in Tina Jung's work on eliminating bounds check in the SoftBound context; http://www.prog.uni-saarland.de/projects/pico/

santoshn avatar Nov 13 '21 14:11 santoshn