nilai semafor diinisialisasi dengan jumlah resource yang dikendalikannya.
dalam kasus khusus di mana ada satu shared resource, semafornya disebut "semafor biner".
semafor adalah solusi klasik dari dining philosophers problem, walaupun tidak mencegah deadlock.
semafor hanya dapat diakses dengan menggunakan operasi berikut:
perhatikan bahwa menginkrementasi variabel s tidak boleh diinterupsi, dan operasi p tidak boleh diinterupsi bila s ditemukan sebagai nonzero.
hal ini dapat dilakukan dengan perintah seperti test-and-set (bila instruction set arsitektur komputer mendukungnya), atau (dalam sistem prosesor mikro) mengabaikan interrupt untuk mencegah proses lain menjadi aktif.
nama-nama p dan v berasal dari bahasa belanda. v artinya verhoog, atau "inkrementasi".
beberapa penjelasan telah diusulkan untuk p, termasuk passeer "pass", probeer "coba", dan pakken "ambil"), tapi dijkstra sebenarnya menulis bahwa ia memaksudkan p sebagai lakuran rekaannya sendiri prolaag, singkatan dari probeer te verlagen, atau "coba untuk dekrementasi".
hal ini berasal dari kenyataan bahwa dalam bahasa belanda, kata untuk dekrementasi dan inkrementasi sama-sama diawali huruf v, dan bila kata tersebut dituliskan secara lengkap dapat membingungkan pembaca yang tidak dapat berbahasa belanda.
nilai semafor adalah jumlah resource yang bebas.
bila hanya ada satu resource, sebuah semafor biner dengan nilai 0 atau 1 digunakan.
operasi p busy-wait sampai sebuah resource tersedia, kemudian mengklaimnya.
v adalah kebalikannya; ia membuat sebuah resource tersedia kembali setelah proses selesai menggunakannya.
init hanya digunakan di awal untuk menginisialisasi nilai semafor.
operasi p dan v harus atomic, artinya operasi ini tidak boleh diselingi oleh proses lain dalam semafor yang sama.
dalam bahasa pemrograman algol 68, dalam kernel linux, dan dalam beberapa buku bahasa inggris, operasi p dan v disebut masing-masing down dan up.
dalam teknik perangkat lunak, mereka biasanya disebut wait dan signal, atau take dan release, atau pend dan post.
untuk menghindari busy-waiting, sebuah semafor dapat memiliki sebuah queue atau antrian proses (biasanya fifo atau pertama-masuk-pertama-keluar).
bila sebuah proses melakukan p pada sebuah semafor yang memiliki nilai 0, proses ini ditambahkan ke antrian.
ketika proses lain menginkrementasi nilai semafor dengan v, dan ada proses dalam antrian, salah satunya diambil dari antrian dan mulai dijalankan.
semafor masih digunakan dalam bahasa pemrograman yang tidak mendukung bentuk sinkronisasi lain.
kecenderungan perkembangan bahasa pemrograman saat ini bergerak ke arah sinkronisasi yang lebih terstruktur, misalnya dengan monitor dan channel.
selain ketidakmampuannya mencegah deadlock, semafor tidak melindungi pemrogram dari kesalahan mengambil semafor yang sudah dipegang proses lain, dan lupa melepaskan semafor yang sudah diambil.
dengan kata lain, pemrograman semafor termasuk rumit dan error-prone.
karena semafor dapat memiliki variabel penghitung, ia dapat digunakan ketika beberapa threads ingin mencapai suatu tujuan secara bekerja sama.
ada thread a yang ingin informasi dari 2 basis data sebelum ia dapat maju.
akses ke kedua basis data tersebut dikendalikan oleh dua thread b dan c. keduanya memiliki message-processing loop; semua yang ingin menggunakannya menulis pesan dalam antrian pesan.
thread a menginisialisasi semafor s dengan init(s,-1).
a kemudian menulis permohonan data, termasuk pointer ke semafor s, kepada baik b maupun c. kemudian a memanggil p(s), yang memblokir.
kedua thread lain mengambil informasi; setelah mereka selesai, mereka memanggil v(s) dalam semafor.
hanya setelah keduanya selesai mengambil data, thread a dapat maju.
semafor seperti ini disebut "counting semaphore".
selain counting semaphore, terdapat juga "blocking semaphore", yaitu semafor yang diinisialisasi dengan nilai 0.
artinya setiap thread yang melakukan p(s) akan diblokir sampai thread lain memanggil v(s).
jenis ini sangat berguna ketika urutan eksekusi thread harus diperhatikan.
bentuk semafor paling sederhana adalah "semafor biner", digunakan untuk mengendalikan akses kepada satu resource, atau disebut juga mutual exclusion.
sebuah semafor biner selalu diinisialisasi dengan nilai 1.
ketika resource sedang digunakan, thread yang menggunakan memanggil p(s) untuk mengurangi nilai ini menjadi 0, dan setelah selesai menginkrementasi kembali nilainya menjadi 1 untuk menandakan resource yang sekarang bebas.
semaphore.h programming interface - the open group base specifications issue 6, ieee std 1003.1
a simple in-process semaphore using c#
kategori:teknologi sistem operasi