若某单处理器多进程系统中有多个就绪态进程，在进程处于临界区时能否进行处理机调度？

给后来的人看吧

关键字是内核程序衡烂闹的临界区咐罩，如果历举执行内核程序临界区的时候调度，再回来的时候进行状态切换开销很大的，但并不意味着用户态程序临界区执行的时候不能调度，要是不能调度的话，还费劲心思设计这么多同步算法干什么？还有就是处理机调度不意味着进程调度，调度程序不会 调度调度程序本身，是用中断实现的，当执行内核临界区的时候，直接中断执行作业调度还有内存调度是不会再返回的时候引起状态切换的，所以是可以进行其他调度的。

所以 ，只有在内核程序临界区不能进行进程调度，注意关键字内核和进程

1、临界区指的是一个访问共用资源（例如：共用设备或是共用存储器）的程序片段，而这些共用资源又无法同时被多个线程访问的特性。

当有线程进入临界区段时，其他线程或是进程必须等待，有一些同步的机制必须在临界区段的进入点与离开点实现，以确保这些共用资源是被互斥获得使用。只能被单一线程访问的设备，例如：打印机。

2、临界资源：多道程序系统中存在许多进程，它们共享各种资源，然而有很多资源一次只能供一个进程使用。一次仅允许一个进程使用的资源称为临界资源。许多物理设备都属于临界资源，如输入机、打印机、磁带机等。

3、进程进入临界区的调度原则是：

（1）如果有若干进程要求进入空闲的临界区，一次仅允许一个进程进入。

（2）进入临界区的进程要在有限时间内退出，以便其它进程能及时进入自己的临界区。

（3）任何时候，处于临界区内的进程不可多于一个。

（4）如果进程不能进入自己的临界区，则应让出CPU，避免进程出现“忙等”现象。

扩展资料

1、临界区存在的问题

临界区的退出，不会检测是否是已经进入的线程，也就是说，可以在A线程中调用进入临界区函数，在B线程调用退出临界区的函数，同样是成功。

临界区腔斗内的数据一次只能同时被一个进程使用，当一个进程使用临界区内的数据时，其他需要使用临界区数据的进程进入等待状态。

2、各进程采取互斥的方式，实现共享的资源称作临界资源。

属于临界资源的硬件有打印机、磁带机等,软件有消息缓冲队列、变量、数组、缓冲区等伍余磨。 诸进程间应采取互斥方式，实现对这种资源的共享。

参考资料来源：百度百科-临界区

参考资料来源：百毁悔度百科-临界资源

临界区是一种轻量级机制，在某一时间内只允许一个线程执行某个给定代码段。通常在多线程修改全局数据时会使用临界区。事件、信号量也用于多线程同步，但临界区与它们不同，并不总是执行向内核模式的切换，这一转换成本昂贵。要获得一个未占用临界区，事实上只需要对内存做出很少的修改，其速度非常快。只有在尝试获得已占用临界区时，它才会跳至内核模式。这一轻量级特性的缺点在于临界区只能用于对同一进程内的线程进行同步。

临界区由 WINNT.H 中所定义的 RTL_CRITICAL_SECTION 结构表示。 WINBASE.H 后您会发现：

typedef RTL_CRITICAL_SECTION CRITICAL_SECTION

*** 作临界区的API函数有：

（1）初始化临界区InitializeCriticalSection

（2）进入临界区EnterCriticalSection

（3）离开临界区LeaveCriticalSection

（4）删除临界区DeleteCriticalSection

在临界区未被使用的理想情况中，对 EnterCriticalSection 的调用非常快速，因为它只是读取和修改用户模式内存中的内存位置。所阻止的线程以内核模式等待，在该临界区的所有者将其释放之前，不能对这些线程进行调度。如果有多个线程被阻止于一个临界区中，当另一线程释放该临界区时，只有一个线程获得该临界区。

RTL_CRITICAL_SECTION 结构

一个进程的临界区是保存于一个链表中，并且可以对其进行枚举。实际上，WINDBG 支持 !locks 命令，这一命令可以列出目标进程中的所有临界区。

RTL_CRITICAL_SECTION 结构如下：

struct RTL_CRITICAL_SECTION

{

PRTL_CRITICAL_SECTION_DEBUG DebugInfo

LONG LockCount

LONG RecursionCount

HANDLE OwningThread

HANDLE LockSemaphore

ULONG_PTR SpinCount

}

以下各段对每个字段进行说明。

DebugInfo 此字段包含一个指针，指向系统分配的伴随结构，该结构的类型为 RTL_CRITICAL_SECTION_DEBUG。这一结构中包含更多极有价值的信息，也定义于 WINNT.H 中。LockCount 这是临界区中最重要的一个字段。它被初始化为数值 -1；此数值等于或大于 0 时，表示此临界区被占用。当其不等于 -1 时，OwningThread 字段包含了拥有此临界区的线程 ID。此字段与 (RecursionCount-1) 数值之间的差值表示有多少个其他线程在等待获得该临界区。

RecursionCount 此字段包含所有者线程已经获得该临界区的次数。如果该数值为零，下一个尝试获取该临界区的线程将会成功。

OwningThread 此字段包含当前占用此临界区的线程的线程标识符。此线程 ID 与 GetCurrentThreadId 之类的 API 所返回的 ID 相同。

