Techniques and systems for data race detection

A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: HUNDT ROBERT, SHENG TIANWEI, ERANIAN STEPHANE, VACHHARAJANI NEIL A
Format: Patent
Sprache: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 HUNDT ROBERT
SHENG TIANWEI
ERANIAN STEPHANE
VACHHARAJANI NEIL A
description A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.
format Patent
fullrecord <record><control><sourceid>epo_EVB</sourceid><recordid>TN_cdi_epo_espacenet_US9135082B1</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>US9135082B1</sourcerecordid><originalsourceid>FETCH-epo_espacenet_US9135082B13</originalsourceid><addsrcrecordid>eNrjZNALSU3OyMssLE0tVkjMS1EoriwuSc0tVkjLL1JISSxJVChKTE5VSEktSU0uyczP42FgTUvMKU7lhdLcDApuriHOHrqpBfnxqcUFQMV5qSXxocGWhsamBhZGTobGRCgBAKZkKjw</addsrcrecordid><sourcetype>Open Access Repository</sourcetype><iscdi>true</iscdi><recordtype>patent</recordtype></control><display><type>patent</type><title>Techniques and systems for data race detection</title><source>esp@cenet</source><creator>HUNDT ROBERT ; SHENG TIANWEI ; ERANIAN STEPHANE ; VACHHARAJANI NEIL A</creator><creatorcontrib>HUNDT ROBERT ; SHENG TIANWEI ; ERANIAN STEPHANE ; VACHHARAJANI NEIL A</creatorcontrib><description>A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.</description><language>eng</language><subject>CALCULATING ; COMPUTING ; COUNTING ; ELECTRIC DIGITAL DATA PROCESSING ; PHYSICS</subject><creationdate>2015</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&amp;date=20150915&amp;DB=EPODOC&amp;CC=US&amp;NR=9135082B1$$EHTML$$P50$$Gepo$$Hfree_for_read</linktohtml><link.rule.ids>230,308,776,881,25544,76293</link.rule.ids><linktorsrc>$$Uhttps://worldwide.espacenet.com/publicationDetails/biblio?FT=D&amp;date=20150915&amp;DB=EPODOC&amp;CC=US&amp;NR=9135082B1$$EView_record_in_European_Patent_Office$$FView_record_in_$$GEuropean_Patent_Office$$Hfree_for_read</linktorsrc></links><search><creatorcontrib>HUNDT ROBERT</creatorcontrib><creatorcontrib>SHENG TIANWEI</creatorcontrib><creatorcontrib>ERANIAN STEPHANE</creatorcontrib><creatorcontrib>VACHHARAJANI NEIL A</creatorcontrib><title>Techniques and systems for data race detection</title><description>A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.</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>2015</creationdate><recordtype>patent</recordtype><sourceid>EVB</sourceid><recordid>eNrjZNALSU3OyMssLE0tVkjMS1EoriwuSc0tVkjLL1JISSxJVChKTE5VSEktSU0uyczP42FgTUvMKU7lhdLcDApuriHOHrqpBfnxqcUFQMV5qSXxocGWhsamBhZGTobGRCgBAKZkKjw</recordid><startdate>20150915</startdate><enddate>20150915</enddate><creator>HUNDT ROBERT</creator><creator>SHENG TIANWEI</creator><creator>ERANIAN STEPHANE</creator><creator>VACHHARAJANI NEIL A</creator><scope>EVB</scope></search><sort><creationdate>20150915</creationdate><title>Techniques and systems for data race detection</title><author>HUNDT ROBERT ; SHENG TIANWEI ; ERANIAN STEPHANE ; VACHHARAJANI NEIL A</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-epo_espacenet_US9135082B13</frbrgroupid><rsrctype>patents</rsrctype><prefilter>patents</prefilter><language>eng</language><creationdate>2015</creationdate><topic>CALCULATING</topic><topic>COMPUTING</topic><topic>COUNTING</topic><topic>ELECTRIC DIGITAL DATA PROCESSING</topic><topic>PHYSICS</topic><toplevel>online_resources</toplevel><creatorcontrib>HUNDT ROBERT</creatorcontrib><creatorcontrib>SHENG TIANWEI</creatorcontrib><creatorcontrib>ERANIAN STEPHANE</creatorcontrib><creatorcontrib>VACHHARAJANI NEIL A</creatorcontrib><collection>esp@cenet</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext_linktorsrc</fulltext></delivery><addata><au>HUNDT ROBERT</au><au>SHENG TIANWEI</au><au>ERANIAN STEPHANE</au><au>VACHHARAJANI NEIL A</au><format>patent</format><genre>patent</genre><ristype>GEN</ristype><title>Techniques and systems for data race detection</title><date>2015-09-15</date><risdate>2015</risdate><abstract>A race detection mechanism can include running threads of a multithreaded program on a processor, the program being configured to produce locksets each of which indicate a set of one or more locks that a thread holds at a point in time. The mechanism can cause a performance monitoring unit included in the processor to monitor memory accesses caused by the threads and to produce samples based on the memory accesses, the samples being indicative of an accessed memory location. The mechanism can detect an existence of a data race condition based on the samples and the locksets. Detecting can include identifying a protected access to a memory location by a first thread of the threads and identifying an unprotected access to the memory location by a second thread of the threads. The process selectively outputs an indication of the data race condition.</abstract><oa>free_for_read</oa></addata></record>
fulltext fulltext_linktorsrc
identifier
ispartof
issn
language eng
recordid cdi_epo_espacenet_US9135082B1
source esp@cenet
subjects CALCULATING
COMPUTING
COUNTING
ELECTRIC DIGITAL DATA PROCESSING
PHYSICS
title Techniques and systems for data race detection
url https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-27T16%3A48%3A42IST&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=HUNDT%20ROBERT&rft.date=2015-09-15&rft_id=info:doi/&rft_dat=%3Cepo_EVB%3EUS9135082B1%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