Overview
The System Technologies and Services department at the Haifa Research Lab is one of IBM's technology innovation centers. Its mission is to develop leading-edge system and storage technologies for IBM's advanced IT products and services. The department is particularly strong in the areas of system software, system architecture, and system design and optimization tools, and supports IBM server and storage systems product lines and IBM Services business units.
We are in particularly interested in the emerging field of Cloud Computing, and we put a lot of effort on developing technologies to support this fascinating concept, as a part of the IBM Blue Cloud initiative. In particular, our work in system software focuses on the areas of virtualization and systems management, which we believe will be primary enabling technologies to make Cloud Computing become a marketplace reality. The department activities in this area influence a wide range of IBM system products, including IBM's xSeries systems (with a focus on blade servers), IBM's pSeries systems, IBM Systems Management, and more. We also develop advanced system and I/O architectures designed to deliver performance breakthroughs to IBM and the industry.
Our work in the area of storage systems focuses on developing new functions for data protection and availability, storage security, long-term data preservation, and storage power management as it relates to IBM's green technology initiative. A special focus area of our team is storage support for Cloud Computing. In this project, we investigate the architectural challenges of designing a highly scalable and cost-effective storage infrastructure, allowing to easily store and access data objects, and mobilize them across the Cloud.
A large part of our team conducts research in the areas of improving system performance and quality, specifically targeting the special challenges presented by multicore architectures. Our work in this area includes tools and methods for designing reliable and correct systems, and for improving software performance using powerful compiler and post-link optimizations. Our work in these areas has resulted in significant performance improvements and reliability enhancements to many important applications and systems of IBM, customers and partners, and has been recognized by many papers and patents.
Motivated by the proliferation of IT services as an emerging marketplace trend, we have recently started to conduct research on optimizing IT service delivery - an area which is receiving noticable attention from both industry and academia. For example, we work closely with IBM field professionals in the area of Business Continuity and Resiliency Services, where we contribute by developing capabilities for information protection, disaster recovery and more.
During the recent years, our team has achieved several landmarks in computer system technologies state-of-the-art. Our team has played a key role in the development of IBM's Virtualization Manager Software, announced in late 2006. This technology was recently recognized as the winner of the ServerWatch Product Excellence Award for 2007, and honored with the prestigious IBM Research Division Accomplishment Award for 2007. The compiler and post-link optimizations developed by our team have helped IBM Power systems become the leader in TPC-C,SPEC-CPU and SAP benchmarks for Linux, and are used to competitively optimize IBM systems for commercial workloads. Some other well-known examples of work done in our department are the invention of the now standard iSCSI protocol and Object Storage technology; contributions to IBM's Blue Gene supercomputer; and our work on the advanced Copy Services in IBM's flagship storage platform. For these and other achievements, our team has been recognized multiple times by the IBM Research Division Accomplishment Award and received other honors, such as recognition of some of our team members as 2003 InfoWorld Innovators.
Collaborations and Partnerships
Across all our activities, our team works with internal IBM product organizations as well as with IBM customers. We engage directly in development and delivery projects, partnering with the following IBM business units:
- IBM Systems and Technology Group, home of IBM System products
- IBM Software Group, home of IBM middleware products
- IBM Global Services, delivering business consulting services and technology services to customers worldwide
- Sister IBM Research laboratories in California, India, New York, and Zurich
- IBM sales teams
We routinely work with standard organizations to set systems and storage industry standards. A recent example of our work in this area is the CBCS standard for secure access to networked storage. Our team has conceived and developed this standard, and then led the process of its approval by the T10 standards body.
Lastly, we collaborate with academic and industrial organizations on projects of mutual joint interest. These include the following activities:
- Reservoir. This is an ambitious EU FP7 project, where we lead a consortium of 13 European companies and universities who collaborate on developing an advanced infrastructure for Cloud Computing, based on deep integration of virtualization and grid technologies.
- Nexof-RA. This is an EU FP7 project where we participate in the development of a Reference Architecture for the NESSI open service framework. Our contribution to this project focuses on IT infrastructure aspects, and is based on the Reservoir architecture.
- Shadows. This is an EU FP6 project, led by our team, which focuses on developing tools and methods for designing self-managing systems, based on the DMTF/CIM and Eclipse/TPTP open standards.
- CASPAR. This is an EU FP6 project which focuses on tools and methods for preserving cultural, scientific, and artistic long-term data. The project builds on the Object Storage standard (conceived by our team and standardized by SNIA) and the OAIS standard.
- HiPEAC. This is an European Network of Excellence on High Performance and Embedded Architecture and compilation. HIPEAC started as an FP6 project, and now continues as an FP7 project.
- SARC. This is an FP6 Integrated Project in the area of advanced computer architectures, with a focus on a systematic scalable approach to the design of systems ranging from small embedded systems to large scale networked data servers.
- ACOTES. This is an FP7 project aimed at addressing the complexity and cost of programming emerging embedded architectures by implementing program transformation techniques in compilation tools to enable efficient programming of highly parallel architectures for stream computing.
- MilePost. This is an FP7 project that exploits machine learning for embedded programs optimizations. The overall objective of MilePost is to develop compiler technology that can automatically learn how to best optimize programs.
Departments
Selected Research Papers - System and Storage Platforms
- "Virtual machine time travel using continuous data protection and checkpointing", Paula Ta-Shma, Guy Laden, Muli Ben-Yehuda, and Michael Factor, ACM SIGOPS Operating Systems Review, 42:1 (2008).
- "Tapping into the fountain of CPUs: on operating system support for programmable devices", Yaron Weinsberg, Danny Dolev, Tal Anker, Muli Ben-Yehuda, Pete Wyckoff, Proceedings of ASPLOS 2008: 179-188.
- "Multitoroidal interconnects for tightly coupled supercomputers", Yariv Aridor, Tamar Domany, Oleg Goldshmidt, Yevgeny Kliteynik, Edi Shmueli and Jose Moreira, IEEE Transactions on Parallel and Distributed Systems 19(1):52-65 (2008).
- "B-trees, shadowing, and clones", Ohad Rodeh, ACM Transactions on Storage 3(4): (2008).
- "Preservation DataStores: New storage paradigm for preservation environments", Simona Rabinovici-Cohen, Michael Factor, Dalit Naor, Leeat Ramati, Petra Reshef, Shahar Ronen, Julian Satran, David Giaretta, IBM Journal of Research and Development, Special Issue on Storage Technologies and Systems, 2008.
- "The ANSI T10 object-based storage standard and current implementations", David Nagle, Michael Factor, Sami Iren, Dalit Naor,Erik Riedel, Ohad Rodeh, Julian Satran, IBM Journal of Research and Development, Special Issue on Storage Technologies and Systems, 2008.
- "Architectures for Controller Based CDP", Guy Laden, Paula Ta-Shma, Eitan Yaffe, Michael Factor, and Shachar Fienblit, Proceedings of The 5th USENIX Conference on File and Storage Technologies, February 2007 (FAST '07).
- "Capability based Secure Access Control to Networked Storage Devices", Michael Factor, Dalit Naor, Eran Rom, Julian Satran, Sivan Tal, Proceedings of MSST 2007:114-128.
- "Preservation DataStores: Architecture for Preservation Aware Storage", Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran, David L. Giaretta, Proceedings of MSST 2007: 3-15.
- "A Self-optimized Job Scheduler for Heterogeneous Server Clusters", Elad Yom-Tov, Yariv Aridor, Proceedings of JSSPP 2007:169-187.
- "The need for preservation aware storage: a position paper", Michael Factor, Dalit Naor, Simona Rabinovici-Cohen, Leeat Ramati, Petra Reshef, Julian Satran, Operating Systems Review 41(1): 19-23 (2007).
- "Encompass: Managing Functionality", Oleg Goldshmidt, Benny Rochwerger, Alex Glikson, Inbar Shapira, Tamar Domany, Proceedings of IPDPS 2007:1-5.
- "PANACEA Towards a Self-healing Development Framework", David Breitgand, Maayan Goldstein, Ealan Henis, Onn Shehory, Yaron Weinsberg, Proceedings of Integrated Network Management 2007:169-178.
- "On Fully Distributed Adaptive Load Balancing", David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of DSOM 2007: 74-85.
- "Using the Right Amount of Monitoring in Adaptive Load Sharing", David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of ICAC 2007: 7.
- "Cost Aware Adaptive Load Sharing", David Breitgand, Rami Cohen, Amir Nahir, Danny Raz, Proceedings of IWSOS 2007: 208-224.
- "IP Only Server", Muli Ben-Yehuda, Oleg Goldshmidt, Elliot K. Kolodner, Zorik Machulsky, Vadim Makhervaks, Julian Satran, Marc Segal, Leah Shalev, Ilan Shimony, USENIX Annual Technical Conference, General Track 2006: 381-386.
- "Automated and Adaptive Threshold Setting: Enabling Technology for Autonomy and Self-Management", David Breitgand, Ealan Henis, and Onn Shehory, The 2nd IEEE International Conference on Autonomic Computing (ICAC-05), 2005.
- "Design of the iSCSI Protocol", Kalman Z. Meth, Julian Satran, IEEE Symposium on Mass Storage Systems 2003:116-122.
- "Internet Protocol storage area networks", Prasenjit Sarkar, Kaladhar Voruganti, Kalman Z. Meth, Ofer Biran, Julian Satran, IBM Systems Journal 42(2): 218-231 (2003)
- "Management of application complexes in multitier clustered systems", Antonio Abbondanzio, Yariv Aridor, Ofer Biran, Liana Fong, German S. Goldszmidt, Richard Harper, Srirama Krishnakumar, Gregory Pruett, Ben-Ami Yassur: IBM Systems Journal 42(1), 2003.
Selected Research Papers - Code Optimization and Quality Technologies
- "Measuring an Improving Latency to Avoid Test Suite Wear Out",
Shmuel Ur, Mark Harman and Shin Yoo, SBST, Best Paper Award. - "Automated Substring Hole Analysis",
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Peleg, Orna Raz, Moran Shochat, Shmuel Ur and Aviad Zlotnick, ICSE 2009. - "A Concurrency Testing Tool and itsPlug-ins for Dynamic Analysis and Runtime Healing",
Yarden Nir-Buchbinder, Zdenek Letko, Bohuslav Kerena, Rachel Tzoref-Brill, Shmuel Ur, and Tomás Vojnar, RV 2009. - "Advanced Code Coverage Analysis Using Substring Holes",
Yoram Adler, Eitan Farchi, Moshe Klausner, Dan Pelleg, Orna Raz, Moran Shochat, Shmuel Ur and Aviad Zlotnick, ISSTA 2009. - "Cross-Entropy-Based Replay of Concurrent Programs",
Hana Chockler, Eitan Farchi, Benny Godlin, Sergey Novikov, FASE 2009: 201-215. - "Forcing Small Models of Conditions on Program Interleaving for Detection of Concurrent Bugs",
Ehud Trainin, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Aviad Zlotnick, Shmuel Ur and Eitan Farchi, PADTAD 2009. - "An Effective Method for Keeping Design Artifacts Up-to-Date",
Yochai Ben-Chaim, Eitan Farchi, Orna Raz, Wikis4SE 2009. - "Hardware-less testing for RAS software",
Aviad Zlotnick, Orna Raz, SYSTOR 2009: 17. - "Controlling Levels of False Negative and False Positive Errors via Separate Adaptive Thresholds",
David Breitgand, Ealan Henis, Maayan Goldstein, Onn Shehory, IM 2009. - "Automated Collaboration among Communicating, Semiautonomous Vehicles",
Dan Chevion, Ron Sivan, Onn Shehory, Yuval Shimony, MIMS 2009. - "RacingSnail: Improving Throughput via Slowdowns",
Maayan Goldstain, Onn Shehory, Rachel Tzoref-Brill, Shmuel Ur. P3AD 2009.
- "Proceedings of ICAC 2009",
Book editor: Onn Shehory, IEEE, 2009. - "The future of software engineering and multi-agent systems",
D. Weyns, H.V.D. Parunak and O. Shehory, International Journal of Agent-Oriented Software Engineering, Vol. 3 No. 4, pp.369–377. 2009. - "Lecture notes in BIP: Agent-Mediated Electronic Commerce X and Trading Agent Design and Analysis",
O. Shehory and W. Ketter (Eds.), Springer 2009, to appear. - "Compiling Effectively for Cell B.E. with GCC",
Ira Rosen, Ben Elliston, Revital Eres, Alan Modra, Dorit Nuzman, Ulrich Weigand, Ayal Zaks, and David Edelsohn, CPC 2009, January 7-9, 2009, Zurich, Switzerland. - "Outer-Loop Vectorization - Revisited for Short SIMD Architectures",
Dorit Nuzman and Ayal Zaks, PACT 2008, October 25-29, 2008, Toronto, Canada.
(Presentation) - "Detecting Change in Program Behavior for Adaptive Optimization",
N. Peleg and B. Mendelson, in Proc. of the 16th International Conference on Parallel Architectures and Compilation Techniques (PACT), Brasov, Romania, Sept. 2007, pp. 150159. - "MILEPOST GCC: machine learning based research compiler",
Grigori Fursin et al., GCC Developers' Summit, June 17-19, 2008, Ottawa, Canada.
(Presentation) - "Compiling for an Indirect Vector Register Architecture",
Dorit Nuzman, Mircea Namolaru, Ayal Zaks, and Jeff H. Derby, Computing Frontiers, May 5-7, 2008, Ischia, Italy. - "Automatic Feature Generation for Setting Compilers Heuristics",
Hugh Leather, Elad Yom-Tov, Mircea Namolaru and Ari Freund, SMART '08 (2nd Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion ), January 27, 2008, Goteborg, Sweden. - "Struct-reorg: current status and future perspectives",
Olga Golovanevsky and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada. - "Loop-based SLP",
Ira Rosen, Dorit Nuzman, and Ayal Zaks, GCC Developers' Summit, July 18-20, 2007, Ottawa, Canada. - "New Algorithms for SIMD Alignment",
Liza Fireman, Erez Petrank, and Ayal Zaks, CC 2007 (16th International Conference on Compiler Construction), March 26-30, 2007, Braga, Portugal.
(PPT presentation) - "Blackbox approach to selecting optimization options using budget-limited genetic algorithm",
Y. Yaari and G. Bashkansky, Workshop on Statistical and Machine learning approaches to ARchitectures and compilaTion 2007 (SMART'07), within HiPEAC 2007 Conference, Ghent, Belgium , January 28, 2007. - "Aggressive Function Inlining with Global Code Reordering",
O. Boehm, D. Citron, G. Haber, M. Klausner, and R. Levin, IBM Research Report number H-0247, November, 2006. - "Overlapping Memory Operations with Circuit Evaluation in Reconfigurable Computing",
Y. Ben-Asher, D.Citorn and G. Haber, to be published in a Special Issue of the International Journal of Embedded Systems (IJES). - "Understanding Performance of Multi-Core Systems using Trace-based Visualization",
P. F. Sweeney, M. Haswirth, A. Diwan, M. Biberstein, and Y. Harel, First Workshop on Software Tools for Multi-Core Systems (STMCS), 2006. - "Matrix flattening and transposing in GCC",
Razya Ladelsky, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
(PPT presentation) - "Autovectorization in GCC - two years later",
Dorit Nuzman and Ayal Zaks, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
(PPT presentation) - "Devirtualization in GCC",
Mircea Namolaru, GCC Developers' Summit, June 28-30, 2006, Ottawa, Canada.
(PPT presentation) - "Auto-Vectorization of Interleaved Data for SIMD",
Dorit Nuzman, Ira Rosen, and Ayal Zaks, PLDI, June 12-14, 2006, Ottawa, Canada, 132-143. (PPT presentation) - "Exploiting the AltiVec Unit for Commercial Applications",
Daniel Citron, Hiroshi Inoue, Takao Moriyama, Motohiro Kawahito, Hideaki Komatsu, and Toshio Nakatani, CAECW-9 (9th workshop on Computer Architecture Evaluation using Commercial Workloads), Feb 12, 2006, Austin, Texas. Also presented at an IBM Academy of Technology conference, Almaden, Feb 22, 2006.
(PPT presentation) - "Multi-platform Auto-vectorization",
Dorit Nuzman and Richard Henderson, CGO-4 (The 4th Annual International Symposium on Code Generation and Optimization), March 26-29, 2006, Manhattan, New York, 281-294. - "Computing the minimum DNF representation of Boolean functions defined by intervals",
Baruch Schieber, Danny Geist and Ayal Zaks, Discrete Applied Mathematics, Volume 149, Issues 1-3, 1 August 2005, Pages 154-173. See also IBM Technical Report RC23335 (W0409-058) September 10, 2004. - "Auto-Vectorization of Interleaved Data for SIMD",
Dorit Nuzman, Ira Rosen and Ayal Zaks, IBM Research Report H-0235, 2005. - "Contributions to the GNU Compiler Collection GCC",
David Edelsohn et al, IBM Systems Journal issue on Open Source, volume 44, number 2 May 2005, pp 259-278. - "Interprocedural Constant Propagation and Method Versioning in GCC",
Razya Ladelsky and Mircea Namolaru, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 133-143. - "Cache Aware Data Layout Reorganization Optimization in GCC",
Mostafa Hagog and Caroline Tice, The 2005 GCC Developers Summit (http://www.gccsummit.org/2005/), pp 69-92. - "Instrumenting Annotated Programs",
M. Biberstein, V. Sreedhar, B. Mendelson, D. Citron, and A. Giammaria, First ACM/USENIX Conference on Virtual Execution Environments (VEE'05).
For a full list of publications, see the department publications page: http://w3.haifa.ibm.com/dept/svt/code_public.html