Memory Issues in Hardware-Supported Software Safety
作者： Diana Keen , Frederic T. Chong , Premkumar Devanbu , Matthew Farrens , Jeremy Brown
DOI: 10.1007/978-1-4419-8987-1_7
关键词:
摘要: Rising chip densities have led to dramatic improvements in the costperformance ratio of processors. At same time, software costs are burgeoning. Large systems expensive develop and riddled with errors. Certain types defects (e.g., those related memory access, concurrency, security) particularly difficult locate can devastating consequences. We believe it is time explore using some increasing silicon real estate provide extra functionality support development. propose dedicating a portion these new transistors hardware structures enhance development, make debugging more efficient, increase reliability, run-time security.
springer.com
sci-hub.st 参考文章(16)
Paul H. J. Kelly, Richard W. M. Jones, Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs Proceedings of the 3rd International Workshop on Automatic Debugging; 1997 (AADEBUG-97). pp. 13- 26 ,(1997)
Eric S. Raymond, Bob Young, The Cathedral and the Bazaar: Musings on Linux and Open Source by an Accidental Revolutionary cbml. ,(2001)
Eric A. Brewer, Alexander Aiken, David A. Wagner, Jeffrey S. Foster, A First Step Towards Automated Detection of Buffer Overrun Vulnerabilities. network and distributed system security symposium. ,(2000)
Jr. Allen B. Tucker, The Computer Science and Engineering Handbook ,(2005)
Todd M. Austin, Scott E. Breach, Gurindar S. Sohi, Efficient detection of all pointer and array access errors programming language design and implementation. ,vol. 29, pp. 290- 301 ,(1994) , 10.1145/178243.178446
Dan S. Wallach, Andrew W. Appel, Edward W. Felten, SAFKASI: a security mechanism for language-based systems ACM Transactions on Software Engineering and Methodology. ,vol. 9, pp. 341- 378 ,(2000) , 10.1145/363516.363520
George C. Necula, Proof-carrying code symposium on principles of programming languages. pp. 106- 119 ,(1997) , 10.1145/263699.263712
HARISH PATIL, CHARLES FISCHER, Low-cost, concurrent checking of pointer and array accesses in C programs Software - Practice and Experience. ,vol. 27, pp. 87- 110 ,(1997) , 10.1002/(SICI)1097-024X(199701)27:1<87::AID-SPE78>3.0.CO;2-P
Robert Wahbe, Steven Lucco, Thomas E. Anderson, Susan L. Graham, Efficient software-based fault isolation symposium on operating systems principles. ,vol. 27, pp. 203- 216 ,(1993) , 10.1145/168619.168635
Zhichen Xu, Thomas Reps, Barton P. Miller, Typestate Checking of Machine Code european symposium on programming. pp. 335- 351 ,(2001) , 10.1007/3-540-45309-1_22