Welcome!

Open Source Cloud Authors: Liz McMillan, Xenia von Wedel, Simon Hill, Stackify Blog, Vaibhaw Pandey

Related Topics: Open Source Cloud

Open Source Cloud: Article

Multi-Core Debugging and Performance Enhancement

Additional pressures on complex applications

Computer systems have fully entered the age of multi-core processing. This trend was examined in a white paper entitled, "Preparing for the Revolution, Maximizing Dual-Core Technology." While much of the focus had been on dual-core processors, Intel has now delivered quad-core processors and AMD has announced quad-core availability in 2007. Software developers who are just taking advantage of multiple processors also need to be looking ahead since even larger multi-core platforms will reach the market soon. This new technology puts additional pressures on complex applications. In essence, the push beyond dual-cores has made the choice of development tools a key factor for successful projects.

When writing multi-core software, there are two important issues facing software developers. The first and most familiar is correctness of the program, i.e., does the program work properly and get the right answer. While this seems obvious, in multi-core applications, incorrect program behavior can arise from several sources not present in single-core design.

The second important feature is program performance. An assumption that speed-up is automatic just because a program has been modified to utilize multi-cores can be a huge mistake. Improved performance is not necessarily automatic or guaranteed.

With the introduction of quad-core processors, applications have the option of using eight cores on one dual-socket motherboard. Proper use of these additional resources will be critical to software development. This article will provide some insight into these issues and present some solutions to the problems facing multi-core programmers using the Linux operating system.

Prerequisites
As suggested in the white paper mentioned above, some consideration should be given to the method of parallelization. Two basic models are available to programmers - program threads and message passing. While message passing is the predominant method used in High Performance Computing (HPC), threads are becoming more important as both the core and socket sizes increase in most new motherboards.

Given that message passing programming is covered by other sources, this article will focus on threaded programming on multi-core processors using Linux.

A general approach to parallel computing is first to take a working sequential program, a program that is known to operate correctly on one CPU, and use it as the basis for a parallel program. This technique has two big advantages. First, the program can be tested to ensure that it operates at an acceptable level of correctness. (i.e., the program works and any issues are known in advance). Second, the programmer has a performance baseline with which to measure the new multi-core program.

If a new program is being written, it's highly advisable to create and debug a sequential version first. Adding the additional complexity of parallel programming to standard software development makes isolating bugs and problems more difficult.

In general, threaded programs often have multiple independent parts that share the same data set. One way to use threaded programming is to allow subroutines to operate independently and at the same time. It's also possible to break large loops up into threads as well. In all cases, however, a good design will allow the threaded version to "collapse" into a single thread by setting a thread count variable to one.

Finally, since there are adequate resources for learning about threaded programming, we'll concentrate on ways to ensure correct program operation and optimal performance.

Programming with Threads
The thread model is a way for a program to split itself into two or more concurrent tasks. These tasks can be run on a single processor in a time-shared mode, or on separate processors (e.g., the two cores on a dual-core processor can each run threads). The term thread comes from "thread of execution" and is a reference to how a fabric (computer program) can be pulled apart into threads (concurrent parts). Threads are different from individual processes (or independent programs), because they inherit much of their state information and memory from the parent process. Threads provide the ability to share memory and offer very fine-grained synchronization with other sibling threads.

On Linux and Unix systems threads are often implemented using a POSIX Thread Library (pthreads). There are several other thread models (Windows threads) from which the programmer can choose, however, using a standards-based implementation like POSIX is highly recommended. As a low-level library, pthreads can be easily included in almost all programming applications. This article will discuss debugging and optimizing Linux threads.

Ensuring Program Correctness
Of course, all programmers know that just because a program finishes, it doesn't mean the answers are correct. With multi-core programming, this situation may manifest itself differently. The same program and data, run at different times, may produce different answers, or cease functioning altogether for no apparent reason. We'll explore some of these causes and present some solutions.

Deadlock and Livelock
Because individual threads share memory and I/O, there must be a way for each thread to protect memory segments and I/O resources while they're using it. To solve this problem, threaded code employs "locks" that provide the thread exclusive access to a resource.

While the introduction of locks provides a solution to this problem, it also creates the possibility of a deadlock occurring in the program. Consider the following scenario where there are two global variables called Total and Sub-Total.

Process 1 locks the variable Total
Process 2 locks the variable Sub-Total
Process 1 attempts to acquire a lock on Sub-Total
Process 2 attempts to acquire a lock on Total

