很早以前，人们就知道某些光学装置能够“放大”物体。比如在《墨经》里面就记载了能放大物体的凹面镜。至于凸透镜是什么时候发明的，可能已经无法考证。凸透镜——有的时候人们把它称为“放大镜”——能够聚焦太阳光，也能让你看到放大后的物体，这是因为凸透镜能够把光线偏折。你通过凸透镜看到的其实是一种幻觉，严格的说，叫做虚像。当物体发出的光通过凸透镜的时候，光线会以特定的方式偏折。当我们看到那些光线的时候，或不自觉地认为它们仍然是沿笔直的路线传播。结果，物体就会看上去比原来大。
单个凸透镜能够把物体放大几十倍，这远远不足以让我们看清某些物体的细节。公元13世纪，出现了为视力不济的人准备的眼镜——一种玻璃制造的透镜片。随着笼罩欧洲一千年的黑暗消失，各种新的发明纷纷涌现出来，显微镜（microscope）就是其中的一个。大约在16世纪末，荷兰的眼镜商詹森 （Zaccharias Janssen）和他的儿子把几块镜片放进了一个圆筒中，结果发现通过圆筒看到附近的物体出奇的大，这就是现在的显微镜和望远镜的前身。
詹森制造的是第一台复合式显微镜。使用两个凸透镜，一个凸透镜把另外一个所成的像进一步放大，这就是复合式显微镜的基本原理。如果两个凸透镜一个能放大10倍，另一个能放大20倍，那么整个镜片组合的的放大倍数就是10*20=200倍。
1665年，英国科学家罗伯特•胡克（人们可能更熟悉他的另一个发现：胡克定律）用他的显微镜观察软木切片的时候，惊奇的发现其中存在着一个一个“单元”结构。胡克把它们称作“细胞”。不过，詹森时代的复合式显微镜并没有真正显示出它的威力，它们的放大倍数低得可怜。荷兰人安东尼•冯•列文虎克（Anthony Von Leeuwenhoek ，1632-1723)制造的显微镜让人们大开眼界。列文虎克自幼学习磨制眼镜片的技术，热衷于制造显微镜。他制造的显微镜其实就是一片凸透镜，而不是复合式显微镜。不过，由于他的技艺精湛，磨制的单片显微镜的放大倍数将近300倍，超过了以往任何一种显微镜。
当列文虎克把他的显微镜对准一滴雨水的时候，他惊奇的发现了其中令人惊叹的小小世界：无数的微生物游曳于其中。他把这个发现报告给了英国皇家学会，引起了一阵轰动。人们有时候把列文虎克称为“显微镜之父”，严格的说，这不太正确。列文虎克没有发明第一个复合式显微镜，他的成就是制造出了高质量的凸透镜镜头。
在接下来的两个世纪中，复合式显微镜得到了充分的完善，例如人们发明了能够消除色差（当不同波长的光线通过透镜的时候，它们折射的方向略有不同，这导致了成像质量的下降）和其他光学误差的透镜组。与19世纪的显微镜相比，现在我们使用的普通光学显微镜基本上没有什么改进。原因很简单：光学显微镜已经达到了分辨率的极限。
如果仅仅在纸上画图，你自然能够“制造”出任意放大倍数的显微镜。但是光的波动性将毁掉你完美的发明。即使消除掉透镜形状的缺陷，任何光学仪器仍然无法完美的成像。人们花了很长时间才发现，光在通过显微镜的时候要发生衍射——简单的说，物体上的一个点在成像的时候不会是一个点，而是一个衍射光斑。如果两个衍射光斑*得太近，你就没法把它们分辨开来。显微镜的放大倍数再高也无济于事了。对于使用可见光作为光源的显微镜，它的分辨率极限是0.2微米。任何小于0.2微米的结构都没法识别出来。
提高显微镜分辨率的途径之一就是设法减小光的波长，或者，用电子束来代替光。根据德布罗意的物质波理论，运动的电子具有波动性，而且速度越快，它的“波长”就越短。如果能把电子的速度加到足够高，并且汇聚它，就有可能用来放大物体。
1938年，德国工程师Max Knoll和Ernst Ruska制造出了世界上第一台透射电子显微镜（TEM）。1952年，英国工程师Charles Oatley制造出了第一台扫描电子显微镜（SEM）。电子显微镜是20世纪最重要的发明之一。由于电子的速度可以加到很高，电子显微镜的分辨率可以达到纳米级（10-9m）。很多在可见光下看不见的物体——例如病毒——在电子显微镜下现出了原形。
用电子代替光，这或许是一个反常规的主意。但是还有更令人吃惊的。1983年，IBM公司苏黎世实验室的两位科学家Gerd Binnig和Heinrich Rohrer发明了所谓的扫描隧道显微镜（STM）。这种显微镜比电子显微镜更激进，它完全失去了传统显微镜的概念。
很显然，你不能直接“看到”原子。因为原子与宏观物质不同，它不是光滑的、滴溜乱转的削球，更不是达•芬奇绘画时候所用的模型。扫描隧道显微镜依*所谓的“隧道效应”工作。如果舍弃复杂的公式和术语，这个工作原理其实很容易理解。隧道扫描显微镜没有镜头，它使用一根探针。探针和物体之间加上电压。如果探针距离物体表面很近——大约在纳米级的距离上——隧道效应就会起作用。电子会穿过物体与探针之间的空隙，形成一股微弱的电流。如果探针与物体的距离发生变化，这股电流也会相应的改变。这样，通过测量电流我们就能知道物体表面的形状，分辨率可以达到单个原子的级别。
因为这项奇妙的发明，Binnig和Rohrer获得了1986年的诺贝尔物理学奖。这一年还有一个人分享了诺贝尔物理学奖，那就是电子显微镜的发明者Ruska。
据说，几百年前列文虎克把他制作显微镜的技术视为秘密。今天，显微镜——至少是光学显微镜——已经成了一种非常普通的工具，让我们了解这个小小的大千世界。
在操作系统理论中有一个非常重要的概念叫做P,V原语。在我们研究进程间的互斥的时候经常会引入这个概念，将P,V操作方法与加锁的方法相比较，来解决进程间的互斥问题。实际上，他的应用范围很广，他不但可以解决进程管理当中的互斥问题，而且我们还可以利用此方法解决进程同步与进程通信的问题。[一]P,V原语理论
阐述P,V原语的理论不得不提到的一个人便是赫赫有名的荷兰科学家E.W.Dijkstra。如果你对这位科学家没有什么印象的话，提起解决图论中最短路径问题的Dijkstra算法应当是我们再熟悉不过的了。P,V原语的概念以及P,V操作当中需要使用到的信号量的概念都是由他在1965年提出的。
信号量是最早出现的用来解决进程同步与互斥问题的机制，包括一个称为信号量的变量及对它进行的两个原语操作。信号量为一个整数，我们设这个信号量为：sem。很显然，我们规定在sem大于等于零的时候代表可供并发进程使用的资源实体数，sem小于零的时候，表示正在等待使用临界区的进程的个数。根据这个原则，在给信号量附初值的时候，我们显然就要设初值大于零。
p操作和v操作是不可中断的程序段，称为原语。P,V原语中P是荷兰语的Passeren，相当于英文的pass, V是荷兰语的Verhoog,相当于英文中的incremnet。
P原语操作的动作是：
（1） sem减1；
（2） 若sem减1后仍大于或等于零，则进程继续执行；
（3） 若sem减1后小于零，则该进程被阻塞后进入与该信号相对应的队列中，然后转进程调度。
V原语操作的动作是：
（1） sem加1；
（2） 若相加结果大于零，则进程继续执行；
（3） 若相加结果小于或等于零，则从该信号的等待队列中唤醒一等待进程，然后再返回原进程继续执行或转进程调度。
需要提醒大家一点就是P,V操作对于每一个进程来说，都只能进行一次。而且必须成对使用。且在P,V愿语执行期间不允许有中断的发生。
对于具体的实现，方法非常多，可以用硬件实现，也可以用软件实现。我们采用如下的定义：
procedure p(var s:samephore)
{
s.value=s.value-1
if (s.value<0) asleep(s.queue)
}
procedure v(var s:samephore)
{
s.value=s.value+1
if (s.value<=0) wakeup(s.queue)
}
其中用到两个标准过程：
asleep(s.queue)执行此操作的进程控制块进入s.queue尾部，进程变成等待状态
wakeup(s.queue)将s.queue头进程唤醒插入就绪队列
对于这个过程，s.value初值为1时，用来实现进程的互斥。
虽软说信号量机制毕加锁方法要好得多，但是也不是说它没有任何的缺陷。由此我们也可以清晰地看到，这种信号量机制必须有公共内存，不能用于分布式操作系统，这是它最大的弱点。
[二]P,V原语的应用
正如我们在文中最开始的时候提到的，P,V原语不但可以解决进程管理当中的互斥问题，而且我们还可以利用此方法解决进程同步与进程通信的问题。
（1）用P V原语实现进程互斥
把临界区置于P(sem) 和V(sem)之间。当一个进程想要进入临界区时，它必须先执行P原语操作以将信号量sem减1，在进程完成对临界区的操作后，它必须执行V原语操作以释放它所占用的临界区。从而就实现了进程的互斥：
具体的过程我们可以简单的描述如下：
PA:
P(sem)
<S>
V(sem)
PB:
P(sem)
<S>
V(sem)
(2) 用P V原语实现进程同步
进程同步问题的解决同样可以采用这种操作来解决，我们假设两个进程需要同步进行，一个进程是计算进程，另一个进程是打印进程，那么这个时候两个进程的定义可以表示为：
PC（表示计算进程）
A: local buf
repeat
buf=buf
until buf=空
计算
得到计算结果
buf=计算结果
goto A
PP:（表示打印进程）
B: local pri
repeat
pri=buf
until pri!=空
打印buf中的数据
清除buf中的数据
goto B
相应用P,V原语的实现过程为：
PA: deposit(data)
Begin local x
P(bufempty)
按FIFO方式选择一个空缓冲区buf(x)
buf(x)=data
buf(x)置满标记
V(buffull)
end
PB:remove(data)
Begin local x
P(buffull)
按FIFO方式选择一个装满
数据的缓冲区buf(x)
data=buf(x)
buf(x)置空标记
V(bufempty)
end
（3）用P V原语实现进程通信
我们以邮箱通信为例说明问题：
邮箱通信满足的条件是：
<1>发送进程发送消息的时候，邮箱中至少要有一个空格能存放该消息。
<2>接收进程接收消息时，邮箱中至少要有一个消息存在。
发送进程和接收进程我们可以进行如下的描述：
Deposit(m)为发送进程，接收进程是remove(m). Fromnum为发送进程的私用信号量，信箱空格数n。mesnum为接收进程的私用信号量，初值为0.
Deposit(m):
Begin local x
P(fromnum)
选择空格x
将消息m放入空格x中
置格x的标志为满
V(mesnum)
end
Remove(m)
Begin local x
P(mesnum)
选择满格x
把满格x中的消息取出放m中
置格x标志为空
V(fromnum)
end
欢迎分享，转载请注明来源：夏雨云
微信扫一扫
支付宝扫一扫
评论列表（0条）