*.Dasar :
Program yang telah diterima oleh server NTP dapat digunakan sebagai alasan/bukti, selanjutnya nikmati layanan (terima dan kembalikan data) dari server ini.
- Tiga poin untuk dokumentasi dan solusi pengujian yang baik .
*.Tambahan ( harga dari satu angka / poin tambahan ):
- Solusi rata-rata toleransi
Terima data dari empat server dan dapatkan rata-rata, setelah itu kirim kembali ke server yang“Jelek”.
-Tingkat pengelompokan
Atur inisialisasi offset dari waktu setempat,”Dapatkan Waktu” waktu kembalian lokal + offset tanpa mengirim pesan.
PEMECAHAN DINING PHILOSOPHERS
*.Sederhana: ”Tunggu “ giliran
- Masukkan prosedur tunggu giliran saat tetangga makan.
- Ketika tetangga tidak makan,ambil garpu (makan).
-Tetangga tidak dapat masuk menunggu giliran jika ada tetangga lain yang menunggu.
*.Permasalahan
- Tidak dapat mencegah terjadinya mati kelaparan (STARVATION).
- Sesekali memerlukan pengecekan diantara kedua tetangga.
*Race condition (kondisi saling berlomba)
SOLUSI PEMBAGAIAN PENUH (Lehman dan Rabin tahun 1981)
*Permasalahan dengan pemecahan terlebih dahulu
-Tidak seluruhnya dibagi:
Diperlukannya beberapa macam pusat pengontrolan atau pernyataan lain secara umum.
- Non Symetris:
Perbedaan setiapPhilosofi yang berbeda dibedakan dengan algoritma.
*. Penambahan Kepemilikan :
- Bebas dari deadlock
Suatu saat orang baru akan mendapatkan jatah untuk makan.
- Bebas dari lockout
Pada suatu saat setiap philosofi yang lapar akan mendapatkan jatah untuk makan.
- Permusuhan
Seorang philosofi mungkin akan mencoba untuk mematikan philosofi yang lain.
*Tidak dapat memakai dua garpu sekaligus
- Hanya berkomunikasi antara philosofi yang dekat
*Tidak adanya pernyataan lain secara umum
*Tidak dapat berhubungan secara bersamaan pada saat yang sama
SOLUSI TANPA ADANYA PEMBAGAIAN / PEMECAHAN
*Percobaan:
Menerima penyelesaian untuk philosofi 1 sampai dengan philosofi ke-n
-Philosofi tidak mengetahui nomor mereka !
* Philosofi “Disibukkan” pada perintah 1 sampai dengan perintah ke-n
-Setiap perintah memerlukan satu langkah
* Tuntutan:
Jika symetris digunakan sebagai awal dari penghitungan,symetris juga harus digunakan sebagai akhir dari pada penghitungan.
- Jika seseorang makan,yang lain juga harus makan !
KEMUNGKINAN PENYELESAIAN / PEMECAHAN
* Menerima secara acak “ lemparan uang logam /koin”
Berpilir
* Dijamin dengan kemungkinan 1
Mencoba = benar atau mati,
* Menghentikan metode symmetri
Mencoba terus
* Usulan : Mencoba untuk mendapatkan yang pertama
s = acak (kanan,kiri)
* Dapatkan yang lain s Menunggu untuk garpu ketika mengambilnya
* Jika tidak mendapatkan yang lain,ambil pertama
Jika garpu ~ s dapat diambil,maka ambil jika tidak jatuhkan garpu s
Turun dan coba sekali lagi
*Tetapi tidak akan pergi untuk mendapatkan garpu yang pertama setiap saat Maka jatuhkan s=acak (kiri,kanan)
LEMMAS:PLATO HARUS DUDUK DI SEBELAH KIRI DARI ARISTOTELES
1.Jika Plato mengambil garpu untuk waktu yang tidak terbatas,Aristoteles terbatas, maka:
- P (waktu makan Plato tidak terbatas )=1
2.Jika terjadi deadlock ,setiap philosofi mengambil garpu untuk waktu yang tidak terbatas dengan kemungkinan 1
3.Jika setelah langkah t ,kedua philosofi mencoba untuk makan ,mencoba untuk mendapatkan beberapa garpu .Maka kemungkinannya adalah kurang dari atau sama dengan (>=) ½.
- Satu kali ambil garpu hanya akan dibatasi pada nantinya,atau
-Sekali mendapatkan kesempatan untuk makan,maka ada dua philosofi yang akan makan secara bersama.
4.Jika pada waktu t aturan akhir dari kesamaan acak adalah A,maka akan ada 1 kemungkinan lagi selanjutnya dengan susunan B tidak sama dengan A dimana dua tetangga mencoba untuk dapat mengambil garpu yang pertama.
TEORI:P (DEADLOCK) = 0
* Dibutuhkan P(Deadlock) lebih besar (>) dari 0
- Dengan Lemma 2 ,Jika terjadi deadlock,maka kemungkinan setiap orang akan sama
- Dengan Lemma 4,Dengan kemungkinan 1 dimana tidak akan terbatas setengah dari susunan akhir A0,A1, … puas kondisi dari Lemma 3.
- Dengan Lemma 3,√ n kemungkinan makan philosofi diantara An dan An+2 dengan kemungkinan 1.
Bagaimanapun juga ketika terjadi kondisi deadlock ,maupun non -deadlock akan menyebabkan kemungkinan 1.
PERMASALAHAN: TANPA LOCKOUT-FREE
PHILOSOFI DARI KARTESIUS
* Kemungkinan untuk semua tetapi satu akan mati kelaparan
Berpikir
* Penyelesaian: Jika makan dan tetangga mencoba untuk makan sekali antri sampai tetangga selesai makan sebelum mencoba sekali lag
Mencoba=benar;
sinyal_kiri= sinyal_kanan=hidup
Tunggu sampai s turun dan
* Dibutuhkan beberapa variable yang dipaki bersama
s-tetangga-sinyal = mati atau
- “Sinyal” ke tetangga : Hidup/ Mati
s-terakhir=netral atau s- terakhir=s)ketika mengambil garpu s
- Pemakaian bersama “terakhir”dengan tetangga:kiri,netral,kanan
Jika ~ s turun maka ambil ~ s ;
coba = salah
*Inisialisasi untuk menetralkan
Jika tidak jatuhkan s
Hanya membutuhkan mutual exclusion dengan Satu Tetangga pada suatu saat
Makan sinyal_kiri=sinyal_kanan=mati;kiri_terakhir=kanan;kanan_terakhir=kiri;Jatuhkan garpu
PELAJARAN : TANPA PEMBAGAIAN (NON –DETERMINISM)DAPAT MEMBERIKAN KEKUATAN TAMBAHAN
*Pada system distribusi penuh ,variable acak dapat menyelesaikan permasalahan dan pada sisi lain juga tidak dapat menyelesaikan.
* Digunakan pada latihan
-Ethernet:Kembali secara acak jika terjadi tabrakan
*Buat pembuktian secara benar
Menimbang dari berbagai solusi maka gunakan pemecahan / penyelesaian secara terbagi (Distributed System)!
|
This entry was posted on Monday, March 30, 2009 and is filed under . You can follow any responses to this entry through the RSS 2.0 feed. You can leave a response, or trackback from your own site.
0 komentar: