OO第三单元总结 设计策略 首先根据JML规格定义需要的属性，再理解各个方法的目的，最后根据理解来完成各个方法。对于方法的实现，需要先大致理解方法实现了怎样的功能，而不是直接根据规格就开始写代码，在明白方法规格的具体含义以后，要明确进入各个分支的前提条件，然后是每个分支造成了怎样的结果，最后是检查是 ...
分类：
其他好文 时间：
2021-06-02 17:26:05
阅读次数：
0
一、实现规格所采取的设计策略 这一部分基本上都由JML语言给出了程序设计的规格，所以也没啥特别需要交代的。总体上来说，我在编写代码时大致分为这几个步骤： 1.先阅读官方包中所有接口和抽象异常类的定义，关注于整个程序的代码架构并从OO角度理解该类需要实现什么； 2.然后再是较仔细地阅读所有类的JML语 ...
分类：
其他好文 时间：
2021-06-02 17:13:11
阅读次数：
0
OO Unit3 Summary 前言 这单元真是暗流涌动。 ? ——沃兹基-硕德 你们要相信自己已经学过很多东西了，所以你们要多花精力去思考一些问题，把自己学过的东西融会贯通起来。 ? ——王旭老师 正文 实现规格的设计策略 我实现规格的策略是： 先通读一遍规格，尝试通过规格与合理猜测将每个接口和 ...
分类：
其他好文 时间：
2021-06-02 17:06:02
阅读次数：
0
redis缓存是在内存中保存数据，避免业务从数据库中读取数据，从而提升系统的响应速度。内存相比于磁盘访问速度时快了，但是内存的成本时远高于磁盘的，所以不可能将所有的数据都放在内存中，所以当缓存空间满了以后就涉及到缓存淘汰的问题。 redis缓存有哪些淘汰策略 大概有八种，如下图 下面逐个介绍下 no ...
分类：
其他好文 时间：
2021-06-02 17:03:36
阅读次数：
0
OO第三单元总结 设计策略 首先需要大致了解每个类是用来做什么的，做到对于整体的架构有一个认识，这样在阅读JML的时候才能更容易理解每个方法具体在干什么。 然后就是先阅读JML规格，了解每个方法大致是要完成怎样的操作，对我的数据结构，比如容器的选择有什么样的要求，我可以采用什么算法来改进降低时间复杂 ...
分类：
其他好文 时间：
2021-06-02 16:53:09
阅读次数：
0
1. 什么是 AOF 日志？ 2. 三种写回策略 1. 什么是 AOF 日志？ 试想一下，如果 Redis 每执行一条写操作命令，就把该命令以追加的方式写入到一个文件里，然后重启 Redis 的时候，先去读取这个文件里的命令，并且执行它，这不就相当于恢复了缓存数据了吗？ 这种保存写操作命令到日志的持 ...
分类：
其他好文 时间：
2021-06-02 16:21:07
阅读次数：
0
JML单元总结 本单元的重点在于理解规格描述，并在其基础上采用最优的解法尽可能地提高程序的效率，因此本文将从以下四个方面进行总结。 设计策略（思路分析）—— 问题1 容器选择以及性能问题（具体实现）—— 问题3&4 优化结果 —— 问题5 基于JML规格来设计测试的方法和策略 —— 问题2 设计策略 ...
分类：
其他好文 时间：
2021-06-02 16:08:33
阅读次数：
0
在Linux中，如果在一个目录下面执行ls -al命令，输出格式如下: ls -al总共输出7列，下面对每一列进行说明。 第一列表示这个文件的权限与类型，它总共有10位，每个位的作用如下图所示: 其中第1位表示这文件是目录，还是普通文件，还是链接文件： 当为d表示是目录 当为-表示是普通文件 当为l ...
分类：
其他好文 时间：
2021-06-02 15:59:43
阅读次数：
0
Linux文件权限问题，chmod修改文件权限不被允许 问题：更改""的操作，不被允许。 原因：chattr文件被chattr命令设置过权限，可以防止关键文件被修改 chattr 改变一个Linux文件系统上的文件属性。 a：让文件或目录仅供附加用途。 b：不更新文件或目录的最后存取时间。 c：将文 ...
分类：
系统相关 时间：
2021-06-02 15:53:36
阅读次数：
0
Default VPC components When we create a default VPC, we do the following to set it up for you: Create a VPC with a size /16 IPv4 CIDR block (172.31.0. ...
分类：
Web程序 时间：
2021-06-02 15:47:16
阅读次数：
0
