{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,12,6]]，“日期时间”：“2023-12-06T12:59:23Z”，“时间戳”：1701867563190}，“引用计数”：25，“发布者”：“计算机协会（ACM）”，“问题”：“4”，“内容域”：{-“域”：[“dl.ACM.org”]，“交叉标记限制”：true}，“short-container-title”：[“ACM Trans.Program.Lang.Syst.”]，“published-print”：{“date-parts”：[[1988,10]]}，“abstract”：“\n给出了读-修改-写（RMW）同步操作的一种新形式。这种形式用于将NYU超级计算机中引入的内存引用组合机制扩展到任意RMW操作。给出了这种组合机制的形式化正确性证明。讨论了组合实用性的一般要求。对于许多有用的内存访问操作，组合被证明是可行的。这包括窗体的内存更新\n内存<\/jats:italic>\n _\nval<\/jats:italic>\n：=\n内存<\/jats:italic>\n _\nval op val<\/jats:italic>\n，其中\nop<\/jats:italic>\n不需要关联，也不需要各种同步原语。所涉及的计算与并行前缀计算密切相关。\n<\/jats:p>“，”DOI“：”10.1145\/48022.48024“，”type“：”journal-article“，”created“：{”date-parts“：[2002,10,7]]，”date-time“：”2002-10-07T13:52:47Z“，”timestamp“：1033998767000}，”page“：by-count“：49，”title“：[”具有共享内存的多处理器的高效同步“]，”前缀“：”10.1145“，”卷“：”10“，”作者“：[{”给定“：”克莱德·P“，”家族“：”克鲁斯卡尔“，”序列“：”第一“，”从属“：[}”名称“：”马里兰大学，大学公园“}]}，{”给出“：”拉里“，”家庭“：”鲁道夫“，”顺序“：”附加“，”附属“：[[{“名称”：“耶路撒冷希伯来大学”}]}，{给定“：”Marc“，”family“：”Snir“，”sequence“：”additional“，”affiliation“：[{”name“：”IBM T.J.Watson Research Center，Yorktown Heights，NY“}]}]，”member“：”320“，”published-online“：{”date-parts“：[[1988,10]]}，”reference“：[}”key“：”e_1_1_2_1_2“，”series-title“：”计算机科学讲座笔记，16“，”首页“：”93“，”卷时间“：”“操作系统国际研讨会”，“作者”：“CAMBPELL R.H.”，“年份”：“1974年”，“非结构化”：“CAMBPELL，R.H，AND HABERMAN，A.N.通过路径表达式实现进程同步的规范。在操作系统国际研讨会上。计算机科学课堂讲稿，16。E.Gelenbe和C.Kaise，Eds.Springer-Verlag，纽约，1974年，第93-106页。CAMBPELL，R.H.和HABERMAN，A.N.通过路径表达式实现进程同步的规范。在操作系统国际研讨会上。计算机科学课堂讲稿，16。E.Gelenbe和C.Kaise，Eds.Springer-Verlag，纽约，1974年，第93-106页。“}，{“key”：“E_1_2_3_2”，“volume-title”：“Ultracomputer Note 93”，“author”：“DICKEY S.”，“year”：“1986”，“unstructured”：“DICKEY，S.，KENNER，R.，AND SN{R，M。纽约大学超级计算机组合网络的实现，超级计算机注释93，纽约大学，1986年1月。纽约大学超级计算机组合网络的实现，超级计算机注释93，纽约大学，1986年1月。“}，{”key“：”e_1_2_1_4_2“，”first page“：“110”，“volume-title”：“IEEE Proceedings of the International Con{erence on Computer Design，（纽约州切斯特港），“author”：“DICKEY S.”，“year”：“1985”，“unstructured”：“DICKEY，S.、KENNER，R.、SNIR，M.和SOLWORTH，J.纽约大学超级计算机的VLSI组合网络。IEEE计算机设计国际会议论文集（纽约切斯特港，1985年10月）。IEEE，纽约，1985年，第110-113页。DICKEY，S.，KENNER，R.，SNIR，M.，AND SOLWORTH，J。纽约大学超级计算机的超大规模集成电路组合网络。IEEE Proceedings of the International Conference on Computer Design，（Port Chester，N.Y.，1985年10月）。IEEE，纽约，1985年，第110-113页。顺序过程的层次排序。《学报》{.1（1971），115-138。DIJKSTRA，E.W.顺序过程的层次排序。《学报》{.1（1971），115-138.“}，{“key”：“e_1_2_1_6_2”，“volume-title”：“纽约大学”，“author”：“DRAUOHON e.”，“year”：“1967”，“unstructured”：“DRAUOHON，e.，GRISHMAN，R.，SCHWARTZ，J.，AND STEIN，A.并行计算机编程注意事项。IMM 362，纽约大学数学科学学院，纽约，1967年。DRAUOHON，E.、GRISHMAN，R.、SCHWARTZ，J.和STEIN，A.并行计算机的编程注意事项。代表IMM 362，纽约大学数学科学学院，纽约，1967年。“}，{”key“：”e_1_2_1_7_2“，”doi-asserted-by“：”crossref“，”first page“：“6”，”doi“：”10.1109\/MC.1985.1662920“，”volume“：。多处理器系统中的基本问题。IEEE计算。第18、6页（1985年6月），第9-28页。GAJSKI，D.D.和PEIR，J.-K。多处理机系统中的基本问题。IEEE计算。18，6（1985年6月），9-28。”，“期刊标题”：“IEEE计算。“}，{”key“：”e_1_1_8_2“，”first page“：“75”，“volume”：“2”，“author”：“GOTTLIEB A.”，“year”：“1983”，“unstructured”：“GOTTLIEB，A.，GRISHMAN，R.，KRUSKAL，C.P.，MCAULIFFE，K.P.，RUDOLPH，L.，AND SNIR，M.纽约大学超级计算机——设计MIMD并行计算机。IEEE Trans.Compute.C-32，2（1983年2月）, 75 - 89 . GOTTLIEB，A.、GRISHMAN，R.、KRUSKAL，C.P.、MCAULIFFE，K.P.、RUDOLPH，L.和SNIR，M.纽约大学超级计算机——设计MIMD并行计算机。IEEE传输。计算。C-32，2（1983年2月），75-89。”，“期刊标题”：“IEEE Trans。计算。C-32“}，{“键”：“e_1_1_9_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/859515.859517”}，}“键“：”e_1_cu1_10_2“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/69624.357206“}”，{键“：“：”e_1_2_1_12_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/322217.32232“}，{”key“：”e_1_2_1_13_2“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/359545.359563“}，{”key“：”e_1_i_14_2“，“doi-assert-by”：“crossref”，“first page”：“690”，“doi”：“10.1109\/TC.1979.1675439”，“volume”：”9“，”author“：”LAMPORT L.“，“year”：“1979”，“unstructured”：“LAMPORT，L.”。如何使多处理器计算机正确执行多进程程序。IEEE传输。计算。C-28，9（1979年9月），690-691。LAMPORT，L.如何制作正确执行多进程程序的多处理器计算机。IEEE传输。计算。C-28，9（1979年9月），690-691。”，“期刊标题”：“IEEE Trans。计算。C-28“}，{“key”：“e_1_1_15_2”，“doi-asserted-by”：“crossref”，“首页”：“2”，“doi”：“10.1007\/BF01786227”，“卷”：“1”，“作者”：“LAMPORT L”，“年份”：“1986年”，“非结构化”：“关于进程间通信。Distrib.Comput.1，2（1986年4月），77-101。LAMPORT，L.关于进程间通信。分布计算。1，2（1986年4月），77-101。“，“新闻标题”：“分发计算。“}，{”key“：”e_1_1_16_2“，”首页“：”35“，”volume-title“：”1986年并行处理国际会议，（1986年8月），“author”：“LEE G.”，“year”：“1986”，“unstructured”：“LE，G.，KRUSKAL，C.P.，AND KUCK，D.J。在存在“热点”的多级互连网络中组合的有效性。1986年国际并行处理会议（1986年8月）。IEEE，纽约，1986年，第35-41页。LEE，G.、KRUSKAL，C.P.和KUCK，D.J.在存在“热点”的多级互连网络中组合的有效性。1986年国际并行处理会议（1986年8月）。IEEE，纽约，1986年，第35-41页。“}，{”key“：”e_1_2_1_17_2“，”doi-asserted-by“：”crossref“，”first page“：“1”，“doi”：“10.1016\/0304-3975（81）90109-2”，“volume”：“13”，“author”：“LYNCH N.”，“year”：“1981”，“unstructured”：“LYNCH，N.，AND FISHER，M.J.关于描述分布式系统的行为和实现。Theor.Compute.Sci.13，1（1981年1月）, 17-43. LYNCH，N.和FISHER，M.J.关于描述分布式系统的行为和实现。西奥。计算。科学。13，1（1981年1月），17-43。”，“新闻标题”：“Theor。计算。科学。“}，{”key“：”e_1_1_18_2“，”volume-title“：”操作系统概念“，”author“：”PETERSON J.“，”year“：”1983“，”unstructured“：”PETERSON J.，AND SILBERSHATZ，A.操作系统概念，Addison-Wesley，Reading，Mass.，1983。“}”，{“key”：“e_1_2_1_19_2”，“第一页”：“784”，“卷标题”：“IEEE”，“作者”：“PFISTER G.H.”，“年份”：“1985”，“非结构化”：“PFISTER，G.H.，ET AL。IBM Research并行处理器原型（RP3）：简介和体系结构。1985年国际并行处理规范。IEEE，纽约，1985年，第784-772页。PFISTER，G.H.，ET AL。IBM Research Parallel Processor Prototype（RP3）：简介和体系结构。1985年国际平行处理规范。美国电气与电子工程师协会，纽约，1985,784-772.“}，{”键“：”e_1_2_1_20_2“，”首页“：”933“，”卷“：”10“，”作者“：”PFISTER G.H.“，”年份“：”1985“，”非结构化“：”PFISTER，G.H.，ANO NORTON，A.《多级互连网络中的‘热点’竞争和合并》。IEEE Trans.Compute.C-34，10（1985年10月），933-938。H.，ANO NORTON，A.《多级互连网络中的‘热点’竞争和合并》，IEEE Trans.Compute.C-34，10（1985年10月），933-938.“，“日志标题”：“IEEE Trans.Comput.C-34”}，{“key”：“e_1_1_21_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/7902.7905”}、{“key”：”e_2_1_23_2“，“doi-asserted-by”：10.1145\/2465.2467“}，{“key”：“e_1_2_1_24_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/42190.42277”}，“key“：”e_1_i_1_25_2“，“首页”：“241”，“卷标”：“{SPIE.国际光学工程学会论文集”，“作者”：“SMITH B.J.”，《年份》：“1981”，“非结构化”：“史密斯，B.J。HEP多处理器计算机系统的结构和应用。实时信号处理IV，SPIE论文集。国际光学工程学会，1981年，第241-248页。SMITH，B.J.HEP多处理器计算机系统的架构和应用。实时信号处理Ⅳ，SPIE.国际光学工程协会，1981年。“}，{”key“：”e_1_2_1_26_2“，”first page“：“105”，”volume-title“：”The 4th Annual Symposium on Computer Architecture（1977），“author”：“SULLIVAN H.”，“year”：“1977”，“unstructured”：“SULLIVAN，H.，BASHKOW，T.R.，AND KLAPPHOLZ，D.大型、同构、全分布式并行机。第四届计算机体系结构年会（1977）。IEEE，纽约，1977年，第105-134页。10.1145 \/800255.810659 SULLIVAN，H.、BASHKOW，T.R.和KLAPPHOLZ，D.大型、均质、全分布式并联机器。第四届计算机体系结构年度研讨会（1977年）。IEEE，纽约，1977年，第105-134页。10.1145\/800255.810659“}，{“key”：“e_1_2_1_27_2”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/TSE.1987.233477”}]，“container-title”：[“ACM Transactions on Programming Languages and Systems”]，“original-title“：[]，“language”：“en”，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/48022.48024”，“content-type”：“unspecified”，“content-version”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2023,1,2]]，“日期-时间”：“2023-01-02T21:45:59Z”，“时间戳”：1672695959000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/48024804”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[1988,10]]｝，“引用次数”：25，“期刊“：｛”问题“：”4“，”published-print“：{”date-parts“：[[1988,10]]}}，”alternative-id“：[”10.1145\/48022.48024“]，”URL“：”http://\\/dx.doi.org\/10.1145\/4802.248024“，”relationship“：{}，“ISSN”：[”0164-0925“，”1558-4593“]，“ISSN-type”：[{“value”：“0164-092”，”type“：”print“}”，{“值”：“”1558-4593“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[[1988,10]]}，”断言“：[{”value“：”1988-10-01“，”order“：2，”name“：”published“，”label“：”published“，”group“：{”name“:”publication_history“，”标签“：”publication history“}}]}