Resource aware programming

ABSTRACT

We introduce the Resource Aware Programming framework, which allows users to monitor the resources used by their programs and to programmatically express policies for the management of such resources. The framework is based on a notion of hierarchical groups, which act as resource containers for the computations they sponsor. Asynchronous notifications for resource exhaustion and for computation termination can be handled by arbitrary user code, which is also executed under the control of this hierarchical group structure. Resources are manipulated by the programmer using resource descriptors, whose operations are specified by a resource algebra. In this article, we overview the Resource Aware Programming framework and describe its semantics in the form of a language-independent abstract machine able to model both shared and distributed memory environments. Finally, we discuss a prototype implementation of the Resource Aware Programming framework in Java.

REFERENCES

• 1: Back, G., Hsieh, W. C., and Lepreau, J. 2000. Processes in KaffeOS: Isolation, Resource Management, and Sharing in Java. In Proceedings of the 4th Symposium on Operating Systems Design and Implementation (San Diego, CA). Usenix Association, Berkeley, CA.
• 2: Booth, D., Haas, H., McCabe, F., Newcomer, E., Champion, M., Ferris, C., and Orchard, D. 2003. Web services architecture. W3C Working Draft. World Wide Web Consortium (W. C.). Web site: www.w3.org.
• 3: Box, D., Curbera, F., Hondo, M., Kaler, C., Langworthy, D., Nadalin, A., Nagaratnam, N., Nottingham, M., von Riegen, C., and Shewchuk, J. 2003. Web services policy framework (ws-policy). Available online at http://msdn.microsoft.com/webservices/default.aspx?pull=/library/en-us/dnglobspec/html/ws-policy.asp.
• 4: Ciarán Bryce , Jan Vitek, The JavaSeal Mobile Agent Kernel, Autonomous Agents and Multi-Agent Systems, v.4 n.4, p.359-384, December 2001 [doi>10.1023/A:1012715226170]
• 5: Grzegorz Czajkowski , Thorsten von Eicken, JRes: a resource accounting interface for Java, Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.21-35, October 18-22, 1998, Vancouver, British Columbia, Canada
• 6: Czajkowski, K., Dan, A., an S. Tuecke, J. R., and Xu, M. 2004. Agreement-based service management (ws-agreement). Tech. rep. Global Grid Forum, Lemont, IL. Web site: www.gridforum.org.
• 7: Nicodemos Damianou , Naranker Dulay , Emil Lupu , Morris Sloman, The Ponder Policy Specification Language, Proceedings of the International Workshop on Policies for Distributed Systems and Networks, p.18-38, January 29-31, 2001
• 8: Della-Libera, G., Hallam-Baker, P., Hondo, M., Janczuk, T., Kaler, C., Maruyama, H., Nagaratnam, N., Nash, A., Philpott, R., Prafullchandra, H., Shewchuk, J., Waingold, E., and Zolfonoon, R. 2002. Web services security policy (ws-securitypolicy). Web site: http://www.ibm. com/developerworks/library/ws-secpol/index.html.
• 9: Foster, I. 2002. What is the grid? a three point checklist. Web site: http://www-fp.mcs.anl.gov/~foster/.
• 10: Foster, I., Kesselman, C., Nick, J. M., and Tuecke, S. 2002. The Physiology of the Grid---An Open Grid Services Architecture for Distributed Systems Integration. Tech. rep. Argonne National Laboratory, Argonne, IL.
• 11: Alfonso Fuggetta , Gian Pietro Picco , Giovanni Vigna, Understanding Code Mobility, IEEE Transactions on Software Engineering, v.24 n.5, p.342-361, May 1998 [doi>10.1109/32.685258]
• 12: Groth, P. T. and Suri, N. 2002. CPU Resource Control and Accounting in the NOMADS Mobile Agent System. Tech. rep. Institute for Human & Machine Cognition, University of West Florida, Pensacola, FL.
• 13: Robert H. Halstead, Jr., New Ideas in Parallel Lisp: Language Design, Implementation, and Programming Tools, Proceedings of the US/Japan Workshop on Parallel Lisp: Languages and Systems, p.2-57, June 05-08, 1989
• 14: Pieter H. Hartel , Luc Moreau, Formalizing the safety of Java, the Java virtual machine, and Java card, ACM Computing Surveys (CSUR), v.33 n.4, p.517-558, December 2001 [doi>10.1145/503112.503115]
• 15: Christopher T. Haynes , Daniel P. Friedman, Abstracting timed preemption with engines, Computer Languages, v.12 n.2, p.109-121, Aug. 1987 [doi>10.1016/0096-0551(87)90003-8]
• 16: Johnson, M., Chang, P., Jeffers, R., Bradshaw, J., Breedy, M., Bunch, L., Kulkarni, S., Lott, J., Suri, N., Uszok, A., and Soo, V.-W. 2003. Kaos semantic policy and domain services: An application of DAML to Web services-based grid architectures. In Proceedings of the AAMAS Workshop on Web-Services and Agent-Based Engineering (Merlbourne, Australia).
• 17: JSR-121. 2003. Application isolation api specification. Web site: http://www.jcp.org/en/jsr/detail?id=121.
• 18: Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Videira Lopes, C., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming. In Proceedings European Conference on Object-Oriented Programming (ECOOP'97). Lecture Notes in Computer Science, vol. 1241. Springer-Verlag, Berlin, Germany, 220--242.
• 19: Kornfeld, W. A. and Hewitt, C. E. 1981. The Scientific Community Metaphor. IEEE Trans. Syst., Man, Cybernet. 11, 1 (Jan.), 24--33.
• 20: Ludwig, H., Keller, A., Dan, A., King, R. P., and Franck, R. 2003. Web service level agreement (WSLA), language specification. Tech. rep. IBM Corporation, York town Heights, NY.
• 21: Luc Moreau, Distributed directory service and message routing for mobile agents, Science of Computer Programming, v.39 n.2-3, p.249-272, March 2001 [doi>10.1016/S0167-6423(00)00011-3]
• 22: Luc Moreau, Tree Rerooting in Distributed Garbage Collection: Implementation and Performance Evaluation, Higher-Order and Symbolic Computation, v.14 n.4, p.357-386, December 2001 [doi>10.1023/A:1014455931537]
• 23: Moreau, L. and Queinnec, C. 1997a. Design and Semantics of Quantum: A Language to Control Resource Consumption in Distributed Computing. In Proceedings of theUsenix Conference on Domain-Specific Languages (DSL'97, Santa-Barbara, CA). Usenix Association, Berkely, CA, 183--197.
• 24: Moreau, L. and Queinnec, C. 1997b. On the Finiteness of Resources in Distributed Computing. Research rep. RR-3147. INRIA, Rocquen Count, France.
• 25: Luc Moreau , Christian Queinnec, Distributed Computations Driven by Resource Consumption, Proceedings of the 1998 International Conference on Computer Languages, p.68, May 14-16, 1998
• 26: Grzegorz Czajkowski , Jan Vitek, Resource Management for Safe Languages, Proceedings of the Workshops and Posters on Object-Oriented Technology, p.1-14, June 10-14, 2002
• 27: Moreau, L. and Queinnec, C. 2002b. Resource aware programming package. Available online at www.ecs.soton.ac.uk/~lavm/rap.
• 28: Randy B. Osborne, Speculative computation in multilisp, Proceedings of the 1990 ACM conference on LISP and functional programming, p.198-208, June 27-29, 1990, Nice, France [doi>10.1145/91556.91644]
• 29: Roure, D. D., Jennings, N., and Shadbolt, N. 2001. The semantic grid. Tech. rep. University of Southampton, Southampton, U.K. Available online at www.semanticgrid.org.
• 30: Sun MicroSystems. 1996. Java Remote Method Invocation Specification. Sun MicroSystems, Santa Clara, CA.
• 31: Niranjan Suri , Jeffrey M. Bradshaw , Maggie R. Breedy , Paul T. Groth , Gregory A. Hill , Renia Jeffers , Timothy S. Mitrovich , Brian R. Pouliot , David S. Smith, NOMADS: toward a strong and safe mobile agent system, Proceedings of the fourth international conference on Autonomous agents, p.163-164, June 03-07, 2000, Barcelona, Spain [doi>10.1145/336595.337103]
• 32: Niranjan Suri , Marco Carvalho , Jeffrey M. Bradshaw , Maggie R. Breedy , Thomas B. Cowin , Paul T. Groth , Raul Saavedra , Andrzej Uszok, Enforcement of Communications Policies in Software Agent Systems through Mobile Code, Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks, p.247, June 04-06, 2003
• 33: Alex Villazón , Walter Binder, Portable Resource Reification in Java-Based Mobile Agent Systems, Proceedings of the 5th International Conference on Mobile Agents, p.213-228, December 02-04, 2001
• 34: White, J. E. 1996. Telescript technology: Mobile agents. In Software Agents, J. Bradshaw, Ed. AAAI Press, Menlo Park, CA/MIT Press, Cambridge, MA.
• 35: Walt Yao , Ken Moody , Jean Bacon, A model of OASIS role-based access control and its support for active security, Proceedings of the sixth ACM symposium on Access control models and technologies, p.171-181, May 2001, Chantilly, Virginia, United States [doi>10.1145/373256.373294]

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Control structures

Keywords:
Resource management, abstract machine, resource algebra, semantics