A Message-Passing Hardware/Software Cosimulation Environment for Reconfigurable Computing Systems

被引:0
|
作者
Saldana, Manuel [1 ]
Ramalho, Emanuel [2 ]
Chow, Paul [2 ]
机构
[1] Arches Comp Syst, 708-222 Spadina Ave, Toronto, ON M5T 3A2, Canada
[2] Univ Toronto, Edward S Rogers Sr Dept Elect & Comp Engn, Toronto, ON M5S 3G4, Canada
基金
加拿大自然科学与工程研究理事会;
关键词
D O I
10.1155/2009/376232
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
High-performance reconfigurable computers (HPRCs) provide a mix of standard processors and FPGAs to collectively accelerate applications. This introduces new design challenges, such as the need for portable programming models across HPRCs and system-level verification tools. To address the need for cosimulating a complete heterogeneous application using both software and hardware in an HPRC, we have created a tool called the Message-passing Simulation Framework (MSF). We have used it to simulate and develop an interface enabling an MPI-based approach to exchange data between X86 processors and hardware engines inside FPGAs. The MSF can also be used as an application development tool that enables multiple FPGAs in simulation to exchange messages amongst themselves and with X86 processors. As an example, we simulate a LINPACK benchmark hardware core using an Intel-FSB-Xilinx-FPGA platform to quickly prototype the hardware, to test the communications. and to verify the benchmark results. Copyright (C) 2009 Manuel Saldana et al.
引用
收藏
页数:9
相关论文
共 50 条
  • [11] Synthesis of safe message-passing systems
    Baudru, Nicolas
    Morin, Remi
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 277 - 289
  • [12] Dynamic data decomposition in a message-passing environment
    Angelaccio, M
    Colajanni, M
    JOURNAL OF SYSTEMS ARCHITECTURE, 1997, 43 (08) : 543 - 556
  • [13] ANALYSIS OF PIPELINED EXTERNAL SORTING ON A RECONFIGURABLE MESSAGE-PASSING MULTICOMPUTER
    MENEZES, BL
    RICARTE, ILM
    THURIMELLA, R
    PARALLEL COMPUTING, 1993, 19 (08) : 839 - 858
  • [14] Snap-Stabilization in Message-Passing Systems
    Delaet, Sylvie
    Devismes, Stephane
    Nesterenko, Mikhail
    Tixeuil, Sebastien
    PODC'08: PROCEEDINGS OF THE 27TH ANNUAL ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, 2008, : 443 - 443
  • [15] Unifying stabilization and termination in message-passing systems
    Arora, A
    Nesterenko, M
    21ST INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, 2001, : 99 - 106
  • [16] SHARING MEMORY ROBUSTLY IN MESSAGE-PASSING SYSTEMS
    ATTIYA, H
    BARNOY, A
    DOLEV, D
    JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY, 1995, 42 (01): : 124 - 142
  • [17] Snap-stabilization in message-passing systems
    Delaet, Sylvie
    Devismes, Stephane
    Nesterenko, Mikhail
    Tixeuil, Sebastien
    JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 2010, 70 (12) : 1220 - 1230
  • [18] Efficient message-passing within SMP systems
    Chen, XH
    Turner, D
    RECENT ADVANCES IN PARALLEL VIRTUAL MACHINE AND MESSAGE PASSING INTERFACE, 2003, 2840 : 286 - 293
  • [19] IMPLEMENTATION OF PRODUCTION SYSTEMS ON MESSAGE-PASSING COMPUTERS
    ACHARYA, A
    TAMBE, M
    GUPTA, A
    IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 1992, 3 (04) : 477 - 487
  • [20] Propositional dynamic logic for message-passing systems
    Bollig, Benedikt
    Kuske, Dietrich
    Meinecke, Ingmar
    FSTTCS 2007: FOUNDATIONS OF SOFTWARE TECHNOLOGY AND THEORETICAL COMPUTER SCIENCE, PROCEEDINGS, 2007, 4855 : 303 - +