A Tag-Based Solution for Safer Parallel STL Usage

[1] H. Sutter et al., “The free lunch is over: A fundamental turn toward concurrency in software,” Dr. Dobb’s journal, vol. 30, no. 3, pp. 202–210, 2005, visited 2022-10-14. [Online]. Available: http://gotw.ca/publications/concurrency-ddj.htm Search in Google Scholar

[2] “ISO/IEC 14882:2020 – Programming languages C++,” visited 2022-05-20. [Online]. Available: http://iso.org/standard/79358.html Search in Google Scholar

[3] “Working draft – Standard for Programming language C++,” visited 2022-05-20. [Online]. Available: http://eel.is/c++draft Search in Google Scholar

[4] D. van de Voorde, N. M. Josuttis, and D. Gregor, “C++ Templates: The Complete Guide (2nd Edition),” 2nd ed. Addison-Wesley Professional, 09 2017. [Online]. Available: http://tmplbook.com Search in Google Scholar

[5] D. R. Musser and A. A. Stepanov, “Algorithm-oriented generic libraries,” Software: Practice and Experience, vol. 24, no. 7, pp. 623–642, 1994. [Online]. Available: http://stepanovpapers.com/musser94algorithmoriented.pdf Search in Google Scholar

[6] J. Coplien, “Multiparadigm design and implementation in C++,” in TOOLS Europe 1999: 29th International Conference on Technology of Object-Oriented Languages and Systems, 7-10 June 1999, Nancy, France. IEEE Computer Society, 1999, p. 408. [Online]. Available: http://doi.ieeecomputersociety.org/10.1109/TOOLS.1999.10007 Search in Google Scholar

[7] S. Krishnamurthi, M. Felleisen, and D. P. Friedman, “Synthesizing object-oriented and functional design to promote re-use,” in ECOOP’98 - Object-Oriented Programming, 12th European Conference, Brussels, Belgium, July 20-24, 1998, Proceedings, ser. Lecture Notes in Computer Science, E. Jul, Ed., vol. 1445. Springer, 1998, pp. 91–113. [Online]. Available: http://doi.org/10.1007/BFb0054088 Search in Google Scholar

[8] B. Stroustrup, “C++11 - the new ISO C++ standard,” visited 2022-05-07. [Online]. Available: http://stroustrup.com/C++11FAQ.html Search in Google Scholar

[9] J. Reinders, Intel Threading Building Blocks: outfitting C++ for multi-core processor parallelism. “O’Reilly Media, Inc.,” 2007. [Online]. Available: http://oreilly.com/library/view/intel-threading-building/9780596514808 Search in Google Scholar

[10] N. M. Josuttis, “C++17: The biggest traps – [C++ on Sea 2019],” visited 2022-05-07. [Online]. Available: http://youtube.com/watch?v=mAZyaAo3M70&t=3975 Search in Google Scholar

[11] “CppReference: reduce,” visited 2022-05-07. [Online]. Available: http://en.cppreference.com/w/cpp/algorithm/reduce Search in Google Scholar

[12] “CppReference: transform reduce,” visited 2022-05-07. [Online]. Available: http://en.cppreference.com/w/cpp/algorithm/transform_reduce Search in Google Scholar

[13] S. Khezr and N. J. Navimipour, “MapReduce and its applications, challenges, and architecture: a comprehensive review and directions for future research,” Journal of Grid Computing, vol. 15, pp. 295–321, 2017. [Online]. Available: http://link.springer.com/article/10.1007/s10723-017-9408-0 Search in Google Scholar

[14] Microsoft Corporation, “Checked Iterators,” visited 2022-05-07. [Online]. Available: http://learn.microsoft.com/en-us/cpp/standard-library/checked-iterators Search in Google Scholar

[15] N. Pataki, “Safe iterator framework for the C++ Standard Template Library,” Acta Electrotechnica et Informatica, vol. 12, no. 1, p. 17, 2012. [Online]. Available: http://aei.tuke.sk/papers/2012/1/03_Pataki.pdf Search in Google Scholar

