針 分析，獲得每個(gè)線程中的指針指向集、局部共享量和與所述共享量對應(yīng)的訪存行為，包括： 對所述程序中每個(gè)線程進(jìn)行指針分析，獲得每個(gè)線程中的指針指向集； 根據(jù)所述全局共享量、所述指針指向集和局部共享判斷規(guī)則對每個(gè)線程進(jìn)行分析，獲 得每個(gè)線程中的局部共享量； 根據(jù)所述全局共享量、所述局部共享量和所述指針指向集對每個(gè)線程進(jìn)行分析，獲得 與所述共享量對應(yīng)的訪存行為。
5. 根據(jù)權(quán)利要求4所述的方法，其特征在于，所述局部共享判斷規(guī)則包括： 若給定線程中變量可以作為所述程序中某個(gè)線程的入口參數(shù)而被其他線程訪問，則所 述變量為局部共享量；或者， 若給定線程中變量可以通過被全局共享量間接引用的方式而被其他線程訪問，則所述 變量為局部共享量；或者， 若給定線程中變量可以通過全局共享量的賦值，使得所述變量的指向集包含所述全局 共享量，則所述變量為局部共享量。
6. 根據(jù)權(quán)利要求4或5所述的方法，其特征在于，所述根據(jù)所述全局共享量、所述指針 指向集和局部共享判斷規(guī)則對每個(gè)線程進(jìn)行分析，獲得每個(gè)線程中的局部共享量，包括： 根據(jù)所述全局共享量、所述指針指向集和局部共享識別規(guī)則，獲取每個(gè)線程中可能逃 逸的局部變量； 根據(jù)所述可能逃逸的局部變量和共享傳播規(guī)則，確定從所述可能逃逸的局部變量中獲 取的可能被其他線程使用的局部變量為局部共享量。
7. 根據(jù)權(quán)利要求1~6中任一所述的方法，其特征在于，所述根據(jù)所述程序的共享信息 對每個(gè)共享量分別進(jìn)行補(bǔ)償分析之前，還包括： 根據(jù)所述程序的語句信息生成并行控制流圖； 根據(jù)所述并行控制流圖和所述共享信息生成針對所述程序的共享量訪存圖SAG ; 所述根據(jù)所述程序的共享信息對所述共享量進(jìn)行補(bǔ)償分析，包括： 根據(jù)所述SAG對所述共享量進(jìn)行補(bǔ)償分析。
8. 根據(jù)權(quán)利要求1~7中任一所述的方法，其特征在于，所述共享量具有相應(yīng)的定值點(diǎn) 和引用點(diǎn)對；所述根據(jù)所述程序的共享信息對所述共享量進(jìn)行補(bǔ)償分析，包括： 根據(jù)傳播判斷規(guī)則獲得所述定值點(diǎn)和引用點(diǎn)對之間可以相互影響的共享量； 將所述定值點(diǎn)和引用點(diǎn)對之間可以相互影響的共享量的所述定值點(diǎn)的指針指向集傳 播到對應(yīng)的引用點(diǎn)。
9. 根據(jù)權(quán)利要求1~8中任一所述的方法，其特征在于，所述讀取待分析的多線程程序 中的語句信息之前，還包括： 接收用戶發(fā)送的指針分析指令； 所述讀取待分析的多線程程序中的語句信息，包括： 根據(jù)所述指針分析指令讀取所述待分析的多線程程序中的語句信息。
10. 根據(jù)權(quán)利要求1~9中任一項(xiàng)所述的方法，其特征在于，所述根據(jù)所述程序的共享 信息對所述共享量進(jìn)行補(bǔ)償分析之后，還包括： 采用所述補(bǔ)償分析的結(jié)果，對所述程序進(jìn)行優(yōu)化處理。
11. 一種指針分析裝置，其特征在于，包括： 讀取模塊，用于讀取待分析的多線程程序中的語句信息； 指針分析模塊，用于根據(jù)所述讀取模塊讀取的所述程序的語句信息對所述程序進(jìn)行指 針分析，獲得所述程序的共享信息，所述共享信息包括共享量、指針指向集和訪存行為，其 中，共享量包括全局共享量和局部共享量； 補(bǔ)償分析模塊，用于根據(jù)所述指針分析模塊獲得的所述程序的共享信息對所述共享量 進(jìn)行補(bǔ)償分析。
12. 根據(jù)權(quán)利要求11所述的裝置，其特征在于，所述指針分析模塊，包括： 程序分析單元，用于根據(jù)全局共享判斷規(guī)則對所述程序進(jìn)行分析，獲得所述程序中的 全局共享量； 線程分析單元，用于對所述程序中每個(gè)線程進(jìn)行指針分析，獲得每個(gè)線程中的指針指 向集、局部共享量和與所述共享量對應(yīng)的訪存行為。
13. 根據(jù)權(quán)利要求12所述的裝置，其特征在于，所述全局共享判斷規(guī)則包括： 若變量可以被程序中至少兩個(gè)線程同時(shí)訪問，則所述變量為全局共享量。
14. 根據(jù)權(quán)利要求12或13所述的裝置，其特征在于，所述線程分析單元，具體用于對所 述程序中每個(gè)線程進(jìn)行指針分析，獲得每個(gè)線程中的指針指向集；并且根據(jù)所述全局共享 量、所述指針指向集和局部共享判斷規(guī)則對每個(gè)線程進(jìn)行分析，獲得每個(gè)線程中的局部共 享量；進(jìn)而根據(jù)所述全局共享量、所述局部共享量和所述指針指向集對每個(gè)線程進(jìn)行分析， 獲得與所述共享量對應(yīng)的訪存行為。
15. 根據(jù)權(quán)利要求14所述的裝置，其特征在于，所述局部共享判斷規(guī)則包括： 若給定線程中變量可以作為所述程序中某個(gè)線程的入口參數(shù)而被其他線程訪問，則所 述變量為局部共享量；或者， 若給定線程中變量可以通過被全局共享量間接引用的方式而被其他線程訪問，則所述 變量為局部共享量；或者， 若給定線程中變量可以通過全局共享量的賦值，使得所述變量的指向集包含所述全局 共享量，則所述變量為局部共享量。
16. 根據(jù)權(quán)利要求14或15所述的裝置，其特征在于，所述線程分析單元用于根據(jù)所述 全局共享量、所述指針指向集和局部共享判斷規(guī)則對每個(gè)線程進(jìn)行分析，獲得每個(gè)線程中 的局部共享量，具體包括： 用于根據(jù)所述全局共享量、所述指針指向集和局部共享識別規(guī)則，獲取每個(gè)線程中可 能逃逸的局部變量； 并且根據(jù)所述可能逃逸的局部變量和共享傳播規(guī)則，確定從所述可能逃逸的局部變量 中獲取的可能被其他線程使用的局部變量為局部共享量。
17. 根據(jù)權(quán)利要求11~16中任一所述的裝置，其特征在于，還包括：圖像生成模塊，用 于在所述補(bǔ)償分析模塊根據(jù)所述指針分析模塊獲得的所述程序的共享信息對每個(gè)共享量 分別進(jìn)行補(bǔ)償分析之前，根據(jù)所述程序的語句信息生成并行控制流圖；并且根據(jù)所述并行 控制流圖和所述共享信息生成針對所述程序的共享量訪存圖SAG ; 所述補(bǔ)償分析模塊，具體用于根據(jù)所述圖像生成模塊生成的所述SAG對所述共享量進(jìn) 行補(bǔ)償分析。
18. 根據(jù)權(quán)利要求11~17中任一所述的裝置，其特征在于，所述共享量具有相應(yīng)的定 值點(diǎn)和引用點(diǎn)對；所述補(bǔ)償分析模塊，包括：判斷單元，用于根據(jù)傳播判斷規(guī)則獲得所述定 值點(diǎn)和引用點(diǎn)對之間可以相互影響的共享量； 傳播單元，用于將所述判斷單元獲取的所述定值點(diǎn)和引用點(diǎn)對之間可以相互影響的共 享量的所述定值點(diǎn)的指針指向集傳播到對應(yīng)的引用點(diǎn)。
19. 根據(jù)權(quán)利要求11~18中任一所述的裝置，其特征在于，還包括：接收模塊，用于 在所述讀取模塊讀取待分析的多線程程序中的語句信息之前，接收用戶發(fā)送的指針分析指 令； 所述讀取模塊，具體用于根據(jù)所述接收模塊接收的所述指針分析指令，讀取所述待分 析的多線程程序中的語句信息。
20. 根據(jù)權(quán)利要求11~18中任一項(xiàng)所述的裝置，其特征在于，還包括：優(yōu)化模塊，用于 在所述補(bǔ)償分析模塊根據(jù)所述指針分析模塊獲得的所述程序的共享信息對所述共享量進(jìn) 行補(bǔ)償分析之后，采用所述補(bǔ)償分析的結(jié)果，對所述程序進(jìn)行優(yōu)化處理。
【專利摘要】本發(fā)明實(shí)施例提供一種指針分析方法及裝置。本發(fā)明提供的指針分析方法，包括：讀取待分析的多線程程序中的語句信息；根據(jù)所述程序的語句信息對所述程序進(jìn)行指針分析，獲得所述程序的共享信息，所述共享信息包括共享量、指針指向集和訪存行為，其中，共享量包括全局共享量和局部共享量；根據(jù)所述程序的共享信息對所述共享量進(jìn)行補(bǔ)償分析。本發(fā)明實(shí)施例解決現(xiàn)有技術(shù)中對多線程程序的指針分析僅局限于程序中的全局共享量，分析結(jié)果不全面的問題，提高了指針分析的精度，并相應(yīng)地提高了程序優(yōu)化的實(shí)施范圍和效果。
【IPC分類】G06F11-36
【公開號】CN104657257
【申請?zhí)枴緾N201310589292
【發(fā)明人】陳聰明, 霍瑋, 李豐, 馮曉兵
【申請人】華為技術(shù)有限公司, 中國科學(xué)院計(jì)算技術(shù)研究所
【公開日】2015年5月27日
【申請日】2013年11月20日