{"id":"https://openalex.org/W2124111619","doi":"https://doi.org/10.1109/ispass.2009.4919647","title":"An analytic model of optimistic Software Transactional Memory","display_name":"An analytic model of optimistic Software Transactional Memory","publication_year":2009,"publication_date":"2009-04-01","ids":{"openalex":"https://openalex.org/W2124111619","doi":"https://doi.org/10.1109/ispass.2009.4919647","mag":"2124111619"},"language":"en","primary_location":{"id":"doi:10.1109/ispass.2009.4919647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ispass.2009.4919647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Symposium on Performance Analysis of Systems and Software","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/A5089923901","display_name":"Armin Heindl","orcid":null},"institutions":[{"id":"https://openalex.org/I181369854","display_name":"Friedrich-Alexander-Universit\u00e4t Erlangen-N\u00fcrnberg","ror":"https://ror.org/00f7hpc57","country_code":"DE","type":"education","lineage":["https://openalex.org/I181369854"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Armin Heindl","raw_affiliation_strings":["Department of Computer Science, University of Erlangen Nuremberg, Erlangen, Germany","Department of Computer Science, University of Erlangen-Nuremberg, Germany"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Erlangen Nuremberg, Erlangen, Germany","institution_ids":["https://openalex.org/I181369854"]},{"raw_affiliation_string":"Department of Computer Science, University of Erlangen-Nuremberg, Germany","institution_ids":["https://openalex.org/I181369854"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071035949","display_name":"Gilles Pokam","orcid":"https://orcid.org/0009-0002-4363-5383"},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gilles Pokam","raw_affiliation_strings":["Microprocessor Technology Laboratory, Intel Corporation, Santa Clara, CA, USA","Microprocessor Technol. Lab, Intel Corp., Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Microprocessor Technology Laboratory, Intel Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Microprocessor Technol. Lab, Intel Corp., Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007158460","display_name":"Ali-Reza Adl-Tabatabai","orcid":null},"institutions":[{"id":"https://openalex.org/I1343180700","display_name":"Intel (United States)","ror":"https://ror.org/01ek73717","country_code":"US","type":"company","lineage":["https://openalex.org/I1343180700"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ali-Reza Adl-Tabatabai","raw_affiliation_strings":["Microprocessor Technology Laboratory, Intel Corporation, Santa Clara, CA, USA","Microprocessor Technol. Lab, Intel Corp., Santa Clara, CA, USA"],"affiliations":[{"raw_affiliation_string":"Microprocessor Technology Laboratory, Intel Corporation, Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]},{"raw_affiliation_string":"Microprocessor Technol. Lab, Intel Corp., Santa Clara, CA, USA","institution_ids":["https://openalex.org/I1343180700"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5089923901"],"corresponding_institution_ids":["https://openalex.org/I181369854"],"apc_list":null,"apc_paid":null,"fwci":2.0571,"has_fulltext":false,"cited_by_count":17,"citation_normalized_percentile":{"value":0.88017782,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"33","issue":null,"first_page":"153","last_page":"162"},"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/T13471","display_name":"Cognitive Functions and Memory","score":0.9965999722480774,"subfield":{"id":"https://openalex.org/subfields/3205","display_name":"Experimental and Cognitive Psychology"},"field":{"id":"https://openalex.org/fields/32","display_name":"Psychology"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10974","display_name":"Advanced Queuing Theory Analysis","score":0.9797999858856201,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.841503381729126},{"id":"https://openalex.org/keywords/transactional-memory","display_name":"Transactional memory","score":0.7691388130187988},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.7566515207290649},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.5747343897819519},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.5338033437728882},{"id":"https://openalex.org/keywords/discrete-event-simulation","display_name":"Discrete event simulation","score":0.5261275768280029},{"id":"https://openalex.org/keywords/markov-chain","display_name":"Markov chain","score":0.5201174020767212},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48854145407676697},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.4725120961666107},{"id":"https://openalex.org/keywords/data-consistency","display_name":"Data consistency","score":0.47030848264694214},{"id":"https://openalex.org/keywords/data-structure","display_name":"Data structure","score":0.4320259690284729},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.39825811982154846},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.34122076630592346},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.21178147196769714},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.18150576949119568},{"id":"https://openalex.org/keywords/simulation","display_name":"Simulation","score":0.142467200756073},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.10543626546859741},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08468717336654663}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.841503381729126},{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.7691388130187988},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.7566515207290649},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.5747343897819519},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5338033437728882},{"id":"https://openalex.org/C147203929","wikidata":"https://www.wikidata.org/wiki/Q574814","display_name":"Discrete event simulation","level":2,"score":0.5261275768280029},{"id":"https://openalex.org/C98763669","wikidata":"https://www.wikidata.org/wiki/Q176645","display_name":"Markov chain","level":2,"score":0.5201174020767212},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48854145407676697},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.4725120961666107},{"id":"https://openalex.org/C93361087","wikidata":"https://www.wikidata.org/wiki/Q4426698","display_name":"Data consistency","level":2,"score":0.47030848264694214},{"id":"https://openalex.org/C162319229","wikidata":"https://www.wikidata.org/wiki/Q175263","display_name":"Data structure","level":2,"score":0.4320259690284729},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.39825811982154846},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.34122076630592346},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.21178147196769714},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.18150576949119568},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.142467200756073},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.10543626546859741},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08468717336654663},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/ispass.2009.4919647","is_oa":false,"landing_page_url":"https://doi.org/10.1109/ispass.2009.4919647","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 IEEE International Symposium on Performance Analysis of Systems and Software","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.4399999976158142,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1515932031","https://openalex.org/W1992103639","https://openalex.org/W2006587846","https://openalex.org/W2032204694","https://openalex.org/W2039552930","https://openalex.org/W2044132551","https://openalex.org/W2048026084","https://openalex.org/W2075379212","https://openalex.org/W2092911542","https://openalex.org/W2094222793","https://openalex.org/W2099537990","https://openalex.org/W2100716766","https://openalex.org/W2105055683","https://openalex.org/W2107150212","https://openalex.org/W2113751407","https://openalex.org/W2120377317","https://openalex.org/W2133386065","https://openalex.org/W2135430119","https://openalex.org/W2135742761","https://openalex.org/W2145593725","https://openalex.org/W2149473197","https://openalex.org/W2163654949","https://openalex.org/W2169000705","https://openalex.org/W2340530615","https://openalex.org/W2955325419","https://openalex.org/W4244583165","https://openalex.org/W4312825855","https://openalex.org/W6674957326"],"related_works":["https://openalex.org/W2088444093","https://openalex.org/W133473147","https://openalex.org/W4252722439","https://openalex.org/W924353067","https://openalex.org/W2152491655","https://openalex.org/W2992926879","https://openalex.org/W1144911151","https://openalex.org/W2747711536","https://openalex.org/W3141896225","https://openalex.org/W2524400765"],"abstract_inverted_index":{"An":[0],"analytic":[1,31],"model":[2,49],"is":[3],"proposed":[4],"to":[5,40],"assess":[6],"the":[7,45,69,85,88],"performance":[8],"of":[9,44,81,87],"optimistic":[10],"software":[11],"transactional":[12],"memory":[13,18],"(STM)":[14],"systems":[15],"with":[16,97],"in-place":[17],"updates":[19],"for":[20],"write":[21],"operations.":[22],"Based":[23],"on":[24],"an":[25],"absorbing":[26],"discrete-time":[27],"Markov":[28],"chain,":[29],"closed-form":[30],"expressions":[32],"are":[33,36,93],"developed,":[34],"which":[35],"quickly":[37],"solved":[38],"iteratively":[39],"determine":[41],"key":[42],"parameters":[43,76],"STM":[46],"system.":[47],"The":[48],"covers":[50],"complex":[51],"implementation":[52],"details":[53],"such":[54],"as":[55],"read/write":[56],"locking,":[57],"data":[58,89],"consistency":[59],"checks":[60],"and":[61,79],"conflict":[62],"management.":[63],"It":[64],"provides":[65],"fundamental":[66],"insight":[67],"into":[68],"system":[70],"behavior,":[71],"when":[72],"we":[73],"vary":[74],"input":[75],"like":[77],"number":[78,86],"size":[80],"concurrent":[82],"transactions":[83],"or":[84],"objects.":[90],"Numerical":[91],"results":[92],"validated":[94],"by":[95],"comparison":[96],"a":[98],"discrete-event":[99],"simulation.":[100]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":3},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}