作者的核心判断之一是：有界写入（bounded writing）是可行的。