Distributed Event-driven Simulation- Scheduling Strategies and Resource Management Overeinder, B.J.

Size: px
Start display at page:

Download "Distributed Event-driven Simulation- Scheduling Strategies and Resource Management Overeinder, B.J."

Transcription

1 UvA-DARE (Digital Academic Repository) Distributed Event-driven Simulation- Scheduling Strategies and Resource Management Overeinder, B.J. Link to publication Citation for published version (APA): Overeinder, B. J. (2000). Distributed Event-driven Simulation- Scheduling Strategies and Resource Management Amsterdam: University of Amsterdam General rights It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons). Disclaimer/Complaints regulations If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible. UvA-DARE is a service provided by the library of the University of Amsterdam ( Download date: 19 Jan 2019

2 Index x absolutee efficiency, 126 ACA,, see asynchronous cellular automata a activity,, 3 activityy scanning, 9 adaptivee optimism control globall state, 40 locall state, 39 aggressivee cancellation, 32 anti-message,, 31 APSE,, 84-91, 119 APSIS,, 49, 55-65, 114, 138 asynchronouss cellular automata, 105, nondeterministic,, 106 attribute,, 3 averagee parallelism, 77, 79, 91, 119 Beowulff parallel computer, 156 Boltzmannn distribution, 112 CA,, see cellular automata cancell queue, 66, 68 cancellationn strategies, 32 aggressive,, 32 direct,, 33 lazy,, 32 lazyy re-evaluation, 33 cascadedd rollbacks, 37, 130, 141 causality y (local)) constraint, 23, 61 error,, 22 cellularr automata, 104 asynchronous,, 105, 106 nondeterministic,, 106 parallell asynchronous, 108 parallell synchronous, 107 synchronous,, 104 checkpointing,, 168 clusterr computing, 156 clusterss of workstations, 156 computationall critical behavior, 137, computerr experiment, 1 computerr simulation, 1 conservativee methods, 20, continuouss system, 3 continuous-timee model, 6 copyy state saving, 34, 68 correlations,, 133, 137 long-range,, 137, 139, 142 COW,, see clusters of workstations criticall exponent, 133 criticall path, 78 analysis,, 83 enumerationn algorithm, 89 criticall sections, 168 criticall system, 135 criticall time, 83, 88 DASS parallel computer, 92,118,138, dataa dependency graph, 78 DCS,, see dynamic complex systems deadlockk avoidance, 25 deadlockk detection and recovery, 26 directt cancellation, 33 discretee event model, 7 discretee event simulation activityy scanning, 9 eventt scheduling, 8, 56 parallel,, 24, 28 processs interaction, 9, 56, 81 self-initiating,, 45 worldd view, 8 discretee system, 3 discrete-timee model, 7 DISS,, 98

3 220 0 Index Index distributedd computing, 11, 155 distributedd memory, 10, 156 DPVM,, see Dynamite dynamicc complex system, 103 dynamicc load balancing, see load balancing g Dynamicc PVM, see Dynamite Dynamite,, entity,, 3 event,, 3 endogenous,, 3 exogenous,, 3 external,, 21 internal,, 21 scheduling,, 8 eventt granularity, 127 eventt message, 21 eventt precedence graph, 80 eventt queue, see input queue eventt retraction, 66, 71 event-drivenn simulation, 8 experimentall framework, 3 Fornax,, 52 fossill collection, 31, 41, 72 fractall properties, 133 globall virtual time, 31, 41, 61, 73 centralizedd computation, 41 distributedd computation, 43 gridd computing, 154 GVT,, see global virtual time Highh Level Architecture, 13 highh performance computing, 12,158 highh throughput computing, 12, 158 HLA,, see High Level Architecture incrementall state saving, 35, 67 inherentt parallelism, 77, 119 inputt queue, 63, 68 Isingg spin model, 109, 135 continuous-time,, 113, 114 criticall temperature, 113 ferromagnetic,, 110 paramagnetic,, 110 Isingg spin phase transition, 137, 138 job,, 11 lazyy cancellation, 32 lazyy re-evaluation, 33 loadd balancing, 12 dynamic,, 12, 162 local-area,, 166 migrationn decider, 167 optimisticc simulation, 39, 190 resourcee monitoring, 167 scheduler,, 166 wide-area,, 161 locall virtual time, 30, 61 local-areaa networks, 156 logicall clocks, 30 logicall processes, 21 long-rangee correlations, 137, 139, lookahead,, 27 LVT,, see local virtual time massivelyy parallel processor, 10,156 metacomputingg environment, 154 Metropoliss algorithm, 112 model,, 4 continuous,, 5 deterministic,, 5 discrete,, 5 dynamic,, 5 state,, 3, 21 static,, 5 stochastic,, 5 Montee Carlo method, 103, 112, 126 Montee Carlo time step, 119 MPP,, see massive parallel processor networkss of workstations, 156 non-adaptivee optimism control, 38 NOW,, see networks of workstations nulll message, 25 optimismm control, 37, 62, 70, 124, adaptivee global state, 40 adaptivee local state, 39 non-adaptive,, 38

