Optimization method and system for detecting dynamic data competition based on Buffer Track
The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb rel...
Gespeichert in:
| Hauptverfasser: | , , , , , , , , , , |
|---|---|
| Format: | Patent |
| Sprache: | chi ; eng |
| Schlagworte: | |
| Online-Zugang: | Volltext bestellen |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | |
|---|---|
| container_issue | |
| container_start_page | |
| container_title | |
| container_volume | |
| creator | TAO XIANJUN LYU BAO WU XIANFEI LI RUI DONG ZHENYU HAN WENZHI XIA LIANGZHU CHEN PENG JIANG PEI XU YIPING HUANG QIANHUA |
| description | The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb relationship; s2) storing the lock set of each thread, and performing read-write operation on the lock set of the current thread; s3) performing competition detection with the information in the buffer area to realize competition prediction; and S4) dynamically adjusting the size of the buffer area according to a data competition prediction result. The DCS system comprises a Pin frame system and a PinTool, an open-source Pin tool frame is adopted as a main body of data race detection, a Pin tool is integrated into the DCS system, the Pin tool is automatically activated for detection when the system is started, and a detection result is recorded in a log file in real time. According to the method, the detection efficie |
| format | Patent |
| fullrecord | <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_CN117591315A</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>CN117591315A</sourcerecordid><originalsourceid>FETCH-epo_espacenet_CN117591315A3</originalsourceid><addsrcrecordid>eNqNizsOwjAMQLswIOAO5gAMUVUhRqhATLB0Y6hM7BQL8lFihnJ6EOIATO8N702ryzmpeHmhSgzgWW-RAANBGYuyBxczECtblTAAjQG9WCBUBBt9YpXveMXCBB_ZPZ3jDF1Ge59XE4ePwosfZ9XysO_a44pT7LkktBxY-_ZkzLrZmNo02_qf5g2KXDt3</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Optimization method and system for detecting dynamic data competition based on Buffer Track</title><source>esp@cenet</source><creator>TAO XIANJUN ; LYU BAO ; WU XIANFEI ; LI RUI ; DONG ZHENYU ; HAN WENZHI ; XIA LIANGZHU ; CHEN PENG ; JIANG PEI ; XU YIPING ; HUANG QIANHUA</creator><creatorcontrib>TAO XIANJUN ; LYU BAO ; WU XIANFEI ; LI RUI ; DONG ZHENYU ; HAN WENZHI ; XIA LIANGZHU ; CHEN PENG ; JIANG PEI ; XU YIPING ; HUANG QIANHUA</creatorcontrib><description>The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb relationship; s2) storing the lock set of each thread, and performing read-write operation on the lock set of the current thread; s3) performing competition detection with the information in the buffer area to realize competition prediction; and S4) dynamically adjusting the size of the buffer area according to a data competition prediction result. The DCS system comprises a Pin frame system and a PinTool, an open-source Pin tool frame is adopted as a main body of data race detection, a Pin tool is integrated into the DCS system, the Pin tool is automatically activated for detection when the system is started, and a detection result is recorded in a log file in real time. According to the method, the detection efficie</description><language>chi ; eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2024</creationdate><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktohtml>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20240223&DB=EPODOC&CC=CN&NR=117591315A$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,780,885,25564,76547</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&date=20240223&DB=EPODOC&CC=CN&NR=117591315A$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>TAO XIANJUN</creatorcontrib><creatorcontrib>LYU BAO</creatorcontrib><creatorcontrib>WU XIANFEI</creatorcontrib><creatorcontrib>LI RUI</creatorcontrib><creatorcontrib>DONG ZHENYU</creatorcontrib><creatorcontrib>HAN WENZHI</creatorcontrib><creatorcontrib>XIA LIANGZHU</creatorcontrib><creatorcontrib>CHEN PENG</creatorcontrib><creatorcontrib>JIANG PEI</creatorcontrib><creatorcontrib>XU YIPING</creatorcontrib><creatorcontrib>HUANG QIANHUA</creatorcontrib><title>Optimization method and system for detecting dynamic data competition based on Buffer Track</title><description>The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb relationship; s2) storing the lock set of each thread, and performing read-write operation on the lock set of the current thread; s3) performing competition detection with the information in the buffer area to realize competition prediction; and S4) dynamically adjusting the size of the buffer area according to a data competition prediction result. The DCS system comprises a Pin frame system and a PinTool, an open-source Pin tool frame is adopted as a main body of data race detection, a Pin tool is integrated into the DCS system, the Pin tool is automatically activated for detection when the system is started, and a detection result is recorded in a log file in real time. According to the method, the detection efficie</description><subject>CALCULATING</subject><subject>COMPUTING</subject><subject>COUNTING</subject><subject>ELECTRIC DIGITAL DATA PROCESSING</subject><subject>PHYSICS</subject><fulltext>true</fulltext><rsrctype>patent</rsrctype><creationdate>2024</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNqNizsOwjAMQLswIOAO5gAMUVUhRqhATLB0Y6hM7BQL8lFihnJ6EOIATO8N702ryzmpeHmhSgzgWW-RAANBGYuyBxczECtblTAAjQG9WCBUBBt9YpXveMXCBB_ZPZ3jDF1Ge59XE4ePwosfZ9XysO_a44pT7LkktBxY-_ZkzLrZmNo02_qf5g2KXDt3</recordid><startdate>20240223</startdate><enddate>20240223</enddate><creator>TAO XIANJUN</creator><creator>LYU BAO</creator><creator>WU XIANFEI</creator><creator>LI RUI</creator><creator>DONG ZHENYU</creator><creator>HAN WENZHI</creator><creator>XIA LIANGZHU</creator><creator>CHEN PENG</creator><creator>JIANG PEI</creator><creator>XU YIPING</creator><creator>HUANG QIANHUA</creator><scope>EVB</scope></search><sort><creationdate>20240223</creationdate><title>Optimization method and system for detecting dynamic data competition based on Buffer Track</title><author>TAO XIANJUN ; LYU BAO ; WU XIANFEI ; LI RUI ; DONG ZHENYU ; HAN WENZHI ; XIA LIANGZHU ; CHEN PENG ; JIANG PEI ; XU YIPING ; HUANG QIANHUA</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_CN117591315A3</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>chi ; eng</language><creationdate>2024</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>TAO XIANJUN</creatorcontrib><creatorcontrib>LYU BAO</creatorcontrib><creatorcontrib>WU XIANFEI</creatorcontrib><creatorcontrib>LI RUI</creatorcontrib><creatorcontrib>DONG ZHENYU</creatorcontrib><creatorcontrib>HAN WENZHI</creatorcontrib><creatorcontrib>XIA LIANGZHU</creatorcontrib><creatorcontrib>CHEN PENG</creatorcontrib><creatorcontrib>JIANG PEI</creatorcontrib><creatorcontrib>XU YIPING</creatorcontrib><creatorcontrib>HUANG QIANHUA</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>TAO XIANJUN</au><au>LYU BAO</au><au>WU XIANFEI</au><au>LI RUI</au><au>DONG ZHENYU</au><au>HAN WENZHI</au><au>XIA LIANGZHU</au><au>CHEN PENG</au><au>JIANG PEI</au><au>XU YIPING</au><au>HUANG QIANHUA</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Optimization method and system for detecting dynamic data competition based on Buffer Track</title><date>2024-02-23</date><risdate>2024</risdate><abstract>The invention relates to the technical field of computer programs, in particular to an optimization method and system for detecting dynamic data competition based on Buffer Track. Comprising the following steps: S1) initializing a vector clock, and adjusting the vector clock by adopting a sub-hb relationship; s2) storing the lock set of each thread, and performing read-write operation on the lock set of the current thread; s3) performing competition detection with the information in the buffer area to realize competition prediction; and S4) dynamically adjusting the size of the buffer area according to a data competition prediction result. The DCS system comprises a Pin frame system and a PinTool, an open-source Pin tool frame is adopted as a main body of data race detection, a Pin tool is integrated into the DCS system, the Pin tool is automatically activated for detection when the system is started, and a detection result is recorded in a log file in real time. According to the method, the detection efficie</abstract><oa>free_for_read</oa></addata></record> |
| fulltext | fulltext_linktorsrc |
| identifier | |
| ispartof | |
| issn | |
| language | chi ; eng |
| recordid | cdi_epo_espacenet_CN117591315A |
| source | esp@cenet |
| subjects | CALCULATING COMPUTING COUNTING ELECTRIC DIGITAL DATA PROCESSING PHYSICS |
| title | Optimization method and system for detecting dynamic data competition based on Buffer Track |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-12-24T22%3A12%3A51IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-epo_EVB&rft_val_fmt=info:ofi/fmt:kev:mtx:patent&rft.genre=patent&rft.au=TAO%20XIANJUN&rft.date=2024-02-23&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3ECN117591315A%3C/epo_EVB%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rfr_iscdi=true |