Durable job scheduler based on LevelDB