Sistem Deadlock

                                                               

Deadlock

Deadlock menurut bahasa adalah buntut atau kebuntuan, terkunci.
Sedangkan menurut pengertian deadlock adalah sebuah proses yang memerlukan satu sumber daya atau lebih mengalami penundaan ataupun menunggu sumber daya digunakan oleh proses yang lain.
Sumber daya bersifat :

• Preemptible : dapat mengambil dari proses lain tanpa ada efek lain, contoh : memori CPU.

• Non-preemptible : tidak boleh mengambil sumber daya yang masih digunakan oleh proses lain, contoh : printer.

Akibat dari Deadlock!!!
Apabila peristiwa deadlock terjadi dalam kurung waktu yang lama maka akan terjadi “starvation”. Hal-hal yang membuat peristiwa startvation terjadi adalah satu proses, dua proses atau lebih yang memerlukan sumber daya secara bersamaan dan sumber daya yang dibutuhkan tidak sedikit sehingga menyebabkan proses lain tidak memperoleh sumber daya dan menunggu lama atau lebih buruknya lagi proses tersebut diabaikan oleh sumber daya.

Deadlock memiliki Model Sistem
Sebuah proses melakukan tiga hal yang dilakukan ketika menggunakan sumber daya :

• Meminta (Request) : sebuah proses mengajukan permohonan kepada sumber daya untuk menggunakan jasa sumber daya sebagai alat transportasi.

• Menggunakan (Use) : proses menggunakan jasa sumber daya sebagai alat transportasi.

• Melepas (Release) : proses melepas sumber daya sebagai jasa pengantar.

Diagram Graf
Sebuah sistem komputer terdiri dari berbagai macam sumber-daya (resources), seperti:
• Fisik (Perangkat, Memori)
• Logika (Lock, Database record)
• Sistem Operasi (PCB Slots)
• Aplikasi (Berkas)

    Diantara sumber-daya tersebut ada yang preemptable dan ada juga yang tidak. Sumber-daya ini akan
digunakan oleh proses-proses yang membutuhkannya. Mekanisme hubungan dari proses-proses dan sumber-daya yang dibutuhkan/digunakan dapat di diwakilkan dengan graf.
    Graf adalah suatu struktur diskrit yang terdiri dari vertex dan sisi, dimana sisi menghubungkan vertex-vertex yang ada. Berdasarkan tingkat kompleksitasnya, graf dibagi menjadi dua bagian, yaitu simple graf dan multigraf. Simpel graf tidak mengandung sisi paralel (lebih dari satu sisi yang menghubungkan dua vertex yang sama). Berdasarkan arahnya graf dapat dibagi menjadi dua bagian yaitu graf berarah dan graf tidak berarah. Graf berarah memperhatikan arah sisi yang menghubungkan dua vertex, sedangkan graf tidak berarah tidak memperhatikan arah sisi yang menghubungkan dua vertex.
    Dalam hal ini akan dibahas mengenai implementasi graf dalam sistem operasi. Salah satunya dalah
graf alokasi sumber daya. Graf alokasi sumber daya merupakan graf sederhana dan graf berarah. Graf alokasi sumber daya adalah bentuk visualisasi dalam mendeteksi maupun menyelesaikan
masalah deadlock.

Graf alokasi sumber daya mempunyai komponen- komponen layaknya graf biasa. Hanya saja dalam
graf alokasi sumber daya ini, vertex dibagi menjadi dua jenis yaitu:
1. Proses P= {P0, P1, P2, P3,..., Pi,..., Pm}. Terdiri dari semua proses yang ada di sistem. Untuk
    proses, vertexnya digambarkan sebagai lingkaran dengan nama prosesnya.
2. Sumber daya R= {R0, R1, R2, R3,..., Rj,..., Rn}. Terdiri dari semua sumber daya yang ada di 
    sistem. Untuk sumber daya, vertexnya digambarkan sebagai segi empat dengan instansi yang 
    dapat dialokasikan serta nama sumber dayanya.

Sisi, E={Pi-->Rj,…, Rj-->Pi} terdiri dari dua jenis, yaitu:
a. Sisi permintaan: Pi-->Rj Sisi permintaan menggambarkan adanya suatu proses Pi yang meminta
    sumber daya Rj.
b. Sisi alokasi: Rj-->Pi. Sisi alokasi menggambarkan adanya suatu sumber daya Rj yang
    mengalokasikan salah satu instansi-nya pada proses Pi.


