广播通讯模式的阶层概念与碰撞.PDF

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