“ “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