Abstract
Finding race condition faults in multi-threaded programs now running on multi-core processors is akin to the proverbial needle in a haystack problem. This research narrows the search space by implementing a novel method of modulating the relative execution difference between potential conflicting threads in a deterministic way. Various methods including hardware and software simulation methods were explored. The results of finding lucrative execution speed differences was experimentally performed, and the results are discussed in this paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
The Undocumented PC: A programmers Guide to I/O, CPU’s, and Fixed Memory Areas, Chap. 15, 2nd edn. In: van Gilluwe, F. (ed.) CMOS Memory and Real-Time Clock
Cowan, C., Beattie, S., Wright, C., Kroah-Hartman, G.: RaceGuard: kernel protection from temporary file race vulnerabilities
Bishop, M., Digler, M.: Checking for race conditions in file accesses. Computing Systems 9(2), 131–152 (1996). http://olympus.cs.ucdavis.edu/bishop/scriv/index.html
Zalewski, M.: “Delivering Signals for Fun and Profit” understanding, exploiting and preventing signal-handling related vulnerabilities. http://lcamtuf.coredump.cx/signals.txt
A Practitioner’s Guide to Software Test Design, Secure Programming with Static Analysis
McGraw, G., Viega, J.: Building secure software: how to avoid security problems the right way. http://www.informit.com/articles/article.aspx?p=23947
David Wheeler at IBM’s Institute for Defense, Secure Programmer: Prevent Race Conditions. http://www.ibm.com/developerworks/library/l-sprace/index.html
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Popyack, L., Biernat, J. (2017). Race Condition Faults in Multi-core Systems. In: Rak, J., Bay, J., Kotenko, I., Popyack, L., Skormin, V., Szczypiorski, K. (eds) Computer Network Security. MMM-ACNS 2017. Lecture Notes in Computer Science(), vol 10446. Springer, Cham. https://doi.org/10.1007/978-3-319-65127-9_9
Download citation
DOI: https://doi.org/10.1007/978-3-319-65127-9_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-65126-2
Online ISBN: 978-3-319-65127-9
eBook Packages: Computer ScienceComputer Science (R0)