CompuTruthing

The No Silver Bullet article by Frederick P. Brooks (appeared in The Mythical Man-Month, Anniversary Edition is arguably one of the most influential articles in software engineering. Besides setting the limits of the field, it makes an essentialist claim on software engineering: there is an essence of software.

With a philosophical flavor, the present article tries to explore this direction. It tries to ask several questions related to the essence of software. Having the answers to these will probably bring significant advancements in software engineering.

read more

As tasks are not very widespread, people may not have sufficient examples to start working with tasks instead of mutexes. This article tries to help with this by providing a series of design patterns that can help ease the adoption of task systems, and that may, at the same time, improve general concurrency design skills. Even more fundamentally, it tries to show how applications can be designed for concurrency.

read more

I recently had a debate with one colleague about the distinction between architectural design and detail design. Given an element in our software, how do we determine whether that element is an architectural element, or not?

read more

In my previous Overload article I showed how one can achieve great speedups using tasks as the foundation for concurrent programming instead of locks. The one thing that is not clear is whether one can use tasks for all the concurrent algorithms. Tasks may be applicable to certain types of problem, but not to all problems. This article tries to complete the picture by showing that all algorithms can use tasks and there is no need for locks.

read more

At this point, I’m decided to pass most of my articles to Overload. I still have the freedom to talk about the topics that are close to my heart, but I also get all the benefits of publishing in a peer-reviewed journal. I highly appreciate the high-quality feedback coming from the reviewers, and the professionalism of all involved. Respect!

This article is proof that one can achieve high speedups by using task-based concurrency rather than locks. I personally was delighted with the results after working our the formulas.

read more