- 博客(4)
- 收藏
- 关注
RSS订阅原创 北航OO课程 第三单元总结
第三单元主要考察的是JML规格的理解和运用。与前两个单元的腥风血雨不同，由于有JML规格的参与，本单元在类和方法的设计上并没有表达式化简和电梯调度复杂，我们只需要在官方包的基础上实现我们自己的方法。然而，在经历了整个单元的学习后，我发现这个单元并没有口口相传的那样人畜无害；相反，本单元在算法和复杂度上对方法有着严格的要求，对不熟悉算法的我而言，这无疑是一个巨大的挑战。
2023-06-19 18:10:09
212
原创 北航OO课程 第二单元总结
同步块有RequestQueue类中对请求队列进行读或写的方法块，包括增加请求（addRequest）、删除请求（removeRequest）、获取请求（getOneRequest）以及获取请求队列（getRequests），还有对判断是否结尾的变量isEnd进行修改的方法块（setEnd），以及其他方法中需要进行唤醒某个线程的操作时使用的synchronized代码块。
2023-04-16 10:05:07
218
1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人