General Development Archive

Filesystem Snapshots With unionfs

Many times, you need to know how a certain filesystem looked like at some point in time, and you want to be able to roll back changes that happened to it after that point. While there are multiple solutions to achieve this goal, certainly one of them is to use filesystem snapshots. One of the capabilities of unionfs is to offer the possibility of consistently freezing the status of the filesystem at any given point in time (snapshot). Read more...

Mastering Recursive Programming

Recursion is a tool not often used by imperative language developers, because it is thought to be slow and to waste space, but as the author demonstrates, there are several techniques that can be used to minimize or eliminate these problems. He introduces the concept of recursion and tackle recursive programming patterns, examining how they can be used to write provably correct programs.