this post was submitted on 15 Dec 2023
52 points (88.2% liked)

Programming

17312 readers
245 users here now

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person's post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you're posting long videos try to add in some form of tldr for those who don't want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]



founded 1 year ago
MODERATORS
 

I wanted to share an observation I've seen on the way the latest computer systems work. I swear this isn't an AI hype train post ๐Ÿ˜…

I'm seeing more and more computer systems these days use usage data or internal metrics to be able to automatically adapt how they run, and I get the feeling that this is a sort of new computing paradigm that has been enabled by the increased modularity of modern computer systems.

First off, I would classify us being in a sort of "second-generation" of computing. The first computers in the 80s and 90s were fairly basic, user programs were often written in C/Assembly, and often ran directly in ring 0 of CPUs. Leading up to the year 2000, there were a lot of advancements and technology adoption in creating more modular computers. Stuff like microkernels, MMUs, higher-level languages with memory management runtimes, and the rise of modular programming in languages like Java and Python. This allowed computer systems to become much more advanced, as the new abstractions available allowed computer programs to reuse code and be a lot more ambitious. We are well into this era now, with VMs and Docker containers taking over computer infrastructure, and modern programming depending on software packages, like you see with NPM and Cargo.

So we're still in this "modularity" era of computing, where you can reuse code and even have microservices sharing data with each other, but often the amount of data individual computer systems have access to is relatively limited.

More recently, I think we're seeing the beginning of "data-driven" computing, which uses observability and control loops to run better and self-manage.

I see a lot of recent examples of this:

  • Service orchestrators like Linux-systemd and Kubernetes that monitor the status and performance of services they own, and use that data for self-healing and to optimize how and where those services run.
  • Centralized data collection systems for microservices, which often include automated alerts and control loops. You see a lot of new systems like this, including Splunk, OpenTelemetry, and Pyroscope, as well as internal data collection systems in all of the big cloud vendors. These systems are all trying to centralize as much data as possible about how services run, not just including logs and metrics, but also more low-level data like execution-traces and CPU/RAM profiling data.
  • Hardware metrics in a lot of modern hardware. Before 2010, you were lucky if your hardware reported clock speeds and temperature for hardware components. Nowadays, it seems like hardware components are overflowing with data. Every CPU core now not only reports temperature, but also power usage. You see similar things on GPUs too, and tools like nvitop are critical for modern GPGPU operations. Nowadays, even individual RAM DIMMs report temperature data. The most impressive thing is that now CPUs even use their own internal metrics, like temperature, silicon quality, and power usage, in order to run more efficiently, like you see with AMD's CPPC system.
  • Of source, I said this wasn't an AI hype post, but I think the use of neural networks to enhance user interfaces is definitely a part of this. The way that social media uses neural networks to change what is shown to the user, the upcoming "AI search" in Windows, and the way that all this usage data is fed back into neural networks makes me think that even user-facing computer systems will start to adapt to changing conditions using data science.

I have been kind of thinking about this "trend" for a while, but this announcement that ACPI is now adding hardware health telemetry inspired me to finally write up a bit of a description of this idea.

What do people think? Have other people seen the trend for self-adapting systems like this? Is this an oversimplification on computer engineering?

top 12 comments
sorted by: hot top controversial new old
[โ€“] lysdexic 8 points 10 months ago (1 children)

Perhaps I'm being dense and coffee hasn't kicked in yet, but I fail to see where is this new computing paradigm that's mentioned in the title.

From their inception, computers have been used to plug in sensors, collect their values, and use them to compute stuff and things. For decades each and every single consumer-grade laptop has adaptive active cooling, which means spinning fans and throttling down CPUs when sensors report values over a threshold. One of the most basic aspects of programming is checking if a memory allocation was successful, and otherwise handle an out-of-memory scenario. Updating app states when network connections go up or down is also a very basic feature. Concepts like retries, jitter, exponential back off have become basic features provided by dedicated modules. From the start Docker provided support for health checks, which is basically am endpoint designed to be probed periodically. There are also canary tests to check if services are reachable and usable.

These exist for decades. This stuff has been done in production software since the 90s.

Where's the novelty?

[โ€“] [email protected] 0 points 10 months ago* (last edited 10 months ago) (1 children)

Those are good points.

Control loops have of course always existed in industrial computing, but I think it's exceptional how common they are now in modern servers and PCs.

Thats a good point about memory allocation. I guess a lot of syscalls could be considered to be part of this data-centric self-adaptation mode of operation that I'm trying to describe.

I think retries and exponential backoff are more of a single-threaded error-handling operation, I think that's different from the operations I'm describing, which instead involves multiple services communicating together to adapt to changing conditions.

