A C/C plus plus Source-to-Source Compiler for dependable applications

被引：0
|
作者：
Benso, A [1 ]
Chiusano, S [1 ]
Prinetto, P [1 ]
Tagliaferri, L [1 ]
机构：
[1] Politecn Torino, Dipartimento Automat & Informat, Turin, Italy
来源：
DSN 2000: INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2000年
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
The present paper proposes a C/C++ Source-to-Source Compiler able to increase the dependability properties of a given application. The adopted strategies are based on two main techniques: code re-ordering and variables duplication. The proposed approach is portable to any platform, it can be applied to any C/C++ source code, and it introduces code modifications that are transparent to the original program functionality The RECCO tool, which fully automates the process, allows the user to trade-off between the level of dependability improvement and the performance degradation due to the code modification.
引用
收藏
页码：71 / 78
页数：8
相关论文
共 50 条
  • [1] Clava: C/C plus plus source-to-source compilation using LARA
    Bispo, Joao
    Cardoso, Joao M. P.
    [J]. SOFTWAREX, 2020, 12
  • [2] A source-to-source compiler for generating dependable software
    Rebaudengo, M
    Reorda, MS
    Violante, M
    Torchiano, M
    [J]. FIRST IEEE INTERNATIONAL WORKSHOP ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2001, : 33 - 42
  • [3] A CPU-FPGA Holistic Source-To-Source Compilation Approach for Partitioning and Optimizing C/C plus plus Applications
    Santos, Tiago
    Bispo, Joao
    Cardoso, Joao M. P.
    [J]. 2023 32ND INTERNATIONAL CONFERENCE ON PARALLEL ARCHITECTURES AND COMPILATION TECHNIQUES, PACT, 2023, : 320 - 322
  • [4] Source-to-Source Instrumentation for Profiling Runtime Behavior of C plus plus Containers
    Jungblut, Pascal
    Kowalewski, Roger
    Fuerlinger, Karl
    [J]. IEEE 20TH INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING AND COMMUNICATIONS / IEEE 16TH INTERNATIONAL CONFERENCE ON SMART CITY / IEEE 4TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND SYSTEMS (HPCC/SMARTCITY/DSS), 2018, : 948 - 953
  • [5] Polyhedral Source-to-Source Compiler
    Adamski, Dominik
    Jablonski, Grzegorz
    Perek, Piotr
    Napieralski, Andrzej
    [J]. PROCEEDINGS OF THE 23RD INTERNATIONAL CONFERENCE ON MIXED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS (MIXDES 2016), 2016, : 458 - 463
  • [6] A Source-to-Source OpenACC Compiler for CUDA
    Tabuchi, Akihiro
    Nakao, Masahiro
    Sato, Mitsuhisa
    [J]. EURO-PAR 2013: PARALLEL PROCESSING WORKSHOPS, 2014, 8374 : 178 - 187
  • [7] TRACO: SOURCE-TO-SOURCE PARALLELIZING COMPILER
    Palkowski, Marek
    Bielecki, Wlodzimierz
    [J]. COMPUTING AND INFORMATICS, 2016, 35 (06) : 1277 - 1306
  • [8] CETUS: A SOURCE-TO-SOURCE COMPILER INFRASTRUCTURE FOR MULTICORES
    Dave, Chirag
    Bae, Hansang
    Min, Seung-Jai
    Lee, Seyong
    Eigenmann, Rudolf
    Midkiff, Samuel
    [J]. COMPUTER, 2009, 42 (12) : 36 - 42
  • [9] The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation
    Hansang Bae
    Dheya Mustafa
    Jae-Woo Lee
    Hao Aurangzeb
    Chirag Lin
    Rudolf Dave
    Samuel P. Eigenmann
    [J]. International Journal of Parallel Programming, 2013, 41 : 753 - 767
  • [10] The Cetus Source-to-Source Compiler Infrastructure: Overview and Evaluation
    Bae, Hansang
    Mustafa, Dheya
    Lee, Jae-Woo
    Aurangzeb
    Lin, Hao
    Dave, Chirag
    Eigenmann, Rudolf
    Midkiff, Samuel P.
    [J]. INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING, 2013, 41 (06) : 753 - 767
12345