A few cache implementations for PHP