{"id":"https://openalex.org/W2767440335","doi":"https://doi.org/10.1109/tpds.2017.2770121","title":"FA-Stack: A Fast Array-Based Stack with Wait-Free Progress Guarantee","display_name":"FA-Stack: A Fast Array-Based Stack with Wait-Free Progress Guarantee","publication_year":2017,"publication_date":"2017-11-06","ids":{"openalex":"https://openalex.org/W2767440335","doi":"https://doi.org/10.1109/tpds.2017.2770121","mag":"2767440335"},"language":"en","primary_location":{"id":"doi:10.1109/tpds.2017.2770121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2017.2770121","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"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 Parallel and Distributed Systems","raw_type":"journal-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/A5016878979","display_name":"Yaqiong Peng","orcid":"https://orcid.org/0000-0002-8482-3631"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Yaqiong Peng","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":"https://orcid.org/0000-0002-8482-3631","affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5021090590","display_name":"Zhiyu Hao","orcid":"https://orcid.org/0000-0003-3946-5094"},"institutions":[{"id":"https://openalex.org/I19820366","display_name":"Chinese Academy of Sciences","ror":"https://ror.org/034t30j35","country_code":"CN","type":"government","lineage":["https://openalex.org/I19820366"]},{"id":"https://openalex.org/I4210156404","display_name":"Institute of Information Engineering","ror":"https://ror.org/04r53se39","country_code":"CN","type":"facility","lineage":["https://openalex.org/I19820366","https://openalex.org/I4210156404"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhiyu Hao","raw_affiliation_strings":["Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China","institution_ids":["https://openalex.org/I4210156404","https://openalex.org/I19820366"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016878979"],"corresponding_institution_ids":["https://openalex.org/I19820366","https://openalex.org/I4210156404"],"apc_list":null,"apc_paid":null,"fwci":1.0965,"has_fulltext":false,"cited_by_count":11,"citation_normalized_percentile":{"value":0.81630552,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"29","issue":"4","first_page":"843","last_page":"857"},"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.9998999834060669,"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.9998999834060669,"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.9994000196456909,"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/T10829","display_name":"Interconnection Networks and Systems","score":0.9947999715805054,"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.8161302208900452},{"id":"https://openalex.org/keywords/stack","display_name":"Stack (abstract data type)","score":0.7126855850219727},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.6598164439201355},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.5928309559822083},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5468282103538513},{"id":"https://openalex.org/keywords/linearizability","display_name":"Linearizability","score":0.4956775903701782},{"id":"https://openalex.org/keywords/multi-core-processor","display_name":"Multi-core processor","score":0.4913751184940338},{"id":"https://openalex.org/keywords/fifo-and-lifo-accounting","display_name":"FIFO and LIFO accounting","score":0.4781966209411621},{"id":"https://openalex.org/keywords/call-stack","display_name":"Call stack","score":0.4661696255207062},{"id":"https://openalex.org/keywords/benchmark","display_name":"Benchmark (surveying)","score":0.446682333946228},{"id":"https://openalex.org/keywords/protocol-stack","display_name":"Protocol stack","score":0.42725902795791626},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.33647412061691284},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2659164071083069},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.21202978491783142}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8161302208900452},{"id":"https://openalex.org/C9395851","wikidata":"https://www.wikidata.org/wiki/Q177929","display_name":"Stack (abstract data type)","level":2,"score":0.7126855850219727},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.6598164439201355},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.5928309559822083},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5468282103538513},{"id":"https://openalex.org/C20528329","wikidata":"https://www.wikidata.org/wiki/Q513932","display_name":"Linearizability","level":3,"score":0.4956775903701782},{"id":"https://openalex.org/C78766204","wikidata":"https://www.wikidata.org/wiki/Q555032","display_name":"Multi-core processor","level":2,"score":0.4913751184940338},{"id":"https://openalex.org/C48721391","wikidata":"https://www.wikidata.org/wiki/Q1265942","display_name":"FIFO and LIFO accounting","level":3,"score":0.4781966209411621},{"id":"https://openalex.org/C119024030","wikidata":"https://www.wikidata.org/wiki/Q759899","display_name":"Call stack","level":3,"score":0.4661696255207062},{"id":"https://openalex.org/C185798385","wikidata":"https://www.wikidata.org/wiki/Q1161707","display_name":"Benchmark (surveying)","level":2,"score":0.446682333946228},{"id":"https://openalex.org/C38601921","wikidata":"https://www.wikidata.org/wiki/Q1757693","display_name":"Protocol stack","level":3,"score":0.42725902795791626},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.33647412061691284},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2659164071083069},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.21202978491783142},{"id":"https://openalex.org/C205649164","wikidata":"https://www.wikidata.org/wiki/Q1071","display_name":"Geography","level":0,"score":0.0},{"id":"https://openalex.org/C2777145635","wikidata":"https://www.wikidata.org/wiki/Q515636","display_name":"FIFO (computing and electronics)","level":2,"score":0.0},{"id":"https://openalex.org/C13280743","wikidata":"https://www.wikidata.org/wiki/Q131089","display_name":"Geodesy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/tpds.2017.2770121","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tpds.2017.2770121","pdf_url":null,"source":{"id":"https://openalex.org/S97130795","display_name":"IEEE Transactions on Parallel and Distributed Systems","issn_l":"1045-9219","issn":["1045-9219","1558-2183","2161-9883"],"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 Parallel and Distributed Systems","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G3559726719","display_name":null,"funder_award_id":"2016QY04W0804","funder_id":"https://openalex.org/F4320335777","funder_display_name":"National Key Research and Development Program of China"},{"id":"https://openalex.org/G7665121718","display_name":null,"funder_award_id":"61702499","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G890911424","display_name":null,"funder_award_id":"4172069","funder_id":"https://openalex.org/F4320322919","funder_display_name":"Natural Science Foundation of Beijing Municipality"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320322919","display_name":"Natural Science Foundation of Beijing Municipality","ror":null},{"id":"https://openalex.org/F4320335777","display_name":"National Key Research and Development Program of China","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":25,"referenced_works":["https://openalex.org/W1873483839","https://openalex.org/W1998951508","https://openalex.org/W2037683502","https://openalex.org/W2049013629","https://openalex.org/W2061197210","https://openalex.org/W2073407658","https://openalex.org/W2082679906","https://openalex.org/W2084363500","https://openalex.org/W2085407655","https://openalex.org/W2100357382","https://openalex.org/W2101939036","https://openalex.org/W2113366658","https://openalex.org/W2132220514","https://openalex.org/W2136094140","https://openalex.org/W2138654728","https://openalex.org/W2163121173","https://openalex.org/W2166263713","https://openalex.org/W2269124978","https://openalex.org/W2471811726","https://openalex.org/W3008344179","https://openalex.org/W3089033718","https://openalex.org/W4213428326","https://openalex.org/W4237166236","https://openalex.org/W4244624509","https://openalex.org/W4250891511"],"related_works":["https://openalex.org/W4379881776","https://openalex.org/W4213428326","https://openalex.org/W2016675257","https://openalex.org/W1993171787","https://openalex.org/W4248708727","https://openalex.org/W4321349786","https://openalex.org/W2381996200","https://openalex.org/W2101686234","https://openalex.org/W2381567946","https://openalex.org/W2371763885"],"abstract_inverted_index":{"The":[0],"prevalence":[1],"of":[2,8,41,93,101,176],"multicore":[3],"processors":[4],"necessitates":[5],"the":[6,99,143,174],"design":[7,65],"efficient":[9,160],"concurrent":[10,14,83,128],"data":[11,129],"structures.":[12],"Shared":[13],"stacks":[15,27,71],"are":[16,61,72,95],"widely":[17],"used":[18],"as":[19],"inter-thread":[20],"communication":[21],"structures":[22],"in":[23,37,54,145],"parallel":[24,48],"applications.":[25],"Wait-free":[26],"can":[28],"ensure":[29],"that":[30,133,156],"each":[31],"thread":[32],"completes":[33],"operations":[34],"on":[35],"them":[36],"a":[38,79,115,124,136],"finite":[39],"number":[40,100],"steps.":[42],"This":[43],"characteristic":[44],"is":[45,135,158],"valuable":[46],"for":[47,127],"applications":[49],"and":[50,66,108],"operating":[51],"systems,":[52],"especially":[53],"real-time":[55],"environments.":[56],"Unfortunately,":[57],"because":[58],"wait-free":[59,70,86,137,161,170],"algorithms":[60],"typically":[62],"hard":[63],"to":[64,97,104,118,131,142,166],"considered":[67],"inefficient,":[68],"practical":[69],"rare.":[73],"In":[74,111],"this":[75],"paper,":[76],"we":[77],"present":[78],"practical,":[80],"fast":[81],"array-based":[82],"stack":[84,139],"with":[85,140,152],"progress":[87],"guarantee,":[88],"named":[89],"FA-Stack.":[90],"A":[91],"series":[92],"optimizations":[94],"proposed":[96],"bound":[98],"steps":[102],"required":[103],"complete":[105],"every":[106],"push":[107],"pop":[109],"operation.":[110],"addition,":[112],"FA-Stack":[113,134,157,172],"adopts":[114],"time-stamped":[116],"scheme":[117],"reclaim":[119],"memory.":[120],"We":[121],"use":[122],"linearizability,":[123],"correctness":[125],"condition":[126],"structures,":[130],"prove":[132],"linearizable":[138],"respect":[141],"Last":[144],"First":[146],"Out":[147],"(LIFO)":[148],"semantics.":[149],"Our":[150],"evaluation":[151],"representative":[153],"benchmarks":[154],"shows":[155],"an":[159],"stack.":[162],"For":[163],"example,":[164],"compared":[165],"Sim-Stack":[167],"(a":[168],"state-of-the-art":[169],"stack),":[171],"improves":[173],"throughput":[175],"halfhalf":[177],"benchmark":[178],"by":[179],"upto":[180],"2.4\u00d7.":[181]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}
