{"id":"https://openalex.org/W2076618136","doi":"https://doi.org/10.1109/hpca.2013.6522349","title":"Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model","display_name":"Rainbow: Efficient memory dependence recording with high replay parallelism for relaxed memory model","publication_year":2013,"publication_date":"2013-02-01","ids":{"openalex":"https://openalex.org/W2076618136","doi":"https://doi.org/10.1109/hpca.2013.6522349","mag":"2076618136"},"language":"en","primary_location":{"id":"doi:10.1109/hpca.2013.6522349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2013.6522349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047215143","display_name":"Xuehai Qian","orcid":null},"institutions":[{"id":"https://openalex.org/I157725225","display_name":"University of Illinois Urbana-Champaign","ror":"https://ror.org/047426m28","country_code":"US","type":"education","lineage":["https://openalex.org/I157725225"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xuehai Qian","raw_affiliation_strings":["University of Illinois Urbana-Champaign, USA","University of Illinois Urbana-Champaign, Urbana, Il, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Illinois Urbana-Champaign, USA","institution_ids":["https://openalex.org/I157725225"]},{"raw_affiliation_string":"University of Illinois Urbana-Champaign, Urbana, Il, USA","institution_ids":["https://openalex.org/I157725225"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101998852","display_name":"He Huang","orcid":"https://orcid.org/0000-0003-2768-6607"},"institutions":[{"id":"https://openalex.org/I1311921367","display_name":"Advanced Micro Devices (Canada)","ror":"https://ror.org/02yh0k313","country_code":"CA","type":"company","lineage":["https://openalex.org/I1311921367","https://openalex.org/I4210137977"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"He Huang","raw_affiliation_strings":["AMD Products (China) Company Limited, China","AMD Products (China) Co., Ltd., China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AMD Products (China) Company Limited, China","institution_ids":[]},{"raw_affiliation_string":"AMD Products (China) Co., Ltd., China","institution_ids":["https://openalex.org/I1311921367"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005731174","display_name":"Benjam\u00edn Sahelices","orcid":"https://orcid.org/0000-0002-3380-3403"},"institutions":[{"id":"https://openalex.org/I108103353","display_name":"Universidad de Valladolid","ror":"https://ror.org/01fvbaw18","country_code":"ES","type":"education","lineage":["https://openalex.org/I108103353"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"B. Sahelices","raw_affiliation_strings":["Universidad de Valladolid, Spain","Univ. de Valladolid, Valladolid, Spain"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universidad de Valladolid, Spain","institution_ids":["https://openalex.org/I108103353"]},{"raw_affiliation_string":"Univ. de Valladolid, Valladolid, Spain","institution_ids":["https://openalex.org/I108103353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079362609","display_name":"Depei Qian","orcid":"https://orcid.org/0000-0002-5382-1473"},"institutions":[{"id":"https://openalex.org/I82880672","display_name":"Beihang University","ror":"https://ror.org/00wk2mp56","country_code":"CN","type":"education","lineage":["https://openalex.org/I82880672"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Depei Qian","raw_affiliation_strings":["Beihang University, China","BeiHang University, BeiJing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Beihang University, China","institution_ids":["https://openalex.org/I82880672"]},{"raw_affiliation_string":"BeiHang University, BeiJing, China","institution_ids":["https://openalex.org/I82880672"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.4148,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.90551384,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"554","last_page":"565"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9995999932289124,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9987999796867371,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.836750864982605},{"id":"https://openalex.org/keywords/debugging","display_name":"Debugging","score":0.7482258081436157},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.6079586744308472},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.6007148027420044},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.5682337880134583},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.5506200790405273},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5462930798530579},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.5068987011909485},{"id":"https://openalex.org/keywords/parallelism","display_name":"Parallelism (grammar)","score":0.45798105001449585},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.41342952847480774},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.39111655950546265},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.30064934492111206},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.22454941272735596},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.20332121849060059}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.836750864982605},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.7482258081436157},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.6079586744308472},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.6007148027420044},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.5682337880134583},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.5506200790405273},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5462930798530579},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.5068987011909485},{"id":"https://openalex.org/C2781172179","wikidata":"https://www.wikidata.org/wiki/Q853109","display_name":"Parallelism (grammar)","level":2,"score":0.45798105001449585},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.41342952847480774},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.39111655950546265},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.30064934492111206},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.22454941272735596},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.20332121849060059},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/hpca.2013.6522349","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2013.6522349","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2013 IEEE 19th International Symposium on High Performance Computer Architecture (HPCA)","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.411.9811","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.411.9811","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://iacoma.cs.uiuc.edu/~xqian2/download/qian_rainbow.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W11234669","https://openalex.org/W1500546894","https://openalex.org/W1572904055","https://openalex.org/W1877496576","https://openalex.org/W1885534640","https://openalex.org/W2009394287","https://openalex.org/W2055116083","https://openalex.org/W2083796365","https://openalex.org/W2092393083","https://openalex.org/W2095469619","https://openalex.org/W2098370715","https://openalex.org/W2100189461","https://openalex.org/W2105393274","https://openalex.org/W2105900173","https://openalex.org/W2106471636","https://openalex.org/W2108806129","https://openalex.org/W2114488210","https://openalex.org/W2114800225","https://openalex.org/W2115855199","https://openalex.org/W2127889693","https://openalex.org/W2130473288","https://openalex.org/W2142892618","https://openalex.org/W2152423679","https://openalex.org/W2152795747","https://openalex.org/W2154698535","https://openalex.org/W2159324407","https://openalex.org/W2171956059","https://openalex.org/W2293069947","https://openalex.org/W3136721778","https://openalex.org/W3147113554","https://openalex.org/W3147275543","https://openalex.org/W4205777466","https://openalex.org/W4256483320","https://openalex.org/W6600489501","https://openalex.org/W6630179916"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W2258014168","https://openalex.org/W4317827391","https://openalex.org/W2999610704","https://openalex.org/W1496676675","https://openalex.org/W2110339542","https://openalex.org/W2497938157","https://openalex.org/W2086167999","https://openalex.org/W1496461377","https://openalex.org/W2056446432"],"abstract_inverted_index":{"Architectures":[0],"for":[1],"record-and-replay":[2],"(R&R)":[3],"of":[4,18,74,132],"multithreaded":[5],"applications":[6,210],"ease":[7],"program":[8],"debugging,":[9],"intrusion":[10],"analysis":[11],"and":[12,31,45,76,141,161,191],"fault-tolerance.":[13],"Among":[14],"the":[15,72,78,85,130,139,158,162,170,186,209],"large":[16],"body":[17],"previous":[19],"works,":[20],"Strata":[21,40,65],"enables":[22],"efficient":[23],"memory":[24,53,93,121,147],"dependence":[25],"recording":[26],"with":[27,178],"little":[28],"hardware":[29],"overhead":[30],"can":[32,165],"be":[33,124,166],"applied":[34],"smoothly":[35],"to":[36,123,145,168,198],"snoopy":[37],"protocols.":[38],"However,":[39],"records":[41,67],"imprecise":[42],"happens-before":[43,69],"relations":[44],"assumes":[46],"Sequential":[47],"Consistency":[48],"(SC)":[49],"machines":[50],"that":[51,89,183],"execute":[52],"operations":[54,122],"in":[55,208],"order.":[56],"This":[57],"paper":[58],"proposes":[59],"Rainbow,":[60],"which":[61],"is":[62,84],"based":[63,156],"on":[64,157],"but":[66,205],"near-precise":[68],"relations,":[70],"reducing":[71],"number":[73],"logs":[75,160],"increasing":[77,129],"replay":[79,193],"parallelism.":[80],"More":[81],"importantly,":[82],"it":[83],"first":[86],"R&R":[87],"scheme":[88],"supports":[90],"any":[91],"relaxed":[92],"consistency":[94],"model.":[95],"These":[96],"improvements":[97],"are":[98,203],"achieved":[99],"by":[100,189,195],"two":[101,115],"key":[102],"techniques:":[103],"(1)":[104],"To":[105,137],"compact":[106],"logs,":[107],"we":[108,149],"propose":[109,150],"expandable":[110],"spectrum":[111],"(the":[112],"region":[113],"between":[114],"logs).":[116],"It":[117],"allows":[118],"younger":[119],"non-conflict":[120],"moved":[125],"into":[126],"older":[127],"spectrum,":[128],"chance":[131],"reusing":[133],"existing":[134,159],"logs.":[135],"(2)":[136],"identify":[138],"overlapped":[140],"incompatible":[142],"spectra":[143],"due":[144],"reordered":[146],"operations,":[148],"an":[151],"SC":[152,201],"violation":[153],"detection":[154],"mechanism":[155],"extra":[163],"information":[164],"recorded":[167],"reproduce":[169],"violations":[171,202],"when":[172],"they":[173],"occur.":[174],"Our":[175],"simulation":[176],"results":[177],"10":[179],"SPLASH-2":[180],"benchmarks":[181],"show":[182],"Rainbow":[184],"reduces":[185],"log":[187],"size":[188],"26.6%":[190],"improves":[192],"speed":[194],"26.8%":[196],"compared":[197],"Strata.":[199],"The":[200],"few":[204],"do":[206],"exist":[207],"evaluated.":[211]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":6},{"year":2013,"cited_by_count":1}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}