Using fail-stop proxies for enhancing services isolation in the OSGi service platform

ABSTRACT

The OSGi Service Platform is becoming the de facto middleware for deploying modularized Java applications. It is a dynamic platform that relies on a service oriented approach for loose coupling, but the absence of separate object spaces for isolating services of different modules cannot guarantee that service providers from uninstalled modules will no longer be referenced by active code. This may lead to memory retention and inconsistencies (e.g. a stale service that provides invalid cached data) that can introduce silent faults in the system by propagating invalid information.

We present our ongoing work where we introduce an isolation layer between service consumer and provider by using dynamic proxies for services. When the corresponding service becomes unregistered (i.e. uninstalled) the mechanism is able to: 1) Guarantee that no consumers directly refer to the service provider; 2) allow finding out the misreferencing consumer code by using a fail-stop mechanism. We have tested this mechanism in different OSGi based applications and benchmarked it against other approaches for accessing services in the OSGi platform.

REFERENCES

• 1: Heejune Ahn , Hyukjun Oh , Chang Oan Sung, Towards reliable OSGi framework and applications, Proceedings of the 2006 ACM symposium on Applied computing, April 23-27, 2006, Dijon, France [doi>10.1145/1141277.1141617]
• 2: Apache Felix. http://felix.apache.org.
• 3: Mikael Desertot , Didier Donsez , Philippe Lalanda, A Dynamic Service-Oriented Implementation for Java EE Servers, Proceedings of the IEEE International Conference on Services Computing, p.159-166, September 18-22, 2006 [doi>10.1109/SCC.2006.4]
• 4: Equinox. http://www.eclipse.org/equinox.
• 5: C. Escoffier, R. S. Hall, and P. Lalanda. ipojo: an extensible service-oriented component framework. In Services Computing, 2007. SCC 2007. IEEE International Conference on, pages 474--481, 2007.
• 6: K. Gama and D. Donsez. A Practical Approach for Finding Stale References in a Dynamic Service Platform. In 11th International Symposium on Component Based Software Engineering (CBSE 2008). Springer LNCS, 2008.
• 7: K. Gama and D. Donsez. Service Coroner: A Diagnostic Tool for finding OSGi Stale References. In Proceedings of the 34th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). IEEE, 2008.
• 8: E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns. Addison-Wesley, January 1995.
• 9: Nicolas Geoffray , Gaël Thomas , Bertil Folliot , Charles Clément, Towards a new isolation abstraction for OSGi, Proceedings of the 1st workshop on Isolation and integration in embedded systems, p.41-45, April 01-01, 2008, Glasgow, Scotland [doi>10.1145/1435458.1435466]
• 10: O. Gruber , B. J. Hargrave , J. McAffer , P. Rapicault , T. Watson, The Eclipse 3.0 platform: adopting OSGi technology, IBM Systems Journal, v.44 n.2, p.289-299, January 2005
• 11: Chris Hobbs , Hanane Becha , Daniel Amyot, Failure Semantics in a SOA Environment, Proceedings of the 2008 International MCETECH Conference on e-Technologies (mcetech 2008), p.116-121, January 23-25, 2008 [doi>10.1109/MCETECH.2008.31]
• 12: Java Community Process. JSR 121: Application Isolation API Specification. http://jcp.org/en/jsr/detail?id=121.
• 13: G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the European Conference on Object-Oriented Programming, volume 1241, pages 220--242. Springer-Verlag, Berlin, Heidelberg, and New York, 1997.
• 14: Osgi Alliance, Osgi Service Platform, Release 3, IOS Press, Inc., 2003
• 15: Krzysztof Palacz , Jan Vitek , Grzegorz Czajkowski , Laurent Daynas, Incommunicado: efficient communication for isolates, Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, November 04-08, 2002, Seattle, Washington, USA
• 16: L. Seinturier, N. Pessemier, C. Escoffier, and D. Donsez. Towards a Reference Model for Implementing the Fractal Specifications for Java and the .NET Platform. In 5th Fractal Workshop at ECOOP'06, July 2006.
• 17: Jim Shore, Fail Fast, IEEE Software, v.21 n.5, p.21-25, September 2004 [doi>10.1109/MS.2004.1331296]
• 18: Spring Dynamic Modules for OSGi Service Platforms. http://www.springframework.org/osgi.
• 19: David Stutz , Ted Neward , Geoff Shilling, Shared Source Cli Essentials, O'Reilly & Associates, Inc., Sebastopol, CA, 2002

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.5 Testing and Debugging
          Subjects: Diagnostics

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
      D.2.8 Metrics
          Subjects: Performance measures

General Terms:
Experimentation, Measurement

Keywords:
OSGi, fail-stop services, service isolation, stale references