4 Index Index optimismm throttling, see optimism control,, 124 optimisticc methods, 20, outputt queue, 63, 68 parallell discrete event simulation, 20 0 conservative,, 24 optimistic,, 28 parallell efficiency absolute,, 126 relative,, 118 parallell random number generation, leap-frog,, 116 splitting,, 116 parallelismm profile, 79, 90 periodicc checkpointing, see periodic statee saving periodicc state saving, 34 PERTT algorithm, 87, 88 physicall critical behavior, 137, 150 physicall processes, 21 Polderr metacomputer, positivee message, 31 potentiall parallelism, 77 power-laww distribution, 133 predictability,, 26 priorityy queue, 69 process,, 11 processs interaction, 9 processs migration, 165, 169 programm activity graph, 83, 88 pseudo-randomm number generator, PVM,, 164 daemons,, 164 tasks,, 164 randomm number generator, 115 relativee efficiency, 118 resourcee management, 11, 154, 160 rollbackk strategies, see cancellation strategies s scale-invariantt properties, 133 scalingg exponent, 133 scheduling,, 12 dynamic,, 12, 162 global,, 12, 161 local,, 12 optimisticc simulation, 39 static,, 12, 162 self-organizedd criticality, 133 finite-sizefinite-size scaling, 142 self-similarr properties, 133 seperationn of time scales, 135 sequentiall fraction, 78, 91 shapee vector, 79, 90 sharedd memory, 10 simulation n continuous,, 5 discretee event, 5 event-driven,, 8 Montee Carlo, 5 predictability,, 4 realizability,, 4 time-driven,, 7 welll defined, 4 simulationn languages, 51 simulationn libraries, 53 simulationn model, see model simultaneouss events, 70 SOC,, see self-organized criticality space-timee diagram, 81 speedupp models absolute,, 126 memory-bounded,, 67, 78 relative,, 118 statee queue, 63, 68 statee saving, 34 copy,, 34, 68 hybrid,, 37 incremental,, 35, 67 periodic,, 34 straggler,, 30 super-criticall speedup, 33, 99 system,, 3 componentss of a, 3 continuous,, 3 discrete,3 3 environment,, 3 state,, 3

5 222 2 Index Index task,, 11 taskk precedence graph, 78 thrashing,, 35, 37, 123 throttling,, 35, see optimism control Timee Warp, 28, 30-31, 56, see AP- SIS S time-drivenn simulation, 7 timestamp,, 21 validation,, 2 virtuall environments, 13, 187 virtuall time, virtuall time window, 124, 147, see optimismm control well-defined,, 26 wide-areaa networks, 157 worldd view, 8 activityy scanning, 9 eventt scheduling, 8, 56 processs interaction, 9, 56, 81

6

7

Citation for published version (APA): Ydraios, E. (2010). Database cracking: towards auto-tunning database kernels

Citation for published version (APA): Ydraios, E. (2010). Database cracking: towards auto-tunning database kernels UvA-DARE (Digital Academic Repository) Database cracking: towards auto-tunning database kernels Ydraios, E. Link to publication Citation for published version (APA): Ydraios, E. (2010). Database cracking:

More information

An agent based architecture for constructing Interactive Simulation Systems Zhao, Z.

An agent based architecture for constructing Interactive Simulation Systems Zhao, Z. UvA-DARE (Digital Academic Repository) An agent based architecture for constructing Interactive Simulation Systems Zhao, Z. Link to publication Citation for published version (APA): Zhao, Z. (2004). An

More information

UvA-DARE (Digital Academic Repository) Software architecture reconstruction Krikhaar, R. Link to publication

UvA-DARE (Digital Academic Repository) Software architecture reconstruction Krikhaar, R. Link to publication UvA-DARE (Digital Academic Repository) Software architecture reconstruction Krikhaar, R. Link to publication Citation for published version (APA): Krikhaar, R. (1999). Software architecture reconstruction

More information

Citation for published version (APA): He, J. (2011). Exploring topic structure: Coherence, diversity and relatedness

Citation for published version (APA): He, J. (2011). Exploring topic structure: Coherence, diversity and relatedness UvA-DARE (Digital Academic Repository) Exploring topic structure: Coherence, diversity and relatedness He, J. Link to publication Citation for published version (APA): He, J. (211). Exploring topic structure:

More information

UvA-DARE (Digital Academic Repository) Making sense of legal texts de Maat, E. Link to publication

UvA-DARE (Digital Academic Repository) Making sense of legal texts de Maat, E. Link to publication UvA-DARE Digital Academic Repository) Making sense of legal texts de Maat, E. Link to publication Citation for published version APA): de Maat, E. 2012). Making sense of legal texts General rights It is

More information

UvA-DARE (Digital Academic Repository) Should I stay or should I go? Revynthi, A.M. Link to publication

UvA-DARE (Digital Academic Repository) Should I stay or should I go? Revynthi, A.M. Link to publication UvA-DARE (Digital Academic Repository) Should I stay or should I go? Revynthi, A.M. Link to publication Citation for published version (APA): Revynthi, A. M. (2017). Should I stay or should I go? The role

More information

MonetDB/DataCell: leveraging the column-store database technology for efficient and scalable stream processing Liarou, E.

MonetDB/DataCell: leveraging the column-store database technology for efficient and scalable stream processing Liarou, E. UvA-DARE (Digital Academic Repository) MonetDB/DataCell: leveraging the column-store database technology for efficient and scalable stream processing Liarou, E. Link to publication Citation for published

More information

On semi-automated matching and integration of database schemas Ünal-Karakas, Ö.

On semi-automated matching and integration of database schemas Ünal-Karakas, Ö. UvA-DARE (Digital Academic Repository) On semi-automated matching and integration of database schemas Ünal-Karakas, Ö. Link to publication Citation for published version (APA): Ünal Karaka, Ö. (2010).

More information

Access control for on-demand provisioned cloud infrastructure services Ngo, C.T.

Access control for on-demand provisioned cloud infrastructure services Ngo, C.T. UvA-DARE (Digital Academic Repository) Access control for on-demand provisioned cloud infrastructure services Ngo, C.T. Link to publication Citation for published version (APA): Ngo, C. T. (2016). Access

More information

UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication

UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication Citation for published version (APA): Abbas, N. (2012). Memory-type control

More information

Optimistic Parallel Simulation of TCP/IP over ATM networks

Optimistic Parallel Simulation of TCP/IP over ATM networks Optimistic Parallel Simulation of TCP/IP over ATM networks M.S. Oral Examination November 1, 2000 Ming Chong mchang@ittc.ukans.edu 1 Introduction parallel simulation ProTEuS Agenda Georgia Tech. Time Warp

More information

Bifurcations of indifference points in discrete time optimal control problems Mohammadian Moghayer, S.

