paris, january 9-10 2007 science jra status report symbolic grid computing kevin hammond, steve...
TRANSCRIPT
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
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