Presentation is loading. Please wait.

Presentation is loading. Please wait.

R. Bagrodia, Parsec Workshop ‘98 Rajive Bagrodia Computer Science Department UCLA Partial support from the TRAVLER and DOMAINS contracts from DARPA ITO.

Similar presentations


Presentation on theme: "R. Bagrodia, Parsec Workshop ‘98 Rajive Bagrodia Computer Science Department UCLA Partial support from the TRAVLER and DOMAINS contracts from DARPA ITO."— Presentation transcript:

1 R. Bagrodia, Parsec Workshop ‘98 Rajive Bagrodia Computer Science Department UCLA Partial support from the TRAVLER and DOMAINS contracts from DARPA ITO

2 R. Bagrodia, Parsec Workshop ‘98 8:00 am - 8:30 amCheck-In / Breakfast 8:30 am - 10:30 amPARSEC Simulation Language Rajive BagrodiaIntroduction: Simulation of Complex Scaleable Systems Rich MeyerTutorial: Language Constructs and Migrating from Maisie 10:30 am - 10:45 amBreak 10:45 am – 12:15 amAdvanced PARSEC Xiang ZengCase Study: Smple-Net Simulator Mineo TakaiScalable & Parallel Simulation in Parsec 12:15 - 1:00 pmLunch 1:00 pm – 2:45 pmModeling and Network Applications L. Bajaj & R. AhujaCase Study: Network Applications/GloMoSim Cong Duc PhamInteroperability: PARSEC and HLA 2:45 pm - 3:00 pmBreak 3:00 pm – 4:30 pmOther Applications Jay MartinCompose/Database Adam RosensteinWeb Caching Gary Pei Multicast Protocols Lan Wang TCP and RSVP Renato Lo Cigno ATM Networking L. Bajaj & R. Ahuja Replicated File Systems 4:30 pm - 5:30 pmDemos Rich MeyerPAVE Adam Rosenstein Web Caching Gary Pei Multicast/Multihop Mineo Takai GloMoSim 9:00 am - 9:30 amCheck-In / Breakfast 9:30 am - Noon Optional Session Mineo Takai & PCL Application Design Discussion

3 R. Bagrodia, Parsec Workshop ‘98 UAV Network How does TCP perform in multi- hop wireless networks? OSPF, MMWN, or WRP routing? Tactical Internet

4 R. Bagrodia, Parsec Workshop ‘98 Tactical Internet UAV Network How does TCP perform in multi-hop wireless networks? OSPF, MMWN, or WRP routing?

5 R. Bagrodia, Parsec Workshop ‘98 Graphic for a TOC Nomadic Computing Systems Sample Query: Estimate QoS of the Situation Awareness (SA) data for a given battle scenario with hundreds of replicas

6 R. Bagrodia, Parsec Workshop ‘98 sensor weapon threat c2center dmaker War Game Model

7 R. Bagrodia, Parsec Workshop ‘98 Distributed, multihop communications, Multiple consumers/information sinks, Dynamic circuit establishment/teardown At what density should the sensors be spread to ensure a given probability of detection over a specified active lifetime? Scalable Sensor Network

8 R. Bagrodia, Parsec Workshop ‘98 Desired Simulator Characteristics F Scalability: ability to simulate very large systems F multi-granularity models F parallel model execution F Migration of simulator to operational prototype F automated code generation capability F common language for simulation/operational software F Integration of operational components F multi-paradigm models F Domain-specific model libraries for large scale simulations F Visual, hierarchical model design

9 R. Bagrodia, Parsec Workshop ‘98 PARSEC Simulation Environment F Scalable model design & execution F Visual model design F Support for hierarchical, multiple granularity models F Parallel execution using diverse algorithms & architectures F Commodity Platforms F Implemented on heterogeneous platforms and OS from commodity PCs to state of the art supercomputers F Interoperability F Provides HLA-compatibility for interoperability with stimulators (e.g.., MODSAF) and simulators Next generation of the Maisie simulation language

10 R. Bagrodia, Parsec Workshop ‘98 PARSEC Simulation Environment F World Wide Web enabled F users need not download PARSEC — models can be submitted via a Java web interface, executed remotely, and results displayed at local client F Established user base F widespread use at 300+ academic (e.g., Illinois, Columbia, Caltech, Technion Israel, University College London, …) and industrial sites (e.g., IBM, BBN, Sun, Rockwell, Northrop,... ) F use referenced in publications at ICC, Mobicom, Usenix, etc. F User Support F mailing list, web bulletin board, …

