leifericf

leifericf

Warning: Half-baked shower-thought follows. High probability of ridiculousness.

Suppose you wanted to write an operating system on top of the BEAM in Elixir. How would you design it and what do you think would be the biggest challenges?

What kind of unique features could it enable?

Let’s call it BeamOS.

I imagine each application within the operating system running as supervised processes, with some unique possibilities of running across several machines in a cluster. Perhaps even some kind of peer-to-peer-ish networking features, where one could share one’s hardware with friends and family.

Maybe I could run my word processor on your hardware.

I also imagine the possibilities for distributing applications through some kind of built-in app store/package manager thingy. Sort of like APT or Homebrew, but OS-native.

I suppose one of the biggest challenges of implementing an operating system in a language with immutable data would be running out of memory due to copying of data. Drivers, compute-heavy operations and GUI code would also need to be implemented as NIFs in C, I guess.

This is probably a silly idea, but I think it’s fun to think about.

Feel free to contribute to my fantasy, if you find it entertaining :slight_smile:

Showing Posts 1 to 10

sneako

sneako

Definitely a fun idea and you aren’t the first to think of it. Check out these slides on the HydrOS project: http://www.erlang-factory.com/static/upload/media/1498583896660864samwilliamshowtobuildanoswitherlang_awhistlestoptourofhydros.pdf

Here is their official site, that i’ve visited before, but appears to be down right now :confused: http://hydros-project.org/

leifericf

leifericf OP

That’s really cool, @sneako —Thanks for sharing those links!

rvirding

rvirding

Creator of Erlang

One limitation is that in an Erlang/Elixir node you can only have one version of module. This makes it difficult to run multiple applications if they happen to both use the same name for different modules. The confusion would be truly wonderful. :wink:

When we were designing Erlang and the basic ideas of how to use the language features we were thinking more along the lines of operating systems rather than of applications. I tend to think of it not so much as a language with concurrency but more of an operating system with a languages.

Have a peak at the GRiSP.

14
Post #3
leifericf

leifericf OP

Thank you for your input, @rvirding! It’s very interesting to hear some thoughts and point of view about this topic from one of the originators and designers of Erlang.

That looks interesting!

I think it makes sense to use Erlang and the BEAM for embedded, where you’d want to distribute new versions of your code to a large number of devices without inconvenient downtime. Devices could get notified of new software versions and pull updates at convenient times, etc.

It’s one of the areas where hot code swapping might be a good solution.

I haven’t done any embedded programming yet and I’m looking forward to checking out Nerves at some point. Now that I know about GRiSP, I’ll check that out as well.

jasonmjohnson

jasonmjohnson

I really wish there was a BeEmacs.

leifericf

leifericf OP

It’s worth creating if only for that awesome name :smile:

leifericf

leifericf OP

@rvirding - Is it OK with you if I snag that as a quite for a presentation I’m putting together? :slight_smile:

bottlenecked

bottlenecked

Not quite the same but it made me remember the Midori, Microsoft’s take on how a message passing OS could look like

rvirding

rvirding

Creator of Erlang

No worries, go ahead. :smile:

leifericf

leifericf OP

Awesome, thanks!

Where Next? Top

Trending in Discussions Top

AstonJ
As the title says, please share what you’ve been up to with Elixir. Whether that’s been learning it, looking into it, making stuff with i...
2977 91898 914
New
AstonJ
The obligatory hello world thread! Who are you and where are you from? :stuck_out_tongue:
4616 55835 594
New
byu
@chrismccord : I just saw the Extract AGENTS.md from Phoenix.new into phx.new generator commit to the phoenix project. My initial shotgu...
New
arcanemachine
I was working on an Ecto migration and I needed a timestamp. So, for the nth time, I looked up the different data types for timestamps, a...
New
alexslade
Fly’s CEO posted this recently - Turn And Face The Strange · The Fly Blog It says that Fly is going all-in on sprites, which is a worry ...
New
Herve37
We’re evaluating API mocking tools for OpenAPI-based projects and would love to hear what other teams are using. We’re particularly inte...
New
matt-savvy
Is there a word for the ~> symbol used in Version strings? Do you also just call it a Squiggle Arrow™ ?!
New

Other Trending Topics Top

JesseHerrick
Hey, I’m Jesse and I’m the main contributor behind Dexter, a full-featured, lightning-fast Elixir LSP optimized for large codebases. It s...
New
jimsynz
Beam Bots (or just BB for short) is a framework for building fault-tolerant robotics applications in Elixir using familiar OTP patterns. ...
New
mcass19
ExRatatui lets you cook up rich terminal UIs in Elixir, powered by Rust’s ratatui via Rustler NIFs. Build interactive terminal applicatio...
New
Damirados
Hello everyone. After busy few months I am happy to announce v0.1.0 of Emerge & Solve. They are GUI (Emerge) and State management (S...
New
netoum
Corex is an accessible, unstyled UI component library for Phoenix that integrates Zag.js state machines using Vanilla JavaScript and Live...
New
ausimian
Emily is an Elixir library that runs Nx computations on Apple’s MLX. Install it as the default Nx backend and Nx, defn, Axon, Nx.Serving,...
New

We're in Beta

About us Mission Statement

Options

Thread Display Mode




Thread Preview

Skip Thread Previews