buffer cache, write back, and timer implementation