ven

摘要： jdk 1.4 java.nio 引入新的Java i/o类库,目的在于提高速度 旧的io也已经使用nio重新实现过,以便充分利用这种速度提高 速度提高来自: 通道和缓冲器,更接近与系统io执行方式 唯一直接和通道交互的缓冲器是ByteBuffer 旧io类库中有三个类被修改用以产生FileChan 阅读全文

摘要： 什么是线程安全性 某个类的行为与其规范完全一致。在良好的规范中通常会定义各种不变性条件（Invariant）来约束对象的状态，以及定义各种后验条件（Postcondition）来描述对象操作的结果。由于我们通常不会为类编写详细的规范，那么如何知道这些类是否正确呢？我们无法知道，但这并不妨碍我们在确信 阅读全文