Title :
Building distributed systems using Mace
Author :
Killian, Charles ; Anderson, James W. ; Braud, Ryan ; Jhala, Ranjit ; Vahdat, Amin
Author_Institution :
Dept. of Comput. Sci., Purdue Univ., West Lafayette, IN, USA
Abstract :
Mace, MaceMC and MacePC work together to make it easier to build correct, high performance distributed systems implementations. Mace developers find that it now takes them a fraction of the time previously needed to go from design to implementation of a new distributed system. Together with ModelNet and Plush, the whole toolkit is among the best in the world for implementing, testing, evaluating, and deploying distributed and peer-to-peer systems. Mace represents six years of development work and has been publicly available for five years. In addition to the Mace research contributions, the Mace distribution also represents many of the best-quality publicly-available implementations of the included services, and by itself represents a practical contribution that users worldwide recognize and utilize.
Keywords :
C++ language; peer-to-peer computing; program testing; program verification; software performance evaluation; systems analysis; C++ language; Mace distribution; Mace programming language; MaceMC model checker; MacePC performance checker; ModelNet; Plush; high-performance distributed system design; peer-to-peer system evaluation; peer-to-peer system testing; Computer bugs; Computer languages; Computer science; Internet; Programming environments; Runtime; Space exploration; System testing; Timing; USA Councils;
Conference_Titel :
Peer-to-Peer Computing, 2009. P2P '09. IEEE Ninth International Conference on
Conference_Location :
Seattle, WA
Print_ISBN :
978-1-4244-5066-4
Electronic_ISBN :
978-1-4244-5067-1
DOI :
10.1109/P2P.2009.5284502
