Upload
chaeli
View
58
Download
0
Tags:
Embed Size (px)
DESCRIPTION
“DECISION” PROJECT INTEGRATION PLATFORM. CAST. CORBA PROTOTYPE. J. BLACHON & NGUYEN G.T. INRIA Rhône-Alpes. June 10th, 1999. INTEGRATION PLATFORM. • COMMON DEFINITION, IMPLEMENTATION, CONFIGURATION & EXECUTION ENVIRONMENT. • COLLABORATIVE APPLICATIONS. - PowerPoint PPT Presentation
Citation preview
“ “DECISION” PROJECTDECISION” PROJECTINTEGRATION PLATFORMINTEGRATION PLATFORM
CORBA PROTOTYPE
CASTCAST
J. BLACHON & NGUYEN G.T.
INRIA Rhône-Alpes
June 10th, 1999
• DISTRIBUTED (LAN, WAN, NOW ...)
• CODE COUPLING FOR HETEROGENEOUS SOFTWARE
• COLLABORATIVE APPLICATIONS
• COMMON DEFINITION, IMPLEMENTATION, CONFIGURATION & EXECUTION ENVIRONMENT
• TARGET HARDWARE : workstations, PC clusters, ...
• TARGET APPLICATIONS : engineering, ...
INTEGRATIONINTEGRATION PLATFORMPLATFORM
INTEGRATIONINTEGRATION PLATFORMPLATFORM
SOLVER OPTIMIZER OPTIMIZER
CAST
SYNCHRONISATION
DATAFORMATS
NAMING
CORBA
MPI
PVM… …
NETWORK
PROTOTYPE ARCHITECTURE
BASIC CONCEPTSBASIC CONCEPTS
• TASKS
• OPERATORS
• MODULES
• PARAMETERS
• DISTRIBUTION
COMPONENTS & LINKS
TASKSTASKS
• LOGICAL UNIT : CODE INDEPENDENT
• APPLICATION DEPENDENT
• USER DEFINED (reusable)
• DEPENDENCY RELATIONSHIPS
• OPERATOR INPUT PARAMETERS
• LOCAL OR REMOTE
• HIERARCHICAL DECOMPOSITION
• INTERCONNECTED SUB-TASKS
MODULESMODULES
• USER CODE
• REMOTE OR LOCAL
• TRANSPARENT USE
• ACTUAL EXECUTION UNIT
• TASK INDEPENDENT (update modules)
OPERATORSOPERATORS
• SYNCHRONIZATION
• PARALLEL EXECUTION
• SERIAL EXECUTION
• ITERATIONS
• UNARY OR BINARY
• COMPLEX EXPRESSIONS : process formulae
• CHOICE
DISTRIBUTION ISSUESDISTRIBUTION ISSUES
• TASKS
• MODULES : task location
• DATA : remote files or shared memory
• TRANSPARENT USE
PROTOTYPE INTEGRATION PLATFORMPROTOTYPE INTEGRATION PLATFORM
• REMINDER : IPA, BCGA, RCGA (March 1998)
• NEW : HBCGA, PBNCBN , ParBCGA (Sept. 1998)
SOFTWARE INCLUDED IN CAST
HBCGA II (Oct. 1998)
• Test Case : CFD solver + BCGA optimiser (Aug. 1998)
TEST CASETEST CASE
• SHOCK-WAVE INDUCED DRAG REDUCTION
• WING PROFILE OPTIMISATION (RAE2822)
• Euler eqns (0,84 Mach, i = 2°) + BCGA (100 gen.)
• 2D MESH : 1286 nodes, 3680 triangles
• 15 hours CPU time (SUN Micro SPARC 5, Solaris 2.5)
TEST CASETEST CASEWING PROFILE OPTIMISATION
BCGAFUN2
EXAMPLEEXAMPLE
END
PARBCGA
INITFUN1
CORBA PROTOTYPE DEMONSTRATORCORBA PROTOTYPE DEMONSTRATOR
GOALS
• TEST CASES IMPLEMENTATION
• “DECISION” CORBA INTEGRATION PLATFORM
• DESIGN FUTURE HPCN OPTIMISATION PLATFORMS
COOPERATIVE MULTI-DISCIPLINE OPTIMISATION
GENETIC ALGORITHMS USED FOR OPTIMISATION
CODE COUPLING FOR CFD, CSM SOLVERS & OPTIMISERS
CORBA DEMONSTRATOR PLATFORMCORBA DEMONSTRATOR PLATFORM
CAST
CORBA
OPTIMIZERSSOLVERS
DISTRIBUTED OBJECT ARCHITECTUREDISTRIBUTED OBJECT ARCHITECTURE
• TRANSPARENT DISTRIBUTED OBJECT COMPUTING
• CORBA COMPLIANT
• SIMPLE SOFTWARE MODEL
• COMPONENTS PLUG-IN (e.g., optimizers, solvers)
- SOFTWARE COMPONENTS
- CONNECTORS
DISTRIBUTED OBJECT ARCHITECTUREDISTRIBUTED OBJECT ARCHITECTURE
SOFTWARE COMPONENTS
• COMPONENTS ARE DISTRIBUTED OBJECTS
• WRAPPERS AUTOMATICALLY GENERATED ?
• COMPONENTS ENCAPSULATE USER MODULES
DISTRIBUTED OBJECT ARCHITECTUREDISTRIBUTED OBJECT ARCHITECTURESOFTWARE CONNECTORS
• CONNECTORS ARE SYNCHRONIZED CHANNELS
• SEVERAL PROTOCOLS
• CONNECTORS = DATA COMMUNICATION CHANNELS
- SYNCHRONOUS METHOD INVOCATION
- ASYNCHRONOUS EVENT BROADCAST
• COMPONENTS COMMUNICATE THROUGH SOFTWARE CONNECTORS
PROTOTYPE CORBA DEMONSTRATORPROTOTYPE CORBA DEMONSTRATOR
CAST OPTIMIZERS
CORBA
SOLVERS
Server
Phase 2
Wrapper Wrapper
Modules Modules
PROTOTYPE CORBA DEMONSTRATORPROTOTYPE CORBA DEMONSTRATOR
TECHNICAL ITEMS
• OPTIMISERS WRAPPING (Nimbus)
• SOLVERS WRAPPING (Nokka-Tume)
• CAST 2.0 IMPLEMENTATION i.e. CORBA version
• LOCAL TEST-CASES CROSS-VALIDATION
• DISTRIBUTED TEST-CASES CROSS-VALIDATION
• TEST-CASES IMPLEMENTATION
PROTOTYPE CORBA DEMONSTRATORPROTOTYPE CORBA DEMONSTRATOR
CAST OPTIMIZERS
CORBA
SOLVERS
Server Wrapper Wrapper
CAST TASKS
STRONG POINTSSTRONG POINTS
• STRONG THEORETICAL FOUNDATIONS
• SPECIFICATION & VERIFICATION OF COMPLEX APPS
Process algebra for asynchronous systems
• FORMAL SPECIFICATION SYSTEM
• EASY TO USE
Intuitive interface : single task modelNo theoretical background knowledge requiredTransparent distribution using CORBA
Milner ’s SCCS algebra
STRONG POINTSSTRONG POINTS
• PROPRIETARY CODE: NO MARKETING CONSTRAINTS
• EASILY MODIFIABLE: NO STRINGENT LEGACY CODE
• OBJECT-ORIENTED IMPLEMENTATION
• NO USER CODE MODIFICATION REQUIRED
STRONG POINTSSTRONG POINTS
• OPENESS : APPLICATION, SYSTEM, FUNCTIONAL ISSUES
• CLIENT / SERVER ARCHITECTURE
• OPEN & DISTRIBUTED SOFTWARE ARCHITECTURE
• CLEAR TRANSITION TO O.O. FRAMEWORKS
• NO MONOLITHIC ENVIRONMENT
EASY DEVELOPMENT & EVOLUTION
CONCLUSIONCONCLUSION
• CAST PROVIDES AN INTEGRATION PLATFORM
• FORMAL ALGEBRAIC PROCESS SPECIFICATIONS
• FULLY CORBA COMPLIANT PLATFORM
• MIXING CORBA & non-CORBA CODES
• SMOOTH TRANSITION FROM EXISTING CODE-COUPLING ENVIRONMENTS
DEFINE, IMPLEMENT, CONFIGURE & EXECUTE COLLABORATIVE APPLICATIONS
FUTURE DIRECTIONSFUTURE DIRECTIONS
• FORMAL PROCESS VERIFICATION
• INTERFACE WITH PARALLEL CODES
COUPLING CORBA & MPI, PVM
• GENERIC CORBA WRAPPERS
AUTOMATE GENERATION OF CODE WRAPPERS