Bifurcations of indifference points in discrete time optimal control problems Mohammadian Moghayer, S. UvA-DARE (Digital Academic Repository) Bifurcations of indifference points in discrete time optimal control problems Mohammadian Moghayer, S. Link to publication Citation for published version (APA): Moghayer,

More information

TIME WARP ON A TRANSPUTER PLATFORM: PILOT STUDY WITH ASYNCHRONOUS CELLULAR AUTOMATA

TIME WARP ON A TRANSPUTER PLATFORM: PILOT STUDY WITH ASYNCHRONOUS CELLULAR AUTOMATA TIME WARP ON A TRANSPUTER PLATFORM: PILOT STUDY WITH ASYNCHRONOUS CELLULAR AUTOMATA B. J. Overeinder, P. M. A. Sloot, and L. O. Hertzberger High Performance Computing Group. Department of Computer Systems,

More information

Effective metadata for social book search from a user perspective Huurdeman, H.C.; Kamps, J.; Koolen, M.H.A.

Effective metadata for social book search from a user perspective Huurdeman, H.C.; Kamps, J.; Koolen, M.H.A. UvA-DARE (Digital Academic Repository) Effective metadata for social book search from a user perspective Huurdeman, H.C.; Kamps, J.; Koolen, M.H.A. Published in: CEUR Workshop Proceedings Link to publication

More information

Other Optimistic Mechanisms, Memory Management!

Other Optimistic Mechanisms, Memory Management! Other Optimistic Mechanisms, Memory Management! Richard M. Fujimoto! Professor!! Computational Science and Engineering Division! College of Computing! Georgia Institute of Technology! Atlanta, GA 30332-0765,

More information

Optimization and approximation on systems of geometric objects van Leeuwen, E.J.

Optimization and approximation on systems of geometric objects van Leeuwen, E.J. UvA-DARE (Digital Academic Repository) Optimization and approximation on systems of geometric objects van Leeuwen, E.J. Link to publication Citation for published version (APA): van Leeuwen, E. J. (2009).

More information

UvA-DARE (Digital Academic Repository) Motion compensation for 4D PET/CT Kruis, M.F. Link to publication

UvA-DARE (Digital Academic Repository) Motion compensation for 4D PET/CT Kruis, M.F. Link to publication UvA-DARE (Digital Academic Repository) Motion compensation for 4D PET/CT Kruis, M.F. Link to publication Citation for published version (APA): Kruis, M. F. (2014). Motion compensation for 4D PET/CT General

More information

Distributed Simulation of Large Computer Systems

Distributed Simulation of Large Computer Systems Distributed Simulation of Large Computer Systems Moreno Marzolla Univ. di Venezia Ca Foscari Dept. of Computer Science and INFN Padova Email: marzolla@dsi.unive.it Web: www.dsi.unive.it/ marzolla Moreno

More information

UvA-DARE (Digital Academic Repository)

UvA-DARE (Digital Academic Repository) UvA-DARE (Digital Academic Repository) Amsterdam Oxford Joint Rescue Forces: Team description paper: Virtual Robot competition: Rescue Simulation League: RoboCup 2008 Visser, A.; Schmits, T.; Roebert,

More information

Chair for Network Architectures and Services Prof. Carle Department of Computer Science TU München. Parallel simulation

Chair for Network Architectures and Services Prof. Carle Department of Computer Science TU München. Parallel simulation Chair for Network Architectures and Services Prof. Carle Department of Computer Science TU München Parallel simulation Most slides/figures borrowed from Richard Fujimoto Parallel simulation: Summary/Outline

More information

UvA-DARE (Digital Academic Repository)

UvA-DARE (Digital Academic Repository) UvA-DARE (Digital Academic Repository) Dutch Nao Team: team description for Robocup 2012, Mexico City, Mexico ten Velthuis, D.; Verschoor, C.; Wiggers, A.; Cabot, M.; Keune, A.; Nugteren, S.; van Egmond,

More information

Parallel Discrete Event Simulation

Parallel Discrete Event Simulation Parallel Discrete Event Simulation Dr.N.Sairam & Dr.R.Seethalakshmi School of Computing, SASTRA Univeristy, Thanjavur-613401. Joint Initiative of IITs and IISc Funded by MHRD Page 1 of 8 Contents 1. Parallel

More information

Speculative High-Performance Simulation. Alessandro Pellegrini A.Y. 2017/2018

Speculative High-Performance Simulation. Alessandro Pellegrini A.Y. 2017/2018 Speculative High-Performance Simulation Alessandro Pellegrini A.Y. 2017/2018 Simulation From latin simulare (to mimic or to fake) It is the imitation of a real-world process' or system's operation over

More information

Parallel and Distributed VHDL Simulation

Parallel and Distributed VHDL Simulation Parallel and Distributed VHDL Simulation Dragos Lungeanu Deptartment of Computer Science University of Iowa C.J. chard Shi Department of Electrical Engineering University of Washington Abstract This paper

More information

DISTRIBUTED SELF-SIMULATION OF HOLONIC MANUFACTURING SYSTEMS

DISTRIBUTED SELF-SIMULATION OF HOLONIC MANUFACTURING SYSTEMS DISTRIBUTED SELF-SIMULATION OF HOLONIC MANUFACTURING SYSTEMS Naoki Imasaki I, Ambalavanar Tharumarajah 2, Shinsuke Tamura 3 J Toshiba Corporation, Japan, naoki.imasaki@toshiba.co.jp 2 CSIRO Manufacturing

More information

System-level design space exploration of dynamic reconfigurable architectures Sigdel, K.; Thompson, M.; Pimentel, A.D.; Stefanov, T.; Bertels, K.

System-level design space exploration of dynamic reconfigurable architectures Sigdel, K.; Thompson, M.; Pimentel, A.D.; Stefanov, T.; Bertels, K. UvA-DARE (Digital Academic Repository) System-level design space exploration of dynamic reconfigurable architectures Sigdel, K.; Thompson, M.; Pimentel, A.D.; Stefanov, T.; Bertels, K. Published in: Lecture

