总线 总线是计算机各种功能部件或者设备之间传送数据、控制信号等信息的公共通信解决方案之一。现假设有如下场景：某中央处理器（CPU）通过某种协议总线与一个信号灯相连，信号灯有64种颜色可以设置，中央处理器上运行着三个线程，都可以对这个信号灯进行控制，并且可以独立设置该信号灯的颜色。抽象掉协议细节（用打 ...
分类：
其他好文 时间：
2018-05-07 23:03:09
阅读次数：
181
第五章：软件工程中的形式化方法。 形式化的基本概念（形式规约、形式证明与验证、程序求精），事态逻辑（一般线性事态逻辑、计算树逻辑），模型检验，Z语言的概念，表示，实例；Petri网的基本定义，规格实例（信号灯）。 第六章：面向对象基础。 面向对象方法概述（发展史，软件工程方法），面向对象基本概念（对 ...
分类：
其他好文 时间：
2018-03-06 20:17:08
阅读次数：
135
-- select * from MultiDataViewerInfo where Post='';-- select * from MultiDataViewerInfo where Post='C04'; -- delete from MultiDataViewerInfo; -- updat ...
分类：
数据库 时间：
2018-02-28 16:22:53
阅读次数：
185
我们创建一个可扩展大小的线程池，并且需要在线程池内同时让有限数目的线程并发运行时，就需要用到Semaphore（信号灯机制），Semaphore 通常用于限制可以访问某些资源（物理或逻辑的）的线程数目，它是一个计数信号量，从概念上讲，信号量维护了一个许可集合，如有必要，在许可可用前会阻塞每一个acq ...
分类：
其他好文 时间：
2018-02-18 12:04:19
阅读次数：
137
3.信号灯（重点是记住什么样是激发什么样称为未激发）信号灯有两种状态，激发和未激发状态，信号灯内部有个计数器，可以理解信号灯内部有N个灯泡，如果有一个灯泡亮着，表示信号灯处于激发状态，如果全部熄灭，信号灯就是处于未激发状态同样的信号灯的使用也需要初始化它利用的是CreateSemaphore(SEC ...
分类：
其他好文 时间：
2018-02-11 23:42:27
阅读次数：
210
三家分晋，韩魏赵。 清朝皇帝列表：从顺治元年（1644年）清朝入关到1912年中国民国成立，清帝退位，清代统治全国共268年。 包括入关前的两帝，努尔哈赤，皇太极；入关后10帝：顺治，康熙，雍正，乾隆，嘉庆，道光，咸丰，同治，光绪，宣统；慈禧虽非皇帝，却独断朝纲，也被列入。 土木之变亦称土木堡之变、 ...
分类：
其他好文 时间：
2018-01-20 15:05:37
阅读次数：
159
20145233韩昊辰第二周C语言实习 实习内容 学习使用新系统中的C语言教学，完成25个课时的学习，在虚拟机中完成C语言代码编写与基础C语言知识理解。 因为虚拟机打开不方便，并且使用的是vc6编译的，所以在咨询了老师之后，可以使用自己的电脑完成这次实习，所以我接下来会放上自己25个课时的结果截图， ...
分类：
其他好文 时间：
2018-01-10 15:48:46
阅读次数：
200
前言: 接续前节 [development][C] 条件变量(condition variables)的应用场景是什么 之前讨论了条件变量的问题, 已经知道在逻辑上, 条件变量(管程)(moniter) 与信号量 逻辑等价. 可以相互实现. 又知: 二元信号量可以用来实现互斥量. 那么是不是说进程间 ...
分类：
其他好文 时间：
2017-11-09 14:32:12
阅读次数：
206
信号量(Semaphore)：有时被称为信号灯，是在多线程环境下使用的一种设施，是可以用来保证两个或多个关键代码段不被并发调用。在进入一个关键代码段之前，线程必须获取一个信号量；一旦该关键代码段完成了，那么该线程必须释放信号量。其它想进入该关键代码段的线程必须等待直到第一个线程释放信号量。 比如：以 ...
分类：
编程语言 时间：
2017-10-19 19:47:28
阅读次数：
198
先来讲解一下Semaphore信号灯的作用: 可以维护当前访问自身的线程个数，并提供了同步机制， 使用semaphore可以控制同时访问资源的线程个数 例如，实现一个文件允许的并发访问数。 请看下面的演示代码: 执行结果如下: 线程 pool-1-thread-2 进入 ，当前已有 2 个并发 线程 ...
分类：
编程语言 时间：
2017-09-27 11:29:53
阅读次数：
296
