摘要：
第四单元博客 这个单元的作业，emmmm助教们做的工作还是一如既往的多，我们只负责添一添代码，最后一次作业了，感谢各位助教和老师，同时也希望我能顺利通过这最后一关。 架构设计 第一次作业架构展示 第一次作业需要实现10个命令，需要熟悉staruml的文件格式，同时还需要区分类与接口，理解继承与实现的 阅读全文
摘要：
JML语言理论基础 Java建模语言（Java Modeling Language，JML）是一种进行详细设计的符号语言，他鼓励你用一种全新的方式来看待Java的类和方法。JML是一种行为接口规格语言 （Behavior Interface Specification Language，BISL），基 阅读全文
摘要：
三次作业的设计策略 第一次作业 多线程协同控制 第一次作业只需要两个线程和一个公共缓冲区： 负责读取输入并把它添加进命令队列的线程，即生产者 负责从命令队列中取出命令执行的线程，即消费者 再加上一个缓冲区：命令队列 相对应的线程之间的互斥和同步操作及对应的处理方法 互斥操作： 互斥1：对命令队列的读 阅读全文
摘要：
第一次作业在完成的时候还是以c语言的思路为主，没有用到JAVA语言的精髓，所以导致了之后的作业没有很好的继承，所以都失败了，不过既然第一单元的任务结束了，后面的部分我会更加努力的去完成的。 阅读全文
摘要：
多线程的技术分析与梳理 一、对三次作业推荐的设计结构: 1、第五次作业: 线程对象:请求模拟器(InputThread)、调度器(Scheduler)、三部电梯(ER1、ER2、ER3) 共享对象: InputThread与Scheduler之间共享主请求队列 (生产者-消费者) Scheduler 阅读全文