Hacker News

Top stories

Live mirror
30 storiesupdated just nowView source snapshot
  1. Jemalloc 5.4.0(github.com/jemalloc ↗)
    39comments
  2. The scourge of x86 emulation(fex-emu.com ↗)
    24comments
  3. OpenJev(openjev.com ↗)
    1comments
  4. Astra for Law(openai.com ↗)
    546comments
  5. Bonsai 2 27B: Near-Lossless Compression in a 9x Smaller Footprint(prismml.com ↗)
    131comments
  6. Bend – A language that blocks AI mistakes via proof, on CPU and GPU(bend-lang.com ↗)
    219comments
  7. Qwen 3.8 Omni Flash(qwen.ai ↗)
    80comments
  8. Hister: A private search engine for the pages you visit and the files you keep(github.com/asciimoo ↗)
    169comments
  9. When the fractional part of a float fixes your shader(crocidb.com ↗)
    1comments
  10. Pre-Greek: The lost language hidden within Ancient Greek(linguisticdiscovery.com ↗)
    34comments
  11. Wax motor(wikipedia.org ↗)
    70comments
  12. Fujitsu launches made-in-Japan next-generation CPU FUJITSU-MONAKA(global.fujitsu ↗)
    231comments
  13. A heap overflow and SSO misconfiguration to compromise OpenAI internal repos(hacktron.ai ↗)
    153comments
  14. Shapelearn Qwen 3.8 27B (13.1 GB VRAM)(byteshape.com ↗)
    11comments
  15. Replacing Pull Requests with Delta(zed.dev ↗)
    2comments
  16. How to Write with an LLM(sockpuppet.org ↗)
    96comments
  17. Speeding up gearhash on ARM64(sam.dev ↗)
    discuss
  18. Ask A Monk – A digital wilderness for thoughts with no immediate answer(askamonk.online ↗)
    23comments
  19. Why Does the Universe Expand?(cosmicave.org ↗)
    53comments
  20. Flet 1.0 – Build cross-platform apps in Python(flet.dev ↗)
    56comments
  21. Telstra outage: The night a network decided the year was 2006(netnod.se ↗)
    24comments
  22. Diplodocus, Long Thought Exclusively American, Turns Up in Spain(sci.news ↗)
    41comments
  23. Why I didn’t sign the Fields medallists’ letter(gowers.wordpress.com ↗)
    368comments
  24. How do we prevent mathemathics from devolving into the Medieval Era of secrecy?(mathoverflow.net ↗)
    106comments
  25. Microsoft exec called AI scraping 'the largest theft of labor in human history'(techcrunch.com ↗)
    1comments
  26. CrowdSec Source Code Leak(crowdsec.net ↗)
    48comments
  27. The most important product decision is what you don't build(liamnugent.me ↗)
    38comments
  28. Apple detectives solved mystery of ancient tree and rewrote the history of fruit(scientificamerican.com ↗)
    10comments
  29. Fixing an NZXT Signal 4K30 part 2: the green/pink video bug(downtowndougbrown.com ↗)
    10comments
  30. Infinite-Parameter LLMs: Generating and Adapting Weights from Live Data(arxiv.org ↗)
    39comments

Announcing qboot, a minimal x86 firmware for QEMU

163 pointsby 11y agolwn.net
43 comments
11y agoHN ↗