Misalkan suatu graph pengalokasian sumber daya dengan ketentuan sebagai berikut:
Himpunan P,R dan E:
• P={P1, P2, P3}
• R={R1, R2, R3, R4}
• E={P1-->R1, P2-->R3, R1-->P3, R2-->P2, R2-->P1, R3-->P3}
Instansi sumber daya:
• R1 memiliki satu instansi
• R2 memiliki dua instansi
• R3 memiliki satu instansi
• R4 memiliki tiga instansi

Status Proses:
• Proses P1 mengendalikan sebuah instansi R2 dan menunggu sebuah instansi dari R1.
• Proses P2 mengendalikan sebuah instansi dari R1 dan R2, dan menunggu sebuah instansi
   R3
• Proses P3 mengendalikan sebuah instansi dari R3.



Syarat terjadinya dan penyebab deadlock :
- Mutual Exclusion :

  sebuah proses memiliki hak pribadi untuk menggunakan sumber daya yang digunakan selama proses  berjalan hingga sampai tujuan dan proses lain baru bisa menggunakan sumber daya tersebut.

- Hold and Wait :

sebuah proses pertama yang membutuhkan dua sumber daya dimana proses tersebut sudah memperoleh satu sumber daya dan membutuhkan satu sumber daya lagi tapi untuk menambah sumber daya proses pertama harus menunggu proses kedua melepas sumber daya dan sedangkan proses ketiga membutuhkan sumber daya yang sama dengan proses kedua dan pada akhirnya salah satu proses diatas akan menahan sumber daya yang dibutuhkan dan menunggu sumber daya yang lain dilepas oleh proses lain.

- No Preemption :

selanjutnya adalah sebuah proses yang menggunakan sumber daya terlebih dahulu hingga selesai kemudian diberikan kepada proses lain yang membutuhkan sumber daya,apabila proses tersebut belum selesai menggunakan maka proses yang lain harus menunggu hingga proses tersebut selesai.

- Circular Wait :

adalah sebuah siklus yang membentuk sebuah lingkaran dimana sebuah proses disimbolkan dengan titik kecil, proses pertama memerlukan sumber daya yang dimiliki oleh proses kedua sedangkan proses kedua juga memerlukan sumber daya yang dimiliki oleh proses ketiga dan bahkan proses ketiga juga memerlukan sumber daya yang dimiliki oleh proses pertama. Dan siklus ini disebut dengan “lingkaran setan buntu”.

Penaganan Deadlock
Secara umum terdapat 3 cara untuk menangani keadaan deadlock, yaitu:
1. Pengabaian. 
Maksud dari pengabaian di sini adalah sistem mengabaikan terjadinya deadlock dan pura-pura tidak tahu kalau deadlock terjadi. Dalam penanganan dengan cara ini dikenal istilah ostrich algorithm atau Strategi Ostrich. Pelaksanaan algoritma ini adalah sistem tidak mendeteksi adanya deadlock dan secara otomatis mematikan proses atau program yang mengalami deadlock.. Pendekatan yang paling sederhana adalah dengan menggunakan strategi burung unta: masukkan kepala dalam pasir dan seolah-olah tidak pernah ada masalah sama sekali.  Kebanyakan sistem operasi yang ada mengadaptasi cara ini untuk menangani keadaan deadlock. Cara penanganan dengan mengabaikan deadlock banyak dipilih karena kasus deadlock tersebut jarang terjadi dan relatif rumit dan kompleks untuk diselesaikan.
  Akan tetapi beragam pendapat muncul berkaitan dengan strategi ini. Menurut para ahli Matematika, cara ini sama sekali tidak dapat diterima dan semua keadaan deadlock harus ditangani. Sementara menurut para ahli Teknik, jika komputer lebih sering mengalami kerusakkan disebabkan oleh kegagalan hardware, error pada kompilator atau bugs pada sistem operasi. Maka ongkos yang dibayar untuk melakukan penanganan deadlock sangatlah besar dan lebih baik mengabaikan keadaan deadlock tersebut. Metode ini diterapkan pada sistem operasi UNIX dan MINIX.

2. Penghindaran. 

Menghindari keadaan deadlock atau mencegah sebelum deadlock itu terjadi pada sistem computer kita. Pada system biasanya permintaan sumber daya hanya dilakukan sekali saja. Dan system harus sudah tahu mana sumber daya yang aman dan tidak (agar aman dari deadlock) setelah itu baru disalurkan daya tersebut.

