微軟技術(shù)許可有限責(zé)任公司D·邁爾斯獲國(guó)家專利權(quán)
買專利賣專利找龍圖騰,真高效! 查專利查商標(biāo)用IPTOP,全免費(fèi)!專利年費(fèi)監(jiān)控用IP管家,真方便!
龍圖騰網(wǎng)獲悉微軟技術(shù)許可有限責(zé)任公司申請(qǐng)的專利基于歷史調(diào)試追蹤來標(biāo)識(shí)數(shù)據(jù)不一致和數(shù)據(jù)爭(zhēng)用獲國(guó)家發(fā)明授權(quán)專利權(quán),本發(fā)明授權(quán)專利權(quán)由國(guó)家知識(shí)產(chǎn)權(quán)局授予,授權(quán)公告號(hào)為:CN113785284B 。
龍圖騰網(wǎng)通過國(guó)家知識(shí)產(chǎn)權(quán)局官網(wǎng)在2025-08-19發(fā)布的發(fā)明授權(quán)授權(quán)公告中獲悉:該發(fā)明授權(quán)的專利申請(qǐng)?zhí)?專利號(hào)為:202080032369.4,技術(shù)領(lǐng)域涉及:G06F16/23;該發(fā)明授權(quán)基于歷史調(diào)試追蹤來標(biāo)識(shí)數(shù)據(jù)不一致和數(shù)據(jù)爭(zhēng)用是由D·邁爾斯;J·M·戴維斯;T·萊;A·R·斯特蘭德;D·陳;P·L·尼爾森;J·莫拉;J·C·亞雷瓦羅·巴埃扎;J·M·平克頓;L·Y·理查森;K·W·塞克斯設(shè)計(jì)研發(fā)完成,并于2020-04-01向國(guó)家知識(shí)產(chǎn)權(quán)局提交的專利申請(qǐng)。
本基于歷史調(diào)試追蹤來標(biāo)識(shí)數(shù)據(jù)不一致和數(shù)據(jù)爭(zhēng)用在說明書摘要公布了:基于歷史調(diào)試追蹤來標(biāo)識(shí)和報(bào)告潛在數(shù)據(jù)不一致和或潛在數(shù)據(jù)爭(zhēng)用。基于線程的重放,一些實(shí)現(xiàn)觀察值到存儲(chǔ)器單元的流入,并且確定從流入中觀察的存儲(chǔ)器單元的值是否與線程所已知的存儲(chǔ)器單元的先前值不一致。如果是這樣,則這些實(shí)現(xiàn)可以發(fā)起數(shù)據(jù)不一致的指示。基于多個(gè)線程的重放,其他實(shí)現(xiàn)標(biāo)識(shí)在線程同步機(jī)制在第一線程上有效時(shí)由第一線程訪問的存儲(chǔ)器單元。然后,如果由第二線程在未使用線程同步機(jī)制的情況下對(duì)存儲(chǔ)器單元進(jìn)行了另一訪問,則這些實(shí)現(xiàn)可以發(fā)起潛在數(shù)據(jù)爭(zhēng)用的指示。
本發(fā)明授權(quán)基于歷史調(diào)試追蹤來標(biāo)識(shí)數(shù)據(jù)不一致和數(shù)據(jù)爭(zhēng)用在權(quán)利要求書中公布了:1.一種在計(jì)算機(jī)系統(tǒng)處實(shí)現(xiàn)的用于指示在線程的先前執(zhí)行期間觀察的數(shù)據(jù)不一致的方法,所述計(jì)算機(jī)系統(tǒng)包括一個(gè)或多個(gè)處理器,所述方法包括: 基于表示線程的先前執(zhí)行的追蹤,重放所述線程的所述先前執(zhí)行; 基于重放所述線程的所述先前執(zhí)行,觀察存儲(chǔ)器單元的值的流入,所述流入包括在所述線程的所述先前執(zhí)行的所述重放中的執(zhí)行時(shí)間點(diǎn)處,所述線程與所述存儲(chǔ)器單元的所述值之間的交互; 確定在所述線程的所述先前執(zhí)行的所述重放中的所述執(zhí)行時(shí)間點(diǎn)處,從所述流入中觀察的所述存儲(chǔ)器單元的所述值與所述線程所已知的所述存儲(chǔ)器單元的先前值不一致;以及 至少基于從所述流入中觀察的所述存儲(chǔ)器單元的所述值與所述存儲(chǔ)器單元的所述先前值不一致,發(fā)起數(shù)據(jù)不一致的指示; 其中觀察所述值到所述存儲(chǔ)器單元的所述流入包括:處理追蹤數(shù)據(jù)分組,所述追蹤數(shù)據(jù)分組指示所述存儲(chǔ)器單元存儲(chǔ)了所述值。
如需購(gòu)買、轉(zhuǎn)讓、實(shí)施、許可或投資類似專利技術(shù),可聯(lián)系本專利的申請(qǐng)人或?qū)@麢?quán)人微軟技術(shù)許可有限責(zé)任公司,其通訊地址為:美國(guó)華盛頓州;或者聯(lián)系龍圖騰網(wǎng)官方客服,聯(lián)系龍圖騰網(wǎng)可撥打電話0551-65771310或微信搜索“龍圖騰網(wǎng)”。
1、本報(bào)告根據(jù)公開、合法渠道獲得相關(guān)數(shù)據(jù)和信息,力求客觀、公正,但并不保證數(shù)據(jù)的最終完整性和準(zhǔn)確性。
2、報(bào)告中的分析和結(jié)論僅反映本公司于發(fā)布本報(bào)告當(dāng)日的職業(yè)理解,僅供參考使用,不能作為本公司承擔(dān)任何法律責(zé)任的依據(jù)或者憑證。
- 浙江阿爾法電氣有限公司張文杰獲國(guó)家專利權(quán)
- 安東石油技術(shù)(集團(tuán))有限公司李軍獲國(guó)家專利權(quán)
- 伊利諾斯工具制品有限公司陽繼榜獲國(guó)家專利權(quán)
- 日產(chǎn)自動(dòng)車株式會(huì)社中島慎治獲國(guó)家專利權(quán)
- 佛山市順德區(qū)美的洗滌電器制造有限公司楊飛獲國(guó)家專利權(quán)
- 騰訊數(shù)碼(天津)有限公司盧欣琪獲國(guó)家專利權(quán)
- 深圳賽驕陽能源科技股份有限公司肖利隆獲國(guó)家專利權(quán)
- 北京金都泰拓冶金技術(shù)研究有限公司任志國(guó)獲國(guó)家專利權(quán)
- 艾歐史密斯(中國(guó))熱水器有限公司高翔獲國(guó)家專利權(quán)
- 艾蒂森斯查爾斯·埃納德獲國(guó)家專利權(quán)


熱門推薦
- 微軟技術(shù)許可有限責(zé)任公司M·杜迪克獲國(guó)家專利權(quán)
- 株式會(huì)社斯庫(kù)林集團(tuán)日野出大輝獲國(guó)家專利權(quán)
- 京東方科技集團(tuán)股份有限公司徐攀獲國(guó)家專利權(quán)
- 中國(guó)人民解放軍陸軍航空兵學(xué)院周永清獲國(guó)家專利權(quán)
- 湖南炬神電子有限公司楊譓鵬獲國(guó)家專利權(quán)
- 通用電氣公司武安波獲國(guó)家專利權(quán)
- 通用電氣全球采購(gòu)有限責(zé)任公司J.普雷斯曼獲國(guó)家專利權(quán)
- 上海樂研電氣有限公司陳進(jìn)獲國(guó)家專利權(quán)
- 深圳市眾耀光電有限公司陳言海獲國(guó)家專利權(quán)
- 三菱電機(jī)株式會(huì)社伊藤然一獲國(guó)家專利權(quán)