Vol3.5.8.1 直接CALL或JMP到目的代码段时的特权级检查[5.8.1 Direct Calls or Jumps to Code Segments]



本文摘译自：Intel(R) 64 And IA-32 Architectures Software Developer's Manual Volume 3 System Programming Guide 5.8.1 Direct Calls or Jumps to Code Segments直接CALL或JMP到目的代码段时候的特权级检查

The near forms of the JMP, CALL, and RET instructions transfer program control within the current code segment, so privilege-level checks are not performed. The far forms of the JMP, CALL, and RET instructions transfer control to other code segments, so the processor does perform privilege-level checks. 

JMP, CALL, RET的近转移(near)的控制转移在当前段内，所以不进行特权级检查。

JMP, CALL, RET的远转移(far)将控制转移到了其他段，所以一定要进行特权级检查。

When transferring program control to another code segment without going through a call gate, the processor 

examines four kinds of privilege level and type information (see Figure 5-6):

在没有通过调用门转移控制到另一个代码段时，处理器检查四种特权级和类型信息(如图5-6)

• The CPL. (Here, the CPL is the privilege level of the calling code segment; that is, the code segment that contains the procedure that is making the call or jump.)

当前特权级（在这里，当前特权级指的是主调代码段，即包含发起JMP或CALL的代码段）

• The DPL of the segment descriptor for the destination code segment that contains the called procedure.

 包含被调代码的段描述符特权级

• The RPL of the segment selector of the destination code segment.

目标代码段选择子的请求特权级

• The conforming (C) flag in the segment descriptor for the destination code segment, which determines whether 

the segment is a conforming (C flag is set) or nonconforming (C flag is clear) code segment.

决定代码段是否是一致的目标代码段描述符中的一致标志

The rules that the processor uses to check the CPL, RPL, and DPL depends on the setting of the C flag, as described 

in the following sections.

处理器检查CPL, RPL, DPL的规则取决于如下小节中C标志的设置

5.8.1.1  Accessing Nonconforming Code Segments

5.8.1.1 访问非一致代码段

