CITICentro de Informática e Tecnologia da Informação

Center for Informatics and Information Technology

Pedro Medeiros, Nuno Preguiça

Cloudviews 2010

Presentation Overview

CITI Presentation CITI contributions to the Cloud scientific area Conclusions

CITI Overview

Context:Founded 1997, hosted by Dept. Informática, FCTUNLFunded by FCT/MCTES, FCTUNL and projects contractsMission:Research in core areas of Computer Science / InformaticsBreath of coverage w.r.t. both traditional and emerging CS topics; DI-FCT-UNL is a graduate school in CS (~60 PhD since the 80s)Currently:32 full time investigators + students (Phd, Msc)Collaborative network at the local, national, and international levelsHigh-quality research in many areas

Plastic

Solar

Computing SystemsSoftware Principles and

MethodsMulti-Modal Systems

citi.di.fct.unl.ptciti.di.fct.unl.pt4

Fox

Valse

AdsirParadise

Persys

Trxsys

Cores

Giss

Imedia

Agravis

TramaFix

CITI Organization

Sample National Collaboration Network

U MinhoU Minho

U PortoU Porto

ISTIST

U LisboaU Lisboa

U ÉvoraU Évora

Software PrinciplesSoftware Principlesand Methodsand Methods

Software PrinciplesSoftware Principlesand Methodsand Methods

Multi-Modal Multi-Modal SystemsSystems

Multi-Modal Multi-Modal SystemsSystems

Computing Computing SystemsSystems

Computing Computing SystemsSystems

U N Lisboa

U N Lisboa

Collaborative activities involving CITI and other portuguese research units

U Coimbra

U Coimbra

5

CMU SEICMU SEI

Microsoft Research

Microsoft Research

Sample Global Collaboration Network

Software PrinciplesSoftware PrinciplesAnd MethodsAnd Methods

Software PrinciplesSoftware PrinciplesAnd MethodsAnd Methods

Distributed SystemsDistributed SystemsDistributed SystemsDistributed Systems

Multimodal SystemsMultimodal SystemsMultimodal SystemsMultimodal Systems

Computing SystemsComputing SystemsComputing SystemsComputing Systems

U CardiffU Cardiff

GC2communi

ty

GC2communi

ty

Imperial College

Imperial College

U Lancaster

U Lancaster

U LeedsU Leeds

UT Austin UT Austin U BolognaU Bologna

U PisaU Pisa

INRIAINRIA

SUNYstonybroo

k

SUNYstonybroo

k

MITMediaLab

MITMediaLab

U Paris VIU Paris VI

CMU CSCMU CS

CMU Cylab

CMU Cylab

U LinzU Linz

UFRS, BrUFRS, Br

Max Planck

Max Planck

U TwenteU TwenteAOSD

community

AOSDcommuni

tyU

Zheijiang

U Zheijiang

INPGGrenoble

INPGGrenoble

U Tsinghua

U Tsinghua

INRIAINRIA

6

CITI & the Cloud

CITI Presentation CITI & the Cloud

Core technologiesRunning domain-specific applications

Conclusions

Core technologies

Software Principles and MethodsTechniques for safe and efficient software

developmentComputer Systems

Algorithms for large-scale data management and processing

Runtime environments for high-performance computing

Security techniques for distributed systems

Software Principles and Methods

INTERFACES project: Certified Interfaces for Integrity and Security in Extensible Web Based Applications - Funded by ICTI @ CMU-Portugal - CITI, Carnegie Mellon Univ, Fac. Ciências Univ. Lisboa, - OutSystems, SAProject main goalDevelopment of new techniques for enforcing security, integrity, and correctness requirements on distributed extensible web‐based applications by introducing novel, semantically rich notions of interface description languages, based on advanced type systems and logics

CRDTs: Consistency withoutconcurrency control

CRDTs project: Commutative Replicated Data Types - Funded by Google, ANR/France - CITI, INRIA, U. MinhoProject main goalSimplify geographic replication by designing data types that converge without complex concurrency controlMain ideaDesign data type for which all operations commuteE.g. key-value store (basic cloud storage – Yahoo PNuts, Amazon Dynamo), text buffer (Google Docs), etc.

Byzantine fault-tolerance in the Cloud

Byzantium project: Byzantine Fault Tolerance - Funded by FCT - CITI, INESC-id, Max Planck Inst.Project main goalProvide correct behavior in the presence of non fail-stop errors from software bugs, hardware malfunctions, misconfigurations, compromised sites

wrong

rightrightright

Byzantine fault-tolerance in the Cloud

right

Incorrect behavior from software bugs, hardware problems, etc.

Results must remain correct

Cluster File System

pCFS project: Parallel Cluster File System - CITI, INRIAProject main goalAchieving high I/O throughput in HPC applications, where processes write in shared files, supporting POSIX semantics and high-availability

Personal storage meets the Cloud

FEW project: Files EveryWhere - Funded by FCT - CITI, U. MinhoBackground Most users’ data is also somewhere in the cloud

General web sources(e.g. web sites, p2p,

etc.)Personal repositories

(e.g. Flickr, Gmail, Google

Docs, DropBox, etc.)

Personal storage meets the Cloud

FEW project: Files EveryWhere - Funded by FCT - CITI, U. MinhoProject main goalProvide users with a uniform view of their workspace everywhere by having reference to cloud sources

Running domain-specific applications in the cloud

Processing of tomographic data from composite materialswith Materials Science and Engineering

Ocean and Earth simulations with Geology, Oceanography

Protein foldingwith Chemistry

Support of high-demanding scientific and engineering applications

- Geological unitsGeological units

- PermeabilityPermeability

- PorosityPorosity

- Fluid saturationFluid saturation

- Exploitation and recoveryExploitation and recovery

output = f (ioutput = f (i11, i, i22, i, i33 ...) ...)Static modelStatic modelDynamic modelDynamic model

OutputsOutputsDataData

Conclusions

CITI Presentation CITI contributions to the Cloud scientific area Conclusions

Conclusions

Solid background in key enabling technologies for the cloud

Software development techniques – secure, flexible, re-use

Data management for large scaleHigh-performance computing techniques

Tradition in supporting domain-specific applications

Experience in collaboration with companies (technology transfer, joint research)

OutSystems, Edisoft, PT inovaçãoGoogle, Microsoft Research

Seeking potential collaborations for cloud environments