begin conclusion on signals and monitor chp18.md, not finished yet.

c++ note/chp7/chp7conclusion.md

@@ -31,7 +31,7 @@ Sales_data::isbn(&total);
 
 + 从语言的功能层面，一个`const`的对象只能调用它的标记为`const`的成员函数。这是很自然的，因为编译器会认为没有`const`标记的成员函数会修改对象的成员变量。所以，对于只读的成员函数，尽量都标记为`const`,以便其`const`的对象也可以调用这些函数。
 
-+ 从变量类型的方面。对于一般的对象，如`Sales_data total`这种，`this`指针的类型为`Sales_data* const`，即`this`指针是`const pointer to non-const object`，在这种情况下，`this`指针是不能指向`const`的对象的。为了指定`this`指针的类型为`const Sales_data* cosnt`，即`const pointer to const object`，就需要在函数的参数列表和具体实现之间加上`const`修饰符。实际上，这也是`const`对象只能调用`const`成员函数在语言层面的原因。
++ 从变量类型的方面。对于一般的对象，如`Sales_data total`这种，`this`指针的类型为`Sales_data* const`，即`this`指针是`const pointer to non-const object`，在这种情况下，`this`指针是不能指向`const`的对象的。为了指定`this`指针的类型为`const Sales_data* const`，即`const pointer to const object`，就需要在函数的参数列表和具体实现之间加上`const`修饰符。实际上，这也是`const`对象只能调用`const`成员函数在语言层面的原因。
 
 - class scope and defining a member function outside the class 
 - a function to return `this` object

thu_os/chp18.md

@@ -0,0 +1,37 @@
+进程管理（4）：信号量与管程
+========================
+
+在[进程管理（3）：同步互斥](chp17.md)中，我们提到，为了解决同步互斥问题，操作系统会提供一些高级抽象方法供应用进程调用，这样应用进程就不需要自己利用繁琐的软件方法来解决同步互斥了。存在三种高级抽象方法，分别是锁，信号量与条件变量，其中锁也在上面那篇中讨论过了，这里主要是讨论信号量与条件变量。同步互斥的层次结构如下图所示：
+
+![sychronization_methods](images/synchronization_methods.png)
+
+## 信号量
+
+> 为什么要引入信号量？
+
+前面我们已经用锁机制方便的解决了临界区的互斥访问问题了，但是锁机制似乎并不能适用于更一般的情况。例如操作系统某些资源是有多个的，可以让多个进程共同访问，只有当访问的进程多于资源数量的时候才对进程访问加以限制。很明显，对于这种情况，使用锁机制的结果是一次只能有一个进程访问资源，这无疑是对资源的一种浪费。
+
+此外，锁机制只能解决进程间的互斥访问问题，并不能推广到进程间的同步问题。
+
+因此，有必要引入一个新的机制，既可以合理地对多个资源进行分配，又可以同时兼顾同步与互斥问题。这就是引入信号量机制的原因。
+
+> 什么是信号量？
+
+信号量是操作系统提供的一种协调共享资源访问的方法。它采用一种简明的方法来协调多个资源的访问，即采用信号量来表示当前剩余的系统资源数量。如果有一个进程请求某个资源，则将该资源的信号量递减；反之，如果某个进程释放了资源，就将该资源的信号量递增。这里对信号量的操作都是被操作系统封装起来的，因此可以看到，信号量更多的是一种抽象数据类型，由一个整型变量和两个基本操作组成，通常用`P`操作和`V`操作来表示递减和递增，分别对应了荷兰语里面的`尝试减少`和`增加`。
+
+```c
+class Semaphore{
+private:
+	int sem;
+
+public:
+	void up();
+	void down();
+}
+```
+
+> 信号量的实现
+
+为了实现信号量，主要就是需要实现它的两个成员函数`down`和`up`。
+
+当一个进程请求资源时，首先应该检查`sem`当前的值，如果`sem > 0`，表示系统还有剩余的资源，则执行`--sem`并且将资源分配给请求进程；如果`sem <= 0`，则表示当前系统已经没有这种资源了，仍然执行`--sem`，表示新增了一个进程在等待这个资源。由于当前进程得不到它请求的资源，此时应该释放CPU的控制权，调度其他进程进入运行状态。为了在资源空闲时可以唤醒当前进程，可以对每个信号量新增一个等待队列，并且将等待该信号量的进程加入等待队列中。