{"id":"https://openalex.org/W4396888853","doi":"https://doi.org/10.1145/3642963.3652204","title":"Hawkeyes: Addressing Weak Memory Order in Program Migration Based on Instruction Windows","display_name":"Hawkeyes: Addressing Weak Memory Order in Program Migration Based on Instruction Windows","publication_year":2024,"publication_date":"2024-04-22","ids":{"openalex":"https://openalex.org/W4396888853","doi":"https://doi.org/10.1145/3642963.3652204"},"language":"en","primary_location":{"id":"doi:10.1145/3642963.3652204","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3642963.3652204","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3642963.3652204","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3642963.3652204","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Zhangqi Zhu","orcid":"https://orcid.org/0009-0001-1958-1189"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Zhangqi Zhu","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0001-1958-1189","affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5014312924","display_name":"Yuhui Cai","orcid":"https://orcid.org/0009-0007-0760-9707"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yuhui Cai","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0009-0007-0760-9707","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5098533812","display_name":"Binbin Xu","orcid":"https://orcid.org/0009-0003-5067-5751"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Binbin Xu","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0003-5067-5751","affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5002607003","display_name":"Pingchao Yang","orcid":"https://orcid.org/0009-0002-9273-3430"},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pingchao Yang","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0002-9273-3430","affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102995032","display_name":"Jicheng Chen","orcid":null},"institutions":[{"id":"https://openalex.org/I45928872","display_name":"Alibaba Group (China)","ror":"https://ror.org/00k642b80","country_code":"CN","type":"company","lineage":["https://openalex.org/I45928872"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jicheng Chen","raw_affiliation_strings":["Alibaba Group, Hangzhou, China"],"raw_orcid":"https://orcid.org/0009-0002-6825-2987","affiliations":[{"raw_affiliation_string":"Alibaba Group, Hangzhou, China","institution_ids":["https://openalex.org/I45928872"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5015815028","display_name":"Zhirong Shen","orcid":"https://orcid.org/0000-0003-2673-5868"},"institutions":[{"id":"https://openalex.org/I191208505","display_name":"Xiamen University","ror":"https://ror.org/00mcjh785","country_code":"CN","type":"education","lineage":["https://openalex.org/I191208505"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhirong Shen","raw_affiliation_strings":["Xiamen University, Xiamen, China"],"raw_orcid":"https://orcid.org/0000-0003-2673-5868","affiliations":[{"raw_affiliation_string":"Xiamen University, Xiamen, China","institution_ids":["https://openalex.org/I191208505"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I45928872"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.05028002,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"17","last_page":"22"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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"}},"topics":[{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9998999834060669,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.9980999827384949,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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.8230338096618652},{"id":"https://openalex.org/keywords/x86","display_name":"x86","score":0.6151883006095886},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5935689806938171},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.5079627633094788},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.5042101144790649},{"id":"https://openalex.org/keywords/memory-management","display_name":"Memory management","score":0.5038742423057556},{"id":"https://openalex.org/keywords/memory-protection","display_name":"Memory protection","score":0.4487883746623993},{"id":"https://openalex.org/keywords/memory-address","display_name":"Memory address","score":0.44105765223503113},{"id":"https://openalex.org/keywords/out-of-order-execution","display_name":"Out-of-order execution","score":0.4294354319572449},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.42004773020744324},{"id":"https://openalex.org/keywords/flat-memory-model","display_name":"Flat memory model","score":0.3449889123439789},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3299563527107239},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.20510706305503845},{"id":"https://openalex.org/keywords/semiconductor-memory","display_name":"Semiconductor memory","score":0.1537107229232788},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.06853711605072021}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8230338096618652},{"id":"https://openalex.org/C170723468","wikidata":"https://www.wikidata.org/wiki/Q182933","display_name":"x86","level":3,"score":0.6151883006095886},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5935689806938171},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5079627633094788},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.5042101144790649},{"id":"https://openalex.org/C176649486","wikidata":"https://www.wikidata.org/wiki/Q2308807","display_name":"Memory management","level":3,"score":0.5038742423057556},{"id":"https://openalex.org/C18131444","wikidata":"https://www.wikidata.org/wiki/Q163585","display_name":"Memory protection","level":5,"score":0.4487883746623993},{"id":"https://openalex.org/C153247305","wikidata":"https://www.wikidata.org/wiki/Q835713","display_name":"Memory address","level":3,"score":0.44105765223503113},{"id":"https://openalex.org/C1793878","wikidata":"https://www.wikidata.org/wiki/Q1153762","display_name":"Out-of-order execution","level":2,"score":0.4294354319572449},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.42004773020744324},{"id":"https://openalex.org/C57863822","wikidata":"https://www.wikidata.org/wiki/Q905488","display_name":"Flat memory model","level":4,"score":0.3449889123439789},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3299563527107239},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.20510706305503845},{"id":"https://openalex.org/C98986596","wikidata":"https://www.wikidata.org/wiki/Q1143031","display_name":"Semiconductor memory","level":2,"score":0.1537107229232788},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.06853711605072021}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3642963.3652204","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3642963.3652204","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3642963.3652204","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/3642963.3652204","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3642963.3652204","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3642963.3652204","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 4th Workshop on Challenges and Opportunities of Efficient and Performant Storage Systems","raw_type":"proceedings-article"},"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4396888853.pdf"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W1561412378","https://openalex.org/W1996009176","https://openalex.org/W2025819261","https://openalex.org/W2028045612","https://openalex.org/W2085773946","https://openalex.org/W2105945277","https://openalex.org/W2132117132","https://openalex.org/W2134184428","https://openalex.org/W2155815531","https://openalex.org/W2515538372","https://openalex.org/W2914127544","https://openalex.org/W2947631473","https://openalex.org/W2999610704","https://openalex.org/W3153626425","https://openalex.org/W3166510811","https://openalex.org/W4290714079","https://openalex.org/W4290991674","https://openalex.org/W4312932778","https://openalex.org/W4318541715"],"related_works":["https://openalex.org/W4243333834","https://openalex.org/W2361336628","https://openalex.org/W2120746231","https://openalex.org/W3021355446","https://openalex.org/W2138847","https://openalex.org/W211271969","https://openalex.org/W2374983984","https://openalex.org/W261562921","https://openalex.org/W2121519027","https://openalex.org/W1131992675"],"abstract_inverted_index":{"Migrating":[0],"memory":[1,11,16,24,33,56,70,80,93],"systems":[2],"from":[3],"x86":[4],"to":[5,15,26,38,77,90,107,125],"ARM":[6],"can":[7],"result":[8],"in":[9,83,163],"weak":[10],"order":[12],"issues":[13,82],"due":[14],"model":[17],"differences.":[18],"This":[19],"necessitates":[20],"the":[21,100,104,121,130,151],"addition":[22],"of":[23,132],"barriers":[25],"prevent":[27],"such":[28,114],"problems.":[29],"However,":[30],"current":[31],"automatic":[32],"barrier":[34,164],"insertion":[35],"approaches":[36],"fail":[37],"identify":[39,108],"all":[40,92,150],"potential":[41],"locations":[42,122,152],"where":[43,153],"WMM":[44,154],"(Weak":[45],"Memory":[46],"Model)":[47],"bugs":[48,155],"may":[49,156],"occur":[50],"and":[51,74,98,137],"also":[52,159],"often":[53],"overuse":[54],"unnecessary":[55],"barriers.":[57],"To":[58],"address":[59],"this":[60],"issue,":[61],"we":[62],"propose":[63],"Hawkeyes,":[64],"an":[65],"approach":[66],"that":[67,123,145],"combines":[68],"dynamic":[69],"access":[71,81],"conflict":[72],"detection":[73],"instruction":[75,105,110],"windows":[76],"locate":[78,91],"out-of-order":[79,109],"multi-threaded":[84],"programs.":[85],"Hawkeyes":[86,119,133,139,146],"performs":[87],"compile-time":[88],"instrumentation":[89],"conflicts":[94],"at":[95],"run":[96],"time":[97],"analyzes":[99],"micro-instructions":[101],"together":[102],"with":[103],"window":[106],"intervals.":[111],"By":[112],"comparing":[113],"intervals":[115],"among":[116],"different":[117],"threads,":[118],"determines":[120],"need":[124],"maintain":[126],"order.":[127],"We":[128,143],"validate":[129],"correctness":[131],"on":[134,140],"open-source":[135],"libraries":[136],"evaluate":[138],"public":[141],"benchmarks.":[142],"demonstrate":[144],"not":[147],"only":[148],"pinpoints":[149],"appear":[157],"but":[158],"achieves":[160],"high":[161],"accuracy":[162],"insertion.":[165]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}