The Morning Paper

APRIL 16, 2019

Teaching rigorous distributed systems with efficient model checking Michael et al., In the core programming model, students provide implementations of Node subclasses which specify the behaviour of individual nodes in their distributed systems. Consider the lab exercise to implement Paxos. EuroSys’19. of the paper).

Systems 43

Systems Efficiency Testing Strategy 43

O'Reilly

OCTOBER 19, 2021

In effect, the engineer designs and builds the world wherein the software operates. There is a decades-long tradition of data-centric programming : developers who have been using data-centric IDEs, such as RStudio, Matlab, Jupyter Notebooks, or even Excel to model complex real-world phenomena, should find this paradigm familiar.

DevOps 140

DevOps Software Engineering Infrastructure Open Source 140

Sutter's Mill

MAY 1, 2023

This update covers Acknowledgments, and highlights of what’s new in the compiler and language since last time, including: simple, mathematically safe, and efficient chained comparisons named break and continue “simple and safe” starts with. In today’s C++, this kind of comparison silently compiles but is a bug.

C++ 100

C++ Virtualization Lambda Code 100

Alex Russell

AUGUST 30, 2021

Large projects like browser engines also exercise governance through a hierarchy of "OWNER bits," which explicitly name engineers empowered to permit changes in a section of the codebase. Developers can provide feedback from using features and lobby other browsers to adopt (or re-design) them.

Engineering 98

Engineering Open Source Website Operating System 98

All Things Distributed

NOVEMBER 15, 2010

We believe that making these GPU resources available for everyone to use at low cost will drive new innovation in the application of highly parallel programming models. These trade-offs have even impacted the way the lowest level building blocks in our computer architectures have been designed. General Purpose GPU programming.

AWS 136

AWS Latency Programming Architecture 136

John McCalpin

AUGUST 1, 2018

This is an intellectually challenging and labor-intensive exercise, requiring detailed review of the published details of each of the components of the system, and usually requiring significant “detective work” (using customized microbenchmarks, hardware performance counter analysis, and creative thinking) to fill in the gaps.

Hardware 40

Hardware Transportation Performance Latency 40

Alex Russell

SEPTEMBER 20, 2020

"Appiness" is an illusion, an arbitrary line drawn to include programs built on some platforms but not others, and all of today's OSes allow multiple platforms to expose "real apps." Safety is within our budget, assuming platforms don't make exotic and dangerous APIs available all programs — more on that in a second.

Hardware 64

Hardware Mobile Programming Java 64

The Agile Manager

NOVEMBER 30, 2018

That "Agile pilot" was a deliberate investment in the formation of behaviors designed to yield local (that is, team-level) optimization. Sustained, intense concentration on collaboration among consumers, designers, builders, testers and managers resulted in more experiments, more builds, more deployments, and more frequent feedback.

Programming 45

Programming Speed Design Efficiency 45

John McCalpin

JANUARY 22, 2018

There was no deep goal — just a desire to see the maximum GFLOPS in action. The exercise seemed simple enough — just fix one item in the Colfax code and we should be finished. After this, the micro-ops will wait in the Reorder Buffer until they can be retired in program order. Instead, we found puzzle after puzzle.

Latency 40

Latency Hardware Code Testing 40