跳到主要內容

Race condition 競爭危害

通常在課本裡常舉例存錢並匯款

帳戶裡有80元
如果我同時匯款20,存款20
會有什麼狀況呢

正常來說帳戶裡應該還是80元,
因為自然人無法同時存款及匯款。

你可以叫你的朋友幫忙,你去存款時,同分同秒同微秒看會不會發生什麼事 XD

而電腦是怎麼看待這件事的呢
如果在同一時間下

1我要匯款會先取讀我現在有多少錢,並扣款變60,再匯出。
2問題來了,我同時存款20,我應該要讀到60元才是正確的,但因為同時間做,所以電腦讀到了80元,再存20,即100元。

如果這世界都這樣,大家都變有錢人了。
如同小刀所說:你的錢就是我的錢,我的錢就是你的錢,發財啦!


這就是一個競時的問題
在微軟的網站上有提出11點競爭問題
http://support.microsoft.com/kb/317723/zh-tw


這裡我只提Database

我們可以使用select … for update的語法來保護自己的交易

START TRANSACTION;
SELECT quantity FROM product WHERE product_id = 5 FOR UPDATE;
UPDATE product SET quantity = quantity - 1 WHERE product_id = 5;
COMMIT;

這裡舉的例子是,每當在交易時,會查尋數量,後再-1更新(實際上的語法會更多,例 大於零才扣庫存等…)

在MYSQL資料庫,只有Storage Engine 是 InnoDB 的情形下才有作用,且需要等查詢連線COMMIT後才可以做其他動作。
而 PostgreSQL 似乎其他連線還可以執行SELECT查詢。

以上是悲觀鎖定


以前做過樂觀鎖定,但現在CPU Thread 愈來愈多的情形下(不知道是不是這樣,但好像是),好像都無法太樂觀…

常觀測到的結果,都還剩一個品項結果還是多賣了一個。
我們預想的是

如果兩個人同時買一張票或一張票(房)且cpu還是會有處理上的差異(微秒之間)
正常來說
a買一張
b買一張

還剩一張

a先買 扣完 b查不到後,售完。

但往往是這樣

a先買 扣完 b還是查到一張,b再買,因為寫入剩於數質都是0 所以 ab 都買成了…

所以之後會再檢查是否過量count 所有買票的筆數,還是等於開放的筆數…

為什麼!! 可能b寫入太慢,或資料庫動作太慢…

不然也是有檢查,數量小於0,兩張都不成功,反正樂觀鎖定不Work就是了…
(ps:使用機器人狂買所測出的結果,實際上真的還是發生了)






留言

這個網誌中的熱門文章

一個上帝、狼、獅子和羊的故事

上帝把兩群羊放在草原上,一群在南,一群在北。 上帝還給羊群找了兩種天敵,一種是獅子,一種是狼。 上帝對羊群說:「如果你們要狼,就給一隻,任由牠隨意地咬你們,但狼比獅子瘦弱且食量少。 如果你們要獅子,就給兩頭,但你們可以在兩頭獅子中任選一頭,而且還可以隨時更換。」 這道即將考驗你的問題,就是「如果你也在羊群中,你是選狼呢?還是選獅子?」 依照你的直覺,應該很容易選擇吧?很好!現在起,務必牢牢地記住你的選擇,然後往下接著看。 南邊那群羊想了想,獅子比狼兇猛得多,還是要狼吧!於是,牠們就要了一隻狼。 北邊那群羊則想,獅子雖然比狼兇猛得多,但我們有選擇權,還是要獅子吧!於是,牠們就要了兩頭獅子。 那隻進了南邊羊群的狼,即刻開始吃羊。狼身體小,食量也小,一隻羊夠牠吃幾天了, 如此羊群幾天才被追殺一次。北邊那群羊挑選了一頭獅子,另一頭則留在上帝那裡。 而進入北邊羊群後的獅子,不但比狼兇猛,而且食量驚人,才開始吃羊, 就每天至少吃一隻羊,所以羊群天天都驚恐萬狀地被追殺。北邊的羊群趕緊請上帝換一頭獅子。 不料,上帝保管的那頭獅子太久沒吃,正飢餓難耐,牠撲進羊群,比前面那頭獅子咬得更瘋狂。 羊群一天到晚只是逃命,連草都快吃不成了。 南邊的羊群慶幸自己選對了天敵,又嘲笑北邊的羊群沒有眼光。 北邊的羊群非常後悔,向上帝大倒苦水,要求更換天敵,改要一隻狼。 上帝說:「天敵一旦確定,就不能更改,必須世代相隨。請認清現實,你們唯一的權利,是在兩頭獅子中做選擇。」 北邊的羊群只好把兩頭獅子不斷更換。 可是兩頭獅子同樣凶殘,換哪一頭都讓北邊的羊群比南邊的羊群悲慘得多,牠們索性不換了, 讓一頭獅子吃得膘肥體壯,另一頭獅子則餓得精瘦。眼看那頭瘦獅子快要餓死了,羊群才請上帝換一頭。 這頭瘦獅子經過長時間的飢餓後,慢慢悟出了一個道理──自己雖然兇猛異常,一百隻羊都不是對手, 可是自己的命運卻操縱在羊群手裡,羊群隨時可以把自己送回上帝那裡,讓自己飽受飢餓的煎熬,甚至有可能餓死── 想通這個道理後,瘦獅子就對羊群特別客氣,只吃死羊和病羊,凡是健康的羊牠都不吃,令羊群喜出望外。 所以有幾隻小羊開心地提議:「乾脆固定只要瘦獅子,不要肥獅子。怎樣!?」 一隻老公羊馬上提醒:「別忘啦!瘦獅子是怕我們送牠回上帝那裡挨餓,才對我們這麼好。 萬一餓死了肥獅子,我們將

