Kasım Sinan YILDIRIM Danışman: Doç. Dr. Aylin KANTARCI Doktora Tezi 12.04.2012.

... konulu sunumlar: "Kasım Sinan YILDIRIM Danışman: Doç. Dr. Aylin KANTARCI Doktora Tezi 12.04.2012."— Sunum transkripti:

1 Kasım Sinan YILDIRIM Danışman: Doç. Dr. Aylin KANTARCI Doktora Tezi 12.04.2012

2 İ çerik  Altyapı  Yavaş Sel Tabanlı Saat Eşzamanlaması  Saatlerin Geri Alınmasını Engelleyen Bir Yöntem  Dışsal Meyilli Saat Eşzamanlaması  Optimal Meyilli Saat Eşzamanlama Algoritmalarının Gerçekleştirimlerini Kolaylaştırmak Üzerine Bir Çalışma  Sonuçlar 2 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

3 ALTYAPI Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

4 Saat Donanımı Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 4  Salınım frekansı 32 KHz ya da 7.37 MHz olabilen bir kristal salınıcı  Sayaç yazmaçı her salınım darbesinde 1 artıyor.  Saat sapmaları 30-50 ppm – her saniyede en fazla 50 mikrosaniye (saatte 0.18s) Mica2 7.37 MHz quartz 32 kHz quartz

5 İ letişim Hattındaki Belirsizlikler Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 5

6 Saat Eşzamanlamasının Önemi Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 6 Çalışma Çevrimi TDMA Algılama Donanım Saati Konum Bulma Saat Eşzamanlama Protokolü

7 Sistem Modeli Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 7  Donanım Saati  İ letişim A ğ ı  Mantıksal Saat Rastgele Mesaj Gecikmeleri Saat 152 Saat 102 Saat 132

8 Saat Eşzamanlama Problemi Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 8  Herhangi iki dü ğ ümün arasındaki mantıksal saat farkını eniyilemek – Genel Saat Farkı  Birbirine komşu dü ğ ümler arasındaki mantıksal saat farkını eniyilemek – Yerel Saat Farkı Genel Yerel

9 YAVAŞ SEL TABANLI SAAT EŞZAMANLAMASI 9 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

10 Saatler Arasında Do ğ rusal İ lişki Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 10 Göreceli İ lerleme hızı

11 Flooding Time Synchronization Protocol (Maroti et. al. SenSys 2004) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 11 2 3 1 D t

12 Bekleme Sürelerinin Etkisi Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 12 Her sekmede Şişen tahmin hataları

13 PulseSync (Lenzen et. al. SenSys 2009) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 13 2 3 1 D t

14 FTSP - PulseSync Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 14

15 Açık Problem - I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 15  Hızlı Sel yöntemi, dü ğ ümler kendi komşuları iletişimlerini bitirmeden seli ilerletemeyeceklerinden dolayı Kablosuz Algılayıcı A ğ larında yavaş olabilmektedir (Schmid et al., SenSys 2010). t slot 1slot 2 slot n

16 Açık Problem - II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 16  Yavaş sel yönteminin Kablosuz Algılayıcı A ğ larındaki saat eşzamanlaması üzerindeki olumsuz etkisi, selin yayılım hızı ve iletişim sıklı ğ ı de ğ iştirilmeden giderilebilir mi?

17 E ğ im Geçmişi Kullanmak- I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 17  Amaç bir e ğ im geçmişi kullanarak, en küçük kareler yöntemi ile hesaplanan do ğ rusal ba ğ lanım do ğ rusunun e ğ imini daha tutarlı hale getirmek.  Uygulamalara iletilecek mantıksal saat de ğ eri, varyansı daha düşük olan bir e ğ im de ğ eri ile hesaplansın.

18 FTSP – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 18

19 E ğ im Geçmişi Kullanmak- II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 19....

20 FTSP ME – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 20

21 FTSP OE – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 21

22 FTSP OGE – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 22

23 En Küçük Varyansa Sahip İ kili E ğ im EKVS İ E Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 23

24 FTSP EKVS İ E– 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 24

25 Hız Seli Eşzamanlama Protokolü (HSEP) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 25 2 3 1 D Mantıksal SaatDonanım SaatiGöreceli Hız Mesaj Yapısı A ğ ın çapının Üstel bir fonksiyonu

