DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency
Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory coherence. This paper shows a practical DSM implementation based on the insight that the ownership model embedded in programmi...
Gespeichert in:
Veröffentlicht in: | arXiv.org 2024-06 |
---|---|
Hauptverfasser: | , , , , , , , , , |
Format: | Artikel |
Sprache: | eng |
Schlagworte: | |
Online-Zugang: | Volltext |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
container_end_page | |
---|---|
container_issue | |
container_start_page | |
container_title | arXiv.org |
container_volume | |
creator | Ma, Haoran Qiao, Yifan Liu, Shi Yu, Shan Ni, Yuanjiang Lu, Qingda Wu, Jiesheng Zhang, Yiying Kim, Miryung Xu, Harry |
description | Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory coherence. This paper shows a practical DSM implementation based on the insight that the ownership model embedded in programming languages such as Rust automatically constrains the order of read and write, providing opportunities for significantly simplifying the coherence implementation if the ownership semantics can be exposed to and leveraged by the runtime. This paper discusses the design and implementation of DistR, a Rust-based DSM system that outperforms the two state-of-the-art DSM systems GAM and Grappa by up to 2.64x and 29.16x in throughput, and scales much better with the number of servers. |
format | Article |
fullrecord | <record><control><sourceid>proquest</sourceid><recordid>TN_cdi_proquest_journals_3065122617</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>3065122617</sourcerecordid><originalsourceid>FETCH-proquest_journals_30651226173</originalsourceid><addsrcrecordid>eNqNissKwjAUBYMgKOo_XHBroU1sK26t1YVutK4ltqleiUnNA_HvjeAHuJrDnOmRIWUsiRZzSgdkYu09jmOa5TRN2ZDo4uCtW8KOq6vnVxFtPDaigQKtM3jxLuzjjZuAvXho84YXuhuUqARsDFdecoPuPYPSSwlVMLYLtaqD4qqBk3SGw7ptscavHZN-y6UVkx9HZFquq9U26ox-emHd-a69UeE6szhLE0qzJGf_VR8bxEm9</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>3065122617</pqid></control><display><type>article</type><title>DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency</title><source>Free E- Journals</source><creator>Ma, Haoran ; Qiao, Yifan ; Liu, Shi ; Yu, Shan ; Ni, Yuanjiang ; Lu, Qingda ; Wu, Jiesheng ; Zhang, Yiying ; Kim, Miryung ; Xu, Harry</creator><creatorcontrib>Ma, Haoran ; Qiao, Yifan ; Liu, Shi ; Yu, Shan ; Ni, Yuanjiang ; Lu, Qingda ; Wu, Jiesheng ; Zhang, Yiying ; Kim, Miryung ; Xu, Harry</creatorcontrib><description>Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory coherence. This paper shows a practical DSM implementation based on the insight that the ownership model embedded in programming languages such as Rust automatically constrains the order of read and write, providing opportunities for significantly simplifying the coherence implementation if the ownership semantics can be exposed to and leveraged by the runtime. This paper discusses the design and implementation of DistR, a Rust-based DSM system that outperforms the two state-of-the-art DSM systems GAM and Grappa by up to 2.64x and 29.16x in throughput, and scales much better with the number of servers.</description><identifier>EISSN: 2331-8422</identifier><language>eng</language><publisher>Ithaca: Cornell University Library, arXiv.org</publisher><subject>Coherence ; Distributed memory ; Ownership ; Programming languages ; Semantics ; Servers ; Synchronism</subject><ispartof>arXiv.org, 2024-06</ispartof><rights>2024. This work is published under http://creativecommons.org/licenses/by/4.0/ (the “License”). Notwithstanding the ProQuest Terms and Conditions, you may use this content in accordance with the terms of the License.</rights><oa>free_for_read</oa><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>776,780</link.rule.ids></links><search><creatorcontrib>Ma, Haoran</creatorcontrib><creatorcontrib>Qiao, Yifan</creatorcontrib><creatorcontrib>Liu, Shi</creatorcontrib><creatorcontrib>Yu, Shan</creatorcontrib><creatorcontrib>Ni, Yuanjiang</creatorcontrib><creatorcontrib>Lu, Qingda</creatorcontrib><creatorcontrib>Wu, Jiesheng</creatorcontrib><creatorcontrib>Zhang, Yiying</creatorcontrib><creatorcontrib>Kim, Miryung</creatorcontrib><creatorcontrib>Xu, Harry</creatorcontrib><title>DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency</title><title>arXiv.org</title><description>Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory coherence. This paper shows a practical DSM implementation based on the insight that the ownership model embedded in programming languages such as Rust automatically constrains the order of read and write, providing opportunities for significantly simplifying the coherence implementation if the ownership semantics can be exposed to and leveraged by the runtime. This paper discusses the design and implementation of DistR, a Rust-based DSM system that outperforms the two state-of-the-art DSM systems GAM and Grappa by up to 2.64x and 29.16x in throughput, and scales much better with the number of servers.</description><subject>Coherence</subject><subject>Distributed memory</subject><subject>Ownership</subject><subject>Programming languages</subject><subject>Semantics</subject><subject>Servers</subject><subject>Synchronism</subject><issn>2331-8422</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2024</creationdate><recordtype>article</recordtype><sourceid>BENPR</sourceid><recordid>eNqNissKwjAUBYMgKOo_XHBroU1sK26t1YVutK4ltqleiUnNA_HvjeAHuJrDnOmRIWUsiRZzSgdkYu09jmOa5TRN2ZDo4uCtW8KOq6vnVxFtPDaigQKtM3jxLuzjjZuAvXho84YXuhuUqARsDFdecoPuPYPSSwlVMLYLtaqD4qqBk3SGw7ptscavHZN-y6UVkx9HZFquq9U26ox-emHd-a69UeE6szhLE0qzJGf_VR8bxEm9</recordid><startdate>20240627</startdate><enddate>20240627</enddate><creator>Ma, Haoran</creator><creator>Qiao, Yifan</creator><creator>Liu, Shi</creator><creator>Yu, Shan</creator><creator>Ni, Yuanjiang</creator><creator>Lu, Qingda</creator><creator>Wu, Jiesheng</creator><creator>Zhang, Yiying</creator><creator>Kim, Miryung</creator><creator>Xu, Harry</creator><general>Cornell University Library, arXiv.org</general><scope>8FE</scope><scope>8FG</scope><scope>ABJCF</scope><scope>ABUWG</scope><scope>AFKRA</scope><scope>AZQEC</scope><scope>BENPR</scope><scope>BGLVJ</scope><scope>CCPQU</scope><scope>DWQXO</scope><scope>HCIFZ</scope><scope>L6V</scope><scope>M7S</scope><scope>PIMPY</scope><scope>PQEST</scope><scope>PQQKQ</scope><scope>PQUKI</scope><scope>PRINS</scope><scope>PTHSS</scope></search><sort><creationdate>20240627</creationdate><title>DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency</title><author>Ma, Haoran ; Qiao, Yifan ; Liu, Shi ; Yu, Shan ; Ni, Yuanjiang ; Lu, Qingda ; Wu, Jiesheng ; Zhang, Yiying ; Kim, Miryung ; Xu, Harry</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-proquest_journals_30651226173</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2024</creationdate><topic>Coherence</topic><topic>Distributed memory</topic><topic>Ownership</topic><topic>Programming languages</topic><topic>Semantics</topic><topic>Servers</topic><topic>Synchronism</topic><toplevel>online_resources</toplevel><creatorcontrib>Ma, Haoran</creatorcontrib><creatorcontrib>Qiao, Yifan</creatorcontrib><creatorcontrib>Liu, Shi</creatorcontrib><creatorcontrib>Yu, Shan</creatorcontrib><creatorcontrib>Ni, Yuanjiang</creatorcontrib><creatorcontrib>Lu, Qingda</creatorcontrib><creatorcontrib>Wu, Jiesheng</creatorcontrib><creatorcontrib>Zhang, Yiying</creatorcontrib><creatorcontrib>Kim, Miryung</creatorcontrib><creatorcontrib>Xu, Harry</creatorcontrib><collection>ProQuest SciTech Collection</collection><collection>ProQuest Technology Collection</collection><collection>Materials Science & Engineering Collection</collection><collection>ProQuest Central (Alumni Edition)</collection><collection>ProQuest Central UK/Ireland</collection><collection>ProQuest Central Essentials</collection><collection>ProQuest Central</collection><collection>Technology Collection</collection><collection>ProQuest One Community College</collection><collection>ProQuest Central Korea</collection><collection>SciTech Premium Collection</collection><collection>ProQuest Engineering Collection</collection><collection>Engineering Database</collection><collection>Publicly Available Content Database</collection><collection>ProQuest One Academic Eastern Edition (DO NOT USE)</collection><collection>ProQuest One Academic</collection><collection>ProQuest One Academic UKI Edition</collection><collection>ProQuest Central China</collection><collection>Engineering Collection</collection></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Ma, Haoran</au><au>Qiao, Yifan</au><au>Liu, Shi</au><au>Yu, Shan</au><au>Ni, Yuanjiang</au><au>Lu, Qingda</au><au>Wu, Jiesheng</au><au>Zhang, Yiying</au><au>Kim, Miryung</au><au>Xu, Harry</au><format>book</format><genre>document</genre><ristype>GEN</ristype><atitle>DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency</atitle><jtitle>arXiv.org</jtitle><date>2024-06-27</date><risdate>2024</risdate><eissn>2331-8422</eissn><abstract>Despite being a powerful concept, distributed shared memory (DSM) has not been made practical due to the extensive synchronization needed between servers to implement memory coherence. This paper shows a practical DSM implementation based on the insight that the ownership model embedded in programming languages such as Rust automatically constrains the order of read and write, providing opportunities for significantly simplifying the coherence implementation if the ownership semantics can be exposed to and leveraged by the runtime. This paper discusses the design and implementation of DistR, a Rust-based DSM system that outperforms the two state-of-the-art DSM systems GAM and Grappa by up to 2.64x and 29.16x in throughput, and scales much better with the number of servers.</abstract><cop>Ithaca</cop><pub>Cornell University Library, arXiv.org</pub><oa>free_for_read</oa></addata></record> |
fulltext | fulltext |
identifier | EISSN: 2331-8422 |
ispartof | arXiv.org, 2024-06 |
issn | 2331-8422 |
language | eng |
recordid | cdi_proquest_journals_3065122617 |
source | Free E- Journals |
subjects | Coherence Distributed memory Ownership Programming languages Semantics Servers Synchronism |
title | DRust: Language-Guided Distributed Shared Memory with Fine Granularity, Full Transparency, and Ultra Efficiency |
url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-29T23%3A55%3A54IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest&rft_val_fmt=info:ofi/fmt:kev:mtx:book&rft.genre=document&rft.atitle=DRust:%20Language-Guided%20Distributed%20Shared%20Memory%20with%20Fine%20Granularity,%20Full%20Transparency,%20and%20Ultra%20Efficiency&rft.jtitle=arXiv.org&rft.au=Ma,%20Haoran&rft.date=2024-06-27&rft.eissn=2331-8422&rft_id=info:doi/&rft_dat=%3Cproquest%3E3065122617%3C/proquest%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=3065122617&rft_id=info:pmid/&rfr_iscdi=true |