urmp: The Ur Music Player

The goals of urmp are to provide an MP3 music player that can do the following:

• incrementally search a 60k song playlist in under 50ms per keystroke;
• process mp3 files, extracting ID3 and MP3 data, at a rate of thousands of songs per minute;
• maintain a database in the face of failed or moved NFS mounts;
• attain performance goals without reliance on an external database server.

Other MP3 players, such as amarok, do not have these performance characteristics.