More information

UvA-DARE (Digital Academic Repository) Finding people and their utterances in social media Weerkamp, W. Link to publication

UvA-DARE (Digital Academic Repository) Finding people and their utterances in social media Weerkamp, W. Link to publication UvA-DARE (Digital Academic Repository) Finding people and their utterances in social media Weerkamp, W. Link to publication Citation for published version (APA): Weerkamp, W. (211). Finding people and

More information

Winner determination in combinatorial auctions with logic-based bidding languages Uckelman, J.D.; Endriss, U.

Winner determination in combinatorial auctions with logic-based bidding languages Uckelman, J.D.; Endriss, U. UvA-DARE (Digital Academic Repository) Winner determination in combinatorial auctions with logic-based bidding languages Uckelman, J.D.; Endriss, U. Published in: AAMAS 2008: 7th International Conference

More information

An Empirical Performance Study of Connection Oriented Time Warp Parallel Simulation

An Empirical Performance Study of Connection Oriented Time Warp Parallel Simulation 230 The International Arab Journal of Information Technology, Vol. 6, No. 3, July 2009 An Empirical Performance Study of Connection Oriented Time Warp Parallel Simulation Ali Al-Humaimidi and Hussam Ramadan

More information

Computing Global Virtual Time!

Computing Global Virtual Time! Computing Global Virtual Time Issues and Some Solutions Richard M. Fujimoto Professor Computational Science and Engineering Division College of Computing Georgia Institute of Technology Atlanta, GA 30332-0765,

More information

Applications of scenarios in early embedded system design space exploration van Stralen, P.

Applications of scenarios in early embedded system design space exploration van Stralen, P. UvA-DARE (Digital Academic Repository) Applications of scenarios in early embedded system design space exploration van Stralen, P. Link to publication Citation for published version (APA): van Stralen,

More information

PARALLEL QUEUING NETWORK SIMULATION WITH LOOKBACK- BASED PROTOCOLS

PARALLEL QUEUING NETWORK SIMULATION WITH LOOKBACK- BASED PROTOCOLS PARALLEL QUEUING NETWORK SIMULATION WITH LOOKBACK- BASED PROTOCOLS Gilbert G. Chen and Boleslaw K. Szymanski Department of Computer Science, Rensselaer Polytechnic Institute 110 Eighth Street, Troy, NY

More information

Published in: MM '10: proceedings of the ACM Multimedia 2010 International Conference: October 25-29, 2010, Firenze, Italy

Published in: MM '10: proceedings of the ACM Multimedia 2010 International Conference: October 25-29, 2010, Firenze, Italy UvA-DARE (Digital Academic Repository) Landmark Image Retrieval Using Visual Synonyms Gavves, E.; Snoek, C.G.M. Published in: MM '10: proceedings of the ACM Multimedia 2010 International Conference: October

More information

On the realizability of hardware microthreading. Revisiting the general-purpose processor interface: consequences and challenges Poss, R.C.

On the realizability of hardware microthreading. Revisiting the general-purpose processor interface: consequences and challenges Poss, R.C. UvA-DARE (Digital Academic Repository) On the realizability of hardware microthreading. Revisiting the general-purpose processor interface: consequences and challenges Poss, R.C. Link to publication Citation

More information

EDL: an energy-aware semantic model for large-scale infrastructures Zhu, H.; van der Veldt, K.; Grosso, P.; de Laat, C.T.A.M.

EDL: an energy-aware semantic model for large-scale infrastructures Zhu, H.; van der Veldt, K.; Grosso, P.; de Laat, C.T.A.M. UvA-DARE (Digital Academic Repository) EDL: an energy-aware semantic model for large-scale infrastructures Zhu, H.; van der Veldt, K.; Grosso, P.; de Laat, C.T.A.M. Link to publication Citation for published

More information

A New Approach to Modeling Physical Systems: Discrete Event Simulations of Grid-based Models

A New Approach to Modeling Physical Systems: Discrete Event Simulations of Grid-based Models A New Approach to Modeling Physical Systems: Discrete Event Simulations of Grid-based Models H. Karimabadi 1, Y. Omelchenko 1, J. Driscoll 1, N. Omidi 1, R. Fujimoto 2, S. Pande 2, and K. S. Perumalla

More information

Geochronological database and classification system for age uncertainties in Neotropical pollen records Flantua, S.G.A.; Blaauw, M.; Hooghiemstra, H.

Geochronological database and classification system for age uncertainties in Neotropical pollen records Flantua, S.G.A.; Blaauw, M.; Hooghiemstra, H. UvA-DARE (Digital Academic Repository) Geochronological database and classification system for age uncertainties in Neotropical pollen records Flantua, S.G.A.; Blaauw, M.; Hooghiemstra, H. Published in:

More information

MANUFACTURING SIMULATION USING BSP TIME WARP WITH VARIABLE NUMBERS OF PROCESSORS

MANUFACTURING SIMULATION USING BSP TIME WARP WITH VARIABLE NUMBERS OF PROCESSORS MANUFACTURING SIMULATION USING BSP TIME WARP WITH VARIABLE NUMBERS OF PROCESSORS Malcolm Yoke Hean Low Programming Research Group, Computing Laboratory, University of Oxford Wolfson Building, Parks Road,

More information

Gridpix: TPC development on the right track. The development and characterisation of a TPC with a CMOS pixel chip read out Fransen, M.

Gridpix: TPC development on the right track. The development and characterisation of a TPC with a CMOS pixel chip read out Fransen, M. UvA-DARE (Digital Academic Repository) Gridpix: TPC development on the right track. The development and characterisation of a TPC with a CMOS pixel chip read out Fransen, M. Link to publication Citation

More information

OPTIMISTIC PARALLEL SIMULATION OVER A NETWORK OF WORKSTATIONS. Reuben Pasquini Vernon Rego

