EROS: Extremely Reliable Operating System

0
FZ
Bu aralar FM sitesinde güvenlik, işletim sistemleri, vs. muhabbetleri yapılırken pek çok ilgili konunun ara kesitinde yer alan bir şey ilgi çeker diye düşündüm ve paylaşmak istedim.

Johns Hopkins üniversitesi bilgisayar bilimleri bölümünde çalışan Prof. Jonathan Shapiro önderliğindeki ekip "mevcut işletim sistemlerindeki güvenlik problemleri spesifik uygulamalardan değil en baştaki tasarım kararlarından kaynaklanıyor" düsturunu benimseyerek bir işletim sistemi geliştirmişler ve adını da EROS : Extremely Reliable Operating System koymuşlar.


Söz konusu işletim sistemi GPL ve LGPL olarak lisanslanmış durumda yani makinanıza çekip kurabilir ve istediğiniz gibi kurcalayabilirsiniz.

Bu aralar Debian GNU/Linux 3.0'ın derinliklerinde yolculuğa çıktığım ve FM'e yazı yetiştirmeye çalıştığım için pek vaktim yok ama eminim işletim sistemi meraklıları ve üstadları FM üyeleri bizi aydınlatacak türde yorumlarını buraya cesurca

Görüşler

0
FZ
Jonathan arkadaşımızın MS Windows 2000''in EAL4 (Evaluation Assurance Level 4) sertifikası alması (Service Pack 3 ile) hakkındaki yorumlarını da burada okuyabilirsiniz. (Çok eğlenceli, tavsiye ederim :)
0
anonim
Dunyada EAL4 ustu bir isletim sistemi daha yok :P

conan
0
FZ
Peki olmamalı mı? ;-)
0
conan
SE-Linux bir iki seneye kadar. ;)
0
FZ
SELinux lafı açılmışken eski bir işletim sistemi ile ilgili 18 Eylül 2002 tarihli birmakale buldum, SELinux'a da gönderme var, belki ilgisini çeker insanların bu bağlamda.

IBM Research Report - Thirty Years Later: Lessons From the Multics Security Evaulation

Bu makalede de sistemin ilk tasarım aşamasındaki sadeliğin, basitliğin önemli olduğu vurgulanıyor. Herkese tavsiye ederim.
0
anonim
Spesifik = ozgun, mahsus, ozel.

Kusura bakmayin, tavsiye vermeden gecemedim..

Saygilar,
0
FZ
Şahsen teknik, üsluba ya da dil kullanımına yönelik her türlü öneriye, eleştiriye açığım. Yazı yazarken de elimden geldiğince İngilizce teknik terimlerin bildiğim kadarı ile Türkçe karşılıklarını kullanmaya gayret ediyorum ancak arada böyle aceleye gelen durumlar da olabiliyor ;-)

Benim de bir tavsiyem var ama dil ile ilgili değil de site ile ilgili: Buraya yazarken siteye giriş yaparsanız ve anonim olmaktan çıkarsanız daha iyi olur.
Görüş belirtmek için giriş yapın...

İlgili Yazılar

4`üncü Fonksiyonel Programcılar Konferasyonu

anonim

4`üncü Fonksiyonel Programcılar Konferasyonu 3-5 Eylül tarihlerinde Floransa'da başlıyor, Türk yazılımcıları da oralarda görmek isteriz, umarım katılan olur. Detaylı bilgi için: http://cristal.inria.fr/ICFP2001/prog-contest/
(Editörün notu: ICPF, International Conference on Functional Programming 2001 bünyesinde bir de programlama yarışması var.)

Python 2.4

tongucyumruk

18 aylık uzun bir bekleyişin ardından Python 2.4 çıktı. Yenilikler arasında özellikle dekoratörler, geliştirilmiş üreteç desteği ve long veri itipi ile integer veri tipinin birleştirilmesi göze çarpıyor. Özellikle MS Windows kullanıcılarını ilgilendiren bir diğer yenilik ise bu sürümden başlayarak Python'un MS Windows platformunda msi paketleri kullanılarak dağıtılacak olması. Yeni sürümdeki yeniliklerin bir özetini buradan okuyabilir, daha detaylı bilgiyi ise A. M. Kuchling'in dökümanından okuyabilirsiniz. Yeni sürümü indirmek içinse buraya

Opera, Internet Tarayıcısına BitTorrent Desteği Ekledi

talat

Opera Software, amiral gemisi yazılımı olan Opera internet tarayıcısının BitTorrent desteği eklenmiş deneme sürümünü çıkardı.

Bu eklenti ile Opera, ayrıca bir program gerektiren BitTorrent indirme işlemini kendiliğinden destekleyen ilk internet tarayıcısı oldu.

Ayrıntılar için tıklayın. (eWeek, İngilizce)

Augmented Reality: Gerçeklik Anlayışımızda Yeni Bir Boyut

FZ

Önce VR vardı yani Virtual Reality, yani Sanal Gerçeklik, kafaya geçirdiğiniz kask ile tamamen bilgisayar tarafından oluşturulmuş dünya gözlerinizin önüne geliyordu. Şimdi ise yeni bir kavramla yüz yüzeyiz, Augmented Reality. Nasıl tercüme edilir doğru düzgün bilmiyorum ama bu kavramla anlatılmak istenen gerçek dünya görüntüleri üzerine bilgisayar grafiklerini bindirmek ve böylece mevcut algılayışınızı çok öteye götürmek.

Tyler Mitchell´in blogunda anlatılanlara bakılacak olursa Avustralyalı araştırmacılar bir hayli aşama kaydetmiş durumdalar. Fiziksel ortamınızda 3B modelleri nasıl yaratıp onlarla oynayabileceğinizi videolarla gösteren Tinmith Technologies sitesine ve benzer bir teknolojinin kullanıldığı Augmented Reality Quake sitesine göz atmakta fayda var.

Düşünsenize bu Avustralyalı amcaların hazırladığı sırt çantasını ve kaskı giyiyorsunuz, sonra terk edilmiş ve tekinsiz bir binada ilerlemeye başlıyorsunuz, her an koridorun köşesinden korkunç bir canavar çıkabilir ya da belki arkadaşınız sizi vurmaya çalışıyor olabilir. Hangisi gerçek, hangisi hayal? Tabii insanlar bunu coğrafi bilgi sistemleri gibi daha faydalı işler için de kullanmayı düşünüyorlar ;-)

OpenGL 3 (Long Peak) Duyuruldu

Tarık

OpenGL Long Peak (OpenGL 3) 8 Ağustos 2007 tarihinde, San Diago'da yapılan "Siggraph Birds of a Feather (BOF)" toplantısında resmi olarak duyuruldu.

Kaynak: OpenGL