Distributed TLC. Markus A. Kuppe. TLA + Community Event, ABZ 2014 Toulouse, June 3, /33
|
|
- Gertrude Elliott
- 6 years ago
- Views:
Transcription
1 1/33 Distributed TLC Markus A. Kuppe TLA + Community Event, ABZ 2014 Toulouse, June 3, 2014
2 2/33 Outline Introduction Distributed TLC When and why? Ad-hoc distributed TLC Use case Demo Common problems Tuning Conclusion Cloud distributed TLC Use case Demo Conclusion Summary and Outlook Summary Outlook
3 3/33 Outline Introduction Distributed TLC When and why? Ad-hoc distributed TLC Use case Demo Common problems Tuning Conclusion Cloud distributed TLC Use case Demo Conclusion Summary and Outlook Summary Outlook
4 /33 Highlevel TLC FPS Fingerprint Set (contains a hash of all already explored states) SQ State Queue (contains all unexplored states) WORKER Set of worker nodes (nodes/cores doing heavy calculations) φ Safety properties (as dened by the model)
5 4/33 Highlevel TLC FPS Fingerprint Set (contains a hash of all already explored states) SQ State Queue (contains all unexplored states) WORKER Set of worker nodes (nodes/cores doing heavy calculations) φ Safety properties (as dened by the model)
6 4/33 Highlevel TLC FPS Fingerprint Set (contains a hash of all already explored states) SQ State Queue (contains all unexplored states) WORKER Set of worker nodes (nodes/cores doing heavy calculations) φ Safety properties (as dened by the model)
7 4/33 Highlevel TLC FPS Fingerprint Set (contains a hash of all already explored states) SQ State Queue (contains all unexplored states) WORKER Set of worker nodes (nodes/cores doing heavy calculations) φ Safety properties (as dened by the model)
8 Non-distributed TLC c 1 φ FPS m c... φ SQ c n φ model checker cores 5/33 Figure : Non-distributed TLC
9 Distributed Computation w 1 φ FPS m w... φ SQ w n φ master node worker nodes 6/33 Figure : Compute nodes
10 Distributed Computation & Storage FPS 1 SQ m w 1 w n FPSm master node worker nodes 7/33 Figure : Compute and storage nodes
11 /33 When and why? Compute Use as many cores as possible (to distribute heavy next-state computation) Compute & Storage Additionally use as much memory as available (to speed up FPS lookup)
12 9/33 Scalability Scales (almost) linearly => Hash collisions
13 10/33 Limitations No liveness checking No coverage No distributed calculation of init states No (strict) breadth-rst search
14 1/33 Fault tolerance w 1 FPS n workers (w) 1...(m-1) ngerprint sets (FPS) SQ m w... Compensates neither loosing SQ nor Trace w n FPS m Figure : Broken setup
15 12/33 Outline Introduction Distributed TLC When and why? Ad-hoc distributed TLC Use case Demo Common problems Tuning Conclusion Cloud distributed TLC Use case Demo Conclusion Summary and Outlook Summary Outlook
16 13/33 Use case Experiments block/slow down your desktop
17 14/33 Demo Demo (Ad-hoc network)
18 15/33 Demo notes (slide not part of nal pdf) 1. Create and setup a model for distributed TLC 2. Start model checker (...waiting for workers) 3. Switch to Windows VMs 4. Open IE on Toolbox webserver 5. (Install Java7 via Webstart) 6. Launch Worker in IE in Windows VM 7. Switch to another VM & start more workers
19 16/33 Demo notes (slide not part of nal pdf) 1. Start another model 2. Start Distributed FPSet node in VM1 2.1 Set number of distributed FPSets 3. Start Worker node in VM2
20 17/33 Demo notes (slide not part of nal pdf) 1. Start daemon style Worker node in VM rst 2. Start small model that completes in less than a minute 3. Start small model that completes Mention to use Java8 or OOM due to PermGen
21 18/33 Common problems Broken name resolution Blocked by rewalls Restrictive system security
22 19/33 Fingerprint Set implementations Least Signicant Bit (LSB) halves available FPS memory old default Most Signicant Bit (MSB) exploits all available memory new default O Heap fastest & most ecient Not universally available
23 19/33 Fingerprint Set implementations Least Signicant Bit (LSB) halves available FPS memory old default Most Signicant Bit (MSB) exploits all available memory new default O Heap fastest & most ecient Not universally available
24 19/33 Fingerprint Set implementations Least Signicant Bit (LSB) halves available FPS memory old default Most Signicant Bit (MSB) exploits all available memory new default O Heap fastest & most ecient Not universally available
25 20/33 Distributed Fingerprint Sets Use distributed FPS Performance degrades as soon as TLC goes to disk (Solid state) disks order of magnitude slower compared to RAM Even remote memory still faster
26 21/33 Minor Checkpoints StateQueue buer Worker cache BlockSelector...
27 22/33 Conclusion Only simple if it works Too many screws
28 23/33 Outline Introduction Distributed TLC When and why? Ad-hoc distributed TLC Use case Demo Common problems Tuning Conclusion Cloud distributed TLC Use case Demo Conclusion Summary and Outlook Summary Outlook
29 24/33 Use case Experiments running many hours to days Personal machine not always on
30 25/33 Demo Demo (in the cloud)
31 26/33 Demo notes (slide not part of nal pdf) Set AWS credentials as environment variables Launch toolbox Create and setup model to start on AWS Set drop down to aws-ec2 Set Mention cloud-specic tuning hard-wired into the Toolbox Launch TLC in the cloud Show status in browser (have a backup screenshot available) Wait for response (have a backup result ready!) Open response (result) in Toolbox
32 27/33 Conclusion Don't have to worry about systems idiosyncrasies, but you literally pay the price for it
33 28/33 Outline Introduction Distributed TLC When and why? Ad-hoc distributed TLC Use case Demo Common problems Tuning Conclusion Cloud distributed TLC Use case Demo Conclusion Summary and Outlook Summary Outlook
34 29/33 Summary Exploits remote compute power and storage Scales Ad-hoc deployment can be tricky Cloud deployment despite costs way forward
35 30/33 Outlook Multi-node cloud deployments More pre-sets for cloud instance types Support other cloud providers Auto Scaling based on actual machine load Larger (128 bit) ngerprints?
36 31/33 Q&A Thank you for your attention
37 32/33 Acknowledgment Microsoft Research & INRIA Joint Lab Amazon AWS Experiments presented in this paper were carried out using the Grid'5000 experimental testbed, being developed under the INRIA ALADDIN development action with support from CNRS, RENATER and several Universities as well as other funding bodies -
38 33/33 References Slides: DistributedTLC_MarkusAKuppe.pdf
AWS Solution Architecture Patterns
AWS Solution Architecture Patterns Objectives Key objectives of this chapter AWS reference architecture catalog Overview of some AWS solution architecture patterns 1.1 AWS Architecture Center The AWS Architecture
More informationWelcome to the New Era of Cloud Computing
Welcome to the New Era of Cloud Computing Aaron Kimball The web is replacing the desktop 1 SDKs & toolkits are there What about the backend? Image: Wikipedia user Calyponte 2 Two key concepts Processing
More informationDISTRIBUTED SYSTEMS [COMP9243] Lecture 8a: Cloud Computing WHAT IS CLOUD COMPUTING? 2. Slide 3. Slide 1. Why is it called Cloud?
DISTRIBUTED SYSTEMS [COMP9243] Lecture 8a: Cloud Computing Slide 1 Slide 3 ➀ What is Cloud Computing? ➁ X as a Service ➂ Key Challenges ➃ Developing for the Cloud Why is it called Cloud? services provided
More informationDOWNLOAD OR READ : ULTIMATE EC2 SETUP FOR PHP A COMPLETE STEP BY STEP RECIPE FOR RUNNING A PHP WEBSITE ON AWS EC2 PDF EBOOK EPUB MOBI
DOWNLOAD OR READ : ULTIMATE EC2 SETUP FOR PHP A COMPLETE STEP BY STEP RECIPE FOR RUNNING A PHP WEBSITE ON AWS EC2 PDF EBOOK EPUB MOBI Page 1 Page 2 aws ec2 ultimate ec2 setup for pdf aws ec2 ultimate ec2
More informationKillTest *KIJGT 3WCNKV[ $GVVGT 5GTXKEG Q&A NZZV ]]] QORRZKYZ IUS =K ULLKX LXKK [VJGZK YKX\OIK LUX UTK _KGX
KillTest Q&A Exam : AWS-SysOps Title : AWS Certified SysOps Administrator Associate Version : Demo 1 / 4 1.A user has created photo editing software and hosted it on EC2. The software accepts requests
More informationFault-Tolerant Computer System Design ECE 695/CS 590. Putting it All Together
Fault-Tolerant Computer System Design ECE 695/CS 590 Putting it All Together Saurabh Bagchi ECE/CS Purdue University ECE 695/CS 590 1 Outline Looking at some practical systems that integrate multiple techniques
More informationMicroservices without the Servers: AWS Lambda in Action
Microservices without the Servers: AWS Lambda in Action Dr. Tim Wagner, General Manager AWS Lambda August 19, 2015 Seattle, WA 2015, Amazon Web Services, Inc. or its affiliates. All rights reserved Two
More informationA memcached implementation in Java. Bela Ban JBoss 2340
A memcached implementation in Java Bela Ban JBoss 2340 AGENDA 2 > Introduction > memcached > memcached in Java > Improving memcached > Infinispan > Demo Introduction 3 > We want to store all of our data
More informationSAP NETWEAVER - INSTALLATION OPTIONS
SAP NETWEAVER - INSTALLATION OPTIONS http://www.tutorialspoint.com/sap_netweaver/sap_netweaver_installation_options.htm Copyright tutorialspoint.com Advertisements Before you perform the installation,
More informationThoughtSpot on AWS Quick Start Guide
ThoughtSpot on AWS Quick Start Guide Version 4.2 February 2017 Table of Contents Contents Chapter 1: Welcome to ThoughtSpot...3 Contact ThoughtSpot... 4 Chapter 2: Introduction... 6 About AWS...7 Chapter
More informationLarge Scale Sky Computing Applications with Nimbus
Large Scale Sky Computing Applications with Nimbus Pierre Riteau Université de Rennes 1, IRISA INRIA Rennes Bretagne Atlantique Rennes, France Pierre.Riteau@irisa.fr INTRODUCTION TO SKY COMPUTING IaaS
More informationAt Course Completion Prepares you as per certification requirements for AWS Developer Associate.
[AWS-DAW]: AWS Cloud Developer Associate Workshop Length Delivery Method : 4 days : Instructor-led (Classroom) At Course Completion Prepares you as per certification requirements for AWS Developer Associate.
More informationVirtualization for Desktop Grid Clients
Virtualization for Desktop Grid Clients Marosi Attila Csaba atisu@sztaki.hu BOINC Workshop 09, Barcelona, Spain, 23/10/2009 Using Virtual Machines in Desktop Grid Clients for Application Sandboxing! Joint
More informationScalability Testing with Login VSI v16.2. White Paper Parallels Remote Application Server 2018
Scalability Testing with Login VSI v16.2 White Paper Parallels Remote Application Server 2018 Table of Contents Scalability... 3 Testing the Scalability of Parallels RAS... 3 Configurations for Scalability
More informationPrincipal Solutions Architect. Architecting in the Cloud
Matt Tavis Principal Solutions Architect Architecting in the Cloud Cloud Best Practices Whitepaper Prescriptive guidance to Cloud Architects Just Search for Cloud Best Practices to find the link ttp://media.amazonwebservices.co
More informationMICROSTRATEGY PLATFORM ON AWS MARKETPLACE. Quick start guide to use MicroStrategy on Amazon Web Services - Marketplace
MICROSTRATEGY PLATFORM ON AWS MARKETPLACE Quick start guide to use MicroStrategy on Amazon Web Services - Marketplace TABLE OF CONTENTS TABLE OF CONTENTS LAUNCHING MICROSTRATEGY IN AWS Setting up the AWS
More informationCPET 581 Cloud Computing: Technologies and Enterprise IT Strategies
CPET 581 Cloud Computing: Technologies and Enterprise IT Strategies Lecture 8 Cloud Programming & Software Environments: High Performance Computing & AWS Services Part 2 of 2 Spring 2015 A Specialty Course
More informationAmazon Web Services (AWS) Solutions Architect Intermediate Level Course Content
Amazon Web Services (AWS) Solutions Architect Intermediate Level Course Content Introduction to Cloud Computing A Short history Client Server Computing Concepts Challenges with Distributed Computing Introduction
More informationIntroduction to cloud computing
Introduction to cloud computing History of cloud Different vendors of Cloud computing Importance of cloud computing Advantages and disadvantages of cloud computing Cloud deployment methods Private cloud
More informationFreitag, 2. November 12
Click to edit Master title style Click to edit Master text styles Angry Birds Shop Cloud Auto-Scaling Presented by Kian T. Gould The Angrybirds Merchandize Shop Traffic Peaks Angrybirds Magento Universe
More informationOptiwave AWS User Guide
Optiwave AWS User Guide This guide describes the process of running Optiwave Products on Amazon Web Services (AWS). Purchase a Subscription AWS versions of Optiwave Products are offered on a subscription
More informationData Centers and Cloud Computing. Slides courtesy of Tim Wood
Data Centers and Cloud Computing Slides courtesy of Tim Wood 1 Data Centers Large server and storage farms 1000s of servers Many TBs or PBs of data Used by Enterprises for server applications Internet
More informationAdaptive Cluster Computing using JavaSpaces
Adaptive Cluster Computing using JavaSpaces Jyoti Batheja and Manish Parashar The Applied Software Systems Lab. ECE Department, Rutgers University Outline Background Introduction Related Work Summary of
More informationAmazon Web Services. Block 402, 4 th Floor, Saptagiri Towers, Above Pantaloons, Begumpet Main Road, Hyderabad Telangana India
(AWS) Overview: AWS is a cloud service from Amazon, which provides services in the form of building blocks, these building blocks can be used to create and deploy various types of application in the cloud.
More informationData Centers and Cloud Computing. Data Centers
Data Centers and Cloud Computing Slides courtesy of Tim Wood 1 Data Centers Large server and storage farms 1000s of servers Many TBs or PBs of data Used by Enterprises for server applications Internet
More informationDesigning Fault-Tolerant Applications
Designing Fault-Tolerant Applications Miles Ward Enterprise Solutions Architect Building Fault-Tolerant Applications on AWS White paper published last year Sharing best practices We d like to hear your
More informationticrypt DEPLOYMENT OVERVIEW AND TIMELINE Information about hardware, deployment, and on-boarding
ticrypt DEPLOYMENT OVERVIEW AND TIMELINE Information about hardware, deployment, and on-boarding THOMAS SAMANT thomas@terainsights.com Tera Insights, LLC Feb 15th 2018 ALIN DOBRA alin@terainsights.com
More informationRunning server systems in virtual environments is a popular approach, but the technology offers benefits to
COVER STORY Virtualization Tools James Thew, Fotolia Running server systems in virtual environments is a popular approach, but the technology offers benefits to desktop users. In this article, we investigate
More informationAmazon WorkSpaces Fully Managed Desktops in the Cloud
Amazon WorkSpaces Fully Managed Desktops in the Cloud Rolf Kersten Amazon Web Services Germany GmbH Thién D. Nguyen Cortado AG May 15 th, 2014 2014 Amazon.com, Inc. and its affiliates. All rights reserved.
More informationUse Case: Scalable applications
Use Case: Scalable applications 1. Introduction A lot of companies are running (web) applications on a single machine, self hosted, in a datacenter close by or on premise. The hardware is often bought
More informationParallelizing Multiple Group by Query in Shared-nothing Environment: A MapReduce Study Case
1 / 39 Parallelizing Multiple Group by Query in Shared-nothing Environment: A MapReduce Study Case PAN Jie 1 Yann LE BIANNIC 2 Frédéric MAGOULES 1 1 Ecole Centrale Paris-Applied Mathematics and Systems
More informationAws Certified Solutions Architect Ustoreore
AWS CERTIFIED SOLUTIONS ARCHITECT USTOREORE PDF - Are you looking for aws certified solutions architect ustoreore Books? Now, you will be happy that at this time aws certified solutions architect ustoreore
More informationStarting the Avalanche:
Starting the Avalanche: Application DoS In Microservice Architectures Scott Behrens Jeremy Heffner Introductions Scott Behrens Netflix senior application security engineer Breaking and building for 8+
More informationReliability Support in Virtual Infrastructures
Reliability Support in Virtual Infrastructures 2 nd IEEE International Conference on Cloud Computing Technology and Science, Indianapolis, 2010 RESO Guilherme Koslovski (INRIA University of Lyon) Wai-Leong
More informationShuttleService. Scalable Big Data Processing Utilizing Cloud Structures. A Tick Data Custom Data Solutions Group Case Study
ShuttleService Scalable Big Data Processing Utilizing Cloud Structures A Tick Data Custom Data Solutions Group Case Study Robert Fenster, Senior Engineer and AWS Certified Solutions Architect Neal Falkenberry,
More informationAmazon Aurora Relational databases reimagined.
Amazon Aurora Relational databases reimagined. Ronan Guilfoyle, Solutions Architect, AWS Brian Scanlan, Engineer, Intercom 2015, Amazon Web Services, Inc. or its affiliates. All rights reserved Current
More informationAWS Administration. Suggested Pre-requisites Basic IT Knowledge
Course Description Amazon Web Services Administration (AWS Administration) course starts your Cloud Journey. If you are planning to learn Cloud Computing and Amazon Web Services in particular, then this
More informationIntroduction To Cloud Computing
Introduction To Cloud Computing What is Cloud Computing? Cloud computing is a model for enabling ubiquitous, convenient, on-demand network access to a shared pool of configurable computing resources (e.g.,
More informationEnroll Now to Take online Course Contact: Demo video By Chandra sir
Enroll Now to Take online Course www.vlrtraining.in/register-for-aws Contact:9059868766 9985269518 Demo video By Chandra sir www.youtube.com/watch?v=8pu1who2j_k Chandra sir Class 01 https://www.youtube.com/watch?v=fccgwstm-cc
More informationLINUX, WINDOWS(MCSE),
Virtualization Foundation Evolution of Virtualization Virtualization Basics Virtualization Types (Type1 & Type2) Virtualization Demo (VMware ESXi, Citrix Xenserver, Hyper-V, KVM) Cloud Computing Foundation
More informationSUREedge Migrator Installation Guide for Amazon AWS
SUREedge Migrator Installation Guide for Amazon AWS Contents 1. Introduction... 3 1.1 SUREedge Migrator Deployment Scenarios... 3 1.2 Installation Overview... 4 2. Obtaining Software and Documentation...
More informationOpen Network Laboratory
Open Network Laboratory TA: CSE 473S (Fall 2010) Introduction to Computer Networks These slides are available on-line at: http://www.cse.wustl.edu/~jain/cse473-10/ 1 Outline 1. Open Network Laboratory
More informationSky Computing on FutureGrid and Grid 5000 with Nimbus. Pierre Riteau Université de Rennes 1, IRISA INRIA Rennes Bretagne Atlantique Rennes, France
Sky Computing on FutureGrid and Grid 5000 with Nimbus Pierre Riteau Université de Rennes 1, IRISA INRIA Rennes Bretagne Atlantique Rennes, France Outline Introduction to Sky Computing The Nimbus Project
More informationIntroduction to Cloud Computing
You will learn how to: Build and deploy cloud applications and develop an effective implementation strategy Leverage cloud vendors Amazon EC2 and Amazon S3 Exploit Software as a Service (SaaS) to optimize
More informationAmazon Elastic Cloud (EC2): An Easy Route to Your Own Dedicated Webserver
Amazon Elastic Cloud (EC2): An Easy Route to Your Own Dedicated Webserver The Amazon Elastic Cloud is a service which allows anyone to create their own dedicated web-servers which Aamazon manage & run.
More informationBuilding Apps in the Cloud to reduce costs up to 90%
Building Apps in the Cloud to reduce costs up to 90% Christian Petters, AWS Solutions Architect 18 May 2017 2017, Amazon Web Services, Inc. or its Affiliates. All rights reserved. AWS EC2 Consumption Models
More informationData Centers and Cloud Computing
Data Centers and Cloud Computing CS677 Guest Lecture Tim Wood 1 Data Centers Large server and storage farms 1000s of servers Many TBs or PBs of data Used by Enterprises for server applications Internet
More informationBERLIN. 2015, Amazon Web Services, Inc. or its affiliates. All rights reserved
BERLIN 2015, Amazon Web Services, Inc. or its affiliates. All rights reserved Amazon Aurora: Amazon s New Relational Database Engine Carlos Conde Technology Evangelist @caarlco 2015, Amazon Web Services,
More informationPervasive Insight. Mission Critical Platform
Empowered IT Pervasive Insight Mission Critical Platform Dynamic Development Desktop & Mobile Server & Datacenter Cloud Over 7 Million Downloads of SQL Server 2008 Over 30,000 partners are offering solutions
More informationARCHITECTING WEB APPLICATIONS FOR THE CLOUD: DESIGN PRINCIPLES AND PRACTICAL GUIDANCE FOR AWS
ARCHITECTING WEB APPLICATIONS FOR THE CLOUD: DESIGN PRINCIPLES AND PRACTICAL GUIDANCE FOR AWS Dr Adnene Guabtni, Senior Research Scientist, NICTA/Data61, CSIRO Adnene.Guabtni@csiro.au EC2 S3 ELB RDS AMI
More informationOracle made it easy: Cloud DB Vergleich
Oracle made it easy: Cloud DB Vergleich MATTHIAS FUCHS, ESENTRI BORYS NESELOVSKYI, OPITZ CONSULTING DOAG 2018 KONFERENZ, NÜRNBERG Cloud Angebote für Oracle Datenbank ORACLE CLOUD Oracle Datenbank Microsoft
More informationImmersion Day. Creating an Elastic Load Balancer. September Rev
September 2016 Rev 2016-01 Table of Contents Overview... 3 Elastic Load Balancer... 3 Launch a Second Web Server... 5 Create an ELB... 7 Copyright 2015, Amazon Web Services, All Rights Reserved Page 2
More informationDeep Dive Amazon Kinesis. Ian Meyers, Principal Solution Architect - Amazon Web Services
Deep Dive Amazon Kinesis Ian Meyers, Principal Solution Architect - Amazon Web Services Analytics Deployment & Administration App Services Analytics Compute Storage Database Networking AWS Global Infrastructure
More informationEXAM - AWS-Solution-Architect- Associate. AWS Certified Solutions Architect - Associate. Buy Full Product
Amazon EXAM - AWS-Solution-Architect- Associate AWS Certified Solutions Architect - Associate Buy Full Product http://www.examskey.com/aws-solution-architect- Associate.html Examskey Amazon AWS-Solution-Architect-Associate
More informationZero to Microservices in 5 minutes using Docker Containers. Mathew Lodge Weaveworks
Zero to Microservices in 5 minutes using Docker Containers Mathew Lodge (@mathewlodge) Weaveworks (@weaveworks) https://www.weave.works/ 2 Going faster with software delivery is now a business issue Software
More informationAmazon Search Services. Christoph Schmitter
Amazon Search Services Christoph Schmitter csc@amazon.de What we'll cover Overview of Amazon Search Services Understand the difference between Cloudsearch and Amazon ElasticSearch Service Q&A Amazon Search
More informationCycle Sharing Systems
Cycle Sharing Systems Jagadeesh Dyaberi Dependable Computing Systems Lab Purdue University 10/31/2005 1 Introduction Design of Program Security Communication Architecture Implementation Conclusion Outline
More informationUnderstanding and Evaluating Kubernetes. Haseeb Tariq Anubhavnidhi Archie Abhashkumar
Understanding and Evaluating Kubernetes Haseeb Tariq Anubhavnidhi Archie Abhashkumar Agenda Overview of project Kubernetes background and overview Experiments Summary and Conclusion 1. Overview of Project
More informationDesign Patterns for the Cloud. MCSN - N. Tonellotto - Distributed Enabling Platforms 68
Design Patterns for the Cloud 68 based on Amazon Web Services Architecting for the Cloud: Best Practices Jinesh Varia http://media.amazonwebservices.com/aws_cloud_best_practices.pdf 69 Amazon Web Services
More informationHOW TO PLAN & EXECUTE A SUCCESSFUL CLOUD MIGRATION
HOW TO PLAN & EXECUTE A SUCCESSFUL CLOUD MIGRATION Steve Bertoldi, Solutions Director, MarkLogic Agenda Cloud computing and on premise issues Comparison of traditional vs cloud architecture Review of use
More informationShark: Hive (SQL) on Spark
Shark: Hive (SQL) on Spark Reynold Xin UC Berkeley AMP Camp Aug 21, 2012 UC BERKELEY SELECT page_name, SUM(page_views) views FROM wikistats GROUP BY page_name ORDER BY views DESC LIMIT 10; Stage 0: Map-Shuffle-Reduce
More informationAnalysis of Peer-to-Peer Protocols Performance for Establishing a Decentralized Desktop Grid Middleware
Analysis of Peer-to-Peer Protocols Performance for Establishing a Decentralized Desktop Grid Middleware Heithem Abbes 1,2, Jean-Christophe Dubacq 2 1 Unité de Recherche UTIC ESSTT, Université de Tunis
More informationAbout Intellipaat. About the Course. Why Take This Course?
About Intellipaat Intellipaat is a fast growing professional training provider that is offering training in over 150 most sought-after tools and technologies. We have a learner base of 600,000 in over
More informationCACHE ME IF YOU CAN! GETTING STARTED WITH AMAZON ELASTICACHE. AWS Charlotte Meetup / Charlotte Cloud Computing Meetup Bilal Soylu October 2013
1 CACHE ME IF YOU CAN! GETTING STARTED WITH AMAZON ELASTICACHE AWS Charlotte Meetup / Charlotte Cloud Computing Meetup Bilal Soylu October 2013 2 Agenda Hola! Housekeeping What is this use case What is
More informationLean & Mean on AWS: Cost-Effective Architectures. Constantin Gonzalez, Solutions Architect, AWS
Lean & Mean on AWS: Cost-Effective Architectures Constantin Gonzalez, Solutions Architect, AWS What you ll get out of this session A lower AWS bill A more scalable, robust, dynamic architecture More time
More informationDeveloping Microsoft Azure Solutions
Course 20532C: Developing Microsoft Azure Solutions Course details Course Outline Module 1: OVERVIEW OF THE MICROSOFT AZURE PLATFORM This module reviews the services available in the Azure platform and
More informationUsing Cohesity with Amazon Web Services (AWS)
Using Cohesity with Amazon Web Services (AWS) Achieve your long-term retention and archival objectives for secondary data Cohesity DataPlatform is a hyperconverged secondary data and application solution
More informationInsert Title Here. Middleware Architecture for Cloud Based Services 11/18/2014
Insert Title Here Middleware Architecture for Cloud Based Services 11/18/2014 1 Team Prof. Mohammed Samaka Qatar University Dr. Subharthi Paul Washington Univ in STL Prof. Raj Jain Washington Univ in STL
More information2013 AWS Worldwide Public Sector Summit Washington, D.C.
2013 AWS Worldwide Public Sector Summit Washington, D.C. EMR for Fun and for Profit Ben Butler Sr. Manager, Big Data butlerb@amazon.com @bensbutler Overview 1. What is big data? 2. What is AWS Elastic
More informationAWS Well Architected Framework
AWS Well Architected Framework What We Will Cover The Well-Architected Framework Key Best Practices How to Get Started Resources Main Pillars Security Reliability Performance Efficiency Cost Optimization
More informationVIAF: Verification-based Integrity Assurance Framework for MapReduce. YongzhiWang, JinpengWei
VIAF: Verification-based Integrity Assurance Framework for MapReduce YongzhiWang, JinpengWei MapReduce in Brief Satisfying the demand for large scale data processing It is a parallel programming model
More informationAWS Solution Architect Associate
AWS Solution Architect Associate 1. Introduction to Amazon Web Services Overview Introduction to Cloud Computing History of Amazon Web Services Why we should Care about Amazon Web Services Overview of
More informationLecture 23: Storage Systems. Topics: disk access, bus design, evaluation metrics, RAID (Sections )
Lecture 23: Storage Systems Topics: disk access, bus design, evaluation metrics, RAID (Sections 7.1-7.9) 1 Role of I/O Activities external to the CPU are typically orders of magnitude slower Example: while
More informationClosing the Performance Gap Between Volatile and Persistent K-V Stores
Closing the Performance Gap Between Volatile and Persistent K-V Stores Yihe Huang, Harvard University Matej Pavlovic, EPFL Virendra Marathe, Oracle Labs Margo Seltzer, Oracle Labs Tim Harris, Oracle Labs
More informationWhite Paper Amazon Aurora A Fast, Affordable and Powerful RDBMS
White Paper Amazon Aurora A Fast, Affordable and Powerful RDBMS TABLE OF CONTENTS Introduction 3 Multi-Tenant Logging and Storage Layer with Service-Oriented Architecture 3 High Availability with Self-Healing
More informationAbout Terracotta Ehcache. Version 10.1
About Terracotta Ehcache Version 10.1 October 2017 This document applies to Terraco a Ehcache Version 10.1 and to all subsequent releases. Specifications contained herein are subject to change and these
More informationAWS Integration Guide. Full documentation available at
AWS Integration Guide Full documentation available at https://www.morpheusdata.com/support Amazon Web Services (AWS) AWS is the Amazon public cloud offering. Offering a full range of services and features
More informationScientific Workflows and Cloud Computing. Gideon Juve USC Information Sciences Institute
Scientific Workflows and Cloud Computing Gideon Juve USC Information Sciences Institute gideon@isi.edu Scientific Workflows Loosely-coupled parallel applications Expressed as directed acyclic graphs (DAGs)
More informationAurora, RDS, or On-Prem, Which is right for you
Aurora, RDS, or On-Prem, Which is right for you Kathy Gibbs Database Specialist TAM Katgibbs@amazon.com Santa Clara, California April 23th 25th, 2018 Agenda RDS Aurora EC2 On-Premise Wrap-up/Recommendation
More informationReliable Self-Deployment of Cloud Applications
Reliable Self-Deployment of Cloud Applications Xavier Etchevers 1, Gwen Salaün 2, Fabienne Boyer 3, Thierry Coupaye 1, Noel De Palma 3 1 Orange Labs, France 2 Grenoble INP, Inria, France 3 UJF-Grenoble
More informationSymantecTM Desktop and Laptop Option. Symantec DLO s Storage in Cloud (Amazon Web Services)
SymantecTM Desktop and Laptop Option Symantec DLO s Storage in Cloud (Amazon Web Services) Disclaimer The information contained in this publication is subject to change without notice. Symantec Corporation
More informationSplunk & AWS. Gain real-time insights from your data at scale. Ray Zhu Product Manager, AWS Elias Haddad Product Manager, Splunk
Splunk & AWS Gain real-time insights from your data at scale Ray Zhu Product Manager, AWS Elias Haddad Product Manager, Splunk Forward-Looking Statements During the course of this presentation, we may
More informationMapReduce for Data Intensive Scientific Analyses
apreduce for Data Intensive Scientific Analyses Jaliya Ekanayake Shrideep Pallickara Geoffrey Fox Department of Computer Science Indiana University Bloomington, IN, 47405 5/11/2009 Jaliya Ekanayake 1 Presentation
More informationWebinar IUCLID 6 Questions and Answers
IUCLID 6 Webinar IUCLID 6 Questions and Answers IUCLID 6.3 31/10/2018 IUCLID 6.3 Q&A Page 1 Table of Contents 1. INTRODUCTION... 2 2. QUESTIONS AND ANSWERS... 3 2.1. IUCLID installation, update and migration...
More informationCloud Computing Patterns & Best Practices. Ezhil Arasan Babaraj Director of R&D Labs CSS Corp, India
Cloud Computing Patterns & Best Practices Ezhil Arasan Babaraj Director of R&D Labs CSS Corp, India About CSS Corp 100% Referenceable Customers Driving Technology Innovation and adoption Technology OpEx
More informationGladinet Cloud Enterprise
GLADINET, INC Gladinet Cloud Enterprise Technical White Paper Gladinet, Inc. 1/20/2013 This document discusses the technologies behind Gladinet Cloud Enterprise Copyright 2013 Gladinet, Inc. Table of Contents
More informationSoftware Architecture
Software Architecture Mestrado em Engenharia Informática e de Computadores COMPANION TO THE FIRST EXAM ON JANUARY 8TH, 2016 VERSION: A (You do not need to turn in this set of pages with your exam) 1. Consider
More informationCIT 668: System Architecture
CIT 668: System Architecture Amazon Web Services II Topics 1. Elastic Block Service (EBS) 2. Simple Storage Service (S3) 3. CloudFront 4. CloudWatch (and AutoScaling) 5. Simple Notification Service (SNS)
More informationA Hands on Introduction to Docker
A Hands on Introduction to Docker Len Bass A Hands on introduction Introduction to to Docker May 2017 1 4, Len 2017 Bass 2017 Len Bass 1 Setting expectations This is an introduction to Docker intended
More informationAcano solution. White Paper on Virtualized Deployments. Simon Evans, Acano Chief Scientist. March B
Acano solution White Paper on Virtualized Deployments Simon Evans, Acano Chief Scientist March 2016 76-1093-01-B Contents Introduction 3 Host Requirements 5 Sizing a VM 6 Call Bridge VM 7 Acano EdgeVM
More informationTableau Server on Microsoft Azure:
Tableau Server on Microsoft Azure: Deployment Guidelines and Best Practices April 2017 Table of Contents Abstract...3 Introduction to Tableau With Microsoft Azure...3 Option 1 Self Deployment via Azure
More informationSymantecTM Desktop and Laptop Option. Symantec DLO s Storage in Cloud (Amazon Web Services)
SymantecTM Desktop and Laptop Option Symantec DLO s Storage in Cloud (Amazon Web Services) Disclaimer The information contained in this publication is subject to change without notice. Symantec Corporation
More informationNetwrix Auditor. Virtual Appliance and Cloud Deployment Guide. Version: /25/2017
Netwrix Auditor Virtual Appliance and Cloud Deployment Guide Version: 9.5 10/25/2017 Legal Notice The information in this publication is furnished for information use only, and does not constitute a commitment
More informationAmazon Web Services Cloud Computing in Action. Jeff Barr
Amazon Web Services Cloud Computing in Action Jeff Barr jbarr@amazon.com Who am I? Software development background Programmable applications and sites Microsoft Visual Basic and.net Teams Startup / venture
More informationIntroduction to Amazon Cloud & EC2 Overview
Introduction to Amazon Cloud & EC2 Overview 2015 Amazon Web Services, Inc. and its affiliates. All rights served. May not be copied, modified, or distributed in whole or in part without the express consent
More informationDemo Lab Guide vworkspace
Demo Lab Guide vworkspace Product Domain: Cloud Client Computing Author: Dan Coleman Version: 1.01 Table of Contents 1 Product Overview... 4 1.1 Lab Preparation Considerations and Caveats... 4 2 Introduction...
More informationLaunch and Scale your Social Game in the Cloud with AltEgo, Amazon Web Services and RightScale
Launch and Scale your Social Game in the Cloud with AltEgo, Amazon Web Services and RightScale November 16, 2010 Your Panel Today Presenting: Josh Fraser: VP, Business Development, RightScale Jeff Barr:
More informationAmazon Web Services (AWS) Training Course Content
Amazon Web Services (AWS) Training Course Content SECTION 1: CLOUD COMPUTING INTRODUCTION History of Cloud Computing Concept of Client Server Computing Distributed Computing and it s Challenges What is
More informationLaunching secure-by-default SLES on Amazon EC2 instances with Amazon Virtual Private Cloud (VPC)
Launching secure-by-default SLES on Amazon EC2 instances with Amazon Virtual Private Cloud (VPC) Rick Ashford Mike Friesenegger SUSE Sales Engineer rashford@suse.com SUSE Sales Engineer mikef@suse.com
More informationNutanix Tech Note. Virtualizing Microsoft Applications on Web-Scale Infrastructure
Nutanix Tech Note Virtualizing Microsoft Applications on Web-Scale Infrastructure The increase in virtualization of critical applications has brought significant attention to compute and storage infrastructure.
More information