Red_Revolution

摘要： 看这篇：https://mp.weixin.qq.com/s/xOSitmrmn5eeeILDtNuXAw https://www.cnblogs.com/llkbk/p/12172211.html https://zhuanlan.zhihu.com/p/76540774 https://blog 阅读全文

摘要： Mac迁移 编辑实用技巧 1.cmd + backspace 全行回退 2.option + backspace 单词回退 3.⌃space聚焦打开程序 4.IDEA cmd+Home/End文件首尾 PgUp/PgDn翻页 修饰键 1.Mac本机键盘 系统偏好设置 → 键盘 → 修饰键 → fn功 阅读全文

摘要： Linux常用命令查询 http://linux.51yip.com/ *$为可选命令 命令行快捷键 ctrl + a 移动光标至字符头 ctrl + e 移动光标至字符尾 ctrl + l 清屏 通用 终端管控tty # 查看当前终端信息 $ tty # 关闭当前终端 $ pkill -9 -t 阅读全文

摘要： 面向对象设计与构造：OO课程总结 第一部分：UML单元架构设计 第一次作业 UML图 MyUmlInteraction类实现接口方法，ClassUnit和InterfaceUnit管理UML图中的类和数据单元 MyUmlInteraction类整合UML类图中的所有数据元素，并用Map建立相应的Id 阅读全文

摘要： 面向对象设计与构造：JML规格单元作业总结 第一部分：JML语言理论基础 JML语言是什么：对Java程序进行规格化设计的一种表示语言 使用JML语言有什么好处： 用逻辑严格的规格取代自然语言，照顾马龙的语文水平。一切挑战规则的行为必将受到严厉惩罚 代码维护性高，让大牛的代码不再晦涩，让轮子制造机无 阅读全文

摘要： 面向对象设计与构造：电梯单元作业总结 第一部分：设计策略 第一次作业实现简单调度：处理完一个请求再去处理下一个，强测100 第二次作业实现运送捎带：电梯捎带策略没能保证线程安全，强测30 第三次作业实现电梯协同：调度器分派请求，电梯自捎带并完成调度器分派的所有请求，强测94 但最开始我的想法是：当前 阅读全文

摘要： 信号量机制 信号量用于互斥 P(S) 临界区 V(S) P(S) 临界区 V(S) 生产者消费者： typedef int semaphore //信号量值设置为1就是互斥量 semaphore mutex = 1; //同一时刻只有一个进程可以读写缓冲区 semaphore empty = N; 阅读全文

摘要： 创建 接口创建： Thread A = Thread(Runnable threadOb,String threadName); threadOb是实现了Runnable的类实例，称为目标对象 ​ 使用同一目标对象创建的线程，目标对象的成员变量自然就是这些线程共享的数据单元。 //这里的票是共享数据 阅读全文

摘要： 面向对象设计与构造：表达式求导单元作业总结 第一部分：基于度量的程序结构分析 横向对比 ​ Metrics homework_one ​ homework_two homework_three ​ 关键指标 ev(G)：程序非结构化程度，数值高低影响模块化和维护 iv(G)： 模块设计复杂度，数值高 阅读全文