æ°æ®ä¸è´æ§é常æå
³èæ°æ®ä¹é´çé»è¾å
³ç³»æ¯å¦æ£ç¡®åå®æ´ãèæ°æ®åå¨çä¸è´æ§æ¨¡ååå¯ä»¥è®¤ä¸ºæ¯åå¨ç³»ç»åæ°æ®ä½¿ç¨è
ä¹é´çä¸ç§çº¦å®ãå¦æ使ç¨è
éµå¾ªè¿ç§çº¦å®ï¼åå¯ä»¥å¾å°ç³»ç»ææ¿è¯ºç访é®ç»æ常ç¨çä¸è´æ§æ¨¡åæï¼
aãä¸¥æ ¼ä¸è´æ§ï¼linearizability, strict/atomic Consistencyï¼ï¼è¯»åºçæ°æ®å§ç»ä¸ºæè¿åå
¥çæ°æ®ãè¿ç§ä¸è´æ§åªæå
¨å±æ¶éåå¨æ¶ææå¯è½ï¼å¨åå¸å¼ç½ç»ç¯å¢ä¸å¯è½å®ç°ã
bã顺åºä¸è´æ§ï¼sequential consistencyï¼ï¼ææ使ç¨è
以åæ ·ç顺åºçå°å¯¹åä¸æ°æ®çæä½ï¼ä½æ¯è¯¥é¡ºåºä¸ä¸å®æ¯å®æ¶çã
cãå æä¸è´æ§ï¼causal consistencyï¼ï¼åªæåå¨
å æå
³ç³»çåæä½æè¦æ±ææ使ç¨è
以ç¸åç次åºçå°ï¼å¯¹äºæ å æå
³ç³»çåå
¥å并è¡è¿è¡ï¼æ 次åºä¿è¯ãå æä¸è´æ§å¯ä»¥çå对顺åºä¸è´æ§æ§è½çä¸ç§ä¼åï¼ä½å¨å®ç°æ¶å¿
须建ç«ä¸ç»´æ¤å æä¾èµå¾ï¼æ¯ç¸å½å°é¾çã
dã管éä¸è´æ§ï¼PRAM/FIFO consistencyï¼ï¼å¨å æä¸è´æ§æ¨¡åä¸çè¿ä¸æ¥å¼±åï¼è¦æ±ç±æä¸ä¸ªä½¿ç¨è
å®æçåæä½å¯ä»¥è¢«å
¶ä»ææç使ç¨è
æç
§é¡ºåºçæç¥å°ï¼èä»ä¸å使ç¨è
ä¸æ¥çåæä½åæ éä¿è¯é¡ºåºï¼å°±åä¸ä¸ªä¸ä¸ªç管éä¸æ ·ã ç¸å¯¹æ¥è¯´æ¯è¾å®¹æå®ç°ã
eãå¼±ä¸è´æ§ï¼weak consistencyï¼ï¼åªè¦æ±å¯¹å
񄧮
æ°æ®ç»æç访é®ä¿è¯é¡ºåºä¸è´æ§ã对äºåæ¥åéçæä½å
·æ顺åºä¸è´æ§ï¼æ¯å
¨å±å¯è§çï¼ä¸åªæå½æ²¡æåæä½çå¾
å¤çæ¶æå¯è¿è¡ï¼ä»¥ä¿è¯å¯¹äº
临çåºåç访é®é¡ºåºè¿è¡ãå¨åæ¥æ¶ç¹ï¼ææ使ç¨è
å¯ä»¥çå°ç¸åçæ°æ®ã
fã éæ¾ä¸è´æ§ï¼release consistencyï¼ï¼å¼±ä¸è´æ§æ æ³åºå使ç¨è
æ¯è¦è¿å
¥ä¸´çåºè¿æ¯è¦åºä¸´çåºï¼ éæ¾ä¸è´æ§ä½¿ç¨ä¸¤ä¸ªä¸åçæä½è¯å¥è¿è¡äºåºåãéè¦åå
¥æ¶ä½¿ç¨è
acquire该对象ï¼åå®åreleaseï¼acquire-releaseä¹é´å½¢æäºä¸ä¸ªä¸´çåºï¼æä¾ éæ¾ä¸è´æ§ä¹å°±æå³çå½releaseæä½åçåï¼ææ使ç¨è
åºè¯¥å¯ä»¥çå°è¯¥æä½ã
gãæç»ä¸è´æ§ï¼eventual consistencyï¼ï¼å½æ²¡ææ°æ´æ°çæ
åµä¸ï¼æ´æ°æç»ä¼éè¿ç½ç»ä¼ æå°ææå¯æ¬ç¹ï¼ææå¯æ¬ç¹æç»ä¼ä¸è´ï¼ä¹å°±æ¯è¯´ä½¿ç¨è
å¨æç»æ个æ¶é´ç¹åçä¸é´è¿ç¨ä¸æ æ³ä¿è¯çå°çæ¯æ°åå
¥çæ°æ®ãå¯ä»¥éç¨æç»ä¸è´æ§æ¨¡åæä¸ä¸ªå
³é®è¦æ±ï¼è¯»åºéæ§æ°æ®æ¯å¯ä»¥æ¥åçã
hãdelta consistencyï¼ç³»ç»ä¼å¨deltaæ¶é´å
è¾¾å°ä¸è´ãè¿æ®µæ¶é´å
ä¼åå¨ä¸ä¸ªä¸ä¸è´ççªå£ï¼è¯¥çªå£å¯è½æ¯å 为log shippingçè¿ç¨å¯¼è´ãè¿æ¯ä¹¦ä¸çåè¯ããæä¹æä¸å¾æ¸
æ¥ãã æ°æ®åºå®æ´æ§ï¼Database Integrityï¼æ¯ææ°æ®åºä¸æ°æ®çæ£ç¡®æ§åç¸å®¹æ§ãæ°æ®åºå®æ´æ§ç±åç§åæ ·çå®æ´æ§çº¦ææ¥ä¿è¯ï¼å æ¤å¯ä»¥è¯´æ°æ®åºå®æ´æ§è®¾è®¡å°±æ¯æ°æ®åºå®æ´æ§çº¦æç设计ãå
æ¬å®ä½å®æ´æ§ãåå®æ´æ§ãåç
§å®æ´æ§ãç¨æ·å®ä¹å®æ´æ§ãå¯ä»¥ä¸»é®ãcheck约æã
å¤é®æ¥ä¸ä¸å®ç°ãè¿ä¸ªä½¿ç¨è¾å¤ã