{"id":"https://openalex.org/W4408901159","doi":"https://doi.org/10.1145/3676641.3716275","title":"Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms","display_name":"Stramash: A Fused-Kernel Operating System For Cache-Coherent, Heterogeneous-ISA Platforms","publication_year":2025,"publication_date":"2025-03-27","ids":{"openalex":"https://openalex.org/W4408901159","doi":"https://doi.org/10.1145/3676641.3716275"},"language":"en","primary_location":{"id":"doi:10.1145/3676641.3716275","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3676641.3716275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://hdl.handle.net/10919/125144","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002405499","display_name":"Tong Xing","orcid":"https://orcid.org/0000-0003-2099-6418"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Tong Xing","raw_affiliation_strings":["The University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-2099-6418","affiliations":[{"raw_affiliation_string":"The University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101852009","display_name":"Cong Xiong","orcid":"https://orcid.org/0009-0005-7221-3229"},"institutions":[{"id":"https://openalex.org/I47508984","display_name":"Imperial College London","ror":"https://ror.org/041kmwe10","country_code":"GB","type":"education","lineage":["https://openalex.org/I47508984"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Cong Xiong","raw_affiliation_strings":["Imperial College London, London, United Kingdom"],"raw_orcid":"https://orcid.org/0009-0005-7221-3229","affiliations":[{"raw_affiliation_string":"Imperial College London, London, United Kingdom","institution_ids":["https://openalex.org/I47508984"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062993597","display_name":"Tianrui Wei","orcid":"https://orcid.org/0000-0002-3450-216X"},"institutions":[{"id":"https://openalex.org/I134446601","display_name":"Berkeley College","ror":"https://ror.org/02xewxa75","country_code":"US","type":"education","lineage":["https://openalex.org/I134446601"]},{"id":"https://openalex.org/I95457486","display_name":"University of California, Berkeley","ror":"https://ror.org/01an7q238","country_code":"US","type":"education","lineage":["https://openalex.org/I95457486"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tianrui Wei","raw_affiliation_strings":["UC Berkeley, Berkeley, USA"],"raw_orcid":"https://orcid.org/0000-0002-3450-216X","affiliations":[{"raw_affiliation_string":"UC Berkeley, Berkeley, USA","institution_ids":["https://openalex.org/I134446601","https://openalex.org/I95457486"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110994553","display_name":"Andr\u00e9s Fernando Pinz\u00f3n Sanch\u00e9z","orcid":null},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"April Sanchez","raw_affiliation_strings":["Google, Sunnyvale, USA"],"raw_orcid":"https://orcid.org/0009-0004-8994-9569","affiliations":[{"raw_affiliation_string":"Google, Sunnyvale, USA","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067528153","display_name":"Binoy Ravindran","orcid":"https://orcid.org/0000-0002-8663-739X"},"institutions":[{"id":"https://openalex.org/I859038795","display_name":"Virginia Tech","ror":"https://ror.org/02smfhw86","country_code":"US","type":"education","lineage":["https://openalex.org/I859038795"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Binoy Ravindran","raw_affiliation_strings":["Virginia Tech, Blacksburg, USA"],"raw_orcid":"https://orcid.org/0000-0002-8663-739X","affiliations":[{"raw_affiliation_string":"Virginia Tech, Blacksburg, USA","institution_ids":["https://openalex.org/I859038795"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015529604","display_name":"Jonathan Balkind","orcid":"https://orcid.org/0000-0003-1443-1373"},"institutions":[{"id":"https://openalex.org/I154570441","display_name":"University of California, Santa Barbara","ror":"https://ror.org/02t274463","country_code":"US","type":"education","lineage":["https://openalex.org/I154570441"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Jonathan Balkind","raw_affiliation_strings":["UC Santa Barbara, Santa Barbara, USA"],"raw_orcid":"https://orcid.org/0000-0003-1443-1373","affiliations":[{"raw_affiliation_string":"UC Santa Barbara, Santa Barbara, USA","institution_ids":["https://openalex.org/I154570441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020398289","display_name":"Antonio Barbalace","orcid":"https://orcid.org/0000-0003-1641-0779"},"institutions":[{"id":"https://openalex.org/I98677209","display_name":"University of Edinburgh","ror":"https://ror.org/01nrxwf90","country_code":"GB","type":"education","lineage":["https://openalex.org/I98677209"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Antonio Barbalace","raw_affiliation_strings":["The University of Edinburgh, Edinburgh, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-1641-0779","affiliations":[{"raw_affiliation_string":"The University of Edinburgh, Edinburgh, United Kingdom","institution_ids":["https://openalex.org/I98677209"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":7,"corresponding_author_ids":["https://openalex.org/A5002405499"],"corresponding_institution_ids":["https://openalex.org/I98677209"],"apc_list":null,"apc_paid":null,"fwci":8.6185,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.97244216,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"1172","last_page":"1188"},"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/T10101","display_name":"Cloud Computing and Resource Management","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.9987000226974487,"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.7054855227470398},{"id":"https://openalex.org/keywords/cache","display_name":"Cache","score":0.6657557487487793},{"id":"https://openalex.org/keywords/kernel","display_name":"Kernel (algebra)","score":0.595790684223175},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.38953906297683716},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.32097697257995605},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.04200667142868042}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7054855227470398},{"id":"https://openalex.org/C115537543","wikidata":"https://www.wikidata.org/wiki/Q165596","display_name":"Cache","level":2,"score":0.6657557487487793},{"id":"https://openalex.org/C74193536","wikidata":"https://www.wikidata.org/wiki/Q574844","display_name":"Kernel (algebra)","level":2,"score":0.595790684223175},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.38953906297683716},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.32097697257995605},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.04200667142868042},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3676641.3716275","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3676641.3716275","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2","raw_type":"proceedings-article"},{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/125144","is_oa":true,"landing_page_url":"https://hdl.handle.net/10919/125144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"Text"},{"id":"pmh:ark:/13030/qt5fb6m0m4","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},{"id":"pmh:oai:escholarship.org:ark:/13030/qt5fb6m0m4","is_oa":true,"landing_page_url":"https://escholarship.org/uc/item/5fb6m0m4","pdf_url":null,"source":{"id":"https://openalex.org/S4306400115","display_name":"eScholarship (California Digital Library)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I2801248553","host_organization_name":"California Digital Library","host_organization_lineage":["https://openalex.org/I2801248553"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article"},{"id":"pmh:oai:pure.ed.ac.uk:openaire/5a648491-3d30-40f4-84fb-f920930853ba","is_oa":true,"landing_page_url":"https://hdl.handle.net/20.500.11820/5a648491-3d30-40f4-84fb-f920930853ba","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Xing, T, Xiong, C, Wei, T, Sanchez, A, Ravindran, B, Balkind, J & Barbalace, A 2025, Stramash : A fused-kernel operating system for cache-coherent, heterogeneous-ISA platforms. in ASPLOS '25 : Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. vol. 2, Association for Computing Machinery (ACM), New York, NY, United States, pp. 1172-1188, The 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Rotterdam, Netherlands, 30/03/25. https://doi.org/10.1145/3676641.3716275","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:pure.ed.ac.uk:publications/5a648491-3d30-40f4-84fb-f920930853ba","is_oa":true,"landing_page_url":"https://www.research.ed.ac.uk/en/publications/5a648491-3d30-40f4-84fb-f920930853ba","pdf_url":null,"source":{"id":"https://openalex.org/S4306400321","display_name":"Edinburgh Research Explorer (University of Edinburgh)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I98677209","host_organization_name":"University of Edinburgh","host_organization_lineage":["https://openalex.org/I98677209"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Xing, T, Xiong, C, Wei, T, Sanchez, A, Ravindran, B, Balkind, J & Barbalace, A 2025, Stramash : A fused-kernel operating system for cache-coherent, heterogeneous-ISA platforms. in ASPLOS '25 : Proceedings of the 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2. vol. 2, Association for Computing Machinery (ACM), New York, NY, United States, pp. 1172-1188, The 30th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Rotterdam, Netherlands, 30/03/25. https://doi.org/10.1145/3676641.3716275","raw_type":"contributionToPeriodical"}],"best_oa_location":{"id":"pmh:oai:vtechworks.lib.vt.edu:10919/125144","is_oa":true,"landing_page_url":"https://hdl.handle.net/10919/125144","pdf_url":null,"source":{"id":"https://openalex.org/S4306400248","display_name":"VTechWorks (Virginia Tech)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I859038795","host_organization_name":"Virginia Tech","host_organization_lineage":["https://openalex.org/I859038795"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":null,"raw_type":"Text"},"sustainable_development_goals":[{"score":0.49000000953674316,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"}],"awards":[{"id":"https://openalex.org/G4720003262","display_name":null,"funder_award_id":"N00014-22","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G6385313785","display_name":"C6: Correct-by-Construction Heterogeneous Coherence","funder_award_id":"EP/V028154/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6475414601","display_name":null,"funder_award_id":"N00014-19-1-2493","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G7517641003","display_name":null,"funder_award_id":"N00014-22-1-2672","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"},{"id":"https://openalex.org/G8876996369","display_name":null,"funder_award_id":"N00014","funder_id":"https://openalex.org/F4320337345","funder_display_name":"Office of Naval Research"}],"funders":[{"id":"https://openalex.org/F4320314731","display_name":"UK Research and Innovation","ror":"https://ror.org/001aqnf71"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1987755808","https://openalex.org/W2008558305","https://openalex.org/W2028069406","https://openalex.org/W2077019175","https://openalex.org/W2086023529","https://openalex.org/W2109360947","https://openalex.org/W2157733805","https://openalex.org/W2168075869","https://openalex.org/W2171264329","https://openalex.org/W2264380155","https://openalex.org/W2318148966","https://openalex.org/W2333603443","https://openalex.org/W2604468014","https://openalex.org/W2722741879","https://openalex.org/W2738946720","https://openalex.org/W2912836996","https://openalex.org/W2914237411","https://openalex.org/W2964303266","https://openalex.org/W2984639696","https://openalex.org/W3011537247","https://openalex.org/W3015467238","https://openalex.org/W4220980201","https://openalex.org/W4230914898","https://openalex.org/W4239813889","https://openalex.org/W4293714919","https://openalex.org/W4312783897","https://openalex.org/W4372260319","https://openalex.org/W4391983995"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"We":[0,129,147,187],"live":[1],"in":[2,28,40],"the":[3,65,99,105,138,174,219],"world":[4],"of":[5,14,42,49,67,77,124,140,176,182,205,218],"heterogeneous":[6],"computing.":[7],"With":[8],"specialised":[9],"elements":[10],"reaching":[11],"all":[12],"aspects":[13],"our":[15,141,177,194],"computer":[16],"systems":[17],"and":[18,61,72,91,167,197,221,225],"their":[19,29],"prevalence":[20],"only":[21],"growing,":[22],"we":[23,84,165,213],"must":[24],"act":[25],"to":[26,89,136,143,207],"rein":[27],"inherent":[30],"complexity.":[31,50],"One":[32],"area":[33],"that":[34],"has":[35],"seen":[36],"significantly":[37],"less":[38,183],"investment":[39],"terms":[41],"development":[43,66,76],"is":[44],"heterogeneous-ISA":[45,53,114],"systems,":[46],"specifically":[47],"because":[48],"To":[51],"date,":[52],"processors":[54],"have":[55],"required":[56],"significant":[57],"software":[58,70],"overheads,":[59],"workarounds,":[60],"coordination":[62],"layers,":[63],"making":[64],"more":[68,78],"advanced":[69,79],"hard,":[71],"motivating":[73],"little":[74],"further":[75],"hardware.":[80],"In":[81],"this":[82],"paper,":[83],"take":[85],"a":[86,93,117,122,131,190],"fused":[87],"approach":[88],"heterogeneity,":[90],"introduce":[92],"new":[94,125],"operating":[95],"system":[96],"(OS)":[97],"design,":[98,108],"fused-kernel":[100,133,195,224],"OS,":[101,134],"which":[102,164],"goes":[103],"beyond":[104],"multiple-kernel":[106,199,226],"OS":[107,126,145,150,196,200,227],"exploiting":[109],"cache-coherent":[110],"shared":[111],"memory":[112],"among":[113],"CPUs":[115],"as":[116],"first":[118],"principle":[119],"--":[120,162],"introducing":[121],"set":[123],"kernel":[127],"mechanisms.":[128],"built":[130],"prototype":[132],"Stramash-Linux,":[135],"demonstrate":[137,203],"applicability":[139],"design":[142,166],"monolithic":[144],"kernels.":[146],"profile":[148],"Stramash":[149],"components":[151],"on":[152,158,209],"real":[153],"hardware":[154],"but":[155],"tested":[156],"them":[157],"an":[159,180,215],"architectural":[160],"simulator":[161],"Stramash-QEMU,":[163],"build.":[168],"Our":[169],"evaluation":[170],"begins":[171],"by":[172],"validating":[173],"accuracy":[175],"simulator,":[178],"achieving":[179],"average":[181],"than":[184],"4%":[185],"errors.":[186],"then":[188],"perform":[189],"direct":[191],"comparison":[192],"between":[193,223],"state-of-the-art":[198],"designs.":[201,228],"Results":[202],"speedups":[204],"up":[206],"2.1\u00d7":[208],"NPB":[210],"benchmarks.":[211],"Further,":[212],"provide":[214],"in-depth":[216],"analysis":[217],"differences":[220],"trade-offs":[222]},"counts_by_year":[{"year":2025,"cited_by_count":4}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}