1. 程式人生 > >Linux原始碼中的mktime演算法解析

Linux原始碼中的mktime演算法解析

原文連結:http://blog.csdn.net/axx1611/article/details/1792827

我們知道,從CMOS中讀出來的系統時間並不是time_t型別,而是類似於struct tm那樣,年月日時分秒是分開儲存的。

那麼,要把它轉化為系統便於處理的time_t型別,就需要演算法進行轉換。

我們都知道我們的公曆還是比較複雜的,有大月小月,有閏年非閏年,處理起來會很麻煩。

但是Linux的原始碼僅僅用了短短的幾行就完成了這個複雜的轉換(Gauss演算法),實在令人驚奇。話不多說,先看原始碼:
unsigned long mktime(const unsigned
int year0, const unsigned int mon0, const unsigned int day, const unsigned int hour, const unsigned int min, const unsigned int sec) { unsigned int mon = mon0, year = year0; /* 1..12 -> 11,12,1..10 */ if (0 >= (int) (mon -= 2)) { mon += 12; /* Puts Feb last since it has leap day */
year -= 1; } return ((((unsigned long) (year/4 - year/100 + year/400 + 367*mon/12 + day) + year*365 - 719499 )*24 + hour /* now have hours */ )*60 + min /* now have minutes */ )*60 + sec; /* finally seconds */ }
看上去令人眼花繚亂,毫無頭緒。下面就讓我們對該演算法作具體的分析。

先不看前面的,直接看return那句,該式整體上具有這樣的結構:

    T = ((X * 24 + hour) * 60 + min) * 60 + sec

這說明該演算法是先算出從1970年1月1日開始的天數X,再進而求出具體的時間值T的。

因此我們重點看如何求天數X。也就是X = year/4 - year/100 + year/400 + 367*mon/12 + day + year*365 - 719499這一部分。

首先可以將上式拆成:

    Y = year / 4 - year / 100 + year / 400
    Z = 367 * mon / 12
    W = year * 365 + day
    X = Y + Z + W - 719499

Y很簡單,它計算了從公元元年到所求年份為止所有的閏年數。從W式看出,該演算法先假設所有年都是正常年(365天),再加上閏年額外的天數(式Y)。

到現在為止都算簡單,關鍵是Z式和X式中的那個常數719499是怎麼回事,似乎莫名其妙。還有就是它們和return語句前面的那個if判斷有什麼關係呢?

首先要澄清一點,常數719499並不是像很多人說的那樣,是0001年1月1日到1970年1月1日所經歷的天數。

不信你可以隨手寫個指令碼,將得到正確的數字:719162天。

顯然719162和719499是有關係的。我們把注意力放在那個if語句上: 
mon -= 2;
if (mon <= 0) {
    mon += 12;
    year--;
}
很明顯,它是想把1月和2月當作上一年年底的最後兩個月,讓3月作為一年的第一個月。這樣一來,我們可以儘量少的被閏年所影響。

按照這個假設,讓我們先不管Z式是怎麼來的,看看0001年1月1日時,Y + Z + W等於什麼:

    mon = 1月變成上一年(公元前0001年)的11月;
    year減一後變成了0,因此Y = 0;
    Z = 367 * 11 / 12 = 336;
    W = 1 + 0 * 365 = 1;
    Y + Z + W = 337。

337這個數正好等於719499 - 719162!換句話說,它是對上述假設所做的補正!於是這些式子就變成了:

    Y = year / 4 - year / 100 + year / 400
    Z = 367 * mon / 12
    V = Z - 337
    W = year * 365 + day
    X = Y + W + V - 719162

再來看式Z,這個式子表面看不出任何名堂,367這個數字顯然很是奇怪。那讓我們窮舉一下mon,看看這個式子算出的都是些什麼值吧:

    mon         Z
    1           30
    2           61
    3           91
    4           122
    5           152
    6           183
    7           214
    8           244
    9           275
    10          305
    11          336
    12          367

似乎看出了什麼?再讓我們把相鄰的兩個mon的Z做一下減法看看:

    mon         dZ
    1           30
    2           31
    3           30
    4           31
    5           30
    6           31
    7           31
    8           30
    9           31
    10          30
    11          31
    12          31

聞出點味道了吧,很象大小月的規則。讓我們回想起那個if語句作了什麼,它把1月2月變成了11月和12月,3月變成了1月!還原一下看看:

    mon     org-mon         dZ
    1       3               30
    2       4               31
    3       5               30
    4       6               31
    5       7               30
    6       8               31
    7       9               31
    8       10              30
    9       11              31
    10      12              30
    11      1               31
    12      2               31

怎麼本來應該是大月的3月成了30天?

那好我們想想這個原理,假設今天是1月1日,那你能說你今年已經過了31天了麼?顯然不是,1月還沒過,我們不能把它算進去。

這裡同然,我們從4月看起,如果今天是愚人節,那麼距離3月1日我們經過了31天。

就像前面說的,我們假設一年是從3月開始,到次年的2月結束。按照這個規則,整個式子裡有問題的只有3月,理論上這裡應該是0!

但是這沒關係,我們把它減去就行了,於是變成:

    Z = 367 * mon / 12 - 30
    V = Z - 307

回頭看看W式,year * 365,但是按照上面的理論,沒過完的這一年不應該加進去,所以這裡把它減去,再和V式合併:

    V = Z + 58
    W = (year - 1) * 365 + day

我們記得這個演算法的一年是從3月開始的,因此少算了公元元年的1月和2月的天數:31 + 28 = 59天:(公元元年是正常年)

    V = Z + 59 - 1

那麼最後的這個減1是什麼?還是上面那個原理,今天還沒過,就不應該把它算進去!

綜上,整個演算法就明朗了,主要難於理解的是那個3月開始的假設以及367 * mon / 12會產生類似大小月的序列。

最後把這些式子整理並羅列一下,做為本文的結束: 
Y = (year - 1) * 365 + year / 4 - year / 100 + year / 400
M = 367 * mon / 12 - 30 + 59
D = day - 1
X = Y + M + D - 719162
T = ((X * 24 + hour) * 60 + min) * 60 + sec