一種用于存儲(chǔ)器修復(fù)的方法、系統(tǒng)及計(jì)算機(jī)編程產(chǎn)品。從對(duì)存儲(chǔ)器的存儲(chǔ)器區(qū)塊進(jìn)行的至少一個(gè)存儲(chǔ)器測(cè)試提取存儲(chǔ)器區(qū)塊中的將被修復(fù)的至少一個(gè)失效位的位置。獲得存儲(chǔ)器中的用于對(duì)存儲(chǔ)器區(qū)塊進(jìn)行修復(fù)的可用修復(fù)資源。判斷包含多個(gè)約束在內(nèi)的約束滿足問題是否可解決。所述約束對(duì)應(yīng)于存儲(chǔ)器區(qū)塊中的所述至少一個(gè)失效位的位置以及可用修復(fù)資源。響應(yīng)于判斷出約束滿足問題不可解決，將存儲(chǔ)器區(qū)塊標(biāo)記為不可修復(fù)或拒絕存儲(chǔ)器。響應(yīng)于判斷出約束滿足問題可解決且具有滿足所述約束的解決方案，根據(jù)約束滿足問題的解決方案而使用可用修復(fù)資源來對(duì)所述至少一個(gè)失效位進(jìn)行修復(fù)。