The Morning Paper

NOVEMBER 12, 2019

Scaling symbolic evaluation for automated verification of systems code with Serval Nelson et al., Serval is a framework for developing automated verifiers of systems software. Prior work has demonstrated symbolic evaluation for specific systems, but Serval introduces a general purpose approach of reusable and interoperable verifiers.

Code 45

Code Systems Programming Google 45

Brendan Gregg

DECEMBER 22, 2019

Embedded C. # # Tone generation from: [link] # # 29-Apr-2019 Brendan Gregg Created this. This is the culmination of five years of work: the BPF kernel runtime, C support, LLVM and Clang support, the BCC front-end, and finally the bpftrace language. This is not my best code, since I hacked it in a hurry, but here it is: #!/usr/bin/python

C++ 102

C++ Education Java AWS 102

Adrian Cockcroft

FEBRUARY 9, 2023

The next layer is operating system platforms, what flavor of Linux, what version of Windows etc. The virtualization and networking platform could be datacenter based, with something like VMware, or cloud based using one of the cloud providers such as AWS EC2. Above that there’s a deployment platform such as Kubernetes or AWS Lambda.

Engineering 137

Engineering Serverless Lambda AWS 137

Smashing Magazine

DECEMBER 2, 2021

JVM Programming Advent Calendar. Created by Eric Wastl, this is an advent calendar of small programming puzzles for a variety of skill sets and skill levels that can be solved in any programming language you like. C# Advent Calendar. If you don’t have a Figma account, don’t worry, it’s free.) Amy Dutton on Twitter.

Design 108

Design Development Programming Website 108

The Netflix TechBlog

JUNE 4, 2019

We were able to meaningfully improve both the predictability and performance of these containers by taking some of the CPU isolation responsibility away from the operating system and moving towards a data driven solution involving combinatorial optimization and machine learning. We formulate the problem as a Mixed Integer Program (MIP).

Cache 251

Cache Latency Airlines Logistics 251

Brendan Gregg

OCTOBER 8, 2018

Created by Alastair Robertson , bpftrace is an open source high-level tracing front-end that lets you analyze systems in custom ways. eBPF (extended Berkeley Packet Filter) is in the Linux kernel and is the new hotness in systems engineering. bcc is powerful but laborious to program. It's shaping up to be a DTrace version 2.0:

C++ 110

C++ Virtualization Programming Latency 110

Adrian Cockcroft

JUNE 21, 2022

Photo by Adrian I spent six years at Cambridge Consultants, building some interesting systems, managing our Sun workstations and learning a lot, but by then Sun had opened a sales office across the street, and I wanted to find out what they were going to release next, before everyone else.

Tuning 52

Tuning Benchmarking Engineering C++ 52

Brendan Gregg

AUGUST 18, 2019

C @ns: [256, 512) 10900 |@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@ | [512, 1k) 18291 |@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@@| [1k, 2k) 4998 |@@@@@@@@@@@@@@ | [2k, 4k) 57 | | [4k, 8k) 117 | | [8k, 16k) 48 | | [16k, 32k) 109 | | [32k, 64k) 3 | |. The probe is BEGIN , a special probe that runs at the beginning of the program (like awk).

Latency 68

Latency C++ Cache Programming 68

Brendan Gregg

DECEMBER 21, 2019

Embedded C. # # Tone generation from: [link] # # 29-Apr-2019 Brendan Gregg Created this. This is the culmination of five years of work: the BPF kernel runtime, C support, LLVM and Clang support, the BCC front-end, and finally the bpftrace language. This is not my best code, since I hacked it in a hurry, but here it is: #!/usr/bin/python

C++ 52

C++ Education Java AWS 52

Brendan Gregg

DECEMBER 21, 2019

Embedded C. # # Tone generation from: [link] # # 29-Apr-2019 Brendan Gregg Created this. This is the culmination of five years of work: the BPF kernel runtime, C support, LLVM and Clang support, the BCC front-end, and finally the bpftrace language. This is not my best code, since I hacked it in a hurry, but here it is: #!/usr/bin/python

C++ 52

C++ Education Java AWS 52

Tasktop

OCTOBER 28, 2020

An online investment firm discovering a system bottleneck impeding digital channel innovation , t he remarkable success that organizations are witnessing with flow-based value stream metrics provides an exciting glimpse of what’s possible. The Flow Partner Program: Unlocking the Vast Potential of Value Stream Management (VSM).

Healthcare 90

Healthcare Innovation Government Best Practices 90

Testsigma

JANUARY 18, 2021

Web Developers frequently come across issues where the developed website or web application does not work as expected on certain combinations of browsers and operating systems. As a developer, one of the key focus areas is ensuring a uniform user experience across different browsers, operating systems, and devices.

