• 0 Posts
  • 10 Comments
Joined 11 months ago
cake
Cake day: July 27th, 2023

help-circle
  • This is a use-after-free, which should be impossible in safe Rust due to the borrow checker. The only way for this to happen would be incorrect unsafe code (still possible, but dramatically reduced code surface to worry about) or a compiler bug. To allocate heap space in safe Rust, you have to use types provided by the language like Box, Rc, Vec, etc. To free that space (in Rust terminology, dropping it by using drop() or letting it go out of scope) you must be the owner of it and there may be current borrows (i.e. no references may exist). Once the variable is droped, the variable is dead so accessing it is a compiler error, and the compiler/std handles freeing the memory.

    There’s some extra semantics to some of that but that’s pretty much it. These kind of memory bugs are basically Rust’s raison d’etre - it’s been carefully designed to make most memory bugs impossible without using unsafe. If you’d like more information I’d be happy to provide!










  • The China thing is stupid but the review after the failure of the pad and the FTS isn’t really what this is about. I’m sure SpaceX would be happy if they could talk congress into relaxing that type of thing too, the reality is that by all accounts both parties are happy with the way the safety review has gone, and with this type of thing the FAA works very closely with SpaceX (though I suspect Elon will be upset if the Fish and Wildlife Service consult takes long given his impressive record of stupidity). In fact, given the wording the SpaceX rep used, I’d bet his mentioning Starship and the Moon is because Artemis is very important to a lot of people in Congress for several reasons - if this were about Elon’s ego and disregard for safety, I expect they’d instead mention Mars and China’s growing economic, not scientific, rivalry with the US. But that’s besides the point.

    The real issue at hand for the FAA, and the reason for this hearing, lies in the fact that starting with the Falcon 9, commercial space launches are becoming more and more routine, and they’re only going to keep picking up the pace as Starship, Vulcan, Proton and others enter service. And while at the moment the FAA is managing to keep most things running, they’re critically understaffed for the workload to begin with before you even take into account the pace at which the space scene is changing. And most of what was said in the article lines up with what the FAA says, which is basically “sorry guys, we’re doing the best we can, but we don’t have enough people”. I think this quote from SpaceX does a much better job than the crap they have to tell senators:

    “Our concern is even today Falcon and Dragon are sometimes competing for FAA resources with Starship, and the FAA can’t handle those three activities together. So let alone what’s coming next year, or maybe even later this year, we just don’t think the FAA is staffed ready to support that.”

    They also recommend that the FAA be allowed to use NASA’s and the Space Force’s resources, which sounds like a great idea worth exploring to me. It should also be mentioned that these complaints are almost exclusively targeted at unmanned space flight, and that manned space flight is a different story entirely and not really relevant to this hearing.

    So really a better non-sensational title would be “FAA understaffed for space boom even with doubling of staff, says space companies” or something along those lines.