@ ISIS and Horus @

This WWW page introduces the research on ISIS and Horus done at Cornell University. If you are interested in information about the commercial version of ISIS send mail to: info@isis.com

ISIS and its successor, Horus, are systems developed out of a study of fault tolerance in distributed systems. Both systems implement a collection of techniques for building software for disributed systems that performs well, is robust despite both hardware and software crashes, and exploits parallelism. The basic approach is to provide a toolkit mechanism for distributed programming, whereby a distributed system is built by interconnecting fairly conventional nondistributed programs, using tools drawn from the kit. Tools are included for managing replicated data, synchronizing distributed computations, automating recovery, and dynamically reconfiguring a system to accommodate changing workloads. ISIS has become very successful: hundreds of companies and Universities currently employ the toolkit in settings ranging from financial trading floors to telecommunications switching systems.

Horus is intended to move beyond the limits of the original ISIS system for use on parallel processors and next-generation "ATM" communications networks. A first version of the system has been finished, and we are now working on integrating it into microkernels such as Mach, Chorus, QNX and NT.

Look here for a list of ISIS papers.

People Involved in the ISIS and Horus projects

Primary Investigator:

@ Ken Birman


@ Robbert van Renesse
@ Werner Vogels


@ David Cooper
@ Sophia Georgiakaki
@ Brad Glade
@ Katherine Guo
@ Mark Hayden
@ Takako Hickey
@ Guerney D. H. Hunt
@ Neel Jain
@ Michael Kalantar
@ David Karr
@ Marcel Rosu
@ Alexey Vaysburd