{"id":"https://openalex.org/W2146460245","doi":"https://doi.org/10.1109/hpca.2011.5749744","title":"Safe and efficient supervised memory systems","display_name":"Safe and efficient supervised memory systems","publication_year":2011,"publication_date":"2011-02-01","ids":{"openalex":"https://openalex.org/W2146460245","doi":"https://doi.org/10.1109/hpca.2011.5749744","mag":"2146460245"},"language":"en","primary_location":{"id":"doi:10.1109/hpca.2011.5749744","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2011.5749744","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE 17th International Symposium on High Performance Computer Architecture","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://hdl.handle.net/2117/13088","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5086701886","display_name":"Jayaram Bobba","orcid":null},"institutions":[{"id":"https://openalex.org/I4210158342","display_name":"Intel (United Kingdom)","ror":"https://ror.org/058cxws58","country_code":"GB","type":"company","lineage":["https://openalex.org/I1343180700","https://openalex.org/I4210158342"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jayaram Bobba","raw_affiliation_strings":["Intel Corporation, Malaysia","Intel Corporation"],"affiliations":[{"raw_affiliation_string":"Intel Corporation, Malaysia","institution_ids":[]},{"raw_affiliation_string":"Intel Corporation","institution_ids":["https://openalex.org/I4210158342"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015144284","display_name":"Marc Lupon","orcid":null},"institutions":[{"id":"https://openalex.org/I9617848","display_name":"Universitat Polit\u00e8cnica de Catalunya","ror":"https://ror.org/03mb6wj31","country_code":"ES","type":"education","lineage":["https://openalex.org/I9617848"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Marc Lupon","raw_affiliation_strings":["Universitat Polilt\u00e8cnica de Catalunya, Spain","Universitat Polit\u00e8cnica de Catalunya"],"affiliations":[{"raw_affiliation_string":"Universitat Polilt\u00e8cnica de Catalunya, Spain","institution_ids":["https://openalex.org/I9617848"]},{"raw_affiliation_string":"Universitat Polit\u00e8cnica de Catalunya","institution_ids":["https://openalex.org/I9617848"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102954737","display_name":"Mark D. Hill","orcid":"https://orcid.org/0000-0002-9717-5741"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Mark D. Hill","raw_affiliation_strings":["University of Wisconsin, Madison, USA","University of Wisconsin, Madison"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison, USA","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"University of Wisconsin, Madison","institution_ids":["https://openalex.org/I135310074"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075888890","display_name":"David A. Wood","orcid":"https://orcid.org/0000-0002-9748-8561"},"institutions":[{"id":"https://openalex.org/I135310074","display_name":"University of Wisconsin\u2013Madison","ror":"https://ror.org/01y2jtd41","country_code":"US","type":"education","lineage":["https://openalex.org/I135310074"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David A. Wood","raw_affiliation_strings":["University of Wisconsin, Madison, USA","University of Wisconsin, Madison"],"affiliations":[{"raw_affiliation_string":"University of Wisconsin, Madison, USA","institution_ids":["https://openalex.org/I135310074"]},{"raw_affiliation_string":"University of Wisconsin, Madison","institution_ids":["https://openalex.org/I135310074"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5086701886"],"corresponding_institution_ids":["https://openalex.org/I4210158342"],"apc_list":null,"apc_paid":null,"fwci":1.2884,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.82312863,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"298","issue":null,"first_page":"369","last_page":"380"},"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.9997000098228455,"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.9997000098228455,"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.9994000196456909,"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.9983999729156494,"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.7922508716583252},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.584503710269928},{"id":"https://openalex.org/keywords/memory-model","display_name":"Memory model","score":0.544861912727356},{"id":"https://openalex.org/keywords/sequential-consistency","display_name":"Sequential consistency","score":0.4918708801269531},{"id":"https://openalex.org/keywords/metadata","display_name":"Metadata","score":0.44883838295936584},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.4253828525543213},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3914366364479065},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3675837218761444},{"id":"https://openalex.org/keywords/consistency-model","display_name":"Consistency model","score":0.338091641664505},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.334610253572464},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3259958326816559},{"id":"https://openalex.org/keywords/shared-memory","display_name":"Shared memory","score":0.16948068141937256},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.1668241024017334},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.1598573923110962}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922508716583252},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.584503710269928},{"id":"https://openalex.org/C12186640","wikidata":"https://www.wikidata.org/wiki/Q6815743","display_name":"Memory model","level":3,"score":0.544861912727356},{"id":"https://openalex.org/C82029504","wikidata":"https://www.wikidata.org/wiki/Q4373882","display_name":"Sequential consistency","level":4,"score":0.4918708801269531},{"id":"https://openalex.org/C93518851","wikidata":"https://www.wikidata.org/wiki/Q180160","display_name":"Metadata","level":2,"score":0.44883838295936584},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4253828525543213},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3914366364479065},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3675837218761444},{"id":"https://openalex.org/C37279795","wikidata":"https://www.wikidata.org/wiki/Q2492305","display_name":"Consistency model","level":3,"score":0.338091641664505},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.334610253572464},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3259958326816559},{"id":"https://openalex.org/C133875982","wikidata":"https://www.wikidata.org/wiki/Q764810","display_name":"Shared memory","level":2,"score":0.16948068141937256},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.1668241024017334},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1598573923110962}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/hpca.2011.5749744","is_oa":false,"landing_page_url":"https://doi.org/10.1109/hpca.2011.5749744","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2011 IEEE 17th International Symposium on High Performance Computer Architecture","raw_type":"proceedings-article"},{"id":"pmh:oai:www.recercat.cat:2072/194953","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/13088","pdf_url":null,"source":{"id":"https://openalex.org/S4306402147","display_name":"RECERCAT (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"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":"","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:upcommons.upc.edu:2117/13088","is_oa":false,"landing_page_url":"https://hdl.handle.net/2117/13088","pdf_url":null,"source":{"id":"https://openalex.org/S4377196262","display_name":"UPCommons institutional repository (Universitat Polit\u00e8cnica de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I9617848","host_organization_name":"Universitat Polit\u00e8cnica de Catalunya","host_organization_lineage":["https://openalex.org/I9617848"],"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":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"pmh:oai:www.recercat.cat:2072/194953","is_oa":true,"landing_page_url":"http://hdl.handle.net/2117/13088","pdf_url":null,"source":{"id":"https://openalex.org/S4306402147","display_name":"RECERCAT (Consorci de Serveis Universitaris de Catalunya)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210090028","host_organization_name":"Consorci de Serveis Universitaris de Catalunya","host_organization_lineage":["https://openalex.org/I4210090028"],"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":"","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":49,"referenced_works":["https://openalex.org/W70437322","https://openalex.org/W1606011634","https://openalex.org/W2000729922","https://openalex.org/W2020538839","https://openalex.org/W2025613403","https://openalex.org/W2029601347","https://openalex.org/W2080329299","https://openalex.org/W2081040934","https://openalex.org/W2084719450","https://openalex.org/W2085773946","https://openalex.org/W2091085450","https://openalex.org/W2098370715","https://openalex.org/W2098809490","https://openalex.org/W2099661831","https://openalex.org/W2100666033","https://openalex.org/W2105945277","https://openalex.org/W2115003448","https://openalex.org/W2118373998","https://openalex.org/W2121562991","https://openalex.org/W2128769765","https://openalex.org/W2129482816","https://openalex.org/W2130811714","https://openalex.org/W2134440791","https://openalex.org/W2137622193","https://openalex.org/W2139588056","https://openalex.org/W2143869535","https://openalex.org/W2144340144","https://openalex.org/W2144430894","https://openalex.org/W2146804254","https://openalex.org/W2152390090","https://openalex.org/W2152885346","https://openalex.org/W2160454978","https://openalex.org/W2163654949","https://openalex.org/W2164264749","https://openalex.org/W2165495454","https://openalex.org/W2167763105","https://openalex.org/W2295593493","https://openalex.org/W2622728018","https://openalex.org/W3127721373","https://openalex.org/W3145216722","https://openalex.org/W4206635466","https://openalex.org/W4234033339","https://openalex.org/W4242822982","https://openalex.org/W4249058798","https://openalex.org/W4249868603","https://openalex.org/W4250753400","https://openalex.org/W6636004210","https://openalex.org/W6673310382","https://openalex.org/W6674790947"],"related_works":["https://openalex.org/W2036306661","https://openalex.org/W118795575","https://openalex.org/W2145655468","https://openalex.org/W1885534640","https://openalex.org/W1738788207","https://openalex.org/W2764757682","https://openalex.org/W2106389308","https://openalex.org/W2115953580","https://openalex.org/W2052172665","https://openalex.org/W1848398668"],"abstract_inverted_index":{"Supervised":[0],"Memory":[1],"systems":[2,44,81,213],"use":[3,45],"out-of-band":[4],"metabits":[5,165],"to":[6,11,65,115,162,169,172,205,234],"control":[7],"and":[8,21,48,88,92,112,214,241,247],"monitor":[9],"accesses":[10,114,171],"normal":[12],"data":[13,113],"memory":[14,20,22,32,54,80,90,100],"for":[15,77,123],"such":[16],"purposes":[17],"as":[18],"transactional":[19],"typestate":[23],"trackers.":[24],"Previous":[25],"proposals":[26,69],"demonstrate":[27],"the":[28,86,150,182,192,252],"value":[29],"of":[30,152,185,195,254],"supervised":[31,79,99,124],"systems,":[33],"but":[34,118,142],"have":[35],"typically":[36],"(1)":[37,83],"assumed":[38],"sequential":[39],"consistency":[40],"(while":[41],"most":[42],"deployed":[43],"weaker":[46],"models),":[47],"(2)":[49,93],"used":[50],"ad":[51],"hoc,":[52],"informal":[53],"specifications":[55],"(that":[56],"can":[57,179,209,227,243],"be":[58,244],"ambiguous":[59],"and/or":[60],"incorrect).":[61],"This":[62,72],"paper":[63,73],"seeks":[64],"make":[66],"many":[67],"previous":[68],"more":[70,127,146],"practical.":[71],"builds":[74],"a":[75],"foundation":[76],"future":[78],"which":[82,159],"operate":[84],"with":[85,181,248],"TSO":[87,104,129,186,196,223,237],"\u00d786":[89],"models,":[91,154],"are":[94],"formally":[95],"specified":[96],"using":[97,120,164],"two":[98],"models.":[101],"The":[102,126],"simpler":[103,183],"<sub":[105,130,187,197,224,238],"xmlns:mml=\"http://www.w3.org/1998/Math/MathML\"":[106,131,188,198,225,239],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">all</sub>":[107,189,240],"model":[108,133],"requires":[109],"all":[110],"metadata":[111],"obey":[116,176],"TSO,":[117],"precludes":[119],"store":[121,139],"buffers":[122],"accesses.":[125],"complex":[128],"xmlns:xlink=\"http://www.w3.org/1999/xlink\">data</sub>":[132,199,226],"relaxes":[134],"some":[135],"ordering":[136],"constraints":[137],"(allowing":[138],"buffer":[140],"use)":[141],"makes":[143],"programmer":[144],"reasoning":[145],"difficult.":[147],"To":[148],"get":[149],"benefits":[151],"both":[153],"we":[155,220],"propose":[156],"Safe":[157],"Supervision,":[158],"asks":[160],"programmers":[161],"avoid":[163],"from":[166],"one":[167],"location":[168],"order":[170],"another.":[173],"Programmers":[174],"that":[175,222],"safe":[177],"supervision":[178],"reason":[180],"semantics":[184],"while":[190],"obtaining":[191],"higher":[193],"performance":[194,231],".":[200],"Our":[201],"approach":[202],"is":[203],"similar":[204],"how":[206],"data-race-free":[207],"programs":[208],"run":[210],"on":[211],"relaxed":[212],"yet":[215],"appear":[216],"sequentially":[217],"consistent.":[218],"Finally,":[219],"show":[221],"(a)":[228],"provide":[229],"significant":[230],"benefit":[232],"(up":[233],"22%)":[235],"over":[236],"(b)":[242],"incorporated":[245],"correctly":[246],"low":[249],"overhead":[250],"into":[251],"RTL":[253],"an":[255],"industrial":[256],"multi-core":[257],"chip":[258],"design":[259],"(OpenSPARC":[260],"T2).":[261]},"counts_by_year":[{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}