Context-specific middleware specialization techniques for optimizing software product-line architectures

ABSTRACT

Product-line architectures (PLAs) are an emerging paradigm for developing software families for distributed real-time and embedded (DRE) systems by customizing reusable artifacts, rather than hand-crafting software from scratch. To reduce the effort of developing software PLAs and product variants for DRE systems, developers are applying general-purpose -- ideally standard -- middleware platforms whose reusable services and mechanisms support a range of application quality of service (QoS) requirements, such as low latency and jitter. The generality and flexibility of standard middleware, however, often results in excessive time/space overhead for DRE systems, due to lack of optimizations tailored to meet the specific QoS requirements of different product variants in a PLA.This paper provides the following contributions to the study of middleware specialization techniques for PLA-based DRE systems. First, we identify key dimensions of generality in standard middleware stemming from framework implementations, deployment platforms, and middleware standards. Second, we illustrate how context-specific specialization techniques can be automated and used to tailor standard middleware to better meet the QoS needs of different PLA product variants. Third, we quantify the benefits of applying automated tools to specialize a standard Realtime CORBA middleware implementation. When applied together, these middleware specializations improved our application product variant throughput by ~65%, average- and worst-case end-to-end latency measures by ~43% and ~45%, respectively, and predictability by a factor of two over an already optimized middleware implementation, with little or no effect on portability, standard middleware APIs, or application software implementations, and interoperability.

REFERENCES

