Skip to contentShisoft Notesnotes for my studies and status reportMenu and widgetsSearch for:Recent PostsSend, Sync , RefCell, Mutex and RwLock. How rust ensures thread safety.Building RPC framework for Rust programming languageLanguage choice for my next pivotMultifunctional Home Server VirtualizationLessons learned about locksRecent Commentsshisoft on Send, Sync , RefCell, Mutex and RwLock. How rust ensures thread safety.clyce on Send, Sync , RefCell, Mutex and RwLock. How rust ensures thread safety.Send, Sync , RefCell, Mutex and RwLock. How rust ensures thread safety. – Shisoft Notes on Crashing the G-WAN web server, at the speed of lightBuilding a Graph Engine — Computation Engines | Shisoft Notes on Nebuchadnezzar, finally evolvedNebuchadnezzar, finally evolved | Shisoft Notes on Some thought about storage system for the in-memory key-value storeArchivesDecember 2016November 2016October 2016September 2016August 2016July 2016June 2016May 2016April 2016March 2016February 2016December 2015July 2015June 2015CategoriesCareerDevelopmentMorpheusRustStudyVirtualizationWebFusionWriting PracticeMetaLog inEntries RSSComments RSSWordPress.orgCV, Certifications and PatentsHere are my documents. If you want to contact me, please send me emails.Full CVCertifications and Patents (Scanned Copy)Certifications and Patents (Translation)FeaturedPosted on December 14, 2015July 29, 2016Categories Development, StudyLeave a comment on CV, Certifications and PatentsSend, Sync , RefCell, Mutex and RwLock. How rust ensures thread safety.I am working on bifrost, in the whole month. Expected it to be the foundation of my future projects. Although Raft algorithm itself it simple for everyone to understand, to achieve a usable library like Zookeeper and etcd still required efforts.In the process of implementing this algorithm with read ability from state machines, which can be executed on both leader and updated follower concurrently to improve read performance, I figured out how rust ensures thread safety by myself.Let's rehearse how to mutate a variable and what happened under the hood.First, every mutable variable should have a prefix 'mut' to tell the compiler it is mutable. Then the compiler will keep eyes on those kind of variable to avoid potential inconsistent behavior likely to happen.For example, in Java you can do this without get an error from compiler. But it is a very bad practice, don't do this at work.List numbers = new ArrayList();numbers.add(1);for int i : numbers {numbers.add(i + 1);}You may expect you can get 1 and 2 in the number list. But in rust, this code even cannot been compiled.let mut numbers = vec!(1);for i in &numbers {numbers.push(i + 1);}You will get error like this:error[E0502]: cannot borrow `numbers` as mutable because it is also borrowed as immutable--> src/raft/mod.rs:444:13|443 |         for i in &numbers {|                   ------- immutable borrow occurs here444 |             numbers.push(i + 1);|