When accessing nonconforming code segments, the CPL of the calling procedure must be equal to the DPL of the destination code segment; otherwise, the processor generates a general-protection exception (#GP). 

当访问非一致代码段时，主调过程的CPL必须等于目标代码段的DPL，否则处理器会生成通用保护异常(#GP)

 

For example in Figure 5-7:

例如图5-7中：

• Code segment C is a nonconforming code segment. A procedure in code segment A can call a procedure in code segment C (using segment selector C1) because they are at the same privilege level (CPL of code segment A is equal to the DPL of code segment C).

代码段C是非代码段。代码段A中的一个过程能够调用代码段C(使用C1选择子)因为它们俩特权级相同(A代码段的CPL等于C代码段的DPL)

• A procedure in code segment B cannot call a procedure in code segment C (using segment selector C2 or C1) because the two code segments are at different privilege levels.

代码段B的一个过程不能调用代码段C(使用段选择子C2或C1)因为两个代码段在不同特权级上。

The RPL of the segment selector that points to a nonconforming code segment has a limited effect on the privilege check. The RPL must be numerically less than or equal to the CPL of the calling procedure for a successful control transfer to occur. So, in the example in Figure 5-7, the RPLs of segment selectors C1 and C2 could legally be set to 0, 1, or 2, but not to 3.

代码段选择子的RPL指向一个非一致代码段起到的特权级检查作用是有限的。为促成控制转移成功进行，在数值上，RPL必须小于或等于主调过程的CPL。所以在图5-7所举的例子中，C1, C2段选择子的RPL能够合法地设置成0, 1, 2，但不能是3。

 

When the segment selector of a nonconforming code segment is loaded into the CS register, the privilege level field is not changed; that is, it remains at the CPL (which is the privilege level of the calling procedure). This is true, even if the RPL of the segment selector is different from the CPL.

当一个非一致代码段选择子载入CS寄存器，特权级字段不改变；也就是说它仍然是CPL(主调过程的特权级)。即使段选择子RPL不同于CPL也是对的。

 

5.8.1.2  Accessing Conforming Code Segments

5.8.1.2  访问一致代码段

 

When accessing conforming code segments, the CPL of the calling procedure may be numerically equal to or greater than (less privileged) the DPL of the destination code segment; the processor generates a general-protection exception (#GP) only if the CPL is less than the DPL. (The segment selector RPL for the destination code segment is not checked if the segment is a conforming code segment.)

当访问一致代码段时，主调过程的CPL在数值上可大于或等于(特权级低)目的代码段的DPL；只有CPL低于DPL时，处理器产生通用保护异常(#GP)。（若目的代码段是一致的，目的代码段选择子RPL不会被检查）

 

In the example in Figure 5-7, code segment D is a conforming code segment. Therefore, calling procedures in both code segment A and B can access code segment D (using either segment selector D1 or D2, respectively), because they both have CPLs that are greater than or equal to the DPL of the conforming code segment. For conforming code segments, the DPL represents the numerically lowest privilege level that a calling procedure may be at to successfully make a call to the code segment.

在图5-7所举的例子中，代码段D是个一致代码段。因此代码段A和B里面的主调过程都能访问代码段D(分别使用段选择子D1或D2)，因为它们都满足CPL大于或等于一致代码段的DPL，对于一致代码段，DPL代表了数值上最小(最高特权级),主调函数能够成果call到的代码段。

 

(Note that segments selectors D1 and D2 are identical except for their respective RPLs. But since RPLs are not checked when accessing conforming code segments, the two segment selectors are essentially interchangeable.)

（注意：段选择子D1,D2除了他们各自的RPL是完全相同的。但是因为RPL在访问一致代码段时不检查，两个段选择子本质上是可等价的。）

 

When program control is transferred to a conforming code segment, the CPL does not change, even if the DPL of the destination code segment is less than the CPL. This situation is the only one where the CPL may be different from the DPL of the current code segment. Also, since the CPL does not change, no stack switch occurs.

当程序控制转移到一致代码段时，即使目的代码段DPL低于主调过程的CPL，但CPL仍不变。这种情况是唯一一个CPL可能不同于当前代码段DPL。同时，因为CPL不改变，不会发生堆栈切换。

 

Conforming segments are used for code modules such as math libraries and exception handlers, which support 

applications but do not require access to protected system facilities. These modules are part of the operating system or executive software, but they can be executed at numerically higher privilege levels (less privileged levels). Keeping the CPL at the level of a calling code segment when switching to a conforming code segment prevents an application program from accessing nonconforming code segments while at the privilege level (DPL) of a conforming code segment and thus prevent sit from accessing more privileged data.

一致代码段经常用作代码模块例如支持应用程序运行且不需要访问受保护的系统重要部件的数学库和异常处理例程。这些模块是操作系统或可执行软件的一部分，但是它们能够运行在数值上高的特权级(低特权级)。当切换到一致代码段时保持CPL是主调代码段能阻止应用程序用一致代码段的特权级(DPL)访问非一致代码段从而阻止访问更高特权级上的数据。

 

Most code segments are nonconforming. For these segments, program control can be transferred only to code 

segments at the same level of privilege, unless the transfer is carried out through a call gate, as described in the following sections.

大多数代码段是非一致的。对于这些代码段，程序控制只能转移到特权级相同的代码段，除非通过在下一小节所描述的调用门。

->本文译自Intel 软件开发者手册卷3的5.8.1节直接CALL或JMP到目的代码段时候的特权级检查。
->本想把整个5.8 节代码段间转移控制时的检查全部翻译完后再发，可时间不够以及遵循最小化分割原则，把它划开了，望大家见谅。。。
->文档最初写在我的WORD文档，存在网盘里，发表到CSDN博客时有改动

http://pan.baidu.com/s/1bnm4g6z