Announcement

Collapse
No announcement yet.

"The World's Most Highly-Assured OS" Kernel Open-Sourced

Collapse
X
  • Filter
  • Time
  • Show
Clear All
new posts

  • #31
    wow, i'm badly impressed about how many people here fail badly on the concept of proof. it's like talking to 5 years old children.

    Comment


    • #32
      Originally posted by Luke_Wolf View Post
      There's that too, even Minix3 which is the most advanced of the 3 primary FOSS microkernel (minix, genode, helenOS) projects can't really be run on bear metal at this point. Personally I expect Dragonfly BSD to finish turning into a microkernel before those 3 get themselves in shape to try to compete.
      I haven't mucked around with helenos but I've certainly ran MINIX and Genode on bare metal. Maybe "bear" metal is different?

      Comment


      • #33
        Originally posted by kaprikawn View Post
        Thanks, wow that's quite something. A quick google search shows the Linux kernel was over 15million lines of code in 2011. I suppose it's a lot easier to keep code secure when there's so few moving parts.

        For limited use cases I'm sure this would be good to use. Though with so few lines of code I'm assuming there's no hardware drivers. Imagine getting wi-fi up-and-running using this!
        Most wifi drivers are more than 7500 lines of code by themselves.... ath10k is over 28000.
        Wait... 7500 only? Really? There's not a "0" or 2 missing from that?

        Comment


        • #34
          Originally posted by droidhacker View Post
          Most wifi drivers are more than 7500 lines of code by themselves.... ath10k is over 28000.
          Wait... 7500 only? Really? There's not a "0" or 2 missing from that?
          Yep. I was right, there was a 0 missing.
          $ git ls-files | xargs cat | wc -l
          82122

          Comment


          • #35
            Originally posted by droidhacker View Post
            Yep. I was right, there was a 0 missing.
            $ git ls-files | xargs cat | wc -l
            82122
            7500 refers to only the lines of code that are a part of the microkernel.

            Comment


            • #36
              Originally posted by jayrulez View Post
              Correlation is not causation. There are more monolithic kernel projects that failed to success in their target markets that microkernels. Noone is pushing any microkernel for desktop or server markets. Despite many pushing Linux as a desktop OS, it has yet to make any inroads on the desktop. Does that make Linux or monolithic kernels bad for the desktop? I don't think so. Correlation is not causation.
              Again, micro-kernels built around the notion that monolithic kernels are inherently unstable *by design*.
              In-order to solve this inherent design issue, micro-kernels pay a hefty price when it comes to latency and complexity.
              Given the fact that *all* 5/9s servers in the world use monolithic kernels more or less proves that monolithic kernels are just as stable as micro-kernels.

              - Gilboa
              DEV: Intel S2600C0, 2xE5-2658V2, 32GB, 6x2TB, GTX1080, F30/x86_64, Dell UP3216Q 4K.
              SRV: Intel S5520SC, 2xX5680, 36GB, 6x2TB, GTX550, F30/x86_64, Dell U2711.
              WIN: Gigabyte B85M-HD3, E3-1245V3, 32GB, 5x1TB, GTX980, Win10Pro.
              LAP: ASUS Strix GL502V, i7-6700HQ, 32GB, 1TB+256GB, 1070M, F30/x86_64.

              Comment


              • #37
                Originally posted by Luke_Wolf View Post
                Basically this ^, plus all of the FOSS gen2 microkernel OSes are in their infancy when compared to the monolithic ones. L4/Pistachio was released in 2001, Minix 3 was 2005, Genode in 2008, HelenOS AFAICT started in 2009.
                Just fyi, Genode is an OS, and can use various kernels (including Linux).

                Comment


                • #38
                  Originally posted by gilboa View Post
                  Again, micro-kernels built around the notion that monolithic kernels are inherently unstable *by design*.
                  In-order to solve this inherent design issue, micro-kernels pay a hefty price when it comes to latency and complexity.
                  Given the fact that *all* 5/9s servers in the world use monolithic kernels more or less proves that monolithic kernels are just as stable as micro-kernels.

                  - Gilboa
                  LOL. It only tells that servers are not seen as life- and safety-critical systems. Ever seen Linux running medical, nuclear, space or military devices? Think of SIL 3 and 4. They are dominated by microkernels.

                  Comment


                  • #39
                    Originally posted by log0 View Post
                    LOL. It only tells that servers are not seen as life- and safety-critical systems. Ever seen Linux running medical, nuclear, space or military devices? Think of SIL 3 and 4. They are dominated by microkernels.
                    Sure, 5-9's servers are not seen as life critical servers. Large ITs (E.g. banks, insurance companies, stock-exchanges, etc) pay 50-300K$ a server (loaded with RAS features) simply because the extra cash is burning a hole in their pocket.
                    Troll much?

                    (EDIT: Oh, and while you are at it, check the dictionary for the definition of "just-as-stable").
                    Last edited by gilboa; 08-03-2014, 07:54 AM.
                    DEV: Intel S2600C0, 2xE5-2658V2, 32GB, 6x2TB, GTX1080, F30/x86_64, Dell UP3216Q 4K.
                    SRV: Intel S5520SC, 2xX5680, 36GB, 6x2TB, GTX550, F30/x86_64, Dell U2711.
                    WIN: Gigabyte B85M-HD3, E3-1245V3, 32GB, 5x1TB, GTX980, Win10Pro.
                    LAP: ASUS Strix GL502V, i7-6700HQ, 32GB, 1TB+256GB, 1070M, F30/x86_64.

                    Comment


                    • #40
                      Originally posted by gilboa View Post
                      Sure, 5-9's servers are not seen as life critical servers. Large ITs (E.g. banks, insurance companies, stock-exchanges, etc) pay 50-300K$ a server (loaded with RAS features) simply because the extra cash is burning a hole in their pocket.
                      Troll much?

                      (EDIT: Oh, and while you are at it, check the dictionary for the definition of "just-as-stable").
                      Please read my previous reply.

                      Comment

                      Working...
                      X