11 R. Bagrodia, Parsec Workshop ‘98 Simulation Environment Virtual Time Synchronization (Simulation) Algorithms Conservative Optimistic ISP Global Event List Hybrid PAVE (Visual) Front-End PAVE (Visual) Front-End C++ Library (COMPOSE) C++ Library (COMPOSE) PARSEC (C-Based) Front-End Java-Based WWW Interface HLA-based Interoperability Portable Multi-threaded Communication Library (MPC) Uniprocessor Machine Sun Sparc 1000/ SGI Origin 2000 IBM SP MPI/AIX MPI CH/ BSD Unix Pthreads on Windows NT, Linux, Solaris, IRIX Linux, Windows NT, Unix PC Network

12 R. Bagrodia, Parsec Workshop ‘98 DES Execution F simulation-clock:=0; F event-list:={initial set of events}; F while (termination-criteria-is-false) do { remove event with earliest timestamp from event-list: e1::(t1,p1,...); deliver event to LP p1; simulation-clock:=t1; execute code to simulate event e1; insert new events (if any) in event-list; } (5,p)(8,p1)(5,p) e1 : clock (e1)=0 clock (e1)=5 (8,p1)(9,p2)(12,p3)

13 R. Bagrodia, Parsec Workshop ‘98 Parallel Simulation F Execution of a discrete-event simulation on parallel computers by distributing the global event list among processors SolutionsSolutions –Blocking synchronization (conservative algorithm) –Potentially process events out of order (optimistic) –Adaptive algorithms Network current event event queue P2 P P2 P2 P3 P3 P

14 R. Bagrodia, Parsec Workshop ‘98 Rapid Prototyping DESIGNIMPLEMENTATION SIMULATION

15 R. Bagrodia, Parsec Workshop ‘98 Rapid Prototyping DESIGNIMPLEMENTATION SIMULATION

16 R. Bagrodia, Parsec Workshop ‘98 Rapid Prototyping F Asynchronous message passing kernel F thread create/terminate; message send & recv F MPC: messages processed in physical arrival order P1 P2 P0 4 M1,7 M1’

17 R. Bagrodia, Parsec Workshop ‘98 Rapid Prototyping F Asynchronous message passing kernel F thread create/terminate; message send & recv F PARSEC: messages processed in global order of message (event) timestamps P1 P2 P0 4 M1,7

18 R. Bagrodia, Parsec Workshop ‘98 Rapid Prototyping F Asynchronous message passing kernel F thread create/terminate; message send & recv F PARSEC: messages processed in global order of message (event) timestamps P1 P2 P0 M1,7 4 M’

19 R. Bagrodia, Parsec Workshop ‘98 Autoporting Network Ctrl Algs Maisie Network Level Maisie Node Level NOS (Maisie) Commun. Hardware Simulation Channel Model Net. Ctrl. Algs. (Joel Short) Laptop NOS (C Code) Commun. Hardware Implementation Porting Net. Ctrl. Algs.

20 R. Bagrodia, Parsec Workshop ‘98 PP A PP C PP B PP F PP E PP D Physical System LP A LP C LP B LP F LP DE Logical Model PP A PP C PP B LP F LP DE Hybrid Model Hybrid Simulation

21 R. Bagrodia, Parsec Workshop ‘98 Hybrid Simulation F More useful than pure Simulation F No need to model complex operational components F Speed F Accuracy PP A PP C PP B LP F LP DE An operational process A simulated process

22 R. Bagrodia, Parsec Workshop ‘98 Synchronization (S to O) Real Timet1t1 t2t2 t3t3 e1e1 e2e2 e3e3 e1e1 (t 1 )e2e2 (t 2 )e3e3 (t 3 )    In Hybrid Simulation, event e(t) may not arrive exactly at real time t Simulator may be faster/slower than operational comp. Non-deterministic comm. latency between S and O In a completely operational system e 1, e 2, e 3 would arrive at t 1, t 2, t 3, respectively

23 R. Bagrodia, Parsec Workshop ‘98 Design (cont’d)  toS StoO Simulated (S) Operational (O)

24 R. Bagrodia, Parsec Workshop ‘98 F Wargame simulations F Wireless and wired network protocols F Replicated file systems F Web caching protocol models F Database models F ATM, electronic LAN models, fiber optic network,... F Queueing networks F Transistor level VLSI designs F MEMS sensor networks F Parallel program (MPI) simulations F Parallel IO system simulation Existing Applications


Download ppt "R. Bagrodia, Parsec Workshop ‘98 Rajive Bagrodia Computer Science Department UCLA Partial support from the TRAVLER and DOMAINS contracts from DARPA ITO."

Similar presentations


Ads by Google