编程思想 —— 哨兵的使用

• LDA：Leading Dimension of A

View topic - leading dimension?
Clarification of the leading dimension in CUBLAS when transposing

完整的说法是：leading dimension of two-dimensional array（用来存放数学意义上的矩阵的二维数组） used to store the matrix A。

也即一个二维矩阵的主维数是什么呢？难道是矩阵的行数吗？

未必是矩阵的行数，LDA（leading dimension）是编程中的术语，不是严格意义上数学的概念，其实 LDA 需要考虑该二维数组在内存在存储方式。

• 一个 100*100 的矩阵 A 存储在 100*100 的数组中，则其 LDA 就是行数 100
• 如果处理的对象是 A 的子集，B = A[91:100, 1:100]，这种情况下，其行数是 10 但是 LDA = 100，对以列序优先的编程语言（比如 Fortran）而言，LDA 定义的是同行的相邻元素再内存中的距离。

1. 哨兵（sentinel ）

哨兵：顾名思义，指站岗、放哨、巡逻、稽查的士兵。

• 常用来作为比较，
  
  • 比大小，快排
  • 比相等与否，判等；

int i = 0;
while ( i < 10 ){
    ...
    ++i;
}

while 循环中的变量 i 控制着最终的循环次数。这是非常流行的一个表示法，具有这个作用的变量有时也称为哨兵变量（Sentinel variable）。

再比如快排，

就是 sentinel ，就是用来指定一个位置的特殊元素，比如快速排序里面，需要选一个变量作为中间值，这个值就是一个 sentinel，又比如用来指示一个队列尾部位置的变量。

2. 哨兵的应用：简化边界条件的处理

对于双向链表 L（L.head 为表头，表头有值，L.head.prev 为 NIL），L.nil 作为该链表的哨兵变量，

• L.nil.next 指向表头；
• L.nil.prev 指向表尾；

不含哨兵的链表（头）插入：

LIST_INSERT(L, x)
x.next = L.head
if L.head != NIL
    L.head.prev = x
L.head = x
x.prev = NIL

使用哨兵之后便可以省去条件判断语句：

LIST_INSERT'(L, x)
x.next = L.nil.next
L.nil.next.prev = x
L.nil.next = x
x.prev = L.nil