search

santoshn / softboundcets-34

SoftBoundCETS for LLVM+Clang version 34
BSD 3-Clause "New" or "Revised" License
56 stars 17 forks source link

Evaluation on SPEC2006 #9

Open PeimingLiu opened 6 years ago

PeimingLiu commented 6 years ago

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

santoshn commented 6 years ago

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

PeimingLiu commented 6 years ago

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

santoshn commented 2 years ago

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/