{"id":"https://openalex.org/W2982706018","doi":"https://doi.org/10.1109/ewdts.2019.8884385","title":"A novel technique for atomic instructions functional verification using lock contention analysis","display_name":"A novel technique for atomic instructions functional verification using lock contention analysis","publication_year":2019,"publication_date":"2019-09-01","ids":{"openalex":"https://openalex.org/W2982706018","doi":"https://doi.org/10.1109/ewdts.2019.8884385","mag":"2982706018"},"language":"en","primary_location":{"id":"doi:10.1109/ewdts.2019.8884385","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2019.8884385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE East-West Design & Test Symposium (EWDTS)","raw_type":"proceedings-article"},"type":"article","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/A5083735891","display_name":"Chibisov Peter","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Chibisov Peter","raw_affiliation_strings":["Computing Systems Development Dept., SRISA, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Computing Systems Development Dept., SRISA, Moscow, Russia","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019944499","display_name":"Grevtsev Nikita","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Grevtsev Nikita","raw_affiliation_strings":["Computing Systems Development Dept., SRISA, Moscow, Russia"],"affiliations":[{"raw_affiliation_string":"Computing Systems Development Dept., SRISA, Moscow, Russia","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083735891"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4815,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.62483694,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"ppopp","issue":null,"first_page":"1","last_page":"7"},"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.9994999766349792,"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/T11005","display_name":"Radiation Effects in Electronics","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8677158355712891},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.7637104988098145},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.7270038723945618},{"id":"https://openalex.org/keywords/synchronization","display_name":"Synchronization (alternating current)","score":0.6384327411651611},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.559894323348999},{"id":"https://openalex.org/keywords/lock","display_name":"Lock (firearm)","score":0.49817967414855957},{"id":"https://openalex.org/keywords/mutual-exclusion","display_name":"Mutual exclusion","score":0.447714239358902},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4337303638458252},{"id":"https://openalex.org/keywords/overhead","display_name":"Overhead (engineering)","score":0.4156917631626129},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4151139557361603},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.361011803150177},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.3598666489124298},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.193576842546463},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16565600037574768},{"id":"https://openalex.org/keywords/computer-network","display_name":"Computer network","score":0.09360682964324951}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8677158355712891},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.7637104988098145},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.7270038723945618},{"id":"https://openalex.org/C2778562939","wikidata":"https://www.wikidata.org/wiki/Q1298791","display_name":"Synchronization (alternating current)","level":3,"score":0.6384327411651611},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.559894323348999},{"id":"https://openalex.org/C174839445","wikidata":"https://www.wikidata.org/wiki/Q1134386","display_name":"Lock (firearm)","level":2,"score":0.49817967414855957},{"id":"https://openalex.org/C56348326","wikidata":"https://www.wikidata.org/wiki/Q1047554","display_name":"Mutual exclusion","level":2,"score":0.447714239358902},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4337303638458252},{"id":"https://openalex.org/C2779960059","wikidata":"https://www.wikidata.org/wiki/Q7113681","display_name":"Overhead (engineering)","level":2,"score":0.4156917631626129},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4151139557361603},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.361011803150177},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.3598666489124298},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.193576842546463},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16565600037574768},{"id":"https://openalex.org/C31258907","wikidata":"https://www.wikidata.org/wiki/Q1301371","display_name":"Computer network","level":1,"score":0.09360682964324951},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C127162648","wikidata":"https://www.wikidata.org/wiki/Q16858953","display_name":"Channel (broadcasting)","level":2,"score":0.0},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ewdts.2019.8884385","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ewdts.2019.8884385","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2019 IEEE East-West Design & Test Symposium (EWDTS)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7099999785423279,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W119496438","https://openalex.org/W188314645","https://openalex.org/W1600653352","https://openalex.org/W2009258497","https://openalex.org/W2049310849","https://openalex.org/W2058975802","https://openalex.org/W2096830363","https://openalex.org/W2102960656","https://openalex.org/W2117874980","https://openalex.org/W2123065508","https://openalex.org/W2128870271","https://openalex.org/W2139841382","https://openalex.org/W2153843289","https://openalex.org/W2156126318","https://openalex.org/W2161033402","https://openalex.org/W2165734765","https://openalex.org/W2169875292","https://openalex.org/W2292155014","https://openalex.org/W2345624244","https://openalex.org/W2397454561","https://openalex.org/W2398827161","https://openalex.org/W2415129417","https://openalex.org/W2625060911","https://openalex.org/W2969017778","https://openalex.org/W2969138334","https://openalex.org/W4249598672","https://openalex.org/W4293763691","https://openalex.org/W6646522387","https://openalex.org/W6678873971","https://openalex.org/W6680845035","https://openalex.org/W6712681754","https://openalex.org/W6739059860"],"related_works":["https://openalex.org/W1591836442","https://openalex.org/W4362712030","https://openalex.org/W4302613376","https://openalex.org/W1576905273","https://openalex.org/W1507680494","https://openalex.org/W4251894705","https://openalex.org/W2125104802","https://openalex.org/W1560378633","https://openalex.org/W2147005473","https://openalex.org/W3083295843"],"abstract_inverted_index":{"Nowadays,":[0],"it":[1],"is":[2,167,197,225,280],"widely":[3],"acknowledged":[4],"that":[5,168,192,239,284],"symmetric":[6],"multi-processing":[7],"(SMP)":[8],"must":[9],"use":[10],"a":[11,123,198,300],"set":[12],"of":[13,23,70,125,144,158,182,214,230,273,294],"synchronization":[14,93,145,277],"mechanisms":[15,94,146,278],"to":[16,32,43,48,84,89,100,104,127,178,220],"achieve":[17],"the":[18,45,141,149,155,180,212,228,234,271,281],"results,":[19],"which":[20,236,298],"are":[21,81,110,119],"free":[22],"race":[24],"conditions":[25],"and":[26,76,107,129,172,201],"therefore":[27],"predictable.":[28],"Using":[29],"atomic":[30,71,86,183,193,205,240,264,295],"operations":[31,184,194,206,241,265,296],"access":[33,103],"shared":[34,90],"memory":[35],"regions":[36],"in":[37,54,115,133,136,164],"SMP":[38],"systems":[39],"has":[40,190],"been":[41,244,268],"proven":[42],"be":[44,176,209],"basic":[46],"method":[47,283],"prevent":[49],"data":[50,108],"corruption":[51],"while":[52],"implementing":[53],"software":[55,134],"such":[56,95],"primitives":[57,152],"as":[58,96],"mutual":[59],"exclusion,":[60],"spinlock,":[61],"thread":[62],"execution":[63,142],"barrier.":[64],"Contemporary":[65],"architectures":[66],"provide":[67,299],"different":[68],"kinds":[69],"operations,":[72],"for":[73,302],"example,":[74],"LL":[75],"SC":[77],"instructions":[78],"on":[79,154,233,287,291],"MIPS":[80],"used":[82,99,177],"together":[83],"guarantee":[85],"read-write":[87],"accesses":[88],"memory.":[91],"However,":[92,250],"critical":[97,105],"sections":[98],"assure":[101],"exclusive":[102],"resources":[106],"structures":[109],"well-known":[111],"potential":[112],"performance":[113,288],"bottlenecks":[114],"multithreaded":[116,159],"applications.":[117,160],"There":[118],"numerous":[120],"approaches":[121,139],"proposing":[122],"variety":[124],"methods":[126,218],"analyze":[128],"reduce":[130],"these":[131,151,170,303],"problems":[132],"or":[135,147],"hardware.":[137],"These":[138],"quantify":[140],"overhead":[143],"assess":[148],"impact":[150],"have":[153,243,267],"completion":[156],"time":[157],"A":[161],"key":[162],"finding":[163],"this":[165],"paper":[166],"all":[169],"researches":[171],"experience":[173,189],"mentioned":[174],"can":[175,207,237,252],"increase":[179],"coverage":[181],"functional":[185,195,292],"verification.":[186],"Moreover,":[187],"our":[188,274,276],"shown":[191],"verification":[196,293],"rather":[199],"time-consuming":[200],"labor-intensive":[202],"process":[203],"because":[204],"not":[208,286],"verified":[210,246],"with":[211],"help":[213],"stochastic":[215],"test":[216],"generation":[217],"due":[219],"their":[221],"unpredictable":[222],"nature.":[223],"This":[224],"evidenced":[226],"by":[227,247],"lack":[229],"sufficient":[231],"information":[232],"topic,":[235],"mean":[238],"could":[242],"successfully":[245],"traditional":[248],"methods.":[249],"one":[251],"find":[253],"at":[254],"least":[255],"two":[256],"CPU's":[257],"errata":[258],"references":[259],"where":[260],"some":[261],"issues":[262],"concerning":[263],"misbehaviors":[266],"listed.":[269],"To":[270],"best":[272],"knowledge,":[275],"analysis":[279],"first":[282],"focuses":[285],"issues,":[289],"but":[290],"instructions,":[297],"basis":[301],"mechanisms.":[304]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}