{"id":"https://openalex.org/W1550303114","doi":"https://doi.org/10.5075/epfl-thesis-4664","title":"Theory of Transactional Memory","display_name":"Theory of Transactional Memory","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1550303114","doi":"https://doi.org/10.5075/epfl-thesis-4664","mag":"1550303114"},"language":"en","primary_location":{"id":"pmh:doi:10.5075/epfl-thesis-4664","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/146680","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5060107963","display_name":"Micha\u0142 Kapa\u0142ka","orcid":"https://orcid.org/0000-0002-7961-5942"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Kapalka, Michal","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5060107963"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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.9991000294685364,"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.9991000294685364,"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.9639000296592712,"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/T11181","display_name":"Advanced Data Storage Technologies","score":0.9589999914169312,"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/transactional-memory","display_name":"Transactional memory","score":0.8838031888008118},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8623510599136353},{"id":"https://openalex.org/keywords/software-transactional-memory","display_name":"Software transactional memory","score":0.7673360109329224},{"id":"https://openalex.org/keywords/commit","display_name":"Commit","score":0.5935110449790955},{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.5629770159721375},{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.5430904626846313},{"id":"https://openalex.org/keywords/transaction-processing","display_name":"Transaction processing","score":0.5233627557754517},{"id":"https://openalex.org/keywords/distributed-transaction","display_name":"Distributed transaction","score":0.5221450924873352},{"id":"https://openalex.org/keywords/online-transaction-processing","display_name":"Online transaction processing","score":0.5020055770874023},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.4325598180294037},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4291742444038391},{"id":"https://openalex.org/keywords/programming-paradigm","display_name":"Programming paradigm","score":0.4130179286003113},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.14069247245788574}],"concepts":[{"id":"https://openalex.org/C134277064","wikidata":"https://www.wikidata.org/wiki/Q878206","display_name":"Transactional memory","level":3,"score":0.8838031888008118},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8623510599136353},{"id":"https://openalex.org/C167149655","wikidata":"https://www.wikidata.org/wiki/Q1189004","display_name":"Software transactional memory","level":4,"score":0.7673360109329224},{"id":"https://openalex.org/C153180980","wikidata":"https://www.wikidata.org/wiki/Q19776675","display_name":"Commit","level":2,"score":0.5935110449790955},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.5629770159721375},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5430904626846313},{"id":"https://openalex.org/C72108876","wikidata":"https://www.wikidata.org/wiki/Q844565","display_name":"Transaction processing","level":3,"score":0.5233627557754517},{"id":"https://openalex.org/C25185021","wikidata":"https://www.wikidata.org/wiki/Q4053284","display_name":"Distributed transaction","level":4,"score":0.5221450924873352},{"id":"https://openalex.org/C191087605","wikidata":"https://www.wikidata.org/wiki/Q1501395","display_name":"Online transaction processing","level":4,"score":0.5020055770874023},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.4325598180294037},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4291742444038391},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4130179286003113},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.14069247245788574}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:doi:10.5075/epfl-thesis-4664","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"doctoral thesis"},{"id":"pmh:oai:infoscience.epfl.ch:146680","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/146680","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"doi:10.5075/epfl-thesis-4664","is_oa":true,"landing_page_url":"https://doi.org/10.5075/epfl-thesis-4664","pdf_url":null,"source":{"id":"https://openalex.org/S4306400488","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"thesis"},{"id":"mag:1550303114","is_oa":false,"landing_page_url":"https://infoscience.epfl.ch/record/146680","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":null}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:146680","is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/146680","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/17","score":0.4399999976158142,"display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2024601016","https://openalex.org/W2168704934","https://openalex.org/W2162847293","https://openalex.org/W2150957672","https://openalex.org/W2105055683","https://openalex.org/W2104423555","https://openalex.org/W2073256416","https://openalex.org/W2037221567","https://openalex.org/W1542975293","https://openalex.org/W2128585185","https://openalex.org/W2529386487","https://openalex.org/W2953136946","https://openalex.org/W2613025744","https://openalex.org/W2338888888","https://openalex.org/W2108140316","https://openalex.org/W2278535776","https://openalex.org/W2095825766","https://openalex.org/W2022364581","https://openalex.org/W2150616589","https://openalex.org/W3116317519"],"abstract_inverted_index":{"Transactional":[0],"memory":[1],"(TM)":[2],"is":[3,107,145,151,192,217,284,289],"a":[4,94,157,203,206,214,232,243],"promising":[5],"paradigm":[6,91,166],"for":[7,98,197],"concurrent":[8,103],"programming,":[9],"in":[10,87,241],"which":[11],"threads":[12],"of":[13,30,47,96,102,131,160,189,205,221,231,253,262,275,281,298,303],"an":[14,112,147],"application":[15],"communicate,":[16],"and":[17,35,84,168,185,229,235,259,273,300],"synchronize":[18],"their":[19],"actions,":[20],"via":[21],"inmemory":[22],"transactions.":[23],"Each":[24],"transaction":[25,43,75],"can":[26,224],"perform":[27],"any":[28],"number":[29],"operations":[31,50,79],"on":[32,285],"shared":[33],"data,":[34],"then":[36],"either":[37],"commit":[38],"or":[39,135],"abort.":[40],"When":[41],"the":[42,45,71,100,115,129,132,182,227,257,279,282,292,296,301],"commits,":[44],"effects":[46,62],"all":[48,77],"its":[49,78,287],"become":[51],"immediately":[52],"visible":[53],"to":[54,108,155,163,181,193,271,290],"other":[55],"transactions;":[56],"when":[57,213],"it":[58,170,223],"aborts,":[59],"however,":[60,178],"those":[61],"are":[63,67,239],"entirely":[64],"discarded.":[65],"Transactions":[66],"atomic:":[68],"programmers":[69,110],"get":[70],"illusion":[72],"that":[73,117,255],"every":[74],"executes":[76],"instantaneously,":[80],"at":[81],"some":[82],"single":[83],"unique":[85],"point":[86],"time.":[88],"The":[89,105,187],"TM":[90,215,233,244,276,305],"has":[92],"raised":[93],"lot":[95],"hope":[97],"mastering":[99],"complexity":[101,274],"programming.":[104],"aim":[106,188],"provide":[109,194],"with":[111,124,171],"abstraction,":[113],"i.e.,":[114],"transaction,":[116],"makes":[118],"handling":[119],"concurrency":[120],"as":[121,123,138,140,208,210,264,266],"easy":[122],"coarse-grained":[125],"locking,":[126],"while":[127],"exploiting":[128],"parallelism":[130],"underlying":[133,183],"multi-core":[134],"multi-processor":[136],"hardware":[137],"well":[139,209,265],"hand-crafted":[141],"fine-grained":[142],"locking":[143],"(which":[144],"typically":[146],"engineering":[148],"challenge).":[149],"It":[150],"thus":[152],"not":[153],"surprising":[154],"see":[156],"large":[158],"body":[159],"work":[161],"devoted":[162,180],"implementing":[164],"this":[165,190,248],"efficiently,":[167],"integrating":[169],"common":[172,293],"programming":[173],"languages.":[174],"Very":[175],"little":[176],"work,":[177],"was":[179],"theory":[184],"principles.":[186],"thesis":[191,283],"theoretical":[195],"foundations":[196],"transactional":[198],"memory.":[199],"This":[200],"includes":[201],"defining":[202],"model":[204],"TM,":[207],"answering":[211],"precisely":[212],"implementation":[216],"correct,":[218],"what":[219,226,236],"kind":[220],"properties":[222,254,302],"ensure,":[225],"power":[228],"limitations":[230],"are,":[234],"inherent":[237],"trade-offs":[238],"involved":[240],"designing":[242],"algorithm.":[245],"In":[246],"particular,":[247],"manuscript":[249],"contains":[250],"precise":[251],"definitions":[252],"capture":[256,291],"safety":[258],"progress":[260],"semantics":[261,297],"TMs,":[263],"several":[267],"fundamental":[268],"results":[269],"related":[270],"computability":[272],"implementations.":[277,306],"While":[278],"focus":[280],"theory,":[286],"goal":[288],"intuition":[294],"behind":[295],"TMs":[299],"existing":[304]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2016-06-24T00:00:00"}