Paris, January 9-10 2007

SCIEnce JRA Status ReportSymbolic Grid Computing

Kevin Hammond, Steve Linton, Marco Costantini, Alexander KonavelevUniversity of St Andrews, Scotland

Phil Trinder, Greg Michaelson, Abyd al ZainHeriot-Watt University, Scotland

Dana Petcu, Alexandru Carstea, Adrian Craciun, Marc Frincu,Georgiana Macariu

IeAT, Timisoara, Romania

Paris, January 9-10 2007

Overall JRA Objectives

1. produce a portable framework (SymGrid) that will

• allow symbolic computations to access Grid services

• allow symbolic components to be exploited as part of larger Grid service applications on a computational Grid

2. develop resource brokers that will support the irregular workload and computation structures that are frequently found in symbolic computations

3. implement a series of applications that will demonstrate the capabilities and limitations of Grid computing for symbolic computations

Paris, January 9-10 2007

Diagrammatic Workplan

Paris, January 9-10 2007

Task JRA 1.1Access to Grid Services: SymGrid-Services

Develop middleware (SymGrid-Services) to allow generic access to symbolic Grid services, as part of SymGrid.

Provide service discovery for symbolic Grid components.

At the lower level, SymGrid will integrate with and build on existing Grid middleware, including at least Globus.

Higher-level system interfaces will be defined to allow straightforward SymGrid access from within symbolic systems. These interfaces will be designed in association with the providers of the Maple, GAP, MuPAD and Kant systems in order to meet the generic requirements of symbolic system providers.

Paris, January 9-10 2007

Task JRA 1.2Symbolic Grid Components: SymGrid-Par

Develop new SymGrid middleware to allow symbolic programs to be used as components of larger applications on the Grid.

Complements JRA1.1 by allowing symbolic systems to both access Grid services and to themselves provide Grid services.

We will exploit the OpenMath-based data representation of symbolic computing resources developed in NA3, define security policies to protect sensitive symbolic applications and data, and implement appropriate security mechanisms.

The middleware will be developed in conjunction with the interfaces produced in JRA1.1 so that SymGrid-enabled components may be called from other SymGrid components, and may themselves call such components. In this way complete Grid-enabled applications may be constructed.

Paris, January 9-10 2007

Task JRA 1.3Interfacing Symbolic Computing Systems

Construct user-level interfaces from the Maple, Kant, MuPad and GAP symbolic systems to the SymGrid middleware developed in JRA1.1 and JRA1.2.

This will permit symbolic Grid applications to be constructed from heterogeneous SymGrid-enabled components, and so allow specific capabilities and strengths of each symbolic system to be exploited as part of a single application.

Paris, January 9-10 2007

Initial Objectives

Link Computer Algebra Systems to Middleware Develop generic programming interfaces

CA systems to middleware Middleware to CA Systems

Develop user interfaces (UIs) for each CA system

Design data interchange format OpenMath/MathML (with NA3)

Identify generic needs of CA Systems what must the middleware provide?

Identify and build CA exemplars good distribution interesting computation patterns combination of different CA systems

Paris, January 9-10 2007

JRA 18-Month Workplan

April '07Sep '06April '06 Sep '07

Complete GpH/GAP Prototype

DesignSymGrid

Implement SymGrid for GAP

Work on CA Exemplars

GpH/GAP Prototype

Design data interface (with NA3)

Identify Generic SC Needs

Develop Maple & GAP UIs

Maple2G Prototype

Paris, January 9-10 2007

Current Status

Prototype GAP-GpH (Haskell) Interface constructed (HW/SA)

Prototype SymGrid-Par system implemented Builds on existing GRID-GUM system Now porting to latest Haskell compiler

Design work on SymGrid-Services (IeAT) now in implementation

Grid Cluster installed at IeAT cluster available at HWU new cluster to be installed at SA

Planning meetings held in St Andrews, Genoa, Budapest and Brussels

Regular audio-conferences

Paris, January 9-10 2007

SymGrid (Original Design)

Gap Maple MuPad Kant ...

GpHJava/C (Maple2G)

Gap Maple MuPad Kant ...

Middleware

CA Systems(UIs)

CA Systems(engines)

CA to Middleware (CAM) interface

Middleware to CA (MCA) interface

Paris, January 9-10 2007

SymGrid (Current Design)

SymGrid-Par

Gap Maple MuPad Kant ...CA Systems

CA Systems(multiple engines)

SymGrid-Services

Web/CAUser Interface (UI)

Middleware to CA interface (MCA/CAM)

Grid to CA interface (GCA/CAG)

Direct SymGrid-ParInterface

Paris, January 9-10 2007

Near-Term Objectives

Complete SymGrid-Services/SymGrid-Par for GAP

Extend to Maple, MuPad, Kant New UIs for each system New APIs for each system