OPTIMISTIC PARALLEL SIMULATION OVER A NETWORK OF WORKSTATIONS. Reuben Pasquini Vernon Rego Proceedings of the 1999 Winter Simulation Conference P. A. Farrington, H. B. Nembhard, D. T. Sturrock, and G. W. Evans, eds. OPTIMISTIC PARALLEL SIMULATION OVER A NETWORK OF WORKSTATIONS Reuben Pasquini

More information

Clock and Time. THOAI NAM Faculty of Information Technology HCMC University of Technology

Clock and Time. THOAI NAM Faculty of Information Technology HCMC University of Technology Clock and Time THOAI NAM Faculty of Information Technology HCMC University of Technology Using some slides of Prashant Shenoy, UMass Computer Science Chapter 3: Clock and Time Time ordering and clock synchronization

More information

Citation for published version (APA): Ydraios, E. (2010). Database cracking: towards auto-tunning database kernels

Citation for published version (APA): Ydraios, E. (2010). Database cracking: towards auto-tunning database kernels UvA-DARE (Digital Academic Repository) Database cracking: towards auto-tunning database kernels Ydraios, E. Link to publication Citation for published version (APA): Ydraios, E. (2010). Database cracking:

More information

An Approach for Federating Parallel Simulators

An Approach for Federating Parallel Simulators An Approach for Federating Parallel Simulators Steve L. Ferenci Kalyan S. Perumalla Richard M. Fujimoto College Of Computing Georgia Institute of Technology Atlanta, GA 30332-0280 {ferenci,kalyan,fujimoto}@cc.gatech.edu

More information

Collaborative provenance for workflow-driven science and engineering Altintas, I.

Collaborative provenance for workflow-driven science and engineering Altintas, I. UvA-DARE (Digital Academic Repository) Collaborative provenance for workflow-driven science and engineering Altintas, I. Link to publication Citation for published version (APA): Altıntaş, İ. (2011). Collaborative

More information

Overview of the Simulation Process. CS1538: Introduction to Simulations

Overview of the Simulation Process. CS1538: Introduction to Simulations Overview of the Simulation Process CS1538: Introduction to Simulations Simulation Fundamentals A computer simulation is a computer program that models the behavior of a physical system over time. Program

More information

Event Reconstruction in Time Warp

Event Reconstruction in Time Warp Event Reconstruction in Time Warp Lijun Li and Carl Tropper School of Computer Science McGill University Montreal, Canada lli22, carl@cs.mcgill.ca Abstract In optimistic simulations, checkpointing techniques

More information

Event Ordering. Greg Bilodeau CS 5204 November 3, 2009

Event Ordering. Greg Bilodeau CS 5204 November 3, 2009 Greg Bilodeau CS 5204 November 3, 2009 Fault Tolerance How do we prepare for rollback and recovery in a distributed system? How do we ensure the proper processing order of communications between distributed

More information

Three Models. 1. Time Order 2. Distributed Algorithms 3. Nature of Distributed Systems1. DEPT. OF Comp Sc. and Engg., IIT Delhi

Three Models. 1. Time Order 2. Distributed Algorithms 3. Nature of Distributed Systems1. DEPT. OF Comp Sc. and Engg., IIT Delhi DEPT. OF Comp Sc. and Engg., IIT Delhi Three Models 1. CSV888 - Distributed Systems 1. Time Order 2. Distributed Algorithms 3. Nature of Distributed Systems1 Index - Models to study [2] 1. LAN based systems

More information

Numerical approach estimate

Numerical approach estimate Simulation Nature of simulation Numericalapproachfor investigating models of systems. Data are gathered to estimatethe true characteristics of the model. Garbage in garbage out! One of the techniques of

More information

Outline Introduction to CA (LGA HPP model) CA computation model for real CA applications Detailed computation method Validate the model using specific

Outline Introduction to CA (LGA HPP model) CA computation model for real CA applications Detailed computation method Validate the model using specific Performance evaluation of FPGA-based Cellular Automata accelerators S. Murtaza, A. G. Hoekstra, P. M. A. Sloot Section Computational Science Institute for Informatics University of Amsterdam Amsterdam,

More information

Time and Event Synchronization Across an MMPG Server Farm Roger Smith and Don Stoner Modelbenders LLC modelbenders.com

Time and Event Synchronization Across an MMPG Server Farm Roger Smith and Don Stoner Modelbenders LLC modelbenders.com Time and Event Synchronization Across an MMPG Server Farm Roger Smith and Don Stoner Modelbenders LLC gpg @ modelbenders.com Abstract The server farms that support massively multiplayer games contain hundreds

More information

Design and modeling techniques for real-time RTI time management ( 11S-SIW-045 )

Design and modeling techniques for real-time RTI time management ( 11S-SIW-045 ) Design and modeling techniques for real-time RTI time management ( 11S-SIW-045 ) Pierre Siron DMIA Department, Université de Toulouse, ISAE Jean-Baptiste Chaudron Eric Noulard ONERA/DTIM/SER ONERA, Centre

More information

Tutorial Parallel & Distributed Simulation Systems and the High Level Architecture

Tutorial Parallel & Distributed Simulation Systems and the High Level Architecture Tutorial Parallel & Distributed Simulation Systems and the High Level Architecture Kalyan Perumalla, Ph.D. Research Faculty Member College of Computing & MSREC Georgia Institute of Technology Atlanta,

More information

UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication

UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication UvA-DARE (Digital Academic Repository) Memory-type control charts in statistical process control Abbas, N. Link to publication Citation for published version (APA): Abbas, N. (2012). Memory-type control

More information

PARALLEL SIMULATION TECHNIQUES FOR LARGE-SCALE DISCRETE-EVENT MODELS

PARALLEL SIMULATION TECHNIQUES FOR LARGE-SCALE DISCRETE-EVENT MODELS PARALLEL SIMULATION TECHNIQUES FOR LARGE-SCALE DISCRETE-EVENT MODELS By Shafagh, Jafer, B. Eng., M.A.Sc. A thesis submitted to the Faculty of Graduate and Postdoctoral Affairs in partial fulfillment of

