mikrokernel at cangkrukan linux klas oktober 2015

Mikrokernel?AdheWidianjaya

EEPISRoboticsResearchCenter|PENSer2c.pens.ac.id

ER2CLab|PENS

er2c.pens.ac.idHumanoidRobot|EducationalRobot|InternetofUnderwaterThings|OperatingSystemPoliteknik Elektronika Negeri Surabaya.JalanRayaITS,Surabaya60111,INDONESIA.er2c@pens.ac.id

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,INDONESIA.er2c@pens.ac.id