摘要：
第一次作业 类图 classDiagram MyUmlInteraction MyNode MyInterface MyMethod Main MyNode .. MyInterface MyNode .. MyMethod class MyUmlInteraction { +getClassCou 阅读全文
摘要：
前言 JML JML(Java Modeling Language) 是用于对 Java程序进行规格化设计的一种表示语言。其结合了Effiel的契约式设计与Larch的基于模型的验证方法。 SMT Solver 将形式化验证问题转化为公式满足性问题，验证程序等价。 OpenJML OpenJML是一 阅读全文
摘要：
上这个课的一点点理解 进程 不共享状态 调度由操作系统完成 有独立的内存空间（上下文切换的时候需要保存栈、cpu寄存器、虚拟内存、以及打开的相关句柄等信息，开销大） 通讯主要通过信号传递的方式来实现（实现方式有多种，信号量、管道、事件等，通讯都需要过内核，效率低） 线程 共享变量（解决了通讯麻烦的问 阅读全文
摘要：
Problem 1 题面 三个进程 P1、P2、P3 互斥使用一个包含N(N>0)个单元的缓冲区。P1 每次用produce() 生成一个正整数并用put()送入缓冲区某一个空单元中；P2 每次用 getodd()从该缓冲区中 取出一个奇数并用 countodd()统计奇数个数；P3 每次用gete 阅读全文
摘要：
在上这个课前的一点点理解 编程范式 OOP(Object Oriented Programming)是一种编程范式。许多号称多范式的编程语言都有对面向对象的支持。 OOP的流派 其中C++的面向对象允许多继承、多态、以模板为特征的泛型化；Objective-C单继承、以传递消息实现函数调用、动态绑定 阅读全文