摘要:本發明提供一種并行程序的數據競爭檢測方法、裝置及多核處理系統,該方法在調用多核處理器中的一處理器核執行并行程序的指令之后,還包括:鎖訪問信息記錄流程:記錄所述處理器核的當前指令的鎖訪問信息,其中,所述鎖訪問信息與鎖操作的鎖地址對應記錄;訪存信息記錄流程:記錄所述處理器核的當前指令的訪存信息;以及數據競爭判斷流程:根據所述鎖訪問信息記錄流程記錄的鎖訪問信息以及所述訪存信息記錄流程記錄的訪存信息,判斷存在沖突的兩個指令之間是否存在數據競爭。本發明能夠實現快速、準確和有效地檢測并行程序中潛在的數據競爭,保證并行程序的正確性,為更好的調試和測試并行程序帶來突破。
- 專利類型發明專利
- 申請人龍芯中科技術有限公司;
- 發明人李磊;陳云霽;孫國慶;
- 地址100190 北京市海淀區科學院南路10號
- 申請號CN201310400690.5
- 申請時間2013年09月05日
- 申請公布號CN103488563B
- 申請公布時間2017年04月12日
- 分類號G06F11/36(2006.01)I;G06F9/46(2006.01)I;