广播通讯模式的阶层概念跟碰撞资料.docVIP

PAGE 2 廣播通訊模式的階層概念與碰撞 蕭學宏 長榮管理學院圖書館資訊組組長﹐兼資管系講師 長榮管理學院圖書館資訊組組長﹐兼資管系講師 中山大學應用數學系副教授﹐兼電子計算機中心資料組組長 shiaush@mail.cju.edu.tw cbyang@math.nsysu.edu.tw 中文摘要 現今最常用的乙太網路(Ethernet)﹐其通訊模式就是一種廣播通訊模式。在此種廣播通訊模式下的演算法﹐如能運用階層觀念(layer concept)﹐將可減少碰撞﹐有效加快演算速度。本文中﹐我們以廣播通訊模式下﹐搜尋最大值的問題為例子﹐提出未加入此種觀念的演算法﹐並分析其平均時間複雜度為?(ln2 n)。而有運用此觀念的演算法﹐其平均時間複雜度為?(ln n)。因此﹐在廣播通訊模式下的演算法﹐若能運用階層的觀念﹐對於加快演算速度將有所幫助。 關鍵詞﹕平行演算法﹑廣播通訊模式﹑階層觀念﹑搜尋最大值﹑碰撞 一﹑研究背景與目的 在眾多平行計算模式(parallel computation models)中﹐有多種簡單的模式﹐而廣播通訊模式(broadcast communication mode)﹐就是其中的一種[1-12]。在此模式下﹐全部的機器共享唯一的通道﹐並藉由此一通道﹐進行訊號的連通(如圖1所示)。當有一部機器廣播(Broadcast)訊號時﹐其他的機器可藉此通道接收訊號。當有二部以上的機器同時想要傳送消息時﹐就會發生廣播碰撞(broadcast conflict)﹐此時就有一個機制(resolution scheme)來解決碰撞﹐使得只有一部機器可以傳播資料。 1 1 2 3 4 5 7 6 8 圖1 此種模式不僅是較簡單的模式﹐而且是較切合實際。現今最普遍的網路架構﹐以乙太網路(Ethernet)為主﹐其通訊模式就是一種廣播通訊模式。此種模式最大的特徵﹐就是必須解決碰撞問題。如果碰撞是無可避免的﹐那如何減少碰撞次數﹐將是關鍵性的問題。 在此種模式下架構演算法﹐所需花費的時間共分三部分。第一部份是解決碰撞所需的時間﹐第二部分是資料傳輸所需的時間﹐最後一部份是進行運算所需的時間。若能減少此三部分時間之總和﹐就能增進此演算法的執行效率。而其最具關鍵性的步驟﹐是減少第一部份的時間﹐換言之﹐就是減少碰撞次數。 目前所知大概有二種概念﹐可以減少碰撞次數。第一種是﹐調整廣播機率的大小﹐如此可期待大約有一個資料可廣播成功。第二種是﹐逐一建立邏輯性的階層﹐在建立階層的過程﹐將資料分佈在每一個邏輯性的階層之中﹐達到分散資料﹐以減少參加碰撞的資料個數。不論是第一或第二種概念﹐皆能有效減少碰撞次數。第一種概念是由Martel所提出的[6]﹐雖然﹐此概念應用在尋找最大值的問題上﹐能證出具有O(ln n)的效果﹐但是缺乏更嚴謹的上下界限﹐以供參考比較。 第二種概念是由作者之一﹐楊昌彪教授所提出的[10]。在廣播通訊模式下﹐將此概念運用在尋找最大值的問題上﹐我們已證出[12]平均所需的時間槽縫(time slots)﹐以 Tn 表示﹐則4*ln n Tn 5*ln n。而Grabner和Prodinger[14]﹐則利用艱深的數學﹐精準地證出 Tn /ln n ? ?2/(3*ln 2) = 4.746276…。不論是何者﹐皆證明我們運用階層概念的演算法﹐其平均時間複雜度為?(ln n)。現在我們不僅試圖將此概念推廣至其他的應用﹐也有興趣探討在尋找最大值的問題上﹐如沒有運用階層概念﹐或其他概念﹐而改以直覺方式進行﹐將會有何結果﹖兩者之間的差距﹐會有多大﹖經我們證明其結果是?(ln2 n)﹐ 確實比運用階層概念的演算法﹐差上一個級數。此一結果證實運用階層概念有其效果﹐因此﹐在廣播通訊模式下想要發展有效的演算法﹐階層概念是可考慮的方向。而直覺方式的結果﹐可為其他新的概念﹐提供一個比較的基石。 以下我們將先介紹在廣播通訊模式下﹐如何以扔銅板的方式﹐解決碰撞問題﹐並說明其時間複雜度為?(ln n)。然後再介紹在廣播通訊模式下﹐如何以直覺方式尋找最大值﹐並分析其時間複雜度為?(ln2 n)。 最後則介紹階層概念﹐如何應用在找尋最大值的問題上。我們已證出[12]其時間複雜度為?(ln n)﹐至於詳細的說明及證明﹐在此省略。 二﹑扔擲銅板解決廣播碰撞之時間複雜度 在廣播通訊模式下﹐通道的狀況僅有三種。第一種是﹐僅有一部機器﹐想要在通道廣播﹐當然資料廣播成功。第二種是﹐有二部以上的機器﹐皆想在通道廣播﹐結果產生碰撞。第三種是﹐沒有機器想要在通道廣播﹐結果通道是安靜無聲。不論是哪一種狀況﹐都會花費一個’時間槽縫’(time slot)。以下我們將詳細解說以扔擲銅板方式﹐作為為解決碰撞的機制。 假設有n個資料均分在n部機器﹐換言之﹐每部機器各自擁有一