Ada 2 cara penyaluranya, yaitu :

          1.      Jangan memulai suatu proses apapun jika itu membawa pada deadlock

                   Jadi tidak akan terkena deadlock, karena proses akan dihentikan ketika akan menuju deadlock

          2.      Jangan memberI kesempatan pada suatu proses  untuk mendapatkan sumber daya lagi 
                   atau lebih

Jadi terdapat 2 cara untuk menghidarkan diri dari deadlock, pertama proses akan dicegah ketika akan menuju deadlock dan kemudian tidak memberikan sumber daya lagi pada suatu proses, sehingga deadlock tidak terjadi.  

Langkah lain untuk menghindari adalah dengan cara tiap proses memberitahu jumlah kebutuhan maksimum untuk setiap tipe sumber daya yang ada. Selanjutnya terdapat deadlock-avoidance algorithm yang secara rutin memeriksa state dari sistem untuk memastikan tidak adanya kondisi circular wait serta sistem berada pada kondisi safe state. Safe state adalah suatu kondisi dimana semua proses mendapatkan sumber daya yang dimintanya dengan sumber daya yang tersedia. Apabila tidak bisa langsung, ia harus menunggu selama waktu tertentu, kemudian mendapatkan sumber daya yang diinginkan, melakukan eksekusi, dan terakhir melepas kembali sumber daya tersebut. Terdapat dua jenis algoritma penghindaran yaitu resource-allocation graph untuk single instances resources serta banker's algorithm untuk multiple instances resources.
Dalam banker's algorithm, terdapat beberapa struktur data yang digunakan, yaitu: Available . Jumlah sumber daya yang tersedia.
Max . Jumlah sumber daya maksimum yang diminta oleh tiap proses.
Allocation . Jumlah sumber daya yang sedang dimiliki oleh tiap proses.
Need . Sisa sumber daya yang masih dibutuhkan oleh proses, didapat dari max- allocation.
Kemudian terdapat safety algorithm untuk menentukan apakah sistem berada pada safe state atau tidak.

3. Pendeteksian dan Pemulihan. 
Pada sistem yang sedang berada pada kondisi deadlock, tindakan yang harus diambil adalah tindakan yang bersifat represif. Tindakan tersebut adalah dengan mendeteksi adanya deadlock, kemudian memulihkan kembali sistem. Proses pendeteksian akan menghasilkan informasi apakah sistem sedang deadlock atau tidak serta proses mana yang mengalami deadlock.

• Mendeteksi dan Memperbaiki

         Caranya ialah dengan cara mendeteksi jika terjadi deadlock pada suatu proses maka dideteks system mana yg terlibat di dalamnya. Setelah diketahui sistem mana saja yang terlibat maka dilakukan proses untuk memperbaiki dan menjadikan sistem berjalan kembali. Jika sebuah sistem tidak memastikan deadlock akan terjadi, dan juga tidak didukung dengan pendeteksian deadlock serta pencegahannya, maka kita akan sampai pada kondisi deadlock yang dapat berpengaruh terhadap performance sistem karena sumber daya tidak dapat digunakan oleh proses sehingga proses-proses yang lain juga terganggu. Akhirnya sistem akan berhenti dan harus direstart.

Hal-hal yang terjadi dalam mendeteksi adanya Deadlock adalah:
• Permintaan sumber daya dikabulkan selama memungkinkan.
• Sistem operasi memeriksa adakah kondisi circular wait secara periodik.
• Pemeriksaan adanya deadlock dapat dilakukan setiap ada sumber daya yang hendak digunakan 
   oleh sebuah proses.
• Memeriksa dengan algoritma tertentu.

Ada beberapa jalan untuk kembali dari Deadlock, yaitu:

• Lewat Preemption

Dengan cara untuk sementara waktu menjauhkan sumber daya dari pemakainya, dan memberikannya pada proses yang lain. Ide untuk memberi pada proses lain tanpa diketahui oleh pemilik dari sumber daya tersebut tergantung dari sifat sumber daya itu sendiri. Perbaikan  dengan cara ini sangat sulit atau dapat dikatakan tidak mungkin. Cara ini dapat dilakukan dengan memilih korban yang akan dikorbankan atau diambil sumber dayanya untuk sementara, tentu saja harus dengan perhitungan yang cukup agar waktu yang dikorbankan seminimal mungkin. Setelah kita melakukan preemption dilakukan pengkondisian proses tersebut dalam kondisi aman. Setelah itu proses dilakukan lagi dalam kondisi aman.

