Live data from Hacker News

How to avoid a BSOD on your 2B dollar spacecraft

clarkwakeland.com

11–20 of 160 posts

Re: How to avoid a BSOD on your 2B dollar spacecraft

#11

Earlier quoted context omitted.

Just because you have the source code, doesn't mean you have the knowledge to fix it before you die.

Sure, but without it, you stand no chance at all.

windows is source-available if you have deep enough pockets: https://www.microsoft.com/en-us/sharedsource/enterprise-sour...

Re: How to avoid a BSOD on your 2B dollar spacecraft

#12
post #11

Earlier quoted context omitted.

Sure, but without it, you stand no chance at all.

windows is source-available if you have deep enough pockets: https://www.microsoft.com/en-us/sharedsource/enterprise-sour...

Anyway, I was responding to someone who wouldn't run either on a spaceship so I still would like to know what they would want to run. I am from a formal verification school of thought, so I would want something sel4.

Re: How to avoid a BSOD on your 2B dollar spacecraft

#13

One must have balls of steel to run windows on a spaceship.

Personally, I wouldn't be stoked to run Linux on them either to be honest. But both are being done. Practicality rules I suppose.

Really, with Linux (or a BSD), you can make tweaks for free to save memory and to only allow specific tasks and hardware. Plus you could publish these changes and maybe they will be accepted by upstream.

With Windows, you need to beg and pay Microsoft for customizations and hope these changes will not cause other issues.

Plus, most space projects are on a tight and limited budgets where management would rather spend on hardware than software.

Re: How to avoid a BSOD on your 2B dollar spacecraft

#14
post #7

Earlier quoted context omitted.

Personally, I wouldn't be stoked to run Linux on them either to be honest. But both are being done. Practicality rules I suppose.

What's the practical benefit of using Windows here?

The new galactic empire has an enterprise licensing agreement with Microsoft.

Re: How to avoid a BSOD on your 2B dollar spacecraft

#15

Earlier quoted context omitted.

Just because you have the source code, doesn't mean you have the knowledge to fix it before you die.

No, but you can review the source code before (or at any point), whereas with Windows, you cannot even do that.

I've occasionally worked on drivers for windows and linux. In either case, I didn't really need to read the source code; neither was it a valuable proposition. If the advertised API didn't do what it was supposed to, I likely wouldn't have understood enough to fix it: and this is my point.

Just because you can read it, doesn't mean you can or will be able to actually fix it; not because of technicality, but because of personal knowledge.

In this case, they are both black boxes.

Re: How to avoid a BSOD on your 2B dollar spacecraft

#16
post #11

Earlier quoted context omitted.

windows is source-available if you have deep enough pockets: https://www.microsoft.com/en-us/sharedsource/enterprise-sour...

Anyway, I was responding to someone who wouldn't run either on a spaceship so I still would like to know what they would want to run. I am from a formal verification school of thought, so I would want something sel4.

I'd want manual backup pushbuttons.

Re: How to avoid a BSOD on your 2B dollar spacecraft

#17

Earlier quoted context omitted.

Personally, I wouldn't be stoked to run Linux on them either to be honest. But both are being done. Practicality rules I suppose.

Having sourcecode to everything would make me trust things more as at least we could fix things without calling MS. But what would you run? QNX? BSD?

VxWorks, usually

Re: How to avoid a BSOD on your 2B dollar spacecraft

#19

One must have balls of steel to run windows on a spaceship.

The article doesn't actually involve Windows. They wanted to avoid a satellite going into safemode, which they describe as "the satellite equivalent of a blue screen of death". That's honestly not even a good analogy. The headline is just bad

Re: How to avoid a BSOD on your 2B dollar spacecraft

#20

Earlier quoted context omitted.

Just because you have the source code, doesn't mean you have the knowledge to fix it before you die.

No, but you can review the source code before (or at any point), whereas with Windows, you cannot even do that.

For something like the spacecraft in the article, you absolutely would have the ability to get access to the Windows source code.
Post reply on HN