26 HSEP – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 26

27 Da ğ ıtık Ortalama Alma Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 27 10 6 26 8 66.6 7 6 6 6 6

28 Saat Hızı Uzlaşma Protokolü (SHUS) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 28 2 3 1 D A ğ ın çapının karekökünün bir fonksiyonu

29 SHUS – 20 MICAz dü ğ ümü Do ğ rusal İ linge Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 29

30 Deneysel Sonuçların Özeti Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 30

31 SHUS – Benzetim Sonuçları Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 31

32 Sonuç ve Yorumlar -I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 32  Saat hızı uzlaşması, bekleme sürelerinin saat eşzamanlamasına olan etkisini büyük ölçüde düşürmüştür.  SHUS, FTSP protokolünün başarımını yaklaşık 20 kat arttırmıştır.  Yavaş sel yönteminin ölçeklenebilir oldu ğ u gösterilmiştir.

33 Sonuç ve Yorumlar -II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 33  Uzlaşma süresinin büyüklü ğ ü  Kısıtlı sayıda komşu takip edilebilir.  Yo ğ un komşuluk ilişkilerinin oldu ğ u bir a ğ da, hangi komşunun takibi yapılacak?

34 SAATLER İ N GER İ ALINMASINI ENGELLEYEN B İ R YÖNTEM 34 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

35 Açık Problem Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 35  Mantıksal saatler, saat eşzamanlamasına yönelik tüm teorik çalışmalarda, monoton artan fonksiyonlar olarak modellenmişlerdir.  En küçük kareler (EKK) yöntemi, uygulamadaki birçok saat eşzamanlaması protokolü tarafından kullanılmaktadır.  FTSP!!!  EKK, saatlerin geri alınmasına yol açabilmektedir.  Saatlerin geri alınmasını nasıl engelleyece ğ iz??

36 En Küçük Kareler – Saatlerin Geri Alınması Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 36

37 Geri Alınmayı Kaydırma İ le Engellemek Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 37 X X/2

38 FTSP ve De ğ iştirilmiş FTSP: 20 MICAz dü ğ ümü Do ğ rusal İ linge - I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 38

39 FTSP ve De ğ iştirilmiş FTSP: 20 MICAz dü ğ ümü Do ğ rusal İ linge - II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 39

40 Sonuç ve Yorumlar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 40  Saat eşzamanlama protokollerinde yaygın şekilde kullanılan EKK yönteminin saatlerin geri alınmasına yol açabilece ğ i gösterilmiştir.  Bunu engelleyecek bir yöntem ortaya koyulmuştur.  Aynı zamanda saat farkları da azalmaktadır.  İ leri zaman süreksizlikleri?

41 DIŞSAL MEY İ LL İ SAAT EŞZAMANLAMASI 41 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

42 Dayanak Dü ğ ümüne İ htiyaç Duyan Protokoller Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 42 Büyük yerel saat farkı

43 Gradient Time Synchronization Protocol (Sommer and Wattenhofer, IPSN 2009) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 43 2 3 1 D

44 FTSP - GTSP Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 44 FTSPGTSP

45 Açık Problem Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 45  GTSP’de dayanak dü ğ ümü yok. Tüm dü ğ ümler komşularına eşzamanlanıyorlar.  GTSP ile dışsal eşzamanlama nasıl sa ğ lanacak? (Schmid et. al. 2009)  Yerel saat farkı da aynı zamanda nasıl eniyilenecek?

46 Dışsal Meyilli Saat Eşzamanlama Protokolü (DMSEP) -I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 46 Mantıksal SaatDonanım SaatiHız ÇarpanıKökün Hız ÇarpanıKök Öteleme Mesaj Yapısı GTSP’deki uzlaşım algoritması için gerekli Dışsal eşzamanlama için gerekli

47 Dışsal Meyilli Saat Eşzamanlama Protokolü (DMSEP) - II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 47 2 3 1 D

48 GTSP - DMSEP Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 48

49 Deneyler Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 49

50 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 50

51 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 51

52 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 52

53 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 53

54 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 54

55 Deneysel Sonuçların Özeti Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 55

56 Benzetim Sonuçları Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 56

