Eşzamanlılık denetimi

Eşzamanlılık denetimi, eşzamanlı işlemler için doğru sonuçların elde edilmesini sağlarken, bu sonuçları da olabildiğince çabuk almayı sağlayan uğraşı alanıdır.Bilgisayar bilimleri, bilgi teknolojileri ve özellikle bilgisayar programlama, işletim sistemleri, çoklu işlemciler ve veritabanı alanlarında önemlidir.

Hem yazılım hem de donanımdan meydana gelen bilgisayar sistemleri, esasen modüller veya bileşenlerden oluşur. Her bileşen, doğru şekilde çalışmak üzere, yani yöntemi sağlamak veya belirli tutarlılık kurallarına uymak üzere tasarlanmıştır. Eş zamanlı çalışan bileşenlerin mesajlaşarak veya erişilen verilere (bellekte veya depolama ortamında) paylaşarak etkileşime girdiği zaman, belirli bir bileşenin tutarlılığı diğer başka bir bileşen tarafından ihlal edilebilir. Eşzamanlılık denetiminin genel alanı, etkileşim sırasında eş zamanlı olarak çalışan bileşenlerin tutarlılığını ve dolayısıyla tüm sistemin tutarlılığını ve doğruluğunu korumak için kurallar, yöntemler, tasarım metodolojileri ve kuramlar sağlar. Eşzamanlılık denetimini bir sisteme sunmak, genellikle bir miktar performans düşüşüyle sonuçlanan çalışma kısıtlamalarını uygulamaya bindirmek demektir.Bu nedenle operasyon tutarlılığı ve doğruluğu, makul seviyelerin altındaki performansı azaltmaksızın mümkün olan en iyi verimlilikle elde edilmelidir. Eşzamanlılık denetimi, basit sıralı algoritma ile karşılaştırıldığında, eş zamanlı bir algoritmada önemli bir ek karmaşıklık ve yük doğurur.

Örneğin, eşzamanlılık denetiminde başarısızlık; gerçeklenememiş okuma veya yazma işlemleri nedeniyle veri bozulmasına neden olabilir.

Kaynakça

  • g
  • t
  • d
Bilgisayar biliminin alt dalları
Matematiksel temeller
Matematiksel mantık · Kümeler kuramı · Sayı teorisi · Çizge teorisi · Tip teorisi · Kategori teorisi · Sayısal çözümleme · Bilgi teorisi · Kombinatorik · Boole cebiri
Hesaplama teorisi
Algoritmalar ve veri yapıları
Programlama dilleri ve derleyiciler
Eşzamanlı, paralel ve dağıtık sistemler
Çoklu işleme · Dağıtımlı hesaplama · Eşzamanlılık denetimi
Yazılım mühendisliği
Sistem mimarisi
Telekomünikasyon ve ağ oluşturma
Veritabanları
Yapay zekâ
Bilgisayar grafikleri
İnsan-bilgisayar etkileşimi
Bilimsel hesaplama
Bilgisayar bilimi, ACM Hesaplama ve Sınıflandırma Sistemi'ne göre farklı konu ve alanlara ayrılabilir.
  • g
  • t
  • d
Türler
Nesne veritabanı (karşılaştırma· Sütun yönelimli veritabanı yönetim sistemi · Belge yönelimli veritabanı · Grafik veritabanı · İlişkisel veritabanı · İlişkisel veritabanı yönetim sistemi · Anahtar-değer veritabanı · Bellek içi veritabanı · Çoklu model veritabanı · Bulut veritabanı · Aday anahtar · Yabancı anahtar · Ana anahtar · Superkey · Vekil anahtar
Kavramlar
Veritabanı · ACID · Armstrong'un aksiyomları · Codd'un 12 kuralı · CAP teoremi · CRUD · Null · Aday anahtarı · Yabancı anahtar · Süperanahtar · Vekil anahtar · Özel anahtar
Nesneler
İlişki (Tablo · Sütun · Satır) · Görünüm · Transaction · Trigger · Veritabanı dizini · Saklı yordam · Cursor · Kayıt · Aktarım · Partition
SQL
NoSQL · NewSQL · Select · Insert · Update · Merge · Delete · Join · Union · Create · Drop · Begin work · Commit · Rollback · Truncate · Alter
Bileşenler
Eşzamanlılık denetimi · Veri sözlüğü · JDBC · ODBC · Sorgulama dilleri · Sorgu hızlandırıcı · Sorgu planı
İlgili konular
Veritabanı modelleri · Ayrıştırma · Veritabanında saklama · Dağıtık veritabanı · Federe veritabanı sistemi · Veri tutarlılığı · İlişkisel bütünlük · Bağıntısal cebir · İlişkisel hesap · İlişkisel model · Nesne-ilişkisel veritabanı · Hareket işleme
Kategori Kategori
Taslak simgesiBilgisayar ile ilgili bu madde taslak seviyesindedir. Madde içeriğini genişleterek Vikipedi'ye katkı sağlayabilirsiniz.