【正文】 until another thread supplies a matching Put(.). Conversely, on a call to the asynchronous method buff . Put(s), the caller never waits, but there are two possible behaviours with regard to other threads: — If there has previously been an unmatched call to buff . Get() then there is now a match, so the pending call is dequeued and its associated blocked thread is awakened to run the body of the chord, which returns s. — If there are no pending calls to buff . Get() then the call to buff . Put(s) is simply queued up until one arrives. Exactly which pairs of calls are matched up is unspeci?ed, so even a single threaded program such as Buffer buff = new Buffer()。 Agha et al. 1993。 } 11 } ... 在到 通話（ I， J）將阻止，直到 /除非服務已回答 x 上調(diào)用各自的回調(diào)。 j = snd。 // send the result back } } 一種常見的客戶端模式，然后涉及到幾個并發(fā)的異步請求后阻塞直到所有已完成。 } public void Exclusive() amp。 async idle() {} public void ReleaseExclusive() { idle()。 s()。 async idle() {} public void ReleaseExclusive() { idle()。} public void Shared() amp。觀察到的構(gòu)造 建立，每在類 OneCell 身體保留，簡單，易于驗證不變： 總是有一個掛起的異步方法調(diào)用：無論是 empty()，或 contains(o)。當一個細胞被創(chuàng)建，它是最初是空的（ ）。一個調(diào)用獲取塊，直到單元格是滿的，然后刪除，并返回其內(nèi)容： public class OneCell { public OneCell() { empty()。 打字問題 我們把 async 作為一個無效的亞型，并允許異步協(xié)變返回類型，只是在這兩個類型（偽）的情況下。 async reply(int j ) {return j 。例如，以下的實例類： class RendezVous { public int f (int i) amp。 制定重寫規(guī)則更加復雜和寬容是有可能的。如果認為執(zhí)行一個給定的方法包括所有同步和機構(gòu)，它出現(xiàn)的所有的復調(diào)，那么，我們繼承的限制似乎不是沒有道理的，因為在（非法）代碼，如 class C { 7 virtual void f () amp。 在一個特定的類： （ 7）具有相同的成員名稱和參數(shù)類型的所有方法頭簽名必須具有相同的屬性的返回類型和相同的套和修飾符。 methodheader]? body methodheader : := 屬性修飾符返回類型成員名（形參）。 public async Put(int n) { return ()。更確切地說，決定是否任何復調(diào)呼叫啟用，如果是這樣，從隊列中刪除其他懸而未決的呼叫和調(diào)度為執(zhí)行機構(gòu)，是一個原子操作。 也是不確定的（印刷或者“藍天”或“天藍”）。然后有兩種可能性： 如果有以前的未匹配過的的通話 buff . Put(s) (for some string s)，那么現(xiàn)在有一個比賽，所以離隊待沽 Put(s)和復調(diào)的身體運行，返回到呼叫者的 buff . Get()方法。頭是一套方法聲明由“＆”分隔。異步方法永遠不會返回結(jié)果（或拋出異常） 。且不說從原語，更多的或較少的基礎(chǔ)設施，在烤“讓人眼花繚亂，有一臺機器上（共享內(nèi)存，線程，同步的基礎(chǔ)上的東西是 20世紀 70 年代的并發(fā)模型之間的不匹配相互排斥）和異步，基于消息的風格，使用編程基于網(wǎng)絡的應用和服務。在與音樂的精神調(diào)諧的 C＃和并發(fā)活動的“協(xié)調(diào)流程”，我們稱這種語言復調(diào) C＃。在廣域網(wǎng)的水平，例如，在協(xié)作應用，分布式的工作流， Web 服務，我們現(xiàn)在遇到類似的問題，因為全球通信的異步性質(zhì)和潛伏期和復雜性。 最近在富爾和 Gonthier 的 [1996， 2020]加入演算中顯現(xiàn)了一個有趣的新的語言方法，進程演算非常適合在分布式的環(huán)境中直接執(zhí)行。值得關(guān)注的是沒有那么多的有效的實施和使用鎖在一個單一的處理器或者多重處理器，但沒有不必要的異步事件的處理能力阻止長期客戶，并沒有死鎖。此外，程序員可以更可靠說明自己的意圖，通過一個清晰的語法和其他工具比編輯者可以更容易地確定程序員的意圖。斯林等。 1 南京郵電大學 畢業(yè)設計 (論文 )外文資料翻譯 學 院 傳媒與藝術(shù)學院 專 業(yè) 數(shù)字媒體技術(shù) 學生姓名 黃超 班級學號 B080705 B08070525 外文出處 ACM Transactions on Programming Languages and Systems, Vol. 26, No. 5, September 2020 附件： ； 2 指導教師評價： 1．翻譯內(nèi)容與課題的結(jié)合度： □ 優(yōu) □ 良 □ 中 □ 差 2．翻譯內(nèi)容的準確、流暢： □ 優(yōu) □ 良 □ 中 □ 差 3．專業(yè)詞匯翻譯的準確性： □ 優(yōu) □ 良 □ 中 □ 差 4．翻譯字符數(shù)是否符合規(guī)定要求： □ 符合 □ 不符合 指導教師簽名： 年 月 日 3 附件 1：外文資料翻譯譯文 現(xiàn)代并發(fā)抽象 C＃ 尼克 1996 年 Detlefs 等。特定領(lǐng)域的語言 [Ramming 1997。換句話說，重心正在從共享內(nèi)存并發(fā)轉(zhuǎn)向消息或事件并發(fā)性。其他語言，如 JoCaml [Conchon and Le Fessant 1999]和 Funnel [Odersky 4 2020]，結(jié)合了類似功能編程模型的想法。 在所有這些領(lǐng)域，我們自然會發(fā)現(xiàn)有很多要處理的同時異步消息的情況下，多線程用來處理它們。 C 和 .NET C＃是一個現(xiàn)代，類型安全，面向?qū)ο缶幊陶Z言，最近微軟推出的 Visual ][ECMA 的一部分。因此， C＃中似乎是一個為主流的并發(fā)語 言支持我們的想法，理想的測試床語言。他們使用 async 關(guān)鍵字，而不是宣布無效。身體 只執(zhí)行一次所有的方法，在頭被稱為方法調(diào)用隱含排隊等候，直到 /除非是有現(xiàn)代并發(fā)抽象為 C＃匹配的復調(diào)。 如果是以前匹配過的來電 buff . Put(.)，然后調(diào)用 BUFF. get（）方法阻塞，直到另一個線程提供了一個匹配的 put（）。 請注意，執(zhí)行緩沖不涉及產(chǎn)生任何主題：復調(diào)本身在運行時，它在一個已經(jīng)存在的線程（即一個名為 Get()）。除了這個原子性的保證，然而，有沒有監(jiān)視器像復調(diào)機構(gòu)之間的相互排斥的。 } 6 } 現(xiàn)在我們已經(jīng)定義為數(shù)據(jù)緩沖區(qū)的方法之一，但有兩個把它的方法（其中發(fā)生類型，而不是要區(qū)分比名）。 我們呼吁復調(diào)聲明微不足道 的，如果它宣布一個單一的，同步的方法（即它是一個標準的 C 方法聲明）。 （ 8）如果它是一個值類（結(jié)構(gòu)），那么只有靜態(tài)方法可能會出現(xiàn)在不平凡的復調(diào)。 virtual async g () { /? body1 ?/ } virtual void f () amp。我們的目 前的規(guī)則有簡單的優(yōu)勢，但我們指的讀者富爾等。 public int g (int j ) { return j to f 。} } public int f (int i) { Thunk t = new Thunk()。從而 一個異步方法可以覆蓋一個 void 類型， 委托 void 類型，可以創(chuàng)建一個異步方法， 一個異步方法可以實現(xiàn)一個接口 void 方法 而不是相反。 } public void Put(object o) amp。 輸出和弦。 （相反可能有任意數(shù)量的客戶端線程阻塞與掛起的調(diào)用，把獲取，甚至同時運行的語句返回 0 到之前的變量 體。 async idle() {s(1)。 } 每一個版本如下規(guī)定相應的要求，不變是鎖狀態(tài)（沒有消息，一條消息空閑（），或單線程的種類和數(shù)量相匹配，目前消息小號 N 0（ N））持有該鎖（獨家線程，沒有線程，或 n 共享的線程）。 } public void Shared() amp。 } 僅我們的執(zhí)行和底層操作系統(tǒng)調(diào)度提供基本的公平屬性例如：如果有足夠的等候和弦對象的調(diào)用匹配一個和弦，那么至少有一個和弦最終會運行。 async s() { t()。這可以編程如下： class Join2 { public IntCallback ?rstcb。 } } class Client { public static void Main(string[] args) { Service s1 = . . . 。一旦發(fā)生這種情況，兩結(jié)果將被分配到 i 和 j，客戶端將繼續(xù)進行。 Reppy 1992。 buff . Put(“blue”)。 } } Now we have de?ned one method for getting data out of the buffer, but two methods for putting it in (which happen to be distinguished by type rather than name). A call to Get() can synchronize with a call to either of the Put() methods. If there are queued calls to both P ut()s, then which one synchronizes with a subsequent Get() is unspeci?ed. 3. INFORMAL SPECIFICATION Grammar The syntactic extensions to the C grammar [ECMA 2020, Appendix C] are very minor. We add a new keyword, async, and add it as an alternative return type: returntype : := type | void | async. This allows methods, delegates and interface methods to be declared asynchronous. In class member declarations, we replace method declaration with chord declaration: chorddeclaration : := Methodheader [amp。 when methods are overridden, all their chords must also be pletely overridden. If one takes the view that the implementation of a given method consists of all the synchronization and bodies of all the chords in which it appears then our inheritance restriction seems not unreasonable, since in (illegal) 4Neither ref nor out parameters make sense for asynchronous messages, since they are both passed as addresses of locals in a stack frame that may have disappeared when the message is processed. 5In C , methods that are intended to be overridable in subclasses are explicitl