CN110083539A - 一种数据竞争检测方法及装置 - Google Patents
一种数据竞争检测方法及装置 Download PDFInfo
- Publication number
- CN110083539A CN110083539A CN201910354923.XA CN201910354923A CN110083539A CN 110083539 A CN110083539 A CN 110083539A CN 201910354923 A CN201910354923 A CN 201910354923A CN 110083539 A CN110083539 A CN 110083539A
- Authority
- CN
- China
- Prior art keywords
- built
- thread
- properties
- container class
- currently performed
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 238000001514 detection method Methods 0.000 title claims abstract description 48
- 238000000034 method Methods 0.000 claims description 43
- 238000003860 storage Methods 0.000 claims description 21
- 230000007717 exclusion Effects 0.000 claims description 11
- 238000013507 mapping Methods 0.000 claims description 2
- 238000010586 diagram Methods 0.000 description 27
- 238000012545 processing Methods 0.000 description 8
- 230000006870 function Effects 0.000 description 7
- 238000004590 computer program Methods 0.000 description 6
- 230000006399 behavior Effects 0.000 description 4
- 238000004364 calculation method Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 230000003287 optical effect Effects 0.000 description 2
- 230000005540 biological transmission Effects 0.000 description 1
- 238000004422 calculation algorithm Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 239000000203 mixture Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 230000003068 static effect Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/3644—Software debugging by instrumenting at runtime
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F11/00—Error detection; Error correction; Monitoring
- G06F11/36—Preventing errors by testing or debugging software
- G06F11/362—Software debugging
- G06F11/366—Software debugging using diagnostics
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Computer Hardware Design (AREA)
- Quality & Reliability (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
- Data Exchanges In Wide-Area Networks (AREA)
Abstract
Description
Claims (10)
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910354923.XA CN110083539B (zh) | 2019-04-29 | 2019-04-29 | 一种数据竞争检测方法及装置 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN201910354923.XA CN110083539B (zh) | 2019-04-29 | 2019-04-29 | 一种数据竞争检测方法及装置 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN110083539A true CN110083539A (zh) | 2019-08-02 |
CN110083539B CN110083539B (zh) | 2020-11-13 |
Family
ID=67417576
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN201910354923.XA Active CN110083539B (zh) | 2019-04-29 | 2019-04-29 | 一种数据竞争检测方法及装置 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN110083539B (zh) |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130275951A1 (en) * | 2012-04-16 | 2013-10-17 | International Business Machines Corporation | Race detection for web applications |
CN103729290A (zh) * | 2013-12-23 | 2014-04-16 | 华中科技大学 | 一种基于共享变量访问频度的采样率决策方法与系统 |
CN104077144A (zh) * | 2014-07-07 | 2014-10-01 | 西安交通大学 | 基于多线程程序约束构建的数据竞争检测与证据生成方法 |
CN104657467A (zh) * | 2015-02-11 | 2015-05-27 | 南京国电南自美卓控制系统有限公司 | 一种实时内存数据库的带订阅/发布的数据推送框架 |
CN104978272A (zh) * | 2015-07-08 | 2015-10-14 | 中国科学院软件研究所 | 一种用于数据竞争检测的程序调度方法 |
CN106294169A (zh) * | 2016-08-17 | 2017-01-04 | 华中科技大学 | 一种基于符号执行虚拟机的数据竞争检测与重放方法 |
-
2019
- 2019-04-29 CN CN201910354923.XA patent/CN110083539B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130275951A1 (en) * | 2012-04-16 | 2013-10-17 | International Business Machines Corporation | Race detection for web applications |
CN103729290A (zh) * | 2013-12-23 | 2014-04-16 | 华中科技大学 | 一种基于共享变量访问频度的采样率决策方法与系统 |
CN104077144A (zh) * | 2014-07-07 | 2014-10-01 | 西安交通大学 | 基于多线程程序约束构建的数据竞争检测与证据生成方法 |
CN104657467A (zh) * | 2015-02-11 | 2015-05-27 | 南京国电南自美卓控制系统有限公司 | 一种实时内存数据库的带订阅/发布的数据推送框架 |
CN104978272A (zh) * | 2015-07-08 | 2015-10-14 | 中国科学院软件研究所 | 一种用于数据竞争检测的程序调度方法 |
CN106294169A (zh) * | 2016-08-17 | 2017-01-04 | 华中科技大学 | 一种基于符号执行虚拟机的数据竞争检测与重放方法 |
Non-Patent Citations (1)
Title |
---|
QIAOZHI: "同步容器类与并发容器类", 《HTTPS://WWW.CNBLOGS.COM/QLQWJY/P/10216358.HTML博客园》 * |
Also Published As
Publication number | Publication date |
---|---|
CN110083539B (zh) | 2020-11-13 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20220124005A1 (en) | Systems and methods for reactive intent-driven end-to-end orchestration | |
JP6793838B2 (ja) | ブロックチェーンベースのデータ処理方法および装置 | |
CN106055381B (zh) | 一种创建虚拟机的方法和装置 | |
US9483288B2 (en) | Method and system for running a virtual appliance | |
WO2016119412A1 (zh) | 一种云平台上的资源伸缩方法和一种云平台 | |
US9274917B2 (en) | Provisioning resources in a federated cloud environment | |
US20160182320A1 (en) | Techniques to generate a graph model for cloud infrastructure elements | |
CN109002949A (zh) | 一种风控策略配置以及业务风控的方法及装置 | |
CN111158879A (zh) | 一种系统资源的调度方法,装置、机器可读介质和系统 | |
TWI671708B (zh) | 一種流速控制方法及裝置 | |
CN107135192B (zh) | 部署vnf的资源授权方法、vnfm和nfvo | |
CN107656759A (zh) | 一种用于用户界面的渲染方法和装置 | |
CN110443457A (zh) | 数据处理方法及装置 | |
CN109739627B (zh) | 任务的调度方法、电子设备及介质 | |
WO2024119763A1 (zh) | 一种容器集群算力调度方法及相关装置 | |
CN110225094A (zh) | 负载均衡应用虚拟ip切换方法、装置、计算机设备及存储介质 | |
CN109947643A (zh) | 一种基于a/b测试的实验方案的配置方法、装置及设备 | |
CN113760543A (zh) | 资源管理方法、装置、电子设备及计算机可读存储介质 | |
CN110968858B (zh) | 一种用户权限控制方法及系统 | |
US20210294730A1 (en) | Managing resources used during a development pipeline | |
CN110032750A (zh) | 一种模型构建、数据生命周期预测方法、装置及设备 | |
CN108920326A (zh) | 确定系统耗时异常的方法、装置及电子设备 | |
CN108399089A (zh) | 视图界面的显示方法及装置 | |
CN110083539A (zh) | 一种数据竞争检测方法及装置 | |
CN109495531A (zh) | 请求处理方法及装置 |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
PB01 | Publication | ||
PB01 | Publication | ||
SE01 | Entry into force of request for substantive examination | ||
SE01 | Entry into force of request for substantive examination | ||
GR01 | Patent grant | ||
GR01 | Patent grant | ||
TR01 | Transfer of patent right |
Effective date of registration: 20210114 Address after: 510000 3108, 79 Wanbo 2nd Road, Nancun Town, Panyu District, Guangzhou City, Guangdong Province Patentee after: GUANGZHOU CUBESILI INFORMATION TECHNOLOGY Co.,Ltd. Address before: 28th floor, block B1, Wanda Plaza, Nancun Town, Panyu District, Guangzhou City, Guangdong Province Patentee before: GUANGZHOU HUADUO NETWORK TECHNOLOGY Co.,Ltd. |
|
TR01 | Transfer of patent right | ||
EE01 | Entry into force of recordation of patent licensing contract | ||
EE01 | Entry into force of recordation of patent licensing contract |
Application publication date: 20190802 Assignee: GUANGZHOU HUADUO NETWORK TECHNOLOGY Co.,Ltd. Assignor: GUANGZHOU CUBESILI INFORMATION TECHNOLOGY Co.,Ltd. Contract record no.: X2021440000053 Denomination of invention: A data competition detection method and device Granted publication date: 20201113 License type: Common License Record date: 20210208 |
|
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20220107 Address after: 510000 3011, No. 79, Wanbo Second Road, Nancun Town, Panyu District, Guangzhou City, Guangdong Province Patentee after: Guangzhou Jinhong network media Co.,Ltd. Address before: 510000 3108, 79 Wanbo 2nd Road, Nancun Town, Panyu District, Guangzhou City, Guangdong Province Patentee before: GUANGZHOU CUBESILI INFORMATION TECHNOLOGY Co.,Ltd. |
|
TR01 | Transfer of patent right | ||
TR01 | Transfer of patent right |
Effective date of registration: 20230625 Address after: Room 1801-1807, No. 362 East Hanxi Avenue, Nancun Town, Panyu District, Guangzhou City, Guangdong Province, 510000 Patentee after: GUANGZHOU CUBESILI INFORMATION TECHNOLOGY Co.,Ltd. Address before: 510000 3011, No. 79, Wanbo Second Road, Nancun Town, Panyu District, Guangzhou City, Guangdong Province Patentee before: Guangzhou Jinhong network media Co.,Ltd. |