布爾多項(xiàng)式求解是當(dāng)今密碼代數(shù)分析中的關(guān)鍵步驟，F(xiàn)4算法是布爾多項(xiàng)式求解的高效算法。分析了Lachartre為F4矩陣專門設(shè)計(jì)的高斯消去算法，針對其中布爾矩陣乘這一耗時(shí)的計(jì)算步驟，設(shè)計(jì)并實(shí)現(xiàn)了分布式異構(gòu)（CPU+ MIC）并行算法。布爾矩陣相對于普通矩陣主要體現(xiàn)在矩陣元素取值區(qū)間不一樣上，由于布爾矩陣元素（O，1）導(dǎo)致矩陣乘操作的特殊性，普通矩陣乘的優(yōu)化方法不能很好地滿足布爾矩陣乘的需求。分別從布爾矩陣的存儲、OpenMP多線程組織、訪存、任務(wù)劃分和調(diào)度等方面進(jìn)行了性能優(yōu)化，實(shí)現(xiàn)了布爾矩陣乘的分布式異構(gòu)并行算法。通過隨機(jī)生成布爾矩陣測試，優(yōu)化后的分布式異構(gòu)并行程序相較于分布式同構(gòu)并行程序達(dá)到了2. 45的加速比，體現(xiàn)了良好的性能提升。
?