If, like me, you've been frustrated with the status quo in systems languages, this article will give you a taste of why Rust is so exciting. In a tiny amount of code, it shows a lot of ways that Rust really kicks ass compared to C and C++. It's not just safe and fast, it's a lot more convenient.
Web browsers do string interning to condense the strings that make up the Web, such as tag and attribute names, into small values that can be compared quickly. I recently added event logging support to Servo's string interner. This will allow us to record traces from real websites, which we can use to guide further optimizations.
Here are the events we can log:
#[deriving(Show)] pub enum Event { Intern(u64), Insert(u64, String), Remove(u64), }
Interned strings have a 64-bit ID,
which is recorded in every event.
The String
we store for "insert" events
is like C++'s std::string
;
it points to a buffer in the heap,
and it owns that buffer.
This enum
is a bit fancier than a C enum
,
but its representation in memory
is no more complex than a C struct
.
There's a tag for the three alternatives,
a 64-bit ID,
and a few fields that make up the String
.
When we pass or return an Event
by value,
it's at worst a memcpy
of a few dozen bytes.
There's no implicit heap allocation,
garbage collection,
or anything like that.
We didn't define a way to copy an event;
this means the String
buffer
always has a unique owner
who is responsible for freeing it.
The deriving(Show)
attribute
tells the compiler to auto-generate
a text representation,
so we can print an Event
just as easily as a built-in type.
Next we declare a global vector of events, protected by a mutex:
lazy_static! { pub static ref LOG: Mutex<Vec<Event>> = Mutex::new(Vec::with_capacity(50_000)); }
lazy_static!
will initialize both of them
when LOG
is first used.
Like String
, the Vec
is a growable buffer.
We won't turn on event logging in release builds,
so it's fine to pre-allocate space for 50,000 events.
(You can put underscores
anywhere in a integer literal
to improve readability.)
lazy_static!
, Mutex
, and Vec
are all implemented
in Rust
using gnarly low-level code.
But the amazing thing
is that all three expose a safe interface.
It's simply not possible
to use the variable before it's initialized,
or to read the value the Mutex
protects without locking it,
or to modify the vector while iterating over it.
The worst you can do is deadlock.
And Rust considers that pretty bad, still,
which is why it discourages global state.
But it's clearly what we need here.
Rust takes a pragmatic approach to safety.
You can always write the unsafe
keyword
and then use the same pointer tricks
you'd use in C.
But you don't need to be quite so guarded
when writing the other 95% of your code.
I want a language that assumes I'm brilliant but distracted :)
Rust catches these mistakes at compile time, and produces the same code you'd see with equivalent constructs in C++. For a more in-depth comparison, see Ruud van Asseldonk's excellent series of articles about porting a spectral path tracer from C++ to Rust. The Rust code performs basically the same as Clang / GCC / MSVC on the same platform. Not surprising, because Rust uses LLVM and benefits from the same backend optimizations as Clang.
lazy_static!
is not a built-in language feature;
it's a macro provided by
a third-party library.
Since the library uses Cargo,
I can include it in my project by adding
[dependencies.lazy_static]
git = "https://github.com/Kimundi/lazy-static.rs"
to Cargo.toml
and then adding
#[phase(plugin)] extern crate lazy_static;
to src/lib.rs
.
Cargo will automatically fetch and build all dependencies.
Code reuse becomes no harder
than in your favorite scripting language.
Finally, we define a function that pushes a new event onto the vector:
pub fn log(e: Event) { LOG.lock().push(e); }
LOG.lock()
produces an
RAII handle
that will automatically unlock the mutex
when it falls out of scope.
In C++ I always hesitate to use temporaries like this
because if they're destroyed too soon,
my program will segfault or worse.
Rust has compile-time lifetime checking,
so I can do things that would be reckless in C++.
If you scroll up you'll see a lot of prose and not a lot of code. That's because I got a huge amount of functionality for free. Here's the logging module again:
#[deriving(Show)] pub enum Event { Intern(u64), Insert(u64, String), Remove(u64), } lazy_static! { pub static ref LOG: Mutex<Vec<Event>> = Mutex::new(Vec::with_capacity(50_000)); } pub fn log(e: Event) { LOG.lock().push(e); }
This goes in src/event.rs
and we include it from src/lib.rs
.
#[cfg(feature = "log-events")] pub mod event;
The cfg
attribute
is how Rust does conditional compilation. Another project can specify
[dependencies.string_cache]
git = "https://github.com/servo/string-cache"
features = ["log-events"]
and add code to dump the log:
for e in string_cache::event::LOG.lock().iter() { println!("{}", e); }
Any project which doesn't opt in to log-events
will see zero impact from any of this.
If you'd like to learn Rust, the Guide is a good place to start. We're getting close to 1.0 and the important concepts have been stable for a while, but the details of syntax and libraries are still in flux. It's not too early to learn, but it might be too early to maintain a large library.
By the way,
here are the events generated by
interning the three strings
foobarbaz
foo
blockquote
:
Insert(0x7f1daa023090, foobarbaz)
Intern(0x7f1daa023090)
Intern(0x6f6f6631)
Intern(0xb00000002)
There are three different kinds of IDs, indicated by the least significant bits. The first is a pointer into a standard interning table, which is protected by a mutex. The other two are created without synchronization, which improves parallelism between parser threads.
In UTF-8,
the string foo
is smaller than a 64-bit pointer,
so we store the characters directly.
blockquote
is too big for that,
but it corresponds to a well-known HTML tag.
0xb
is the index of blockquote
in
a static list
of strings that are common
on the Web.
Static atoms
can also be used
in pattern matching, and
LLVM's optimizations
for C's switch
statements will apply.
Found your blog. Its really have good information on C++ programming. Really liked and appreciate it. Thank you for all the information.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDelete
ReplyDeleteVery interesting. If you have paid the irs penalty abatement form , we can get them back for you. Head over to refundproject.com or call us at: 888-659-0588.
This comment has been removed by the author.
ReplyDeleteThis comment has been removed by the author.
ReplyDelete
ReplyDeleteVery interesting. If you have paid the penalty abatement
, we can get them back for you. Head over to refundproject.com or call us at: 888-659-0588.
ReplyDeleteVery interesting. If you have paid the penalty abatement
, we can get them back for you. Head over to refundproject.com or call us at: 888-659-0588.
ReplyDeleteVery interesting. If you have paid the IRS Penalties, we can get them back for you. Head over to http://refundproject.com or call us at: 888-659-0588.
I must say you had done a tremendous job,I appreciate all your efforts.Thanks alot for your writings......Waiting for a new 1...Please visit our wonderful and valuable website-
ReplyDeletePackers And Movers Bangalore
Packers And Movers Indiranagar Bangalore
ReplyDeletePackers and Movers KR Puram Bangalore
Packers And Movers Electronics City bengaluru
Packers And Movers Marathahalli Colony bengaluru
Packers And Movers whitefield Bangalore
Packers And Movers Hsr Layout bengaluru
Packers and movers bangalore to Hyderabad
ReplyDeletePackers and movers bangalore to Pune
Packers and movers bangalore to chennai
Packers and movers bangalore to Noida
Packers and movers bangalore to Mumbai
Packers and movers bangalore to ahemadabad
Packers and movers bangalore to gurgaon
Packers and Movers in India
ReplyDeletePackers and Movers Raipur
Packers and Movers Nagpur
Packers and Movers Jaipur
Packers and Movers Udaipur
Packers and Movers Surat
Packers and Movers Vadodara
Packers and Movers Chandigarh
Packers and Movers Jabalpur
Packers and Movers Hyderabad
Packers and Movers in Indore
ReplyDeletePackers and Movers in Gurgaon
Packers and Movers in Kolkata
Packers and Movers in Mumbai
Packers and Movers in Bhopal
Packers and Movers in Delhi
Packers and Movers in Jaipur
Packers and Movers in Raipur
Packers and Movers Pune
Packers and Movers in Ahmedabad
شركة بتبوك
ReplyDeleteشركة مكافحة حشرات بتبوك
شركة مكافحة النمل الابيض بتبوك
شركة رش مبيدات بتبوك
شركة رش مبيدات
ReplyDeleteشركة رش مبيدات بتبوك
شركة رش مبيدات بحائل
شركة رش مبيدات بنجران
Packers and Movers Chennai Give Safe and Reliable ***Household Shifting Services in Chennai with Reasonable ###Packers and Movers Price Quotation. We Provide Household Shifting, Office Relocation, ✔✔✔Local and Domestic Transportation Services, Affordable and Reliable Shifting Service Charges @
ReplyDeletePackers And Movers Chennai
Packers and Movers Indore - Call 09303355424, Local Household Shifting in Indore, Domestic Home Relocation from Indore. International Home Relocation from Indore, Office Shifting within Indore, Car and Bike Transportation from Indore, Safe Packing and Moving Services,
ReplyDeleteBest Packers and Movers Indore
Best Packers and Movers Gurgaon
Best Packers and Movers Kolkata
Best Packers and Movers Mumbai
Best Packers and Movers Bhopal
Best Packers and Movers Delhi
Best Packers and Movers Jaipur
Best Packers and Movers Raipur
Best Packers and Movers Pune
Best Packers and Movers Ahmedabad
ctfs login
ReplyDeletecanadian tire mastercard
canadian tire mastercard login
Packers and Movers Hyderabad Give Certified and Verified Service Providers, Cheap and Best ###Office Relocation Charges, ***Home Shifting, ???Goods Insurance worth Rs. 10,000, Assurance for Local and Domestic House Shifting. Safe and Reliable Household Shifting Services in Hyderabad with Reasonable Packers and Movers Price Quotation @
ReplyDeletePackers And Movers Hyderabad
I do not even know how I ended up here, but I thought this post was great.I do not know who you are but certainly you’re going to a famous blogger if you are not already 😉 Cheers!
ReplyDeleteVTU Notes
Hi Friends, I have sifted yesterday from Delhi to Mumbai and I reached my destination. Before sifting I was very worried about my households, how I will manage about those items that I started to search Packers and Movers on the internet. I saw so many there that I took a risk because I haven't any idea of Packers and Movers and called to Agarwal Packers and Movers. Their staff came and start doing there work. I can't believe After watching their work I was so impressed and glad too.
ReplyDeleteAgarwal Packers Reviews
Agarwal Packers Feedback
Agarwal Packers Complaint
kajal-raghwani-biography
ReplyDeletevery nice post..
I like your blog..
I read regularly
buy social media likes, views, followers through hgfollowers.
ReplyDeletebuy youtube subscribers
buy youtube views
buy social media likes, views, followers through hgfollowers
buy youtube views
buy youtube views
i am a programmer and i am not good in other programs as i specialized on creating apps
ReplyDeleteHighly descriptive blog, I like it a lot! Thanks for sharing. www.gumawawebsite.blogspot.com
ReplyDeleteOptimize your twitter profile,buy twitter followers at an affordable price.
ReplyDeleteThis comment has been removed by the author.
ReplyDeleteIncrease your twitter retweet, buy twitter retweet at an affordable price with 100% real and safe.
ReplyDeleteGet the world class design and a specialist in graphic design services and customized package as per your business need in Glasglow,U.K. with leading web design company in Glasglow. CTR Global offers full web design and web development services. Make your website more attractive.
ReplyDeleteGet the best vastu consultant in mumbaiwith all vastu solution at one-stop.
ReplyDeleteGet the ideas and concepts of one of the best vastu consultant in kolkata, with leading vastu consultant Shri Astrologer.
ReplyDeleteVery interesting, thankyou for sharing this blog
ReplyDeleteIf you want some vastu consultancy, get the best online vastu consultancy,vastu consultant in noida
Ae clicks is an award-winning SEO Company in Dubai, which is consistently ranked among the best seo company in dubai since last few years.
ReplyDeleteclicks bazaar is the best social media marketing platform to grow up your product & services Social Media Marketing Ahmedabad
ReplyDeleteappvn apk
ReplyDeleteappvn app
https://apkmist.com/
redbox tv apk
redbox tv app
If you have any questions regarding canon wireless printer setup
ReplyDeleteproblem or if you are still experiencing some annoying printer problems then just call us +1 800-684-5649
How can I explain this to the world that there is a man who can cure HERPES, I was diagnosed for the past 5 mouth I have being into HERPES since 5 mouth, so I decide to look for help in the internet then I found a post write about this great man called DR. Agbonhale , people say good thing about him that this man have cured, a lot of people in the internet, him has power's to cure HSV1 AND HSV2 I don’t believe that there is a cure for Herpes Simplex Virus because though there is no cure for herpes that what I have in mind HERPES had no cure well , my HERPES is negative through the using of herbal cured of dr agbonhale , I contacted this man for help because of what i see in the internet. if you need his cured just email him now on dragbonhaleherbalhome@gmail.com , thank you DR. i will never stop shearing you testimony DR. Agbonhale . him Can as well CURE THE FOLLOWING DISEASE:-1, HIV/AIDS, 2, Diseases of the hear 3, Malignant tumors 4. Cardiovascular diseases 5. Diabetes mellifluous 6.Influenza and pneumonia 7.Alzheimer's disease 8. hsv1 - hsv2. If you need LOVE SPELL. E.T.C contact him dragbonhaleherbalhome@gmail.com or you whatsapp him on +2349073130326..
ReplyDeleteAe clicks is an award-winning social media marketing dubai. Social media is all about connecting and engaging with an audience. You can use it to target a specific audience – no matter how big or small.
ReplyDeleteاشكال بلاط الحوش تراكوتا من الانواع المميزة
ReplyDeleteشركة نقل اثاث بابها
شركة تنظيف بحفر الباطن
كم يكلف تبليط الحوش ؟ الحمامات من الاماكن التي يجب ان تكون نظيفة دائماً و احيانا نظافة الحمامات تعتمد علي عدم توازن البلاط و بالتالي تقف المياه ولا تسير في اتجاه الصرف و تلك الاخطاء تكن بسبب الالتوائات الموجودة في البلاط و السبب الاساسي هي الصناعة، يجب ايها الاخ القارئ ان تنفق ما في جيبك من اجل اختيار افضل انواع البلاط من حيث جودة البلاطة الاساسية في الصنع و من حيث الالوان.شركة تسليك مجارى بالمدينة المنورة
شركة تنظيف بحفر الباطن
المواصفات التي يمتلكها البلاط و السيراميك الذي يتواجد لدينا