Testing 55

Testing Operating System Website Internet 55

Brendan Gregg

DECEMBER 31, 2018

It can be used for many things: network performance, firewalls, security, tracing, and device drivers. So instead of a static HTML website, JavaScript lets you define mini programs that run on events like mouse clicks, which are run in a safe virtual machine in the browser. Beginner ## 1. What is eBPF, bcc, bpftrace, and iovisor?

C++ 52

C++ Virtualization Programming Code 52

The Morning Paper

NOVEMBER 7, 2019

Whereas most root cause analysis systems start from the failure and work backwards, Kairux starts from the beginning of the program execution and works forwards. ” Working forward from the beginning of a program, our root cause candidate will be the first time we go where no successful run has ever gone before.

Programming 47

Programming Java C++ Testing 47

Brendan Gregg

APRIL 30, 2018

USENIX’s LISA conference is the premier event for topics in production system engineering. We both have had long careers supporting system administration, and LISA has always felt like a homecoming, reuniting with old friends while welcoming newcomers. Join us for 3 days in Nashville at LISA'18.

DevOps 43

DevOps Network Best Practices Programming 43

Brendan Gregg

APRIL 29, 2018

USENIX’s LISA conference is the premier event for topics in production system engineering. We both have had long careers supporting system administration, and LISA has always felt like a homecoming, reuniting with old friends while welcoming newcomers. Join us for 3 days in Nashville at LISA'18.

DevOps 40

DevOps Network Best Practices Programming 40

Brendan Gregg

OCTOBER 7, 2018

Created by Alastair Robertson , bpftrace is an open source high-level tracing front-end that lets you analyze systems in custom ways. eBPF (extended Berkeley Packet Filter) is in the Linux kernel and is the new hotness in systems engineering. bcc is powerful but laborious to program. It's shaping up to be a DTrace version 2.0:

C++ 40

C++ Virtualization Programming Latency 40

Strategic Tech

SEPTEMBER 29, 2018

61 percent of C-suite executives believe access to developer talent is a threat to the success of their business. Stripe C-Suite Survey As an organisation, there are a whole variety of levers you can pull to significantly improve the quality and speed of your hiring process and notably reduce the costs. Perhaps more surprisingly?—?as

Software Engineering 40

Software Engineering Open Source Engineering Java 40

HammerDB

FEBRUARY 25, 2021

On high-performance multi-core systems all the supported databases can return performance in the many millions of transactions per minute. This is why the choice of programming language is so important from the outset. For HammerDB both TPROC-C and TPROC-H run all of their workloads on the database being tested in SQL.

Programming 67

Programming Benchmarking Virtualization C++ 67

Smashing Magazine

JUNE 30, 2021

iOS empowers developers to easily parallelize code using Grand Central Dispatch , Android does this via their new, unified task scheduler WorkManager and game engines like Unity have job systems. On design systems, CSS/JS and UX. The Actor Model’s most popular incarnation is probably in the programming language Erlang.

Games 145

Games Architecture Code C++ 145

Dynatrace

JULY 18, 2022

OpenTelemetry provides a set of vendor-agnostic application program interfaces (APIs) to create a common way to instrument applications and collect data from logs and traces across a wide variety of frameworks and languages. It uses standardized application program interfaces that a wide variety of vendors and user organizations can support.

Artificial Intelligence 191

Artificial Intelligence Open Source Analytics Monitoring 191

ScaleOut Software

SEPTEMBER 20, 2018

When using the digital twin model, each data source in a physical system has a corresponding software object in the stream-processing platform as depicted here: This object encapsulates both state information and code. The post Object-Oriented Programming Simplifies Digital Twins appeared first on ScaleOut Software.

Programming 63

Programming IoT Java Analytics 63

Brendan Gregg

NOVEMBER 4, 2020

Right now there are many BPF (eBPF) startups building networking, security, and performance products (and more in stealth), yet requiring customers to install LLVM, Clang, and kernel headers – which can consume over 100 Mbytes of storage – to use BPF is an adoption drag. As an example, I ported over my opensnoop(8) tool: #./opensnoop.

C++ 145

C++ Programming Storage Code 145

Percona

DECEMBER 29, 2023

Unrestricted connection settings: Leaving connection settings, such as max_connections and per-user limits, wide open exposes the system to malicious Denial-of-Service (DoS) attacks. These attacks can rapidly consume available connections, leaving legitimate users unable to connect and disrupting system functionality.

Servers 83

Servers Database C++ Airlines 83

O'Reilly

FEBRUARY 18, 2020

