A formal model of dynamic resource allocation in Grid computing environment

Ismail Leila; Mills Bruce; Hennebelle Alain

doi:10.1109/SNPD.2008.136

A formal model of dynamic resource allocation in Grid computing environment

Ismail Leila, Mills Bruce, Hennebelle Alain

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

13 Citations (Scopus)

Abstract

The Grid computing environment is proposed as a way to enhance the efficiency of the underlying system by maximizing utilization of distributed resources. Dynamic resource allocation algorithms are used to dynamically allocate suitable resources to users' tasks. The efficiency of these algorithms is then vital for both the usability of the Grid system and fulfilling its objective. In this paper, we define a formal model of a Grid system suitable for a formal analysis of resource allocation algorithms in Grid computing. We also discuss the use of information which is available to resource allocation algorithm developers, such as researchers and students, who do not have access to an internal Grid to compute the efficiency of their algorithms.

Original language	English
Title of host publication	Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications
Pages	685-693
Number of pages	9
DOIs	https://doi.org/10.1109/SNPD.2008.136
Publication status	Published - 2008
Event	9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008 - Phuket, Thailand Duration: Aug 6 2008 → Aug 8 2008

Publication series

Name	Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications

Other

Other	9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008
Country/Territory	Thailand
City	Phuket
Period	8/6/08 → 8/8/08

ASJC Scopus subject areas

Artificial Intelligence
Computer Networks and Communications
Computer Science Applications

Access to Document

10.1109/SNPD.2008.136

Cite this

Leila, I., Bruce, M., & Alain, H. (2008). A formal model of dynamic resource allocation in Grid computing environment. In Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications (pp. 685-693). [4617452] (Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications). https://doi.org/10.1109/SNPD.2008.136

A formal model of dynamic resource allocation in Grid computing environment. / Leila, Ismail; Bruce, Mills; Alain, Hennebelle.
Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications. 2008. p. 685-693 4617452 (Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Leila, I, Bruce, M & Alain, H 2008, A formal model of dynamic resource allocation in Grid computing environment. in Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications., 4617452, Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications, pp. 685-693, 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008, Phuket, Thailand, 8/6/08. https://doi.org/10.1109/SNPD.2008.136

Leila I, Bruce M, Alain H. A formal model of dynamic resource allocation in Grid computing environment. In Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications. 2008. p. 685-693. 4617452. (Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications). doi: 10.1109/SNPD.2008.136

Leila, Ismail ; Bruce, Mills ; Alain, Hennebelle. / A formal model of dynamic resource allocation in Grid computing environment. Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications. 2008. pp. 685-693 (Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications).

@inproceedings{85cfb71a4b5b428799f8fdac4e355561,

title = "A formal model of dynamic resource allocation in Grid computing environment",

abstract = "The Grid computing environment is proposed as a way to enhance the efficiency of the underlying system by maximizing utilization of distributed resources. Dynamic resource allocation algorithms are used to dynamically allocate suitable resources to users' tasks. The efficiency of these algorithms is then vital for both the usability of the Grid system and fulfilling its objective. In this paper, we define a formal model of a Grid system suitable for a formal analysis of resource allocation algorithms in Grid computing. We also discuss the use of information which is available to resource allocation algorithm developers, such as researchers and students, who do not have access to an internal Grid to compute the efficiency of their algorithms.",

author = "Ismail Leila and Mills Bruce and Hennebelle Alain",

year = "2008",

doi = "10.1109/SNPD.2008.136",

language = "English",

isbn = "9780769532639",

series = "Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications",

pages = "685--693",

booktitle = "Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications",

note = "9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008 ; Conference date: 06-08-2008 Through 08-08-2008",

}

TY - GEN

T1 - A formal model of dynamic resource allocation in Grid computing environment

AU - Leila, Ismail

AU - Bruce, Mills

AU - Alain, Hennebelle

PY - 2008

Y1 - 2008

N2 - The Grid computing environment is proposed as a way to enhance the efficiency of the underlying system by maximizing utilization of distributed resources. Dynamic resource allocation algorithms are used to dynamically allocate suitable resources to users' tasks. The efficiency of these algorithms is then vital for both the usability of the Grid system and fulfilling its objective. In this paper, we define a formal model of a Grid system suitable for a formal analysis of resource allocation algorithms in Grid computing. We also discuss the use of information which is available to resource allocation algorithm developers, such as researchers and students, who do not have access to an internal Grid to compute the efficiency of their algorithms.

AB - The Grid computing environment is proposed as a way to enhance the efficiency of the underlying system by maximizing utilization of distributed resources. Dynamic resource allocation algorithms are used to dynamically allocate suitable resources to users' tasks. The efficiency of these algorithms is then vital for both the usability of the Grid system and fulfilling its objective. In this paper, we define a formal model of a Grid system suitable for a formal analysis of resource allocation algorithms in Grid computing. We also discuss the use of information which is available to resource allocation algorithm developers, such as researchers and students, who do not have access to an internal Grid to compute the efficiency of their algorithms.

UR - http://www.scopus.com/inward/record.url?scp=57749203838&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=57749203838&partnerID=8YFLogxK

U2 - 10.1109/SNPD.2008.136

DO - 10.1109/SNPD.2008.136

M3 - Conference contribution

AN - SCOPUS:57749203838

SN - 9780769532639

T3 - Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications

SP - 685

EP - 693

BT - Proc. 9th ACIS Int. Conf. Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 and 2nd Int. Workshop on Advanced Internet Technology and Applications

T2 - 9th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2008 in conjunction with 2nd International Workshop on Advanced Internet Technology and Applications, AITA 2008

Y2 - 6 August 2008 through 8 August 2008

ER -

A formal model of dynamic resource allocation in Grid computing environment

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this