透過 Docker 快速建立 openvpn 伺服器

此docker install安裝適用 ubuntu 16.04 18.04 如果已安裝docker-compose 那任何linux環境都可以使用 sudo apt update && sudo apt install -y curl vim curl -fsSL https://get.docker.com -o get-docker.sh sudo sh get-docker.sh sudo adduser   "$USER"   docker sudo reboot 然後再登入一次 接下來有安裝docker-compose 的機器都適用 nano docker-compose.yml OR vi docker-compose.yml -------請輸入以下內容 services:     openvpn:         container_name: openvpn         image: kylemanna/openvpn         volumes:         - ./data:/etc/openvpn         ports:         - '1194:1194/udp'         cap_add:         - NET_ADMIN         restart: always ----------   # 請把200.200.200.200 改成你server的ip或domain name docker compose run --rm openvpn ovpn_genconfig -u udp://200.200.200.200 # 建立憑證 需要輸入密碼 docker compose run --rm openvpn ovpn_initpki # 啟動 ovpn 在背景 docker compose up -d # 建立一個 client 的憑證 (不須密碼) docker compose run --rm openvpn easyrsa build-client-full tokyo nopass # 將 client 的憑證匯出 docker compose ru

完美同盟/Perfect League

完美同盟/Perfect League 時間  20-30MIN 人數  4 OR 6人 年齡  6歲以上 類型  卡牌 機制  Co-operative Play 合作遊戲、Hand Management 手牌管理、Memory 記憶、Trick-taking 牌組搭配 設計師  Way Of Change、ALex Tseng 美術  Tanner Lai 編輯  Bountiful Living 出版年 2016 遊戲基本介紹 想認識新朋友 (異性朋友),不可或缺的必備良藥! 3回合內玩出默契與互動,兩人一組充足的互動特性,讓原本尷尬與陌生的新朋友變的熱絡,在遊戲回合後自然而然讓兩人有更多的討論。 遊戲規則介紹 這是一款兩個人一組的默契遊戲,經由與隊友交換手牌,組合桌上公牌,搭配出最大牌型決勝負。遊戲過程主要是選牌(宣告)、交換手牌、出牌、組合牌型 四個步驟來進行,反覆直到有隊伍取得10分獲勝。 [ 準備階段 ] 4人遊戲時,先將特殊牌(花朵圖案)挑出,然後每人發11張手牌及2張特殊牌,同組玩家對坐且左右兩邊為其他Team的玩家 [ 回合開始 ] 回合開始時在場上開啟三張公用牌 [ 宣告(選牌) ] 參考桌上公牌,思考最佳牌組組合,起始玩家及起始玩家右手邊的玩家,需要選擇要選2張或是1張公牌來組合牌型,被選過的牌,另一隊也可以選擇。 [ 交換手牌 ] 選擇1張公牌的隊伍可以跟同伴交換3張手牌,選擇2張的隊伍只能交換1張手牌,藉由交換手牌暗示隊友如何出牌,過程不可提示牌組相關的訊息。(註:特殊牌不能交換) [ 出牌 ] 從起始玩家開始,順時針每人輪流出1張牌,每人需出2張牌,與隊友在桌上選好的公牌搭配(選2張的隊伍,可以選1張或2張公牌組合),組合成最大的5張牌牌組與敵隊比大,結算後含公牌(不含手牌)放入棄牌堆。 [ 結算 ] 每回合獲勝隊伍會得到2顆鑽石,第二名會得到1顆,1顆鑽石代表1分,紅寶石代表5分,可自行決定達標獲勝總分,培養最佳默契。(註:使用剩餘的牌繼續下一回合遊戲,最後剩3張(含特殊牌)遊戲結束。) 遊戲特別之處 1.只要10分鐘,將尷尬化為無形,就是這個遊戲最強的特別之處! 2.利用交換手牌加深雙方互動,組合不到牌組不要動怒,多點提示啦。 3.獨特的文青風格卡牌,每張卡