LockSemaphore 它是一个内核对象句柄，用于通知 *** 作系统：该临界区现在空闲。 *** 作系统在一个线程第一次尝试获得该临界区，但被另一个已经拥有该临界区的线程所阻止时，自动创建这样一个句柄。应当调用 DeleteCriticalSection（它将发出一个调用该事件的 CloseHandle 调用，并在必要时释放该调试结构），否则将会发生资源泄漏。

SpinCount 仅用于多处理器系统宏脊。MSDN文档对此字段进行如下说明：“在多处理器系统中，如果该临界区不可用，调用线程将在对与该临界区相关的信号宴喊执行等待 *** 作之前，旋转 dwSpinCount 次。如果该临界区在旋转 *** 作期间变为可用蔽祥渗，该调用线程就避免了等待 *** 作。”旋转计数可以在多处理器计算机上提供更佳性能，其原因在于在一个循环中旋转通常要快于进入内核模式等待状态。此字段默认值为零，但可以用 InitializeCriticalSectionAndSpinCount API 将其设置为一个不同值。

RTL_CRITICAL_SECTION_DEBUG结构如下：

struct _RTL_CRITICAL_SECTION_DEBUG

{

WORD Type

WORD CreatorBackTraceIndex

RTL_CRITICAL_SECTION *CriticalSection

LIST_ENTRY ProcessLocksList

DWORD EntryCount

DWORD ContentionCount

DWORD Spare[ 2 ]

}

这一结构由InitializeCriticalSection分配和初始化。它既可以由NTDLL内的预分配数组分配，也可以由进程堆分配。RTL_CRITICAL_SECTION的这一伴随结构包含一组匹配字段，具有迥然不同的角色：有两个难以理解，随后两个提供了理解这一临界区链结构的关键，两个是重复设置的，最后两个未使用。

下面是对 RTL_CRITICAL_SECTION 字段的说明。

Type 此字段未使用，被初始化为数值 0。

CreatorBackTraceIndex 此字段仅用于诊断情形中。在注册表项 HKLM\Software\Microsoft\Windows NT\CurrentVersion\Image File Execution Options\YourProgram 之下是 keyfield、GlobalFlag 和 StackTraceDatabaseSizeInMb 值。注意，只有在运行稍后说明的 Gflags 命令时才会显示这些值。这些注册表值的设置正确时，CreatorBackTraceIndex 字段将由堆栈跟踪中所用的一个索引值填充。在 MSDN 中搜索 GFlags 文档中的短语“create user mode stack trace database”和“enlarging the user-mode stack trace database”，可以找到有关这一内容的更多信息。

CriticalSection 指向与此结构相关的 RTL_CRITICAL_SECTION。图 1 说明该基础结构以及 RTL_CRITICAL_SECTION、RTL_CRITICAL_SECTION_DEBUG 和事件链中其他参与者之间的关系。

图 1 临界区处理流程

ProcessLocksList LIST_ENTRY 是用于表示双向链表中节点的标准 Windows 数据结构。RTL_CRITICAL_SECTION_DEBUG 包含了链表的一部分，允许向前和向后遍历该临界区。本文后面给出的实用工具说明如何使用 Flink（前向链接）和 Blink（后向链接）字段在链表中的成员之间移动。任何从事过设备驱动程序或者研究过 Windows 内核的人都会非常熟悉这一数据结构。

EntryCount/ContentionCount 这些字段在相同的时间、出于相同的原因被递增。这是那些因为不能马上获得临界区而进入等待状态的线程的数目。与 LockCount 和 RecursionCount 字段不同，这些字段永远都不会递减。

Spares 这两个字段未使用，甚至未被初始化（尽管在删除临界区结构时将这些字段进行了清零）。后面将会说明，可以用这些未被使用的字段来保存有用的诊断值。

总结：

（1）如果 LockCount 字段有一个不等于 -1 的数值，此临界区被占用，OwningThread 字段包含拥有该临界区的线程的线程标识符。

（2）如果 RecursionCount 是一个大于 1 的数值，其告知您所有者线程已经重新获得该临界区多少次（也许不必要）。

（3）LockCount 与 RecursionCount 字段中分别包含其初始值 -1 和 0，这一点非常重要。事实上，对于单线程程序，不能仅通过检查这些字段来判断是否曾获得过临界区。但是，多线程程序留下了一些标记，可以用来判断是否有两个或多个线程试图同时拥有同一临界区。

（4）在该临界区未被占用时 LockSemaphore 字段中仍包含一个非零值。这表示：在某一时间，此临界区阻止了一个或多个线程。事件句柄用于通知该临界区已被释放，等待该临界区的线程之一现在可以获得该临界区并继续执行。因为 OS 在临界区阻止另一个线程时自动分配事件句柄，所以如果您在不再需要临界区时忘记将其删除，LockSemaphore 字段可能会导致程序中发生资源泄漏。

（5）在多线程程序中可能遇到的另一状态是 EntryCount 和 ContentionCount 字段包含一个大于零的数值。这两个字段保存有临界区对一个线程进行阻止的次数。在每次发生这一事件时，这两个字段被递增，但在临界区存在期间不会被递减。这些字段可用于间接确定程序的执行路径和特性。例如，EntryCount 非常高时则意味着该临界区经历着大量争用，可能会成为代码执行过程中的一个潜在瓶颈。

（6）可以通过RTL_CRITICAL_SECTION_DEBUG 中的LIST_ENTRY 遍历进程中的临界区，Flink=NULL为表头，Blink=NULL为表尾。

（7）利用RTL_CRITICAL_SECTION 的 Spare 字段可以区分我们定义的临界区和系统定义的临界区。

---