1 / 8

SymGrid: Symbolic Computations on Grids

SymGrid: Symbolic Computations on Grids. Kevin Hammond , University of St Andrews, UK Phil Trinder , Heriot-Watt University, UK Abdallah Al Zain , Heriot-Watt University, UK Dana Petcu , IeAT, Timisoara, Romania. Research Objectives. Produce a portable framework (SymGrid) that will

matty
Download Presentation

SymGrid: Symbolic Computations on Grids

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. SymGrid: Symbolic Computations on Grids Kevin Hammond, University of St Andrews, UK Phil Trinder, Heriot-Watt University, UK Abdallah Al Zain, Heriot-Watt University, UK Dana Petcu, IeAT, Timisoara, Romania

  2. Research Objectives • Producea 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 • Developresource brokers that will support the irregular workload and computation structures that are frequently found in symbolic computations • Implementa series of applications that will demonstrate the capabilities and limitations of Grid computing for symbolic computations SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  3. CA Systems CA Systems (multiple engines) Gap Maple MuPad Kant ... SymGrid Design Web/CA User Interface (UI) Direct SymGrid-Par Interface SymGrid-Services Middleware to CA interface (MCA/CAM) SymGrid-Par Grid to CA interface (GCA/CAG) SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  4. Access 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. • 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. • Standardisation allows ready combination of multiple CA systems, e.g. combining GAP and Maple capabilities. SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  5. Grid Parallel Evaluation of Symbolic Computations: SymGrid-Par • Develop new SymGrid middleware to enable large CA problems to be executed on computational Grids, specifically CAG & GCA interfaces: Computer Algebra System CAG GpH GCA … CA Instance CA Instance CA Instance SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  6. SymGrid-Par Design • Core of CAG is a set of CA specific algorithmic skeletons, • i.e. hof’s encapsulating common patterns of parallel coordination • e.g. map, fold, mapreduce, … • GCA enables GpH to invoke CA functions • Both encode mathematical objects using the XML-based OpenMath standard • Support the combination of multiple CA systems • CAG/GCA Design detailed in [PAPP’07] SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  7. 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 • 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 SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

  8. Current Status • Prototype SymGrid-Par system implemented (HWU/SA) • Builds on existing GRID-GUM, a GRID enabled runtime environment on Haskell • Now porting to latest Haskell compiler. • Design work on SymGrid-Services (IeAT) • now in implementation SymGrid: Symbolic Computations on Grids. Abdallah Al Zain Heriot-Watt University

More Related