۱- فیزیکی :
واقعاً همه ساعت های کامپیوترها یکسان می شوند.
۲- منطقی :
لزومی ندارد که ساعت همه یکسان باشد ممکن است ساعت هایشان کم و زیاد باشد ولی یک جوری است که کارشان به درستی انجام می شود.

الگوریتم های همگام سازی فیزیکی:
۱- الگوریتم پروتکل زمان شبکه (NTP)
۲- الگوریتم برکلی (Berkeley)
۳- الگوریتم همگام سازی ساعت در شبکه های بی سیم(RBS)


همگام سازی منطقی :
لامپورت نشان داد که گر چه همگام سازی ساعت امکان پذیر است، لازم نیست مطلق باشد. اگر دو فرآیند تعامل نداشته باشند، لازم نیست ساعت های آن ها همگام شوند، زیرا مشکلی به وجود نمی آید.
او اشاره کرد که مهم نیست تمام فرآیند ها بر زمان خاصی توافق داشته باشند، بلکه بر روی ترتیب وقوع رویدادها توافق دارند.
برای همگام سازی ساعت های منطقی، لامپورت رابطه ای به نام تقدم رویداد happens-before (→) را با شرایط زیر تعریف کرد:
۱- در یک ماشین یا فرایند اگر a قبل از b رخ دهد آنگاه a → b درست است.
۲- در دو ماشین یا فرایند پیام نمی تواند قبل از ارسال، دریافت شود، یا حتی همزمان با ارسال، دریافت شود، زیرا مدتی زمان نیاز دارد تا به گیرنده برسد.
عبارت a → bبه این صورت خوانده می شود: a قبل از b رخ می دهد.
تقدم رویداد، رابطه تراگذری است:
لذا اگر a → b و b → c آنگاه a → c.
ساعت در این روش هیچ گاه به عقب بر نمی گردد و تنها به جلو افزایش می یابد، یعنی ساعت هیچ گاه منفی نمی شود.
سیستمی که ساعتش از همه بیشتر است اگر برای دیگران پیغام بفرستد ساعت همه را بالا می برد.
ساعت های لامپورت علّیت را در نظر نمی گیرند ( یعنی ترتیب وقوع حوادث رو در نظر نمیگرند )
با استفاده از ساعت های برداری می توان تضمین کرد که پیام وقتی تحویل داده می شود که تمام پیام هایی که از نظر علّیتی قبل از آن وجود دارند، دریافت شدند.
علیت را می توان بوسیله ساعت های برداری در نظر گرفت.
ساعت برداری (VC(a که به رویدادa تخصیص می یابد دارای این خاصیت است که اگر برای رویدادی مثل b ، داشته باشیم
(VC(a) < VC(b ، آن گاه می گوییم رویداد a از نظر علیتی قبل از b قرار دارد.

سلام ممنون از شما دوست گرامی

دوستان اگه مقاله فارسی هم هست بذارید واسه دانلود

متشکرم