ViC*:: A compiler for virtual-memory C* (extended abstract)

被引：0
|
作者：
Colvin, A [1 ]
Cormen, TH [1 ]
机构：
[1] Dartmouth Coll, Dept Comp Sci, Hanover, NH 03755 USA
来源：
THIRD INTERNATIONAL WORKSHOP ON HIGH-LEVEL PARALLEL PROGRAMMING MODELS AND SUPPORTIVE ENVIRONMENTS, PROCEEDINGS | 1998年
关键词：
compilers; parallel I/O; C-*; parallel disk systems; virtual memory;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
This paper describes the functionality of ViC*, a compiler for a variant of the data-parallel language C* with support for out-of-core data. The compiler translates C* programs,vith shapes declared outofcore, which describe parallel data stored on disk. The compiler output is a SPMD-style program in standard C with I/O and library calls added to efficiently access out-of-core parallel data. The ViC* compiler also applies several program transformations to improve out-of-core data access.
引用
收藏
页码：23 / 33
页数：11
相关论文
共 50 条
  • [31] Automatic proofs of memory deallocation for a Whiley-to-C Compiler
    Weng, Min-Hsien
    Malik, Robi
    Utting, Mark
    FORMAL METHODS IN SYSTEM DESIGN, 2021, 57 (03) : 429 - 472
  • [32] Automatic proofs of memory deallocation for a Whiley-to-C Compiler
    Min-Hsien Weng
    Robi Malik
    Mark Utting
    Formal Methods in System Design, 2021, 57 : 429 - 472
  • [33] BLOCKCHAIN ABBREVIATION Implemented by Message Passing and Shared Memory (Extended Abstract)
    Amelchenko, Maxim
    Dolev, Shlomi
    2017 IEEE 16TH INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS (NCA), 2017, : 385 - 391
  • [34] CoPrIME: Complete Process Isolation Using Memory Encryption Extended Abstract
    Firdous, Saltanat
    Brahma, Asutosh
    Menon, Arjun
    Rebeiro, Chester
    SECURITY, PRIVACY, AND APPLIED CRYPTOGRAPHY ENGINEERING, SPACE 2024, 2025, 15351 : 106 - 109
  • [35] Computing in totally anonymous asynchronous shared memory systems - (Extended abstract)
    Attiya, H
    Gorbach, A
    Moran, S
    DISTRIBUTED COMPUTING, 1998, 1499 : 49 - 61
  • [36] Memory-Limited Model-Based Diagnosis (Extended Abstract)
    Rodler, Patrick
    PROCEEDINGS OF THE THIRTY-SECOND INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, IJCAI 2023, 2023, : 6954 - 6958
  • [37] CrossFlow - Cross-organizational workflow support for virtual organizations - (Extended abstract)
    Grefen, P
    Hoffner, Y
    RIDE-VE '99 - NINTH INTERNATIONAL WORKSHOP ON RESEARCH ISSUES ON DATA ENGINEERING: INFORMATION TECHNOLOGY FOR VIRTUAL ENTERPRISES, PROCEEDINGS, 1999, : 90 - 91
  • [38] Enforcing semantic integrity on untrusted clients in networked virtual environments (extended abstract)
    Jha, Somesh
    Katzenbeisser, Stefan
    Schallhart, Christian
    Veith, Helmut
    Chenney, Stephen
    2007 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, PROCEEDINGS, 2007, : 179 - +
  • [39] Virtual spectrophotometric measurements for biologically and physically-based rendering (extended abstract)
    Baranoski, GVG
    Rokne, JG
    Xu, GW
    EIGHTH PACIFIC CONFERENCE ON COMPUTER GRAPHICS AND APPLICATIONS, PROCEEDINGS, 2000, : 398 - 399
  • [40] Implementation of the memory-safe full ANSI-C compiler
    Research Center for Information Security , National Institute of Advanced Industrial Science and Technology , Japan
    Proc ACM SIGPLAN Conf Program Lang Des Implementation PLDI, (259-269): : 259 - 269
12345