• Lewat Melacak Kembali

Setelah melakukan beberapa langkah preemption, maka proses utama yang diambil sumber dayanya akan berhenti dan tidak dapat melanjutkan kegiatannya, oleh karena itu dibutuhkan langkah untuk kembali pada keadaan aman dimana proses masih berjalan dan memulai proses lagi dari situ. Tetapi untuk beberapa keadaan sangat sulit menentukan kondisi aman tersebut, oleh karena itu umumnya dilakukan cara mematikan program tersebut lalu memulai kembali proses. Meski pun sebenarnya lebih efektif jika hanya mundur beberapa langkah saja sampai deadlock tidak terjadi lagi. Untuk beberapa sistem mencoba dengan cara mengadakan pengecekan beberapa kali secara periodik dan menandai tempat terakhir kali menulis ke disk, sehingga saat terjadi deadlock dapat mulai dari tempat terakhir penandaannya berada.

• Lewat mematikan proses yang menyebabkan Deadlock

Cara yang paling umum ialah mematikan semua proses yang mengalami deadlock. Cara ini paling umum dilakukan dan dilakukan oleh hampir semua sistem operasi. Namun, untuk beberapa sistem, kita juga dapat mematikan beberapa proses saja dalam siklus deadlock untuk menghindari deadlock dan mempersilahkan proses lainnya kembali berjalan. Atau dipilih salah satu korban untuk melepaskan sumber dayanya, dengan cara ini maka masalah pemilihan korban menjadi lebih selektif, sebab telah diperhitungkan beberapa kemungkinan jika si proses harus melepaskan sumber dayanya.

Kriteria pemilihan korban :
• Yang paling jarang memakai prosesor
• Yang paling sedikit hasil programnya
• Yang paling banyak memakai sumber daya sampai saat ini
• Yang alokasi sumber daya totalnya tersedkit
• Yang memiliki prioritas terkecil

   Selain itu juga ada kondisi yang hampir dapat dikatakan mirip dengan deadlock adalah livelock. Hanya saja livelock ini secara umum dapat dikatakan bahwa proses tidak berjalan. Livelock ini merupakan kasus khusus dalam source starvation. Kondisi yang dapat menggambarkan livelock ini adalah ketika dua orang bertemu di sebuah koridor yang sempit, dan masing-masing mencoba untuk bersikap sopan dengan menggerakkan badan ke samping untuk membiarkan lewat yang lain, tetapi mereka akhirnya bergoyang dari sisi ke sisi lain tanpa membuat kemajuan karena mereka berdua berulang kali pindah dengan cara yang sama pada waktu yang sama.
 Livelock sendiri merupakan risiko dari beberapa algoritma yang mendeteksi dan memulihkan dari deadlock. Jika lebih dari satu proses mengambil tindakan, pendeteksian oleh algoritma berulang kali dapat memicu deadlock. Hal ini dapat dihindari dengan memastikan bahwa hanya satu proses (dipilih secara acak atau dengan prioritas) yang mengambil tindakan.

sumber:
http://bayuzu.blogspot.com/2010/04/deadlock-deadlock-adalah-keadaan-dimana.html

Bambang [2002] Bambang Hariyanto,. Ir. 2002. Sistem Operasi. Edisi kedua. Informatika. Bandung

Mutual Exclusion

     A.  Definisi
                Beberapa proses terkadang membutuhkan sumber daya yang sama pada saat bersamaan. Sumber daya seperti ini disebut sumber daya kritis. Bagian program yang menggunakan sumber daya kritis disebut memasuki critical region/section. Hanya satu program pada saat yang diijinkan masuk critical region. Kondisi yang tidak dapat diprediksi hasilnya, bergantung pada proses-proses berjalan yang sedang bersaing disebut Kondisi Pacu (Race Condition). Kondisi pacu harus dihilangkan agar hasil-hasil proses dapat diprediksi dan tidak bergantung pada jalanya proses-proses tersebut.