[16] R. Szalay, A. Sinkovics, Z. Porkoláb: “Practical heuristics to improve precision for erroneous function argument swapping detection in C and C++,” Journal of Systems and Software, vol. 181, art.no. 111048, 2021. [Online]. Available: http://doi.org/10.1016/j.jss.2021.111048 Search in Google Scholar

[17] A. Bessey, K. Block, B. Chelf, A. Chou, B. Fulton, S. Hallem, C. Henri-Gros, A. Kamsky, S. McPeak, and D. Engler, “A few billion lines of code later: Using static analysis to find bugs in the real world,” Commun. ACM, vol. 53, no. 2, pp. 66–75, Feb. 2010. [Online]. Available: http://doi.acm.org/10.1145/1646353.1646374 Search in Google Scholar

[18] S. Hallem, B. Chelf, Y. Xie, and D. Engler, “A system and language for building system-specific, static analyses,” in Proceedings of the ACM SIGPLAN 2002 Conference on Programming Language Design and Implementation, ser. PLDI ’02. New York, NY, USA: ACM, 2002, pp. 69–82. [Online]. Available: http://doi.acm.org/10.1145/512529.512539 Search in Google Scholar

[19] D. Marjam¨aki, “CppCheck: a tool for static C/C++ code analysis,” 2013, visited 2022-10-14. [Online]. Available: http://cppcheck.sourceforge.net Search in Google Scholar

[20] LLVM Foundation, “Clang Static Analyzer: Checker Developer Manual,” 2019, visited 2019-02-28. [Online]. Available: http://clang-analyzer.llvm.org/checker_dev_manual.html Search in Google Scholar

[21] A. Zaks and J. Rose, “Building a checker in 24 hours,” 2012, visited 2019-02-22. [Online]. Available: http://youtube.com/watch?v=kdxlsP5QVPw Search in Google Scholar

[22] Ericsson AB., “CodeChecker,” 2019, visited 2019-02-28. [Online]. Available: http://github.com/Ericsson/CodeChecker Search in Google Scholar

[23] Synopsys, “Coverity,” 2019, visited 2019-02-28. [Online]. Available: http://scan.coverity.com Search in Google Scholar

[24] Roguewave, “Klocwork,” 2019, visited 2019-02-28. [Online]. Available: http://roguewave.com/products-services/klocwork Search in Google Scholar

[25] S. Meyers, Effective Modern C++: 42 specific ways to improve your use of C++11 and C++14. O’Reilly, 2014. [Online]. Avaialble: http://oreilly.com/library/view/effective-modern-c/9781491908419 Search in Google Scholar

[26] B. Stroustrup, “Evolving a language in and for the real world: C++ 1991–2006,” Proceedings of the third ACM SIGPLAN conference on History of programming languages, 2007. [Online]. Available: http://dl.acm.org/doi/10.1145/1238844.1238848 Search in Google Scholar

[27] J. Coplien, “Multi-paradigm Design for C++,” Vol. 53. Reading, MA, Addison-Wesley, 1999. Search in Google Scholar

[28] D. P. Gregor and J. J¨arvi, “Variadic templates for C++0x,” J. Object Technol., vol. 7, pp. 31–51, 2008. [Online]. Available: http://jot.fm/issues/issue_2008_02/article2.pdf Search in Google Scholar

[29] T. Ramananandro, “Machine-checked object layout for C++ multiple inheritance with empty-base optimization,” Tech. Rep., 2010, visited 2022-10-14. [Online]. Available: http://gallium.inria.fr/~tramanan/cpp/object-layout/techrep.pdf Search in Google Scholar

[30] D. Kühl, “CppCon 2017: C++17 Parallel Algorithms,” visited 2022-10-14. [Online]. Available: http://youtube.com/watch?v=Ve8cHE9LNfk&t=1784 Search in Google Scholar