The program is now in a deadlock situation. Deadlock may develop every time the program runs or it may happen randomly when the timing is right. There's also a condition called "livelock" that's similar to deadlock. Livelock results when a thread or threads are constantly trying to acquire a lock, but can't because it's being used by another part of the program (or more likely hasn't been unlocked properly). Livelock may stop certain threads, but not necessarily cause the whole program to stop. With livelock, a program may appear to be working, but in reality it's often stuck in a loop, which can make it hard to determine the exact cause of the problem.

While deadlock and livelock can often be recognized through program behavior (i.e., the program stops, crashes, or gets stuck in one place), locating the cause can be difficult at times unless you can look at the threads in real-time. Certain lock conditions have a temporal component and can be hard to reproduce unless the program is running in production mode (i.e., a specific sequence or timing of events caused the situation).

More Stories By Douglas Eadline

Dr. Douglas Eadline has over 25 years of experience in high-performance computing. You can contact him through Basement Supercomputing (http://basement-supercomputing.com).

More Stories By Vince Hauber

Vince Hauber, a senior product manager with Concurrent Computer Corporation, has over 40 years experience in system software and platform solutions. Concurrent is a leading provider of real-time Linux distributions and tools.

Comments (0)

Share your thoughts on this story.

Add your comment
You must be signed in to add a comment. Sign-in | Register

In accordance with our Comment Policy, we encourage comments that are on topic, relevant and to-the-point. We will remove comments that include profanity, personal attacks, racial slurs, threats of violence, or other inappropriate material that violates our Terms and Conditions, and will block users who make repeated violations. We ask all readers to expect diversity of opinion and to treat one another with dignity and respect.


@ThingsExpo Stories
Widespread fragmentation is stalling the growth of the IIoT and making it difficult for partners to work together. The number of software platforms, apps, hardware and connectivity standards is creating paralysis among businesses that are afraid of being locked into a solution. EdgeX Foundry is unifying the community around a common IoT edge framework and an ecosystem of interoperable components.
"MobiDev is a software development company and we do complex, custom software development for everybody from entrepreneurs to large enterprises," explained Alan Winters, U.S. Head of Business Development at MobiDev, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
Large industrial manufacturing organizations are adopting the agile principles of cloud software companies. The industrial manufacturing development process has not scaled over time. Now that design CAD teams are geographically distributed, centralizing their work is key. With large multi-gigabyte projects, outdated tools have stifled industrial team agility, time-to-market milestones, and impacted P&L stakeholders.
"Space Monkey by Vivent Smart Home is a product that is a distributed cloud-based edge storage network. Vivent Smart Home, our parent company, is a smart home provider that places a lot of hard drives across homes in North America," explained JT Olds, Director of Engineering, and Brandon Crowfeather, Product Manager, at Vivint Smart Home, in this SYS-CON.tv interview at @ThingsExpo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
"Akvelon is a software development company and we also provide consultancy services to folks who are looking to scale or accelerate their engineering roadmaps," explained Jeremiah Mothersell, Marketing Manager at Akvelon, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
In his session at 21st Cloud Expo, Carl J. Levine, Senior Technical Evangelist for NS1, will objectively discuss how DNS is used to solve Digital Transformation challenges in large SaaS applications, CDNs, AdTech platforms, and other demanding use cases. Carl J. Levine is the Senior Technical Evangelist for NS1. A veteran of the Internet Infrastructure space, he has over a decade of experience with startups, networking protocols and Internet infrastructure, combined with the unique ability to it...
"IBM is really all in on blockchain. We take a look at sort of the history of blockchain ledger technologies. It started out with bitcoin, Ethereum, and IBM evaluated these particular blockchain technologies and found they were anonymous and permissionless and that many companies were looking for permissioned blockchain," stated René Bostic, Technical VP of the IBM Cloud Unit in North America, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Conventi...
Gemini is Yahoo’s native and search advertising platform. To ensure the quality of a complex distributed system that spans multiple products and components and across various desktop websites and mobile app and web experiences – both Yahoo owned and operated and third-party syndication (supply), with complex interaction with more than a billion users and numerous advertisers globally (demand) – it becomes imperative to automate a set of end-to-end tests 24x7 to detect bugs and regression. In th...
"Cloud Academy is an enterprise training platform for the cloud, specifically public clouds. We offer guided learning experiences on AWS, Azure, Google Cloud and all the surrounding methodologies and technologies that you need to know and your teams need to know in order to leverage the full benefits of the cloud," explained Alex Brower, VP of Marketing at Cloud Academy, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clar...
Coca-Cola’s Google powered digital signage system lays the groundwork for a more valuable connection between Coke and its customers. Digital signs pair software with high-resolution displays so that a message can be changed instantly based on what the operator wants to communicate or sell. In their Day 3 Keynote at 21st Cloud Expo, Greg Chambers, Global Group Director, Digital Innovation, Coca-Cola, and Vidya Nagarajan, a Senior Product Manager at Google, discussed how from store operations and ...
"There's plenty of bandwidth out there but it's never in the right place. So what Cedexis does is uses data to work out the best pathways to get data from the origin to the person who wants to get it," explained Simon Jones, Evangelist and Head of Marketing at Cedexis, in this SYS-CON.tv interview at 21st Cloud Expo, held Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA.
SYS-CON Events announced today that CrowdReviews.com has been named “Media Sponsor” of SYS-CON's 22nd International Cloud Expo, which will take place on June 5–7, 2018, at the Javits Center in New York City, NY. CrowdReviews.com is a transparent online platform for determining which products and services are the best based on the opinion of the crowd. The crowd consists of Internet users that have experienced products and services first-hand and have an interest in letting other potential buye...
SYS-CON Events announced today that Telecom Reseller has been named “Media Sponsor” of SYS-CON's 22nd International Cloud Expo, which will take place on June 5-7, 2018, at the Javits Center in New York, NY. Telecom Reseller reports on Unified Communications, UCaaS, BPaaS for enterprise and SMBs. They report extensively on both customer premises based solutions such as IP-PBX as well as cloud based and hosted platforms.
It is of utmost importance for the future success of WebRTC to ensure that interoperability is operational between web browsers and any WebRTC-compliant client. To be guaranteed as operational and effective, interoperability must be tested extensively by establishing WebRTC data and media connections between different web browsers running on different devices and operating systems. In his session at WebRTC Summit at @ThingsExpo, Dr. Alex Gouaillard, CEO and Founder of CoSMo Software, presented ...
WebRTC is great technology to build your own communication tools. It will be even more exciting experience it with advanced devices, such as a 360 Camera, 360 microphone, and a depth sensor camera. In his session at @ThingsExpo, Masashi Ganeko, a manager at INFOCOM Corporation, introduced two experimental projects from his team and what they learned from them. "Shotoku Tamago" uses the robot audition software HARK to track speakers in 360 video of a remote party. "Virtual Teleport" uses a multip...
A strange thing is happening along the way to the Internet of Things, namely far too many devices to work with and manage. It has become clear that we'll need much higher efficiency user experiences that can allow us to more easily and scalably work with the thousands of devices that will soon be in each of our lives. Enter the conversational interface revolution, combining bots we can literally talk with, gesture to, and even direct with our thoughts, with embedded artificial intelligence, whic...
SYS-CON Events announced today that Evatronix will exhibit at SYS-CON's 21st International Cloud Expo®, which will take place on Oct 31 – Nov 2, 2017, at the Santa Clara Convention Center in Santa Clara, CA. Evatronix SA offers comprehensive solutions in the design and implementation of electronic systems, in CAD / CAM deployment, and also is a designer and manufacturer of advanced 3D scanners for professional applications.
Leading companies, from the Global Fortune 500 to the smallest companies, are adopting hybrid cloud as the path to business advantage. Hybrid cloud depends on cloud services and on-premises infrastructure working in unison. Successful implementations require new levels of data mobility, enabled by an automated and seamless flow across on-premises and cloud resources. In his general session at 21st Cloud Expo, Greg Tevis, an IBM Storage Software Technical Strategist and Customer Solution Architec...
To get the most out of their data, successful companies are not focusing on queries and data lakes, they are actively integrating analytics into their operations with a data-first application development approach. Real-time adjustments to improve revenues, reduce costs, or mitigate risk rely on applications that minimize latency on a variety of data sources. In his session at @BigDataExpo, Jack Norris, Senior Vice President, Data and Applications at MapR Technologies, reviewed best practices to ...
An increasing number of companies are creating products that combine data with analytical capabilities. Running interactive queries on Big Data requires complex architectures to store and query data effectively, typically involving data streams, an choosing efficient file format/database and multiple independent systems that are tied together through custom-engineered pipelines. In his session at @BigDataExpo at @ThingsExpo, Tomer Levi, a senior software engineer at Intel’s Advanced Analytics gr...