More information

TRANSACTION-ORIENTED SIMULATION IN AD HOC GRIDS: DESIGN AND EXPERIENCE

TRANSACTION-ORIENTED SIMULATION IN AD HOC GRIDS: DESIGN AND EXPERIENCE TRANSACTION-ORIENTED SIMULATION IN AD HOC GRIDS: DESIGN AND EXPERIENCE Gerald Krafft and Vladimir Getov Harrow School of Computer Science University of Westminster Watford Rd, Northwick Park, Harrow HA1

More information

Eect of fan-out on the Performance of a. Single-message cancellation scheme. Atul Prakash (Contact Author) Gwo-baw Wu. Seema Jetli

Eect of fan-out on the Performance of a. Single-message cancellation scheme. Atul Prakash (Contact Author) Gwo-baw Wu. Seema Jetli Eect of fan-out on the Performance of a Single-message cancellation scheme Atul Prakash (Contact Author) Gwo-baw Wu Seema Jetli Department of Electrical Engineering and Computer Science University of Michigan,

More information

Rollback Overhead Reduction Methods for Time Warp Distributed Simulation

Rollback Overhead Reduction Methods for Time Warp Distributed Simulation Rollback Overhead Reduction Methods for Time Warp Distributed Simulation M.S. Balsamo and C. Manconi* Dipartimento di Matematica e Informatica, University of Udine Vial delle Scienze 108, Udine, Italy,

More information

Monte Carlo Method on Parallel Computing. Jongsoon Kim

Monte Carlo Method on Parallel Computing. Jongsoon Kim Monte Carlo Method on Parallel Computing Jongsoon Kim Introduction Monte Carlo methods Utilize random numbers to perform a statistical simulation of a physical problem Extremely time-consuming Inherently

More information

JWarp: a Java library for parallel discrete-event simulations

JWarp: a Java library for parallel discrete-event simulations CONCURRENCY: PRACTICE AND EXPERIENCE Concurrency: Pract. Exper.,Vol.10(11 13), 999 1005 (1998) JWarp: a Java library for parallel discrete-event simulations PEDRO BIZARRO,LUÍS M. SILVA AND JOÃO GABRIEL

More information

XRPC: efficient distributed query processing on heterogeneous XQuery engines Zhang, Y.

XRPC: efficient distributed query processing on heterogeneous XQuery engines Zhang, Y. UvA-DARE (Digital Academic Repository) XRPC: efficient distributed query processing on heterogeneous XQuery engines Zhang, Y. Link to publication Citation for published version (APA): Zhang, Y. (2010).

More information

Event List Management In Distributed Simulation

Event List Management In Distributed Simulation Event List Management In Distributed Simulation Jörgen Dahl ½, Malolan Chetlur ¾, and Philip A Wilsey ½ ½ Experimental Computing Laboratory, Dept of ECECS, PO Box 20030, Cincinnati, OH 522 0030, philipwilsey@ieeeorg

More information

UvA-DARE (Digital Academic Repository)

UvA-DARE (Digital Academic Repository) UvA-DARE (Digital Academic Repository) Daedalus: Toward composable multimedia MP-SoC design Nikolov, H.; Thompson, M.; Stefanov, T.; Pimentel, A.D.; Polstra, S.; Bose, R.; Zissulescu, C.; Deprettere, E.

More information

Survey of Languages and Runtime Libraries for Parallel Discrete-Event Simulation

Survey of Languages and Runtime Libraries for Parallel Discrete-Event Simulation TECHNICAL ARTICLE SIMULATION 72:3, 170-186 1999, Simulation Councils, Inc. ISSN 0037-5497/99 Printed in the United States of America Survey of Languages and Runtime Libraries for Parallel Discrete-Event

More information

Lecture 7: Logical Time

Lecture 7: Logical Time Lecture 7: Logical Time 1. Question from reviews a. In protocol, is in- order delivery assumption reasonable? i. TCP provides it b. In protocol, need all participants to be present i. Is this a reasonable

More information

UvA-DARE (Digital Academic Repository) Creating Context Networks in Dutch Legislation Winkels, R.G.F.; Boer, A.W.F.; Plantevin, I.

UvA-DARE (Digital Academic Repository) Creating Context Networks in Dutch Legislation Winkels, R.G.F.; Boer, A.W.F.; Plantevin, I. UvA-DARE (Digital Academic Repository) Creating Context Networks in Dutch Legislation Winkels, R.G.F.; Boer, A.W.F.; Plantevin, I. Published in: Frontiers in Artificial Intelligence and Applications DOI:

More information

Proceedings of the 2017 Winter Simulation Conference W. K. V. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, and E. Page, eds.

Proceedings of the 2017 Winter Simulation Conference W. K. V. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, and E. Page, eds. Proceedings of the 2017 Winter Simulation Conference W. K. V. Chan, A. D'Ambrogio, G. Zacharewicz, N. Mustafee, G. Wainer, and E. Page, eds. ABSTRACT VIRTUAL TIME III: UNIFICATION OF CONSERVATIVE AND OPTIMISTIC

More information

Applications of scenarios in early embedded system design space exploration van Stralen, P.

Applications of scenarios in early embedded system design space exploration van Stralen, P. UvA-DARE (Digital Academic Repository) Applications of scenarios in early embedded system design space exploration van Stralen, P. Link to publication Citation for published version (APA): van Stralen,

More information

Lookahead Accumulation in Conservative Parallel Discrete Event Simulation.