Sistem operasi hanya menyediakan layanan (berupa system call) untuk mencegah proses masuk critical section yang sedang dimasuki proses lain. Pemrogram harus menspesifikasikan bagian-bagian critical region sehingga sistem operasi akan menjaganya dengan suatu mekanisme untuk mencegah proses lain masuk critical region yang sedang dipakai proses lain. inilah yang dimaksud dengan mutual exclusion. Mutual Exclusion adalah suatu cara yang menjamin jika ada sebuah proses yang menggunakan variabel atau berkas yang sama (digunakan juga oleh proses lain), maka proses lain akan dikeluarkan dari pekerjaan yang sama.

Sering terjadi pada peralatan pencetakan (printer). Daemon printer adalah proses yang melakukan penjadwalan dan pengendalian pencetakan berkas-berkas di printer. Ruang disk ini disebut direktori spooler. Direktori spooler membagi disk menjadi sejumlah slot. Slot-slot diisi berkas yang akan dicetak. Terdapat variabel in yang menunjuk slot bebas pada ruang disk yang akan dipakai untuk menyimpan berkas yang ingin dijadwalkan untuk dicetak. Bagian program yang sedang mengakses memory atau sumber daya yang dipakai bersama disebut critical section. Jika proses pada critical section memblokir proses-proses lain dalam antrian, maka akan terjadi startvation dan deadlock.

Kesuksesan proses-proses konkurensi memerlukan pendefinisian critical section dan memaksakan mutual exclusion di antara proses-proses konkuren yang sedang berjalan. Pemaksaan mutual exclusion merupakan landasan pemrosesan konkuren.
Kriteria penyelesaian Mutual Exclusion :

-       Mutual Exclusion harus dijamin.

-       Hanya satu proses pada satu saat yang diizinkan masuk Critical Section/Region.

-       Proses yang berada di noncritical section, dilarang memblok proses-proses yang ingin masuk critical section.

-       Harus dijamin proses yang ingin masuk critical section tidak menunggu lama hingga waktu tak terhingga, agar tidak terjadi deadlock atau starvation.

-       Ketika ada proses di critical section maka proses yang ingin masuk critical section harus diijinkan segera masuk tanpa waktu tunda.

-       Tidak ada asumsi mengenai kecepatan relative proses atau jumlah proses yang ada.

       B.  Metode-metode Penjamin Mutual Exclusion

1.       Metode Naif

       Sebenarnya metode ini tidak menyelesaikan mutual exclusion, karena masih terdapat scenario proses  yang membuat situasi kacau. Metode ini sering disebut metode variable lock sederhana. 

Ketika proses hendak masuk critical section, proses lebih dulu memeriksa variable lock dengan ketentuan :

-       Jika variable lock bernilai 0, proses mengeset variable lock menjadi 1 dan segera masuk critical section.

-       Jika variable lock bernilai 1, proses menunggu sampai nilai variabel lock menjadi 0. 

-        

2.       Metode untuk situasi tertentu

       Metode ini sering disebut metode bergantian secara ketat yang mengasumsikan proses-proses yang hendak masuk critical section secara bergantian terus menerus. Proses memeriksa terus menerus sehingga kondisi siap untuk diproses. Kondisi ini tidak dapat ditentukan lamanya waktu sehingga menyia-nyiakan waktu pemroses. Suatu saat kondisi akan crash ketika ada proses yang harus segera masuk sementara ada proses lain yang masih berjalan.

