so, rust has made it physically impossible to write an in-process memory race condition now how do we do this for programs that use databases
-
Show this thread
-
(is there work on multi-process analysis for rust that bakes in semantics from a particular DB? is this possible?)
2 replies 0 retweets 4 likesShow this thread -
like, it would be cool if this would not compile let r = query("select * from y where ..."); query("update y set f = 1 where id = {}", http://r.id ); but it *would* compile if you did `let mut r`, and it would do "select for update" in a transaction for you
2 replies 0 retweets 6 likesShow this thread -
like, &mut T is just "select T for update" really
2 replies 0 retweets 4 likesShow this thread
Replying to @mountain_ghosts
We could do this for Diesel, would be interesting to see a concrete proposal
4:02 PM - 24 Mar 2019
0 replies
0 retweets
1 like
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.