mikrokernel at cangkrukan linux klas oktober 2015
TRANSCRIPT
Mikrokernel?AdheWidianjaya
EEPISRoboticsResearchCenter|PENSer2c.pens.ac.id
ER2CLab|PENS
er2c.pens.ac.idHumanoidRobot|EducationalRobot|InternetofUnderwaterThings|OperatingSystemPoliteknik Elektronika Negeri Surabaya.JalanRayaITS,Surabaya60111,[email protected]
Anggota Grup Riset SO
er2c.pens.ac.idHumanoidRobot|EducationalRobot|InternetofUnderwaterThings|OperatingSystem
Dadet PramadihantoKepala ResearchCenterER2C
Sritrusta Sukaridhoto A.Subhan Khalilullah
Anggota Grup Riset SO
er2c.pens.ac.idOperatingSystem
StudentMember:v TitoPramudanav RamaWidi Praditav Adhe Widianjayav Imaddudin Mukhtarv Syah Hamzahv DiyanMinoziav Ratih Arnia Tsaniv AlvinSyarifudin Shahabv MichaelSaputra Junianto
Mikrokernel
Mikrokernel adalah perangkat lunak yanghampirminimum,yangmampu menyediakanmekanisme-mekanisme yangdibutuhkan untukmengimplementasikan sebuah sistem operasi.- Wikipedia,diakses 2015.
Seminimumapa?Mekanisme minimumuntuk sistem operasi apa saja?
Mikrokernel dan Monolitik
MonolithicKernel• Mostoftoday'sOSkernels• Highly-complex• MoreLineofCodes• LessSecure(hardtoavoidbugs
andinstability)• FoundinLinuxBasedOS
Microkernel• Performisolation foreach
OScomponent• Lesscomplexity(Onlyfocus
onProcessorActivity,suchasIPCandAddressSpacing)
• LessLineofCodes• MoreSecure
Mikrokernel dan Monolitik
Sumber:wikimedia.org
Mikrokernel dan Linux
1992:Debat Tanenbaumdan LinusTorvalds(https://en.wikipedia.org/wiki/Tanenbaum-Torvalds_debate)
Mikrokernel vsMonolitikMikrokernel vsLinux?
Mikrokernel dan LinuxKenapa tidak keduanya saja?1996:LinuxBerbasisMikrokernel Mach(MkLinux)oleh AppleInc.dan OpenSoftwareFoundationResearchInstitute.RedHatLinux.
1997:LinuxBerbasisMikrokernel L4(L4Linux)oleh Technische Universitat Dresden.7KaliLebih Cepat.
Mikrokernel vsLinuxMikrokernel +Linux
Generasi Mikrokernel
Generasi Pertama:Mikrokernel Mach
Generasi Kedua:L4(dibangun oleh Jochen Lietdke fulldalam bahasaAssembly).SebelumTahun 2000.
Generasi Ketiga:L4Sesudah Tahun 2000.
Mikrokernel L4
Sumber:FromL3toseL4.SymposiumonOperatingSystemPrinciples2013
Mengapa Mikrokernel?MasaDepan Komputer
Sumber:HIPPEROS– ThePerfectChipSong
Mengapa Mikrokernel?PlatformInternetofThings
EmbeddedProcessorMarketGrowthandRevenue
Sumber: VDC Research Predicition, 2013
Controller and processor usedin embedded applications
Mengapa Mikrokernel?Faktanya….Ciscomenggunakan mikrokernel QNX(yangjuga digunakan diblackberry)sebagai basispengembangan CiscoIOSSumber:wikipedia.org/wiki/Cisco_IOS
Mikrokernel telah dikembangkan untukmendukung banyak arsitekturpopuler:x86,amd64,ARM,MIPS. Sumber:l4hq.org.
Analisa dan survei MINIXmengatakan bahwa:Setiap 1000baris kode pada kernelMonolitik terdapat rata-rata20bug.Sementara hanya terdapat 1hingga7bugpada setiap 1000baris kodeMikrokernel.Sumber:www.minix3.org.
Mengapa Mikrokernel?Faktanya….AppleiOSmenggunakanMikrokernel untuk SecurityProcessorSumber:iOSSecurityGuide,Dokumen Resmi Apple,diterbitkan September2015.
PertamadiDunia:Secaramatematis terbukti tepat,benar,dan bugfree. Sumber:NationalICTofAustralia,seL4:FormalverificationofOSKernel.2011.
FOSSBytes.com:Microkernel,Unhackable Kernel.Sumber:fossbytes.com.2015
Mengapa Mikrokernel?Faktanya….SimplicityisBetter…Kode kernellinux dapat mencapai 500.000baris,bahkan lebih.Mikrokernel tidak lebih dari 10.000baris.0,2%.Sumber:l4hq.org,HomeofL4Community.
Pernahmenjumpai frameworkuntukmembuat OSsendiri?Ya,GenodeOSFramework,menggunakanMikrokernel. Sumber:genode.org.
2014:DARPAsecara resmi mendanai pengembanganmikrokernel.Terdapat <500karyawan yangbekerja dalampengembanganmikrokernel seL4diAmerika.Sumber:l4hq.orgdan dodsbir.net.
Mikrokernel,Cukup Menjanjikan?
Mikrokernel Hari IniMikrokernel untuk SmartphoneOKL4Microvisor padaMotorolaEvoke
QNXBlackberry
Sumber:MotorolaEvokeTeardown- WhitePaper
Mikrokernel Hari IniMikrokernel untuk Industri dan RealTimeSystem
Mikrokernel dan DARPA
Mikrokernel dan Qualcomm(OpenKernelLabs,Australia)
Hyper-Vdan xhypervisor:Virtualisasi berbasis microkernel.
Mikrokernel dan FLoW
Mikrokernel Hari IniMikrokernel dalam AppleiOS
Sumber: iOSSecurity,diterbitkan September2015
Mikrokernel Hari Ini
Mikrokernel dalam OSIndonesia?
Mikrokernel Hari Ini
ARMPlatformWithFLoW OSinBody
ARMCortexM4withEmbeddedFLoWOSinHead
EmbeddedComputerwithEmbeddedFLoWOSMainComputer
CommunicationBusAndNetworks
EthernetDistributedComputinginHumanoidRobotEachdevicesinseparateHumanoidparts implementsFLoW Operating System,andperformseffectivecommunicationsandsynchronizationforsensingandactuators control.
ARMCortexM4withEmbeddedFLoW OSinArms
ARMCortexM4withEmbeddedFLoW OSinLegs
Sumber:FLoW HumanoidRobotFramework
MasaDepan Mikrokernel
Sumber:barrelfish.org
Sumber:sel4.systems
Sumber:darpa.mil
Semua logoyangtercantum dalam dokumen ini adalah hak cipta sangpemilik
MasaDepan Sistem Komputer
MasaDepan Sistem Komputer
Ya,kita bisa…
Bikin kernelsendiri?Infrastruktur IoT kita sendiri?
Ya,kita bisa…
Pernahkan Anda menjumpai….
Ya,kita bisa…
Pernahkan Anda menjumpai….
Ya,kita bisa…
Pernahkan Anda menjumpai….
Ya,kita bisa…
Pernahkan Anda menjumpai….
Ya,kita bisa…
Scheduler handler – Critical Section
Terima kasih
Mikrokernel FLoW diOMAP4PandaboardDipresentasikan diInternationalElectronicSymposium2014,dan InternationalConference
onControl,Electronics,RenewableEnergy,andCommunications2015
Terima kasih
er2c.pens.ac.idHumanoidRobot|EducationalRobot|Internetof
UnderwaterThings|OperatingSystemPoliteknik Elektronika Negeri Surabaya.JalanRayaITS,Surabaya
60111,[email protected]