3.       Metode Busy Waiting

       a.         Metode Penyelesaian Dekker

              Algoritma Dekker mempunyai property-property berikut :

              -       Tidak memerlukan instruksi-instruksi perangkat keras khusus.

              -       Proses yang beroperasi di luar critical section tidak dapat mencegah proses lain
                   memasuki critical section.

              -       Proses yang ingin masuk critical section akan segera masuk bila dimungkinkan.

       b.        Metode Penyelesaian Peterson
              Sebelum masuk critical section, proses memanggil enter_critical_section, namun sebelumnya
              proses  memeriksa sampai kondisi aman. Terjadi busy waiting, setelah selesai proses
              menandai pekerjaan dan mengijinkan proses lain masuk.

              Keadaan awal tidak ada proses di critical section. Proses 0 akan masuk critical section.
              Proses  menandai elemen arraynya dan mengeset turn ke 0. Proses memeriksa kondisi,
              dan  prosedur enter_critical_section dilaksanakan. Jika kemudian, proses 1 akan masuk,
              proses akan menunggu sampai interest(0) menjadi FALSE. Kondisi ini hanya terjadi jika
              proses 0 mengeset elemen itu dan keluar dari critical section.

      c.         Metode Pematian Interupsi

             Proses mematikan interupsi ke pemroses dan segera masuk ke critical section. Proses
             kembali mengaktifkan interupsi segera setelah meninggalkan critical section. Metode
             ini  mengakibatkan :

             -       Pemroses tidak dapat beralih ke proses lain karena interupsi clock dimatikan sehingga
                  penjadual  pun tidak dieksekusi. Karena penjadual tidak beroperasi maka tidak terjadi
                  alih  proses.

             -       Proses dapat memakai memori bersama tanpa takut terinvensi proses lain karena memang
                  tidak ada proses lain yang dieksekusi saat itu.

             Kelemahan utama :

             -       Bila proses yang mematikan interupsi mengalami gangguan maka proses tidak akan
                  pernah menghidupkan interupsi kembali. Kejadian ini mengakibatkan kematian seluruh system.

             -       Jika terdapat dua pemroses atau lebih, mematikan interupsi hanya berpengaruh pada
                  pemroses yang sedang mengeksekusi intruksi itu. Proses lain masih dapat memasuki
                  critical section.

     d.        Metode Test and Set Lock (TSL)

            Metode ini membaca isi memori ke register dan kemudian menyimpan nilai bukan 0  ke
            alamat  memori. Pemroses yang mengeksekusi instruksi tsl mengunci bus memori,
            mencegah  pemroses lain mengkases memori.

     e.        Metode Exchange (XCHG)

            Metode ini menggunakan instruksi exchange (xchg). Instruksi xchg menukarkan dua isi memori.

     f.          Metode Instruksi Mesin

            Keunggulan :

            -       Sederhana dan mudah diverifikasi

            -       Dapat diterapkan ke sembarang jumlah proses

            -       Dapat digunakan untuk mendukung banyak critical region

            Kelemahan :

            -       Merupakan metode dengan busy waiting, sangat tidak efisien.

            -       Adanya busy waiting memungkinkan terjadi deadlock dan starvation.

4.       Metode Penyelesaian Level Tinggi (Metode Semapore)

      Dua proses atau lebih dapat bekerja sama dengan menggunakan penanda-penanda sederhana. Proses berhenti sampai proses memperoleh penanda tertentu. Variabel khusus untuk penandaan ini disebut semaphore. Semaphore mempunyai dua property :

a.         Semaphore dapat diinisialisasi dengan nilai bukan negative.

b.        Ada dua operasi terhadap semaphore yaitu Operasi Up dan Operasi Down.

Operasi Down

Operasi ini menurunkan nilai semaphore. Jika nilai semaphore menjadi bukan positif maka proses yang mengeksekusinya diblok. Operasi Down adalah atomic (atomic action), tidak dapat diinterupsi sebelum selesai. Menurunkan nilai, memeriksa nilai, menempatkan proses pada antrian dan memblok sebagai instruksi tunggal. Tidak ada proses lain yang dapat diakses sampai proses selesai.

Operasi Up

Operasi ini menaikkan nilai semaphore. Jika satu proses atau lebih telah diblok pada suatu semaphore tidak dapat menyelesaikan operasi down maka salah satu dipilih oleh system dan dibolehkan menyelesaikan operasi downnya. Operasi Up menaikan nilai semaphore, memindahkan dari antrian dan menempatkan satu proses ke senarai ready tidak dapat diinterupsi.

Sebelum masuk critical section, proses melakukan down. Bila berhasil maka proses masuk critical section. Bila tidak berhasil maka proses diblok pada semaphore. Proses yang diblok dapat melanjutkan jika proses yang berada di critical section keluar dan melakukan operasi up dan menjadikan proses yang diblok menjadi ready dan berlanjut hingga operasi downnya berhasil.

           C.  Implementasi Semaphore

           1.       Pematian Interupsi

                  Sistem operasi mematikan interupsi selagi memeriksa semaphore, memperbarui, dan
                  menjadikan proses diblok. Karena semua aksi hanya memerlukan beberapa instruksi,
                  pematian interupsi tidak merugikan.

          2.       Instruksi TSL
                 Pada banyak pemroses, tiap semaphore dilindungi variable lock dan instruksi TSL agar
                 menjamin hanya satu pemroses yang saat itu memanipulasi semaphore.

sumber:
http://godaizone.blogspot.com/2010/12/mutual-exclusion.html
dinuantz.files.wordpress.com/2010/01/makalah-sistem-operasi.doc