57 Sonuçlar ve Yorumlar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 57  Birbirine komşu dü ğ ümler arasında sıkı eşzamanlama sa ğ larken, bu dü ğ ümleri aynı zamanda bir dayanak dü ğ ümüne de eşzamanlayan DMSEP  Uzlaşım için geçen zaman uzun  20 algılayıcı, do ğ rusal ilinge --- 10000 saniye (2.5 saat)  Sabit dayanak dü ğ ümü  Komşular nasıl seçilecek?

58 OPT İ MAL MEY İ LL İ SAAT EŞZAMANLAMA ALGOR İ TMALARININ GERÇEKLEŞT İ R İ MLER İ N İ KOLAYLAŞTIRMAK ÜZER İ NE B İ R ÇALIŞMA 58 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

59 Teorik Çalışmalar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 59 [Lundelius & Lynch, 1984] Meyilli Saat Eşzamanlaması [Fan & Lynch, PODC 2004] [Biaz & Welch, 2001] İ lk meyilli algoritma [Locher et al., DISC 2006] Daha sıkı alt sınır ve Optimal Algoritma [Lenzen et al., PODC 2009] Optimal Algoritma [Kuhn et al., 2009]

60 Tight Bounds for Clock Synchronization (Lenzen et al. 2010) - I Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 60 Saatini periyodik olarak gönder Komşularından gelen saat bilgisini güncelle Saat hızını ayarla

61 Tight Bounds for Clock Synchronization (Lenzen et al. 2010) - II Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 61

62 Tight Bounds for Clock Synchronization (Lenzen et al. 2010) - III Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 62 İ kili Arama Yapılmalı

63 Gradient Clock Synchronization Using Reference Broadcasts (Kuhn and Oshman 2009) Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 63 İ kili Arama Yapılmalı

64 Açık Problem Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 64  Optimal algoritmalarda, mantıksal saatlerin ilerleme hızı arama yapmadan nasıl belirlenecek?  Gerçekleştirim Kolaylı ğ ı

65 Saat Eşzamanlama Bileşeni Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 65

66 Mantıksal Saat Modülü Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 66 Saatini periyodik olarak gönder Mantıksal saat ile ilgili de ğ işkenler

67 Tahminleme Modülü Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 67 Komşuların saat tahminleri En büyük ve en küçük tahminler

68 Eşzamanlama Modülü Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 68 Aramaya Gerek Yok!!! Saat hızını ayarla

69 Yazılımsal Gerçekleştirim Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 69

70 Donanım Tasla ğ ı Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 70

71 Sonuç ve Yorumlar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 71  Literatürde yer alan optimal meyilli saat eşzamanlama algoritmalarında yer alan uygulamada gerçekleştirimi zorlaştıran matematiksel ifadeler yerine, daha kolay gerçekleştirilebilir ifadeler sa ğ lanmıştır.  Donanım tasla ğ ının gerçekleştirilmesi (FPGA?) !!!

72 SONUÇLAR 72 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması

73 Katkılar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 73  Yavaş sel yöntemi ile mikrosaniye mertebesinde hassasiyetle eşzamanlama sa ğ layan açık kaynak kodlu bir protokol  Saatlerin geri alınmasını engelleyecek basit bir yöntem  Birbirine komşu dü ğ ümler arasındaki eşzamanlama hatasını eniyilerken dışsal eşzamanlama sa ğ layan açık kaynak kodlu bir protokol  Daha kolay gerçekleştirilebilir optimal meyilli bir eşzamanlama algoritması

74 Gelecek Çalışmalar Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 74  Uzlaşım algoritmasının Yakınsama Süresi  Meyilli saat algoritmasının donanımsal gerçekleştirimi  A ğ ın sıkı ba ğ lılı ğ ını bozmayacak şekilde, komşuluk ilişkilerinin düzenlenmesi

75 Açık Problemler Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 75  Tamamiyle da ğ ıtık, hiç komşuluk takibi yapmadan eşzamanlama??  Enerji verimlili ğ i  Dü ğ ümlerin komşu sayılarını (derecelerini) gözeterek  En küçük enerjili tümegönderim a ğ acı  A ğ ın merkezindeki dü ğ ümü dayanak dü ğ ümü seçmek  Uygulamalar  Eşgüdümlü hareket eden nesneler

76 Kablosuz Algılayıcı A ğ larında Saat Eşzamanlaması 76