As far as I can tell, Docker didn't add healthchecks until 1.12 in 2016. I do think Docker healthchecks are a good example of the service orchestration design that has become very popular recently, though.

To be fair, I didn't start seriously programming until around 2017, so maybe I'm missing some of the history that shows that this sort of data-centric adaptation was popular prior to 2010.

[โ€“] [email protected] 3 points 10 months ago

I think what this person is saying is that systems and services have been monitored for metrics and logs for a long time, I know I have been doing it for more than 20 years across many OS, hardware platform, and software stack. The tools and depth of the integrations have definitely changed and gotten way better and more sophisticated but I definitely made systems that monitored and healed themselves to varying levels of efficiency since at least using Nagios in 2003 (Iโ€™m getting Perl PTSD flashbacks now hah).

One thing that has definitely gotten better in the last 5 or so years though is code level instrumentation and tracing as well as the higher level correlation tools. I have also seen more developers and vendors way more willing to implement monitoring features in their code from the beginning leading to more data and less duct tape and guessing which has been FANTASTIC.

Anyway, great post though, the monitoring arena is definitely way more awesome than ever before these days that is for sure.

[โ€“] [email protected] 7 points 10 months ago* (last edited 10 months ago)

I think the timeline's a bit off here.

OP describes how primitive computing was in the 80s and 90s, and speaks of a number of developments which appeared "leading up to the year 2000". Let me give examples of all of these developments which were actually from the 1970s or earlier:

  • The VAX-11/780 was introduced in 1977, pretty much introduced the concept of a modern MMU and memory model - although there were plenty of precursors. They were very popular and widespread.
  • Lisp's been around since 1958. It (and other languages) used memory managed runtimes similar in concept to today's ones.
  • IBM's VM/370 OS introduced virtual machines on IBM mainframes in 1972. They were an integral part of the OS and CPU architecture, probably more so than current VMs which are kind of tacked on as an afterthought.
  • Modular programming languages were a big topic in this era. One that comes to mind is Modula-2 which was first introduced in 1977, but much programming language development at the time was focused on modularity and code reuse.
  • And JITs date back to 1960.

My point is that I think these advancements were made a lot earlier than OP's saying. Sure, some of them took a while to spread but we pretty much started the 80s with all of this already in place.

[โ€“] [email protected] 5 points 10 months ago

I think theres a real use case for it. While the AI hype train has kinda ruined it for a lot of people but AI has always been a tool to optimize a problem.

[โ€“] RonSijm 3 points 10 months ago (1 children)

I don't know if this is a relatively "new" computing paradigm, though if you compare it to the pre-2010 area, its pretty much the standard for bigger applications. And I think it's very much tied in with the Move to Cloud Computing paradigm.

In the good old days everyone just had their own servers running somewhere, so what are you going to do when its super busy on your platform? Add a new server for a couple of days? If you have a new server anyways, you'd just permanently add it to the network.

With cloud computing, as you mentioned, there's Service orchestration like kubernetes, auto-scaling of bare-metal machines, and Serverless Applications that just keep track of usage and allow you to very easily temporary add more power based on demand, and upscale your infra for the time that it's needed.

If you start getting into paradigms like that, you might end up with 100s of services running at the same time (multiple copies of the same services for load balancing, or edge-locationing etc) - Then you also don't want to put cross-cutting like logging and analytics hard-coded in every service like you'd potentially do in a monolith. And you need those kinda metrics to see that everything is still running healthy, and to automatically kill unhealthy services to replace them with new ones, etc

[โ€“] [email protected] 1 points 10 months ago

That's a really good point. I guess it ties into the "cattle, not pets" mindset. It's pretty easy to tell if your pet is sick, but you need to have systems in place to be able to tell if your cattle are sick.

[โ€“] [email protected] 3 points 10 months ago
[โ€“] [email protected] 3 points 10 months ago* (last edited 10 months ago) (1 children)

C#/.NET makes HUGE usage of these kinds of internal self-optimizations. Just this year, in particular, the team made some pretty big expansions on the types and scopes of JIT optimizations that the runtime can perform. Article, if you're curious.

[โ€“] [email protected] 1 points 10 months ago

JITs and branch prediction are probably good examples of the kind of computing I'm describing.

[โ€“] robinm 0 points 10 months ago

Interesting take but I think you are right. It's indeed critical to know how you product is used nowadays.

[โ€“] sine -2 points 10 months ago

LLMs in particular seem well fitted to extracting semantically correct insights from unstructured data. When it comes to observability we're in a better spot; since we have discrete structured data, which makes it easy to build rules and logic on top of it. I don't think this kind of tooling will benefit much from recent advances. If anybody has anything worth being shown I'd love to check it out.