2026-07-26T04:14:45Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:1575 2024-03-06T11:08:05Z ddc:004 open_access

Data-Flow Analysis for Multi-Core Computing Systems: A Reminder to Reverse Data-Flow Analysis Knoop, Jens Multi-core computing systems scalable program analysis reverse data-flow analysis demand-driven data-flow analysis The increasing demands for highly performant, proven correct, easily maintainable, extensible programs together with the continuous growth of real-world programs strengthen the pressure for powerful and scalable program analyses for program development and code generation. Multi-core computing systems offer new chances for enhancing the scalability of program analyses, if the additional computing power offered by these systems can be used effectively. This, however, poses new challenges on the analysis side. In principle, it requires program analyses which can be easily parallelized and mapped to multi-core architectures. In this paper we remind to reverse data-flow analysis, which has been introduced and investigated in the context of demand-driven data-flow analysis, as one such class of program analyses which is particularly suitable for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jens Knoop 2008 Is Part Of Dagstuhl Seminar Proceedings, Volume 8161, Scalable Program Analysis (2008) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagSemProc.08161.3 urn:nbn:de:0030-drops-15753 https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.08161.3 eng https://creativecommons.org/licenses/by/4.0/legalcode