Compilers and Virtual Machines
Compiler technology is at the heart of performance optimization: compilers generate the machine code that will run your software, and as such, they are the main responsible actors in making the best use of the CPU instruction set to get the job done in the most efficient way possible.
Igalia has talented engineers who understand how compilers work and can optimize how they generate machine code for your programs, providing that performance boost that can make a real difference. Our team can provide holistic optimizations: in the runtime, on the frontend, the optimizer and in the backend.
- Virtual Machines
Good morning all!In my last article I talked about how we composed a lightweight "fibers" facility in Guile out of lower-level primitives. What we implemented there is enough to be useful, but it is missing an important aspect of concurrency:...
Good day, Schemers!Over the last 12 to 18 months, as we were preparing for the Guile 2.2 release, I was growing increasingly dissatisfied at not having a good concurrency story in Guile.I wanted to be able to spawn a million threads on a core, to support...
Oh, good evening my hackfriends! I am just chuffed to share a thing with yall: tomorrow we release Guile 2.2.0. Yaaaay!I know in these days of version number inflation that this seems like a very incremental, point-release kind of a thing, but it's...
I have lately been in the market for better concurrency facilities in Guile. I want to be able to write network servers and peers that can gracefully, elegantly, and efficiently handle many tens of thousands of clients and other connections, but without...
Yesterday I tried to summarize the things I know about Concurrent ML, and I came to the tentative conclusion that Go (and any Go-like system) was an acceptable CML. Turns out I was both wrong and right.you were wrong when you said everything's gonna...
Slot allocation allows s64/u64 representations of same varAndy Wingo13/11/2017
Add missing lsh/immediate, rsh/immediate type inferrersAndy Wingo11/11/2017
Type folding has "macro reduction" phaseAndy Wingo11/11/2017