Upgrade to Pro — share decks privately, control downloads, hide ads and more …

Hello Rust

Yehuda Katz
February 18, 2014

Hello Rust

My introductory talk on Rust and some ending thoughts on using Rust for Ruby C extensions.

Yehuda Katz

February 18, 2014
Tweet

More Decks by Yehuda Katz

Other Decks in Technology

Transcript

  1. Memory Unsafe Memory Safe Low-Level Pointers C, C++, Objective C

    Garbage Collected Objective C Ruby, Java, Go Rust
  2. Memory Unsafe Memory Safe Low-Level Pointers C, C++, Objective C

    Garbage Collected Objective C Ruby, Java, Go Rust
  3. Why Low Level? • Directly control memory usage • Avoid

    uncontrollable GC pauses • Embed into other GC'ed environments (like Ruby!)
  4. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
 } owned by main()
  5. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
    
    let  line  =  Line{  a:  a,  b:  b  }
 } copied into line owned by main()
  6. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
    
    let  line  =  Line{  a:  a,  b:  b  }
 } owned by main() owned by main() line is dropped with its contents; a and b are dropped
  7. Stack Allocation struct  Point  {  x:  int,  y:  int  }


    struct  Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
    
    let  line  =  Line{  a:  a,  b:  b  }
 } 128 bits 256 bits allocate 512 bits for stack storage
  8. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
    
    let  line  =  Line{  a:  a,  b:  b  }
 } owned by this scope
  9. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  Point,  b:  Point  }
 
 fn  main()  {
    let  a  =  Point{  x:  10,  y:  10  };
    let  b  =  Point{  x:  20,  y:  20  };
    
    let  line  =  Line{  a:  a,  b:  b  }
 } moving?!
  10. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  ~Point,  b:  ~Point  }
 
 fn  main()  {
    let  a  =  ~Point{  x:  10,  y:  10  };
    let  b  =  ~Point{  x:  20,  y:  20  };
    
    let  line  =  ~Line{  a:  a,  b:  b  }
 } owned by main(), moveable
  11. Ownership struct  Point  {  x:  int,  y:  int  }
 struct

     Line    {  a:  ~Point,  b:  ~Point  }
 
 fn  main()  {
    let  a  =  ~Point{  x:  10,  y:  10  };
    let  b  =  ~Point{  x:  20,  y:  20  };
    
    let  line  =  ~Line{  a:  a,  b:  b  }
 } heap allocated
  12. Computations use  std::num::{pow,sqrt};
 
 struct  Point  {  x:  int,  y:

     int  }
 struct  Line    {  a:  ~Point,  b:  ~Point  }
 
 fn  length(line:  ~Line)  -­‐>  uint  {
    let  Line{  a,  b  }  =  line;
    let  x  =  pow(b.x  -­‐  a.x,  2);
    let  y  =  pow(b.y  -­‐  a.y,  2);
    sqrt(x  +  y)
 } owned by length() line is dropped
  13. Computations use  std::num::{pow,sqrt};
 
 struct  Point  {  x:  int,  y:

     int  }
 struct  Line    {  a:  Point,  b:  Point  }
 
 fn  length(line:  &Line)  -­‐>  uint  {
  let  x  =  pow(line.b.x  -­‐  line.a.x,  2);
    let  y  =  pow(line.b.y  -­‐  line.a.y,  2);
    sqrt(x  +  y)
 } borrowed by length() line is not dropped moving is disallowed by the compiler
  14. Stack Allocation is Back! fn  main()  {
    let  line

     =  Line{  a:  Point{  x:  10,  y:  10  },  b:  Point{  x:  20,  y:  20  }  };
    println!("length:  {:u}",  length(&mut  line));
 }
 
 fn  length(line:  &mut  Line)  -­‐>  uint  {
    let  x  =  pow(line.b.x  -­‐  line.a.x,  2);
    let  y  =  pow(line.b.y  -­‐  line.a.y,  2);
    sqrt(x  +  y)
 } line is not dropped moving is disallowed by the
 compiler, so passing a stack
 value's memory address is safe
  15. Object Orientation, Can Haz? use  std::num::{pow,sqrt};
 
 struct  Point  {

     x:  int,  y:  int  }
 struct  Line    {  a:  Point,  b:  Point  }
 
 impl  Line  {
    fn  length(&self)  -­‐>  uint  {
        let  x  =  pow(self.b.x  -­‐  self.a.x,  2);
        let  y  =  pow(self.b.y  -­‐  self.a.y,  2);
        sqrt(x  +  y)
    }
 } self is almost always borrowed
  16. Net Result • You never have to malloc or free

    • You never have to retain or release • Rust will deallocate a value when the current owner is done with it • The compiler will guarantee that borrowed values are not stolen
  17. Normal Idioms • Prefer stack allocation to heap allocation if

    you can get away with it • Usually borrow values (&T visually blends away, ~T is an outlier) • Mutability is explicit (&T vs. &mut  T) • OO methods virtually always take &self or &mut  self
  18. Area struct  Square  {  width:  f32  }
 struct  Circle  {

     radius:  f32  }
 
 trait  Shape  {
    fn  area(&self)  -­‐>  f32;
 }
 
 impl  Shape  for  Square  {
    fn  area(&self)  -­‐>  f32  {  self.width  *  self.width  }
 }
 
 impl  Shape  for  Circle  {
    fn  area(&self)  -­‐>  f32  {  pow(3.14  *  self.radius,  2)  }
 }
  19. Usage use  mylib::{Shape,Circle,Square};
 
 fn  area<T:  Shape>(shape:  &T)  -­‐>  f32

     {
    shape.area()
 }
 
 fn  main()  {
    let  circle  =  Circle{  radius:  5  };
    let  square  =  Square{  width:  10  };
    println!("incribed  circle:  {}",  area(&circle)  -­‐  area(&square));
 }
  20. Usage use  mylib::{Shape,Circle,Square};
 
 fn  area<T:  Shape>(shape:  &T)  -­‐>  f32

     {
    shape.area()
 }
 
 fn  main()  {
    let  circle  =  Circle{  radius:  5  };
    let  square  =  Square{  width:  10  };
    println!("incribed  circle:  {}",  area(&circle)  -­‐  area(&square));
 } <T:  Shape>   any type that
 implements Shape
  21. Generates, Under the Hood use  mylib::{Shape,Circle,Square};
 
 fn  circle_area(shape:  &Circle)

     -­‐>  f32  {
    shape.area()
 }
 
 fn  square_area(shape:  &Square)  -­‐>  f32  {
    shape.area()
 }
 
 fn  main()  {
    let  circle  =  Circle{  radius:  5  };
    let  square  =  Square{  width:  10  };
    println!("incribed  circle:  {:?}",  circle_area(&circle)  -­‐  square_area(&square));
 }
  22. Operator Overloading struct  Point  {  x:  int,  y:  int  }


    
 impl  Add<Point,Point>  for  Point  {
    fn  add(&self,  other:  &Point)  -­‐>  Point  {
        Point{  x:  self.x  +  other.x,  y:  self.y  +  other.y  }
    }
 }
 
 fn  log_add<T:  Add>(first:  &T,  second:  &T)  {
    println!("{:?}",  first  +  second);
 }
  23. http://bit.ly/rust-go-http use  http::{Request,Response,HttpErr};   use  http::status::Found;       fn

     load_page(title:  &str)  -­‐>  Page  {      let  body  =  try!(File::read(str));      Page::new(title,  body)   }       fn  view(res:  &mut  Response,  req:  &Request)  {      match  load_page(req.params["id"])  {          Err(_)  =>              res.redirect("/edit/"  +  title,  Found),          Ok(page)  =>
            render_template(res,  "view",  page)      }   }   
 
 
 
 ! fn  edit(res:  &mut  Response,  req:  &Request)  {      let  title  =  req.params["id"];                let  page  =  match  load_page(title)  {          Err(_)  =>  Page{  title:  title  },          Ok(page)  =>  page      }                render_template(res,  "edit",  page);   }       fn  save(res:  &mut  Response,  req:  &Request)  {      let  title  =  req.params["id"];      let  body  =  try!(req.params["body"]);          let  page  =  try!(Page::new(title,  
        body.as_bytes()).save());
 !    res.redirect("/view/"  +  title,  Found);   }
  24. http://bit.ly/rust-go-http import  (          "html/template",    

         "io/ioutil",          "net/http"   )   ! func  loadPage(title  string)  *Page  {          filename  :=  title  +  ".txt"          body,  _  :=  ioutil.ReadFile(filename)          return  &Page{Title:  title,  Body:  body}   }   ! func  getTitle(w  http.ResponseWriter,  r  *http.Request)  (string,  error)  {          m  :=  validPath.FindStringSubmatch(r.URL.Path)          if  m  ==  nil  {                  http.NotFound(w,  r)                  return  "",  errors.New("Invalid  Page  Title")          }          return  m[2],  nil  //  The  title  is  the  second  subexpression.   }   ! func  viewHandler(w  http.ResponseWriter,  r  *http.Request)  {          title,  err  :=  getTitle(w,  r)          if  err  !=  nil  {                  return          }          p,  err  :=  loadPage(title)          if  err  !=  nil  {                  http.Redirect(w,  r,  "/edit/"+title,  http.StatusFound)                  return          }          renderTemplate(w,  "view",  p)   }   
 func  editHandler(w  http.ResponseWriter,  r  *http.Request)  {          title,  err  :=  getTitle(w,  r)          if  err  !=  nil  {                  return          }          p,  err  :=  loadPage(title)          if  err  !=  nil  {                  p  =  &Page{Title:  title}          }          renderTemplate(w,  "edit",  p)   }   ! func  saveHandler(w  http.ResponseWriter,  r  *http.Request)  {          title,  err  :=  getTitle(w,  r)          if  err  !=  nil  {                  return          }          body  :=  r.FormValue("body")          p  :=  &Page{Title:  title,  Body:  []byte(body)}          err  =  p.save()          if  err  !=  nil  {                  http.Error(w,  err.Error(),  http.StatusInternalServerError)                  return          }          http.Redirect(w,  r,  "/view/"+title,  http.StatusFound)   }
  25. The Basics struct  Trace  {
    name:  ~str
 }
 


    #[no_mangle]
 pub  extern  "C"  fn  skylight_get_name(trace:  &Trace)  -­‐>  ~str  {
    trace.name.clone()
 }
  26. The Basics #[no_mangle]
 pub  extern  "C"  fn  skylight_get_name(trace:  &Trace)  -­‐>

     ~str  {
    trace.name.clone()
 }   VALUE  trace_get_name(VALUE  self)  {
    RustTrace  trace;
    Data_Get_Struct(self,  RustTrace,  trace);
    return  RUST2STR(skylight_get_name(trace));
 }
  27. Memory #[no_mangle]
 pub  extern  "C"  fn  skylight_free_str(_:  ~str)  {}  

    #define  RUST2STR(string)  ({                                                    \
    RustString  s  =  (string);                                                      \
    VALUE  ret  =  rb_str_new((char  *)s-­‐>data,  s-­‐>fill);    \
    skylight_free_str(s);                                                            \
    ret;                                                                                              \
 })                                                                                                      \
  28. Many Details • Catching failures at the boundary • Freeing

    objects idiomatically on the C side • Invalidating C references involved in a failure • ...
  29. Skylight's Library ffi_fn!(skylight_trace_get_name(trace:  &'a  Trace)  -­‐>  &'a  str  {  

       trace.get_name()   })   ! static  VALUE  trace_get_name(VALUE  self)  {      My_Struct(trace,  RustTrace,  freedTrace);   !    RustSlice  string;      return  CHECK_FFI(skylight_trace_get_name(trace,  &string),
        "Could  not  get  the  name  from  a  Trace  in  native  code");   }
  30. ffi_fn! • A Rust macro (yay macros!) • Synthesizes a

    Rust task and catches failures • Returns a bool to indicate success or failure • Uses an out variable for the return value
  31. On the C-Side • RUST2STR copies Rust strings into Ruby

    strings • typedef  void  *  RustTrace • CHECK_FFI turns a false return into a Ruby exception • CHECK_TYPE and CHECK_NUMERIC protect the boundary • Transfer_My_Struct nulls out an object's struct if passed as ~T   • Learn FIX2INT, INT2FIX, ULL2NUM, NUM2ULL, etc.