present or future: optimal pricing for spot instances文章阅读笔记