Lars Albertsson

Swedish Institute of Computer Science | SICS

With the proliferation of multicore processors, there is an urgent need for tools and methodologies supporting parallelization of existing applications. In this paper, we present a novel tool for aiding programmers in parallelizing programs. The tool, Embla, is based on the Valgrind framework, and allows the user to discover the data dependences in...

We present holistic debugging, a novel method for observing execution of complex and distributed software. It builds on an instruction set simulator, which provides reproducible experiments and non-intrusive probing of state in a distributed system. Instruction set simulators, however, only provide low-level information, so a holistic debugger cont...

We present a temporal debugger, capable of examining time flow of soft real-time applications in Unix systems. The debugger is based on a simulator modelling an entire workstation in sufficient detail to run unmodified operating systems and applications. It provides a deterministic and non-intrusive debugging environment, allowing reproducible pres...

We present a temporal debugger, capable of examining tempora! behaviour of operating systems.

We present a temporal debugger, capable of examining time flow of applications in general-purpose computer systems. The debugger is attached to a complete system simulator, which models an entire workstation in sufficient detail to run commodity operating systems and workloads. Unlike traditional debuggers, a debugger operating on a simulated syste...

Introduction Real-time applications executing in general-purpose computing environments have become popular. Examples of such applications are games, support software for telecommunication systems, and encoders and decoders of streaming media. The applications must provide throughput and response time guarantees. They should also provide high avera...

Digital convergence is precipitating the addition of soft real-time applications to mainstream desktop and server operating environments. Most traditional debuggers for mainstream systems lack a notion of temporal correctness, making them unsuitable for real-time system design and analysis.

We present a temporal debugger, capable of examining time flow of soft real time applications in Unix systems. The debugger is based on a simulator modelling an entire workstation in sufficient detail to run unmodified operating systems and applications. It provides a deterministic and non-intrusive debugging environment, allowing reproducible pres...

Digital convergence is precipitating the addition of soft real-time applications to mainstream desktop and server operating environments. Most traditional debuggers for mainstream systems lack a notion of temporal correctness, making them unsuitable for real-time system design and analysis. We propose leveraging complete system simulation to build...

Testing is the predominant software quality assurance method today, but it has a major flaw — it cannot reliably catch race conditions, intermittent errors caused by factors that cannot be controlled during testing, such as unpredictable timing behaviour in concurrent software. We present entropy injection, a extension of traditional test methods,...

We present holistic debugging, a novel method for observing execution of com-plex and distributed software. It builds on an instruction set simulator, which provides reproducible experiments and non-intrusive probing of state in a dis-tributed system. Instruction set simulators, however, provide low-level infor-mation, so a holistic debugger contai...

1 september 2003 Sammanfattning Syftet med projektet Time Bending är att skapa effektiva verktyg för testning och analys av en särskilt besvärlig form av fel i programvara: buggar som dyker upp slumpvis och inte går att reproducera. Vi lånar helt enkelt teknik och abstrak-tioner som framgångsrikt används vid testning av komplex hårdvara för att höj...