It’s the single most popular programming language on O’Reilly, and it accounts for 10% of all usage. In programming, Python is preeminent. Normalized search frequency of top programming languages on the O’Reilly online learning platform in 2019 (left) and the rate of change for each language (right). Figure 3 (above).

Software Architecture 134

Software Architecture DevOps Data Engineering Architecture 134

Sutter's Mill

FEBRUARY 13, 2017

I don’t get to Europe very often apart from ISO C++ standards meetings, but this spring I’ve been able to accept invitations for two English-language European events in the last week of April. Tue-Thu Apr 25-27: High-Performance and Low-Latency C++ (Stockholm). Description.

Latency 51

Latency C++ Hardware Performance 51

All Things Distributed

NOVEMBER 22, 2016

Machine learning is playing an increasingly important role in many areas of our businesses and our lives and is being employed in a range of computing tasks where programming explicit algorithms is infeasible. We will partner with other organizations to further advance MXNet. AWS and Support for Deep Learning Frameworks.

AWS 167

AWS Open Source Scalability Programming 167

ScaleOut Software

SEPTEMBER 20, 2018

When using the digital twin model, each data source in a physical system has a corresponding software object in the stream-processing platform as depicted here: This object encapsulates both state information and code. It represents a big step forward for building stream-processing applications.

Programming 40

Programming IoT Java Analytics 40

Percona

DECEMBER 26, 2023

This allows for much better data accuracy, especially in the case of high-resolution or unreliable networks. Multi-Dimensional Grouping : While pg_stat_statements groups counters by userid, dbid, queryid, pg_stat_monitor uses a more detailed group for higher precision. This allows a user to drill down into the performance of queries.

Benchmarking 125

Benchmarking Metrics C++ Database 125

The Morning Paper

MAY 12, 2019

An open-source benchmark suite for microservices and their hardware-software implications for cloud & edge systems Gan et al., Systems built with lots of microservices have different operational characteristics to those built from a small number of monoliths, we’d like to study and better understand those differences.

Open Source 61

Open Source Hardware Benchmarking Systems 61

Dotcom-Montior

OCTOBER 19, 2021

Programming Languages. Site reliability engineers will need to have experience with various programming languages, but more importantly, need to know how to use those languages to automate any and all tasks. Let us look at some of the most common programming languages an SRE group will encounter, like Python, Golang, and Ruby.

Engineering 86

Engineering Open Source Programming Monitoring 86

Scalegrid

AUGUST 30, 2019

Redis , short for Remote Dictionary Server, is a BSD-licensed, open-source in-memory key-value data structure store written in C language by Salvatore Sanfillipo and was first released on May 10, 2009. It’s important to note that Redis is a NoSQL database system. Let us take a closer look at the data types that exist in Redis.

Cache 232

Cache Ecommerce Social Media Database 232

Percona

AUGUST 30, 2023

cat /usr/lib/systemd/system/postgresql-14.service. That is where all “ALTER SYSTEM SET/RESET” commands keep the information. But another database might be an OLAP system. For example, the network port at which PostgreSQL listens cannot be changed at the individual database level. Type "help" for help.

Database 105

Database Servers Open Source Tuning 105

O'Reilly

NOVEMBER 21, 2019

In a classic 1983 paper , cognitive psychologist Lisanne Bainbridge drew attention to a curious irony: so-called “automated” systems were, in practice, usually attended by one or more human operators. The more advanced the system, she observed, “the more crucial…the contribution of the human operator.”

Processing 83

Processing Programming Virtualization Technology 83

Dotcom-Montior

FEBRUARY 19, 2022

Programming Languages. Site reliability engineers will need to have experience with various programming languages, but more importantly, need to know how to use those languages to automate any and all tasks. Let us look at some of the most common programming languages an SRE group will encounter, like Python, Golang, and Ruby.

Engineering 52

Engineering Open Source Programming Monitoring 52

The Morning Paper

DECEMBER 8, 2019

At the start of November I was privileged to attend HPTS (the High Performance Transaction Systems) conference in Asilomar. On the last morning of the conference Daniel Bittman presented some of the work being done in the context of the Twizzler OS project to explore new programming models for NVM. The Twizzler programming model.

Hardware 56

Hardware Programming Media Storage 56

Brendan Gregg

NOVEMBER 3, 2020

Right now there are many BPF (eBPF) startups building networking, security, and performance products (and more in stealth), yet requiring customers to install the LLVM, Clang, and kernel header dependencies – which can consume over 100 Mbytes of storage – is an adoption drag. As an example, I ported over my opensnoop(8) tool: #./opensnoop

C++ 40

C++ Programming Storage Code 40