{"id":"https://openalex.org/W3090522730","doi":"https://doi.org/10.1109/tcad.2020.3013048","title":"Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems","display_name":"Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems","publication_year":2020,"publication_date":"2020-10-02","ids":{"openalex":"https://openalex.org/W3090522730","doi":"https://doi.org/10.1109/tcad.2020.3013048","mag":"3090522730"},"language":"en","primary_location":{"id":"doi:10.1109/tcad.2020.3013048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3013048","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://www.research.ed.ac.uk/en/publications/8d7746bd-4cf1-4048-a319-9dc293e0651f","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5062272083","display_name":"Martin Kristien","orcid":"https://orcid.org/0000-0001-7568-3705"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Martin Kristien","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054308553","display_name":"Tom Spink","orcid":"https://orcid.org/0000-0002-7662-3146"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Tom Spink","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045816546","display_name":"B. K. Campbell","orcid":"https://orcid.org/0000-0001-6941-5034"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Brian Campbell","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5073254249","display_name":"Susmit Sarkar","orcid":"https://orcid.org/0000-0002-4259-9213"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Susmit Sarkar","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, U.K"],"affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, U.K","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5012316819","display_name":"Ian Stark","orcid":"https://orcid.org/0000-0001-6800-812X"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Ian Stark","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070407969","display_name":"Bj\u00f6rn Franke","orcid":"https://orcid.org/0000-0002-1219-8523"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Bjorn Franke","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5058493743","display_name":"Igor B\u00f6hm","orcid":null},"institutions":[{"id":"https://openalex.org/I4210088951","display_name":"Synopsys (United States)","ror":"https://ror.org/013by2m91","country_code":"US","type":"company","lineage":["https://openalex.org/I4210088951"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Igor Bohm","raw_affiliation_strings":["Synopsys Inc., Mountain View, CA, USA"],"affiliations":[{"raw_affiliation_string":"Synopsys Inc., Mountain View, CA, USA","institution_ids":["https://openalex.org/I4210088951"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027477866","display_name":"Nigel Topham","orcid":"https://orcid.org/0000-0002-6310-0602"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nigel Topham","raw_affiliation_strings":["School of Informatics, University of Edinburgh, Edinburgh, U.K"],"affiliations":[{"raw_affiliation_string":"School of Informatics, University of Edinburgh, Edinburgh, U.K","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5062272083"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":0.9241,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.7289489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"39","issue":"11","first_page":"3544","last_page":"3554"},"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9998000264167786,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9997000098228455,"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.8706265091896057},{"id":"https://openalex.org/keywords/emulation","display_name":"Emulation","score":0.6683670282363892},{"id":"https://openalex.org/keywords/scheme","display_name":"Scheme (mathematics)","score":0.5810611844062805},{"id":"https://openalex.org/keywords/binary-translation","display_name":"Binary translation","score":0.5111756920814514},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.5066483616828918},{"id":"https://openalex.org/keywords/host","display_name":"Host (biology)","score":0.5025053024291992},{"id":"https://openalex.org/keywords/swap","display_name":"Swap (finance)","score":0.46066609025001526},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.45849573612213135},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.43692609667778015},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43626317381858826},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.41793394088745117},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.39408209919929504},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3625027537345886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.34294214844703674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8706265091896057},{"id":"https://openalex.org/C149810388","wikidata":"https://www.wikidata.org/wiki/Q5374873","display_name":"Emulation","level":2,"score":0.6683670282363892},{"id":"https://openalex.org/C77618280","wikidata":"https://www.wikidata.org/wiki/Q1155772","display_name":"Scheme (mathematics)","level":2,"score":0.5810611844062805},{"id":"https://openalex.org/C2778971978","wikidata":"https://www.wikidata.org/wiki/Q2287075","display_name":"Binary translation","level":3,"score":0.5111756920814514},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.5066483616828918},{"id":"https://openalex.org/C126831891","wikidata":"https://www.wikidata.org/wiki/Q221673","display_name":"Host (biology)","level":2,"score":0.5025053024291992},{"id":"https://openalex.org/C99821215","wikidata":"https://www.wikidata.org/wiki/Q1136583","display_name":"Swap (finance)","level":2,"score":0.46066609025001526},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.45849573612213135},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.43692609667778015},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43626317381858826},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.41793394088745117},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.39408209919929504},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3625027537345886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.34294214844703674},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0},{"id":"https://openalex.org/C50522688","wikidata":"https://www.wikidata.org/wiki/Q189833","display_name":"Economic growth","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/tcad.2020.3013048","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tcad.2020.3013048","pdf_url":null,"source":{"id":"https://openalex.org/S100835903","display_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","issn_l":"0278-0070","issn":["0278-0070","1937-4151"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems","raw_type":"journal-article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/8d7746bd-4cf1-4048-a319-9dc293e0651f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/8d7746bd-4cf1-4048-a319-9dc293e0651f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kristien, M, Spink, T, Campbell, B, Sarkar, S, Stark, I, Franke, B, Boehm, I & Topham, N 2020, 'Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, pp. 3544 - 3554. https://doi.org/10.1109/TCAD.2020.3013048","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/20838","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/20838","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/20838/1/fast_and_correct.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":null,"raw_type":"Conference item"}],"best_oa_location":{"id":"pmh:oai:pure.ed.ac.uk:openaire/8d7746bd-4cf1-4048-a319-9dc293e0651f","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/8d7746bd-4cf1-4048-a319-9dc293e0651f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922455","display_name":"Edinburgh Research Explorer","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Kristien, M, Spink, T, Campbell, B, Sarkar, S, Stark, I, Franke, B, Boehm, I & Topham, N 2020, 'Fast and Correct Load-Link/Store-Conditional Instruction Handling in DBT Systems', IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 39, no. 11, pp. 3544 - 3554. https://doi.org/10.1109/TCAD.2020.3013048","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5811753289","display_name":null,"funder_award_id":"EP/M507258/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320309545","display_name":"Synopsys","ror":"https://ror.org/013by2m91"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W197376930","https://openalex.org/W1214620947","https://openalex.org/W1522250664","https://openalex.org/W1556517738","https://openalex.org/W1977237701","https://openalex.org/W2014791196","https://openalex.org/W2088634313","https://openalex.org/W2088938709","https://openalex.org/W2099661831","https://openalex.org/W2100357382","https://openalex.org/W2123322769","https://openalex.org/W2141851028","https://openalex.org/W2169875292","https://openalex.org/W2293644038","https://openalex.org/W2518548497","https://openalex.org/W2594534175","https://openalex.org/W2665868045","https://openalex.org/W2769194423","https://openalex.org/W2898839952","https://openalex.org/W2931274440","https://openalex.org/W4238274188","https://openalex.org/W4246292616","https://openalex.org/W4255353403","https://openalex.org/W6627943619","https://openalex.org/W6631155369"],"related_works":["https://openalex.org/W2154523322","https://openalex.org/W2083200807","https://openalex.org/W2364195017","https://openalex.org/W2049983405","https://openalex.org/W2355430452","https://openalex.org/W1603137082","https://openalex.org/W2392315374","https://openalex.org/W1951195060","https://openalex.org/W2351776620","https://openalex.org/W2019445488"],"abstract_inverted_index":{"Dynamic":[0],"binary":[1],"translation":[2,119],"(DBT)":[3],"requires":[4],"the":[5,39,91,115,148,157,194],"implementation":[6],"of":[7,19],"load-link/store-conditional":[8],"(LL/SC)":[9],"primitives":[10],"for":[11,121],"guest":[12,28],"systems":[13],"that":[14,65,76,140,177],"rely":[15],"on":[16,38,81],"this":[17,42,47,61,66],"form":[18],"synchronization.":[20],"When":[21],"targeting,":[22],"e.g.,":[23],"\u00d786":[24],"host":[25],"systems,":[26],"LL/SC":[27,56,95,105],"instructions":[29,37],"are":[30,181],"typically":[31],"emulated":[32],"using":[33],"atomic":[34],"compare-and-swap":[35],"(CAS)":[36],"host.":[40,149],"Whilst":[41],"direct":[43],"mapping":[44],"is":[45,49,67],"efficient,":[46],"approach":[48,93],"problematic":[50],"due":[51],"to":[52,78,94],"subtle":[53],"differences":[54],"between":[55,124],"and":[57,71,83,102,128,135,164,172],"CAS":[58,92,199],"semantics.":[59],"In":[60],"article,":[62],"we":[63,72,165],"demonstrate":[64,176],"a":[68,84,109,137],"real":[69],"problem,":[70],"provide":[73],"code":[74],"examples":[75],"fail":[77],"execute":[79],"correctly":[80,122],"QEMU":[82],"commercial":[85],"DBT":[86,116,162],"system,":[87,163],"which":[88,113],"both":[89],"use":[90],"emulation.":[96],"We":[97,150,175],"then":[98],"develop":[99],"two":[100,154],"novel":[101,179],"provably":[103],"correct":[104,184],"emulation":[106],"schemes:":[107],"1)":[108],"purely":[110],"software-based":[111],"scheme,":[112],"uses":[114],"system's":[117],"page":[118],"cache":[120],"selecting":[123],"fast,":[125],"but":[126,130,185,197],"unsynchronized,":[127],"slow,":[129],"fully":[131],"synchronized":[132],"memory":[133,144],"accesses":[134],"2)":[136],"hardware-accelerated":[138],"scheme":[139],"leverages":[141],"hardware":[142],"transactional":[143],"(HTM)":[145],"provided":[146],"by":[147],"have":[151],"implemented":[152],"these":[153],"schemes":[155,180],"in":[156],"Synopsys":[158],"DesignWare":[159],"ARC":[160],"nSIM":[161],"evaluate":[166],"our":[167,178],"implementations":[168],"against":[169],"full":[170],"applications,":[171],"targeted":[173],"microbenchmarks.":[174],"not":[182],"only":[183],"also":[186],"deliver":[187],"competitive":[188],"performance":[189],"on-par":[190],"or":[191],"better":[192],"than":[193],"widely":[195],"used,":[196],"broken":[198],"scheme.":[200]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}