robur/homepage-data
4
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

no c++, c is enough

Browse source
This commit is contained in:
Hannes Mehnert 2017-09-17 19:57:20 +01:00
parent 3f19a9020a
commit e0c7654f6e
2 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
Home
View file

@ -8,7 +8,7 @@ With our approach to systems development we provide the following advantages for
* secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state * secure implementation guarded against memory corruption, typelevel problems, leaky abstraction and unforseen state
* ready for the cloud, services run on all major hypervisors * ready for the cloud, services run on all major hypervisors
* instant boot * instant boot
* competitive performance comparable to C / C++ * competitive performance comparable to C
* can target embedded devices because of small size and the ability to compile to native code * can target embedded devices because of small size and the ability to compile to native code
* minimized state allows to reason about entire systems and their adherence to the specification * minimized state allows to reason about entire systems and their adherence to the specification
* extensive library ecosystem, yet minimal trusted code base at runtime * extensive library ecosystem, yet minimal trusted code base at runtime

2
Technology
View file

@ -127,7 +127,7 @@ This style allows us to reason about the possible states of a system.
### Performance ### Performance
OCaml code compiles to native code, which is OCaml code compiles to native code, which is
as performant as compiled C++ code. As competitive, and comparable to compiled C code. As
an example, our [TLS library](https://usenix15.nqsb.io) has up to 85% of the bulk throughput of OpenSSL (using an example, our [TLS library](https://usenix15.nqsb.io) has up to 85% of the bulk throughput of OpenSSL (using
AES128-CBC). The TLS handshake performance is comparable with OpenSSL. AES128-CBC). The TLS handshake performance is comparable with OpenSSL.