5 Ways to Prevent Server Hardware Failureโ€‚by@mcsee

5 Ways to Prevent Server Hardware Failure

On July, 9th 2022, Dell EMC servers bricked several servers. The fault fixed by the [Dell EMC firmware] concerns an Assert function that had a bad check to validate the value of a circular bufferโ€™s index value. Instead of checking the maximum value as N, it checked for N-1. The fix corrects the assert check to use the maximum. value. Mutation Testing is a great testing tool and also an amazing TDD companion. TDD is incredibly good for [embedded systems]
image
Maximiliano Contieri HackerNoon profile picture

Maximiliano Contieri

Iโ€™m senior software engineer specialized in declarative designs and S.O.L.I.D. and Agile lover.

Preventing serious faults is within reach

TL;DR: Use mature tools to make mature software.

The Problem

On July, 9th 2022, bricked several servers.

Looking at failure's root cause we can learn a lesson.


On this thread we can find what happened:


I once had a small fleet of SSDs fail because they had some uptime counters that overflowed after 4.5 years, and that somehow persistently wrecked some internal data structures. It turned them into little, unrecoverable bricks. It was not awesome seeing a bunch of servers go dark in just about the order we had originally powered them on. Not a fun day at all.


https://www.techradar.com/news/new-bug-destroys-hpe-ssds-after-40000-hours

The Cause

The fault fixed by the Dell EMC firmware concerns an Assert function that had a bad check to validate the value of a circular bufferโ€™s index value. Instead of checking the maximum value as N, it checked for N-1. The fix corrects the assert check to use the maximum value as N.

The Prevention

We are serious software engineers and we have mature tools.

How can we prevent defects like this one (They are not BUGS)

Stop Calling them 'Bugs'.

1 - TDD

With TDD, we can only write code after a failing test.

In this way, we need to think of the N scenario and explicitly check the case.

Otherwise, we cannot write code.

TDD is incredibly good for embedded systems.

2 - Zombies

Zombies is a great testing tool and also an amazing TDD companion.

The 'B' for Boundaries at zomBies tells us to explicitly check for border cases.

In this case N - 1, N, and N +1.

How I Survived the Zombie Apocalypse

3 - Mutation Testing

Whenever we use arithmetic or IF conditions, we might check what would happen if we make a mistake (like the one in this article) and change a < for a <=.

Mutation testing is a very powerful tool to check boundary scenarios.

4 - Model Circular Buffers

Embedded and hardware systems are often tuned for optimal performance.

They skip some checks and are programmed with low-level languages.

Most of them avoid MAPPING the real world and use short integers as indices.

According to our MAPPER, an integer is not a shortint (or longint) and a shortint is not an integer.

5 - Fail Fast

Mission Critical software sometimes has recovery or fault-tolerant routines.

Following Fail Fast principle, we can anticipate disaster and let another piece of code take over instead of bricking the disks.

Conclusions.

Systems don't fail.

We fail as software engineers and make the same mistakes over and over again.


Also Published here

react to story with heart
react to story with light
react to story with boat
react to story with money
L O A D I N G
. . . comments & more!