This is great, but lately I just can't keep up with the virtualisation changes. I got really excited about google's novm - that's dead now. kvmtools never got included into kernel afaik. qboot will be great, but it looks like it doesn't really support the light IO solutions (like novm's file, rather than block access). Now there's clear containers which is actually kvm, which looks like docker-meets-qboot. And many others in between.

This doesn't seem right, honestly. Half of the projects have the same approach or goals. (quick boot time and no legacy supported) So why do they die and get reinvented every single time?

Something is wrong...

11y agoHN ↗

Thanks for the sarcastic comment, I know there's a lot of duplication and NIH in opensource. But I've never seen so much unexplained change anywhere else. Even in the landscape of web browsers where there seems to be a new fork every few weeks, at least people post explanations why they did it.

11y agoHN ↗

There most likely are explanations. On mailing lists. Where the developers are. Because absolutely none of this is in any way end-user-oriented software. Nobody takes the time to package them up and summarize them like Linux Weekly News does for Linux kernel comings and goings, because there's the distinct possibility that absolutely nobody would care.

11y agoHN ↗

It's not just open source. How many proprietary virtualization solutions can you think of?

Isn't it good that so many smart people are trying to solve these problems in so many different ways?

11y agoHN ↗

Only if the ways are actually different, and the problems are the right problems to be solving.

For example: containerization is a bit like taking a boat with a hole in its hull, and building a new boat to carry the old boat.

When instead, the real problem is that people's applications should be able to run in-place without having to take control of the entire operating system.

11y agoHN ↗

When instead, the real problem is that people's applications should be able to run in-place without having to take control of the entire operating system.

We have plenty of mechanisms - including cgroups - that allows you to achieve that.

What containerisation solutions solve is providing a convenient build and packaging solution that includes a decent level of isolation including preventing state from polluting the surrounding system.

The biggest problem is not lack of isolation mechanisms, but that most developers have no clue they even exist.

Try to get the average Linux developer to tell you what seccomp is, for example, and if they know what it is, try to get them to tell you how to use it [1]. There's plenty of room for innovation here, and plenty of room for more different solutions, but the biggest problem they will need to solve is how to make these mechanisms easy enough to use.

[1] An example here: http://blog.viraptor.info/post/seccomp-sandboxes-and-memcach...

11y agoHN ↗

Keeping up with virtualisation before the late 1990s was quite simple: mainframes.

11y agoHN ↗

"Google"'s novm was pretty clearly labeled as a personal experiment, by a person who worked at Google. Clear Containers uses kvmtool, and iirc is the same group of developers.

11y agoHN ↗

Clear Containers uses kvmtool, and iirc is the same group of developers.

Completely different developer, at a different company.

11y agoHN ↗

Look at what Xen has gone through: http://wiki.xen.org/wiki/File:XenModes.png

They started with HVM and PV, and have since evolved HVM toward PV by removing legacy support and software emulation and have now settled (for now?) on doing every the PV way except where hardware virtualization assistance is faster on modern hardware. Some of this shifting has been due to changes in hardware capabilities, and some of it has been due to earlier efforts being developed from an incomplete understanding of what techniques are faster.

11y agoHN ↗

since you bought up Xen, i have a honest question: why would you consider using Xen in presence of alternatives like vbox/vmware ? more importantly, in say 2-3 years, wouldn't something like this edge them out ?

11y agoHN ↗

VirtualBox is irrelevant.

VMware is closed source. The real Xen alternative is KVM. KVM is better than Xen in pretty much every way. There's a very big cost for big Xen shops to switch to KVM, but if you're not tied to Xen I can't imagine why you'd use it when KVM is better in every way (kernel integration, tooling, performance, etc).

11y agoHN ↗

VirtualBox is irrelevant.

Except for every single "prepackaged developer's workstation" solution I've seen so far. Seriously it works on all systems more or less the same, so I see it used all over the place.

11y agoHN ↗

I believe he is saying that VirtualBox is irrelevant as an alternative to Xen, not that it is irrelevant in general.

Xen is meant for running a potentially large number of server VMs headless. VirtualBox is meant for running desktop VMs. You could make VirtualBox run headless (exposing a pseudo-screen over VRDP) to do what Xen does, but... eww.

11y agoHN ↗

Xen is also used on the desktop, e.g. Qubes (Type-1) or Bromium uXen (Type-2).

11y agoHN ↗

Why is it eww? I found it to be a very nice solution to running a legacy OS on new hardware. I could probably use something else, but VBox with vrdp works great!

11y agoHN ↗

You are exactly correct - VirtualBox is a workstation solution, not a back-end server solution. That's the domain of Xen, VMware, and KVM. Xen and KVM are interesting to hosting providers and technology companies like google, everywhere else in the world it's VMware.

11y agoHN ↗

It's also incredibly insecure. One uses it to run a different OS on the same computer, not really for isolating it from the host OS/other VMs.

Just look at the kinds of vulnerabilities regularly found in it. They're mostly run-of-the-mill buffer overflows or missing range checks in emulation. Simple stuff that should have been caught if they were serious about security.

Compare that to xen or kvm, which have of course also had vulnerabilities, but you can see people usually have to get a lot more creative when attacking those.

If you wouldn't run a program on your actual machine, you probably should not run it in a VirtualBox VM either.

11y agoHN ↗

I think the main argument in favor of Xen was that it would have a smaller attack surface for hackers than KVM. After all, Xen is a hypervisor-based solution, whereas with KVM you are running the full Linux kernel plus qemu as your host.

With that being said, there have been exploits in the Xen hypervisor. As more hardware integration gets added, dom0 starts to look a lot more like a traditional kernel.

Personally, I use kvm for all my virtual machines, since I don't want to run everything under dom0.

11y agoHN ↗

Personally, I use kvm for all my virtual machines, since I don't want to run everything under dom0

Did you mean Xen?

11y agoHN ↗

kvm doesn't have dom0. More generally, you can run kvm on an unmodified SuSE (or other Linux distribution) kernel.

11y agoHN ↗

AFAIK xen is also in upstream kernel and there should be no difference in this regard.

11y agoHN ↗

The option to run qemu in stub domains is a big advantage, or not run qemu at all if you use PV.

11y agoHN ↗

it doesn't really support the light IO solutions (like novm's file, rather than block access)

