I/O-efficient algorithms and environments