uCOS3中的部分源碼：
/* 置位優先級表中相應的位 */
void OS_PrioInsert (OS_PRIO prio)
{
CPU_DATA bit;
CPU_DATA bit_nbr;
OS_PRIO ix;
/* 求模操作，獲取優先級表數組的下標索引 */
ix = prio / DEF_INT_CPU_NBR_BITS;//32bits
//由于數據均為無符號數,prio為8位無符號數、 DEF_INT_CPU_NBR_BITS為32位無符號數
ix的值為0 這么做是未來兼容優先級>32個的數量要求(此處8/32得0)
/* 求余操作，將優先級限制在DEF_INT_CPU_NBR_BITS之內 *///CPU_DATA unsigned int
這個沒有問題對變量 prio進行求值賦值給
bit_nbr = (CPU_DATA)prio & (DEF_INT_CPU_NBR_BITS - 1u);
這個沒有問題，對形參prio進行求值賦值給 bit_nbr
/* 獲取優先級在優先級表中對應的位的位置 */
bit = 1u;
bit <<= (DEF_INT_CPU_NBR_BITS - 1u) - bit_nbr;
/* 將優先級在優先級表中對應的位置1 */
OSPrioTbl[ix] |= bit;
}
/* 清除優先級表中相應的位 */
void OS_PrioRemove (OS_PRIO prio)
{
CPU_DATA bit;
CPU_DATA bit_nbr;
OS_PRIO ix;
/* 求模操作，獲取優先級表數組的下標索引 */
ix = prio / DEF_INT_CPU_NBR_BITS;
/* 求余操作，將優先級限制在DEF_INT_CPU_NBR_BITS之內 */
bit_nbr = (CPU_DATA)prio & (DEF_INT_CPU_NBR_BITS - 1u);
/* 獲取優先級在優先級表中對應的位的位置 */
bit = 1u;
bit <<= (DEF_INT_CPU_NBR_BITS - 1u) - bit_nbr;
/* 將優先級在優先級表中對應的位清0 */
OSPrioTbl[ix] &= ~bit;
}
********************************數據類型的宏定義***************************************
#define DEF_INT_CPU_NBR_BITS (CPU_CFG_DATA_SIZE * DEF_OCTET_NBR_BITS)
#define CPU_CFG_DATA_SIZE CPU_WORD_SIZE_32
#define CPU_WORD_SIZE_32 4u
#define DEF_OCTET_NBR_BITS 8u
******************************************************************************************
typedef CPU_INT08U OS_PRIO;
typedef unsigned char CPU_INT08U;
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%以下為網絡上的資料：
(參考維基百科：
Euclidean division：Given two integers a and b, with b ≠ 0, there exist unique integers q and r such that a = bq + r and 0 ≤ r < |b|, where |b| denotes the absolute value of b.
(術語： a 被除數 dividend ； b 除數 divisor；q 商 quotient；r 余數 remainder)
按照上面的定義：余數唯一并始終大于或等于0，并可以拓展到兩個整數為正數或負數的情況。
但是，程序設計語言求余算法并不是按照上面的定義來執行。
我們引出另一種余數定義：a = bq + r and 0 <= |r| < |b| 。于是，我們可以發現這種情況下余數可能不止一個。
例子：a = 43 b = 5時：
43 = 5 * 8 + 3 ： q = 8；r = 3 (r > 0)
43 = 5 * 9 - 2 ： q = 9；r = -2 (r < 0)
當a 和 b 含有負數時也存在這兩種余數。
例子：a = 43 b = -5時：
43 = -5 * -8 + 3 ： q = -8；r = 3 (r > 0)
43 = -5 * -9 - 2 ： q = -9；r = -2 (r < 0)
大多數程序設計語言要求余數與被除數的正負號相同(參考自《C陷阱與缺陷》，強調了程序的可移植性問題，即被除數或除數含有負數時要謹慎對待)。這說明不同程序設計語言實現時對上述例子求余時可能是上面不同的解。
二、取模運算 (Modulo)
In computing, the modulo operation finds the remainder after division of one number by another (sometimes called modulus).
上面這句話說明，取模運算和求余運算的目標都是一致的。只是不同程序設計語言時實現的方式可能不同，也就是上面所說的采用另一種余數定義時，含有兩種余數結果。一些語言可能會采取第一個結果；另一些語言可能會采取第二個結果；還有些語言可能會把取模和求余分開定義，分別采取兩種結果。維基百科里面就列出了一些程序設計語言采取的操作，常見的為以下幾種：
1.求余結果或取模結果的正負號與被除數相同；
2.求余結果或取模結果的正負號與除數相同；
3.求余結果或取模結果的總是正數；
4.求余結果或取模結果由實現定義；
5.求余結果或取模結果為最接近0的數；
求余運算和取模運算小結：有人會把取模運算和求余運算分開解釋，又采用特定的語言去舉例，我認為這兩種運算目標都是一致，只是求余運算傾向于數學，而取模運算傾向于計算機科學，之所以不同語言會有不同的結果，本質是因為根據求余運算定義導致余數不唯一時不同程序設計語言采用了不同的結果，但他們都會根據某種依據來給出唯一的結果。這也告訴我們，程序移植時必須當心這種差別，特別是當兩個整數含有負數的情況。
三、取模運算性質
術語：
For a positive integer n, two integers a and b are said to be congruent modulo n, and written as
一些有用的性質(可證明)：
如果a≡b(mod m)，x≡y(mod m)，則a+x≡b+y(mod m)。
如果a≡b(mod m)，x≡y(mod m)，則ax≡by(mod m)。
如果ac≡bc(mod m)，且c和m互質，則a≡b(mod m) (就是說同余式兩邊可以同時除以一個和模數互質的數)。
————————————————
版權聲明：本文為CSDN博主「chensilly8888」的原創文章，遵循CC 4.0 BY-SA版權協議，轉載請附上原文出處鏈接及本聲明。
&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&
)
