What is wrong with C? Why Rust?

#rust #c #mozzilla #memorysafety

Origin of Rust

Rust users ලා එයාලව් Rustaceans විදියට හදුන්වන අතර Ferris එයාලග් mascot විදියට පාවිච්චි කරනවා.

2006 Mozilla වැඩ කරන Graydon Hoare කියන මහත්තයාගේ personal project විදිහට පටගත්තු Rust language 2009 දී Mozilla sponsor කරන්න පන්ගන්න්වා. 2011 OCaml වලින් ලියලා තිබුණු Rust compiler ආපහු අමුතුවෙන්ම Rust වලින් ලියලා rustc කියන අලුත් Rust compiler හදනවා. 2012 දී pre-alpha release කරන අතර Rust 1.0 එහෙමත් නැත්නම් පළවෙනි stable release 2015 මැයි 15 නිකුත් කරනවා.

What is the biggest wrong with C?

Memory Safety

What Is Memory Safety?

Program executions වෙනකොට වැරදි මතකයකට (invalid memory) ඇතුල් වෙන්න බැ. එහෙම ඇතුල වීම Memory violations විදියට අපි හදුන්වා දෙනවා.

Violations :

use after free
null pointer dereference
using uninitialized memory
double free
buffer overflow

මේ Memory violations ,

programs unexpectedly crash වෙන්න.
අපේක්ෂිත හැසිරීම (intended behavior) ඇතිවෙන්න exploit කිරීම.
Information leakage ඇතුළු memory ආශිත bugs
Arbitrary code execution
Remote code execution

වලට හේතු වෙනවා.

Microsoftලගේ vulnerabilities වලින් ~70% ඇතිවෙන්නේ memory safety issues නිසා.

Why Rust?

Rust කියන්නේ modern systems programming language type-safe හා memory-safe තියෙන්න. Rust වල තියෙන මේ safety guarantees නිසා compile time වලදී thread-safe තියෙනවා කියලා සලකනවා. මේ නිසා Rust පහත දේවල් වලට විශේෂයෙන් හොදයි.

Untrusted input safely processes කිරීමට.
Performance improve කරන්න parallelism පාවිච්චි කරන්න.
Isolated components සමග පවතින (existing) codebase ඒකාබද්ධ (integrating) කරන්න.

Cargo

Rust වල තියෙන ප්‍රදාන වාසියක් තමයි central package management කියන්නේ. cargo build වලින් ඔයාට ඕනි කරන dependencies සේරම ටික download කරලා compile ලුත් කරලා ඔයාගේ ඔයාගේ code link කුත් කරලා දෙනවා. ඔව් ටිකක් npm / yarn වගේ හුකම Go ලාගේ go build වගේ. C/C++ වල නම් dependencies ඔයාට manually download කරල install කරන්න ඕනි නැත්නම් make ලියලා හෙන නැටුමක් නටන්න ඕනි.

Servo

Mozilla Research develop කරන browser engine. මේක ලියන්නේ Rust වලින්. මේකට Quantum CSS කියලත් කියනව.

Why Quantum CSS aka Stylo?

Rust වලින් ප්‍රතිනිර්මාණය Quantum CSS නිර්මාණය කරන්න මුලිකම හේතුව තමයි page performance හා security වැඩිදියුණු කරන්න එක.

Firefox Quantum නිර්මාණය කරන්නේ ඒ Stylo browser engine දාල.

කලින් තිබුණු browser engine තිබුණු security bugs 69 යෙන් 51ම (73.9%) Stylo browser engine Rust වලින් නිර්මාණය කරපු නිසා නැති කරගන්න පුලුවම් වෙලා තියෙනවා.