buffer manager without page writing and concurrency