• 1: Anne-Françoise Le Meur , Julia L. Lawall , Charles Consel, Specialization Scenarios: A Pragmatic Approach to Declaring Program Specialization, Higher-Order and Symbolic Computation, v.17 n.1-2, p.47-92, March-June 2004 [doi>10.1023/B:LISP.0000029448.02877.78]
• 2: P. Clements and L. Northrop. Software Product Lines: Practices and Patterns. Addison-Wesley, Boston, 2002.
• 3: James Coplien , Daniel Hoffman , David Weiss, Commonality and Variability in Software Engineering, IEEE Software, v.15 n.6, p.37-45, November 1998 [doi>10.1109/52.730836]
• 4: Gary Daugherty, Invited application paper: a proposal for the specialization of HA/DRE systems, Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.56-67, August 24-25, 2004, Verona, Italy [doi>10.1145/1014007.1014014]
• 5: B. S. Doerr and D. C. Sharp. Freeing Product Line Architectures from Execution Dependencies. In Proceedings of the 11th Annual Software Technology Conference, Apr. 1999.
• 6: Refactoring: improving the design of existing code, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1999
• 7: G. Muller , R. Marlet , E.-N. Volanschi , C. Consel , C. Pu , A. Goel, Fast, Optimized Sun RPC Using Automatic Program Specialization, Proceedings of the The 18th International Conference on Distributed Computing Systems, p.240, May 26-29, 1998
• 8: Erich Gamma , Richard Helm , Ralph Johnson , John Vlissides, Design patterns: elements of reusable object-oriented software, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1995
• 9: Charles Zhang , Dapeng Gao , Hans-Arno Jacobsen, Towards just-in-time middleware architectures, Proceedings of the 4th international conference on Aspect-oriented software development, p.63-74, March 14-18, 2005, Chicago, Illinois [doi>10.1145/1052898.1052904]
• 10: Jack Greenfield , Keith Short , Steve Cook , Stuart Kent, Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools, John Wiley & Sons, 2004
• 11: John Hatcliff, An Introduction to Online and Offline Partial Evaluation using a Simple Flowchart Language, Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School, p.20-82, June 29-July 10, 1998
• 12: V. Itkin. On Partial and Mixed Program Execution. In Program Optimization and Transformation, pages 17--30. CCN, 1983. (In Russian).
• 13: Neil D. Jones , Carsten K. Gomard , Peter Sestoft, Partial evaluation and automatic program generation, Prentice-Hall, Inc., Upper Saddle River, NJ, 1993
• 14: Kamen Yotov , Xiaoming Li , Gang Ren , Michael Cibulskis , Gerald DeJong , Maria Garzaran , David Padua , Keshav Pingali , Paul Stodghill , Peng Wu, A comparison of empirical and model-driven optimization, Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation, June 09-11, 2003, San Diego, California, USA
• 15: G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, pages 220--242, June 1997.
• 16: Renaud Marlet , Scott Thibault , Charles Consel, Efficient Implementations of Software Architectures via Partial Evaluation, Automated Software Engineering, v.6 n.4, p.411-440, October 1999 [doi>10.1023/A:1008719607040]
• 17: Massimiliano Poletto , Wilson C. Hsieh , Dawson R. Engler , M. Frans Kaashoek, C and tcc: a language and compiler for dynamic code generation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.2, p.324-369, March 1999 [doi>10.1145/316686.316697]
• 18: Object Management Group. Real-time CORBA Specification, OMG Document formal/02--08--02 edition, Aug. 2002.
• 19: Carlos O'Ryan , Fred Kuhns , Douglas C. Schmidt , Ossama Othman , Jeff Parsons, The design and performance of a pluggable protocols framework for real-time distributed object computing middleware, IFIP/ACM International Conference on Distributed systems platforms, p.372-395, April 03-07, 2000, New York, New York, United States
• 20: D. L. Parnas. On the Design and Development of Program Families. IEEE Transactions on Software Engineering, SE-2(1):1--9, 1976.
• 21: C. Pu , T. Autrey , A. Black , C. Consel , C. Cowan , J. Inouye , L. Kethana , J. Walpole , K. Zhang, Optimistic incremental specialization: streamlining a commercial operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.314-321, December 03-06, 1995, Copper Mountain, Colorado, United States
• 22: Irfan Pyarali , Carlos O'Ryan , Douglas Schmidt , Nanbor Wang , Aniruddha S. Gokhale , Vishal Kachroo, Using Principle Patterns to Optimize Real-Time ORBs, IEEE Concurrency, v.8 n.1, p.16-25, January 2000 [doi>10.1109/4434.824309]
• 23: Irfan Pyarali , Douglas C. Schmidt, An overview of the CORBA portable object adapter, StandardView, v.6 n.1, p.30-43, March 1998 [doi>10.1145/293376.293402]
• 24: I. Pyarali, D. C. Schmidt, and R. Cytron. Techniques for Enhancing Real-time CORBA Quality of Service. IEEE Proceedings Special Issue on Real-time Systems, 91(7), July 2003.
• 25: Rob van Ommering , Frank van der Linden , Jeff Kramer , Jeff Magee, The Koala Component Model for Consumer Electronics Software, Computer, v.33 n.3, p.78-85, March 2000 [doi>10.1109/2.825699]
• 26: Douglas C. Schmidt , Stephen D. Huston , Frank Buschmann, C++ Network Programming: Systematic Reuse with ACE and Frameworks, Vol. 2, Pearson Education, 2002
• 27: D. C. Schmidt, D. L. Levine, and S. Mungee. The Design and Performance of Real-time Object Request Brokers. Computer Communications, 21(4):294--324, Apr. 1998.
• 28: Douglas C. Schmidt , Hans Rohnert , Michael Stal , Dieter Schultz, Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects, John Wiley & Sons, Inc., New York, NY, 2000
• 29: Ulrik P. Schultz , Julia L. Lawall , Charles Consel, Automatic program specialization for Java, ACM Transactions on Programming Languages and Systems (TOPLAS), v.25 n.4, p.452-499, July 2003 [doi>10.1145/778559.778561]
• 30: D. C. Sharp. Reducing Avionics Software Cost Through Component Based Product Line Development. In Proceedings of the 10th Annual Software Technology Conference, Apr. 1998.
• 31: D. C. Sharp and W. C. Roll. Model-Based Integration of Reusable Component-Based Avionics System. In Proc. of the Workshop on Model-Driven Embedded Systems in RTAS 2003, May 2003.
• 32: Janos Sztipanovits , Gabor Karsai, Model-Integrated Computing, Computer, v.30 n.4, p.110-111, April 1997 [doi>10.1109/2.585163]
• 33: A. van Deursen, P. Klint, and J. Visser. Domain-Specific Languages, homepages.cwi.nl/~jvisser/papers/dslbib/index.html, Feb. 2002.
• 34: Brian White , Jay Lepreau , Leigh Stoller , Robert Ricci , Shashi Guruprasad , Mac Newbold , Mike Hibler , Chad Barb , Abhijeet Joglekar, An integrated experimental environment for distributed systems and networks, Proceedings of the 5th symposium on Operating systems design and implementation

  Due to copyright restrictions we are not able to make the PDFs for this conference available for downloading

  , December 09-11, 2002, Boston, Massachusetts [doi>10.1145/1060289.1060313]
• 35: C. Zhang and H. Jacobsen. Re-factoring Middleware with Aspects. IEEE Transactions on Parallel and Distributed Systems, 14(11): 1058--1073, Nov 2003.

INDEX TERMS

Primary Classification:
  D. Software
  D.4 OPERATING SYSTEMS
      D.4.8 Performance

General Terms:
Measurement, Performance

Keywords:
middleware, product lines, specializations