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

fYear

2009

fDate

9-11 Sept. 2009

Firstpage

91

Lastpage

92

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/P2P.2009.5284502

Filename

5284502