Parallel simulation of complex systems

点击翻译按钮获取中文摘要

There are two components of this proposal (1) distributed Verilog simulation (2) parallel particle simulatlon. The proposed research on distributed Verilog simulation is a continuation of an existing project the goal of which is to develop a scalable distributed gate level Verilog simulator for both distributed and shared memory platforms. Our previous research has resulted in the development of a distributed Verilog simulation environment, DVS, using Time Warp as the simulation engine and the open source Icarus Verilog as a front end. We have developed a highly efficient gate level simulator, XTW, for a gate level simulator which makes use of a multi-level queueing mechanism. We propose (1) developing a simulation environment which links Modelsim sequential simulators executing on individual nodes together via Time Warp (2) porting XTW to a shared memory environment. We will try to take advantage of shared memory for improved memory management. (3) continuation of our work on module based load balancing. Preliminary results indicate that partitioning based upon modules has benfited from the locality. We propose the development of efficient algorithms for re-partitioining the circuit during the course of the simulation's execution (4) applying reinforcement learning techniques to optimistic simulations. Our second research area focuses on the integration of continuous methods for the solution of pde's and discrete event algorithms in the context of cosmological simulators. We are making use of a standard technique for the solution of interacting (cosmological) bodies-an oct tree solver for Newtonian gravitational equations. Our goal is to incorporate colliding bodies into the picture by making use of discrete event techniques. We have implemented a Time Warp engine and integrated it with the oct-tree solver. The work is being done in conjunction with an astro-physics group from the University of Washington. Our first proposed task is the verification of the combined algorithms and an evaluation of their scalability using realistic scenarios provided by the astrophysicists. We then intend to develop partitioning algorithms.