Lookahead Accumulation in Conservative Parallel Discrete Event Simulation. Lookahead Accumulation in Conservative Parallel Discrete Event Simulation. Jan Lemeire, Wouter Brissinck, Erik Dirkx Parallel Systems lab, Vrije Universiteit Brussel (VUB) Brussels, Belgium {jlemeire,

More information

PARALLEL LOGIC SIMULATION OF MILLION-GATE VLSI CIRCUITS

PARALLEL LOGIC SIMULATION OF MILLION-GATE VLSI CIRCUITS PARALLEL LOGIC SIMULATION OF MILLION-GATE VLSI CIRCUITS By Lijuan Zhu A Thesis Submitted to the Graduate Faculty of Rensselaer Polytechnic Institute in Partial Fulfillment of the Requirements for the Degree

More information

AUTOMATED DIAGNOSIS OF DISTRIBUTED SIMULATION PERFORMANCE

AUTOMATED DIAGNOSIS OF DISTRIBUTED SIMULATION PERFORMANCE AUTOMATED DIAGNOSIS OF DISTRIBUTED SIMULATION PERFORMANCE Alois Ferscha Abstract Distributed simulation (DS) aims at the acceleration of discrete event simulation experiments by decomposing the simulation

More information

Published in: Proc. 4th International Workshop on Synthetic Simulation and Robotics to Mitigate EarthquakeDisaster

Published in: Proc. 4th International Workshop on Synthetic Simulation and Robotics to Mitigate EarthquakeDisaster UvA-DARE (Digital Academic Repository) Design decisions of the UvA Rescue 2007 Team on the Challenges of the Virtual Robot competition Visser, A.; Slamet, B.; Schmits, T.; González Jaime, L.A.; Ethembabaoglu,

More information

PARALLEL SIMULATION OF SCALE-FREE NETWORKS

PARALLEL SIMULATION OF SCALE-FREE NETWORKS PARALLEL SIMULATION OF SCALE-FREE NETWORKS A Dissertation Presented to The Academic Faculty by Vy Thuy Nguyen In Partial Fulfillment of the Requirements for the Degree Master of Science in the School of

More information

χ=5 virtual time state LVT entirely saved state partially saved state χ=5 ν=2 virtual time state LVT entirely saved partially saved unsaved state

χ=5 virtual time state LVT entirely saved state partially saved state χ=5 ν=2 virtual time state LVT entirely saved partially saved unsaved state ROLLBACK-BASED PARALLEL DISCRETE EVENT SIMULATION BY USING HYBRID STATE SAVING Francesco Quaglia Dipartimento di Informatica e Sistemistica, Universita di Roma "La Sapienza" Via Salaria 113, 00198 Roma,

More information

Optimistic Parallel Simulation of TCP/IP over ATM Networks

Optimistic Parallel Simulation of TCP/IP over ATM Networks Optimistic Parallel Simulation of /IP over ATM Networks by Ming H Chong B.S. (Computer Engineering), University of Kansas, Lawrence, Kansas, 1998 Submitted to the Department of Electrical Engineering and

More information

Lecture 6: Logical Time

Lecture 6: Logical Time Lecture 6: Logical Time 1. Question from reviews a. 2. Key problem: how do you keep track of the order of events. a. Examples: did a file get deleted before or after I ran that program? b. Did this computers

More information

Optimistic Distributed Simulation Based on Transitive Dependency. Tracking. Dept. of Computer Sci. AT&T Labs-Research Dept. of Elect. & Comp.

Optimistic Distributed Simulation Based on Transitive Dependency. Tracking. Dept. of Computer Sci. AT&T Labs-Research Dept. of Elect. & Comp. Optimistic Distributed Simulation Based on Transitive Dependency Tracking Om P. Damani Yi-Min Wang Vijay K. Garg Dept. of Computer Sci. AT&T Labs-Research Dept. of Elect. & Comp. Eng Uni. of Texas at Austin

More information

Distributed Computing: PVM, MPI, and MOSIX. Multiple Processor Systems. Dr. Shaaban. Judd E.N. Jenne

Distributed Computing: PVM, MPI, and MOSIX. Multiple Processor Systems. Dr. Shaaban. Judd E.N. Jenne Distributed Computing: PVM, MPI, and MOSIX Multiple Processor Systems Dr. Shaaban Judd E.N. Jenne May 21, 1999 Abstract: Distributed computing is emerging as the preferred means of supporting parallel

More information

Heckaton. SQL Server's Memory Optimized OLTP Engine

Heckaton. SQL Server's Memory Optimized OLTP Engine Heckaton SQL Server's Memory Optimized OLTP Engine Agenda Introduction to Hekaton Design Consideration High Level Architecture Storage and Indexing Query Processing Transaction Management Transaction Durability

More information

Discrete Event Simulation & VHDL. Prof. K. J. Hintz Dept. of Electrical and Computer Engineering George Mason University

Discrete Event Simulation & VHDL. Prof. K. J. Hintz Dept. of Electrical and Computer Engineering George Mason University Discrete Event Simulation & VHDL Prof. K. J. Hintz Dept. of Electrical and Computer Engineering George Mason University Discrete Event Simulation Material from VHDL Programming with Advanced Topics by

More information

Last Class: Naming. Today: Classical Problems in Distributed Systems. Naming. Time ordering and clock synchronization (today)

Last Class: Naming. Today: Classical Problems in Distributed Systems. Naming. Time ordering and clock synchronization (today) Last Class: Naming Naming Distributed naming DNS LDAP Lecture 12, page 1 Today: Classical Problems in Distributed Systems Time ordering and clock synchronization (today) Next few classes: Leader election

More information

Autonomous Ground Vehicle (AGV) Project

Autonomous Ground Vehicle (AGV) Project utonomous Ground Vehicle (GV) Project Demetrus Rorie Computer Science Department Texas &M University College Station, TX 77843 dmrorie@mail.ecsu.edu BSTRCT The goal of this project is to construct an autonomous

More information

Timestamp Representations for Virtual Sequences

Timestamp Representations for Virtual Sequences Timestamp Representations for Virtual equences John G. Cleary, J. A. David McWha, Murray Pearson Dept of Computer cience, University of Waikato, Private Bag 305, Hamilton, New Zealand. {jcleary, jadm,

More information

Fault Tolerance for Highly Available Internet Services: Concept, Approaches, and Issues

Fault Tolerance for Highly Available Internet Services: Concept, Approaches, and Issues Fault Tolerance for Highly Available Internet Services: Concept, Approaches, and Issues By Narjess Ayari, Denis Barbaron, Laurent Lefevre and Pascale primet Presented by Mingyu Liu Outlines 1.Introduction

More information

MDRIP: A Hybrid Approach to. Parallelisation of Discrete Event Simulation

MDRIP: A Hybrid Approach to. Parallelisation of Discrete Event Simulation MDRIP: A Hybrid Approach to Parallelisation of Discrete Event Simulation A thesis submitted in partial fulfilment of the requirements for the Degree of Master of Science in the University of Canterbury

More information

Event Simulation Algorithms

Event Simulation Algorithms VLSI Design 1994, Vol. 2, No. 1, pp. 1-16 Reprints available directly from the publisher Photocopying permitted by license only (C) 1994 Gordon and Breach Science Publishers S.A. Printed in the United

More information

Today CSCI Recovery techniques. Recovery. Recovery CAP Theorem. Instructor: Abhishek Chandra

Today CSCI Recovery techniques. Recovery. Recovery CAP Theorem. Instructor: Abhishek Chandra Today CSCI 5105 Recovery CAP Theorem Instructor: Abhishek Chandra 2 Recovery Operations to be performed to move from an erroneous state to an error-free state Backward recovery: Go back to a previous correct

More information

TIME WARP PARALLEL LOGIC SIMULATION ON A DISTRIBUTED MEMORY MULTIPROCESSOR. Peter Luksch, Holger Weitlich

TIME WARP PARALLEL LOGIC SIMULATION ON A DISTRIBUTED MEMORY MULTIPROCESSOR. Peter Luksch, Holger Weitlich TIME WARP PARALLEL LOGIC SIMULATION ON A DISTRIBUTED MEMORY MULTIPROCESSOR ABSTRACT Peter Luksch, Holger Weitlich Department of Computer Science, Munich University of Technology P.O. Box, D-W-8-Munchen,

More information

X /99/$ IEEE.

X /99/$ IEEE. Distributed Simulation of VLSI Systems via Lookahead-Free Self-Adaptive and Synchronization Dragos Lungeanu and C.-J. chard Shi Department of Electrical Engineering, University of Washington, Seattle WA

More information

Parallel Logic Simulation of VLSI Systems

Parallel Logic Simulation of VLSI Systems Parallel Logic Simulation of VLSI Systems Roger D. Chamberlain Computer and Communications Research Center Department of Electrical Engineering Washington University, St. Louis, Missouri Abstract Design

More information

Large-scale Network Simulation over Heterogeneous Computing Architecture

Large-scale Network Simulation over Heterogeneous Computing Architecture 2014 Large-scale Network Simulation over Heterogeneous Computing Architecture Issues, Opportunities and Challenges N. Nikaein and B. B. Romdhanne Mobile Communication Department Eurecom Outline Introduction

More information

Predicting the performance of synchronous discrete event simulation systems

Predicting the performance of synchronous discrete event simulation systems Predicting the performance of synchronous discrete event simulation systems Jinsheng Xu and Moon Jung Chung Department of Computer Science Michigan State University {xujinshe,chung}@cse.msu.edu ABSTRACT

More information

UvA-DARE (Digital Academic Repository) Explorations in efficient reinforcement learning Wiering, M. Link to publication

UvA-DARE (Digital Academic Repository) Explorations in efficient reinforcement learning Wiering, M. Link to publication UvA-DARE (Digital Academic Repository) Explorations in efficient reinforcement learning Wiering, M. Link to publication Citation for published version (APA): Wiering, M. (1999). Explorations in efficient

More information

The Timed Asynchronous Distributed System Model By Flaviu Cristian and Christof Fetzer

The Timed Asynchronous Distributed System Model By Flaviu Cristian and Christof Fetzer The Timed Asynchronous Distributed System Model By Flaviu Cristian and Christof Fetzer - proposes a formal definition for the timed asynchronous distributed system model - presents measurements of process

More information

Parallel & Cluster Computing. cs 6260 professor: elise de doncker by: lina hussein

Parallel & Cluster Computing. cs 6260 professor: elise de doncker by: lina hussein Parallel & Cluster Computing cs 6260 professor: elise de doncker by: lina hussein 1 Topics Covered : Introduction What is cluster computing? Classification of Cluster Computing Technologies: Beowulf cluster

More information

Discrete-Event Simulation:

Discrete-Event Simulation: Discrete-Event Simulation: A First Course Section 5.1: Next-Event Simulation Section 5.1: Next-Event Simulation Making small modifications to our simple discrete-event simulations is non-trivial Add feedback

More information

Lecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool

Lecture: Simulation. of Manufacturing Systems. Sivakumar AI. Simulation. SMA6304 M2 ---Factory Planning and scheduling. Simulation - A Predictive Tool SMA6304 M2 ---Factory Planning and scheduling Lecture Discrete Event of Manufacturing Systems Simulation Sivakumar AI Lecture: 12 copyright 2002 Sivakumar 1 Simulation Simulation - A Predictive Tool Next

More information

Parallel Discrete Event Simulation Techniques for Scientific Simulations

Parallel Discrete Event Simulation Techniques for Scientific Simulations Parallel Discrete Event Simulation Techniques for Scientific Simulations A Thesis Presented to The Academic Faculty By Jagrut Dave In Partial Fulfillment Of the Requirements for the Degree Master of Science

More information

Using Timestamps to Track Causal Dependencies

Using Timestamps to Track Causal Dependencies Using Timestamps to Track Causal Dependencies J. A. David McWha Dept. of Computer Science, University of Waikato, Private Bag 315, Hamilton jadm@cs.waikato.ac.nz ABSTRACT As computer architectures speculate

More information

Just-In-Time Cloning

Just-In-Time Cloning Just-In-Time Cloning Maria Hybinette Computer Science Department University of Georgia Athens, GA 30602-7404, USA maria@cs.uga.edu Abstract In this work we focus on a new technique for making cloning of

More information