Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Implementing a Framework for Certified Grid Margaret DeLap

Summary: Implementing a Framework for Certified Grid
Margaret DeLap
May 3, 2002
Large quantities of computing resources go unused every day; many
PCs, for example, are idle much of the time. Grid computing aims to
tap these resources in much the same way as we use an electric power
grid. This would allow us to solve large, computationally expensive
problems cheaply. However, on large networks such as the Internet, it
is not possible for all users to know and trust one another. Further,
since resource donors may not receive any compensation, they have
little incentive to accept code without confirmation that it will be safe
to run. For these reasons, the ConCert project seeks to provide a the­
oretically sound basis for grid computing in an untrusted environment.
To show that such a goal can be feasible, this project provides an ini­
tial implementation, using x86 TAL (Typed Assembly Language), of
an actual framework for acquiring, verifying, and running grid code.
TAL provides the ability to verify type safety; later, ConCert hopes
to deliver capability to prove other properties, such as bounds on re­


Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University
Pfenning, Frank - School of Computer Science, Carnegie Mellon University


Collections: Computer Technologies and Information Sciences; Mathematics