That is incorrect. novm just implements the virtio-9p device that QEMU has supported for years.

Clear Linux does add something new: a pmem (NVDIMM) device that bypasses the guest kernel's page cache. This involves host kernel, guest kernel, and kvmtool changes.

The advantage of pmem is that short-lived VMs can directly access data from the host instead of copying in. But this feature needs to be added to QEMU/KVM anyway to support new persistent memory hardware (see http://pmem.io/) so it won't be unique for long.

11y agoHN ↗

Also virtio-9p is slow as hell.

I've heard that from others, but I wonder why that is. I would expect a file-level abstraction to be faster due to less I/O roundtrips for transfers and the removal of the block-abstraction. Is it just an inefficient protocol or are there some inherent bottlenecks in a file-level sharing protocol that I'm missing?

How slow is it really? Slower than NFS for example?

11y agoHN ↗

It was slower than NFS for me.

I blame it on poor implementation, must be some bug somewhere, but I dont have the skills to find out.

11y agoHN ↗

If you want both the host and the VM to have a coherent view of the filesystem, the VM can't really do efficient caching.

11y agoHN ↗

If you want both the host and the VM to have a coherent view of the filesystem, the VM can't really do efficient caching.

That makes sense, though it's surprising then that it's not possible to explicitly enable caching if that's the bottleneck and a coherent view from the host side is not a necessity for a given workload.

11y agoHN ↗

The advantage of pmem is that short-lived VMs can directly access data from the host instead of copying in.

Is it just me or does this sound really, really exploitable from the VM-to-host direction? I'm hoping there's some way to safeguard such a process.

11y agoHN ↗

kvmtool may not be in the mainline kernel source tree, but that doesn't mean it's dead or that it's failed. It had no need to be in the kernel source tree in the first place -- it's a standalone userspace tool that uses the publicly documented and stable KVM syscalls and ioctls, exactly like QEMU. QEMU isn't in the kernel source tree either, and nobody's ever suggested that putting it there would be a good idea...

11y agoHN ↗

I wish its repo was not still a fork of the linux tree though. It is very hard to use. It made sense when it was going to be merged but not now.

11y agoHN ↗

Ah thanks that repo seems to build anyway, will have a look.

11y agoHN ↗

New Industries (EC2 and friends) in hosting/cloud services were created with the advent of convenient virtualization. technologies.

I wonder what types of services/industries will be created when you can reliably spin up a hosted instance in 40-60 ms.

11y agoHN ↗

I don't want to spin up instances. I want to spin up functions.

11y agoHN ↗

Essentially that's what a call out to Amazon's varied AWS services are though, right?

11y agoHN ↗

Except that means you're calling out to fixed functions except for with Lambda, but the overheads with Lambda are still orders of magnitude above what you'd want for it to be practical to just decompose your app into functions run separately like that.

To be fair, making a system like that efficient is an unsolved problem even in far more tightly integrated supercomputer systems - IO quickly becomes a massive bottleneck and current hardware is CPU rich and IO poor.