Concurrency is fundamental for building scalable software systems. Despite the prevalence of such systems, testing them remains an uncomfortable problem for developers. Concurrency bugs are hard to find, reproduce and...
详细信息
ISBN:
(纸本)9798400717673
Concurrency is fundamental for building scalable software systems. Despite the prevalence of such systems, testing them remains an uncomfortable problem for developers. Concurrency bugs are hard to find, reproduce and fix, and for most part, they get ignored in standard industry practices. To address this need, we have built and deployed an open-source tool called Coyote that uses the concept of Controlled concurrency testing (CCT) to explore the space of possible interleavings of a concurrent program looking for bugs. In this talk, I will describe the (rather long) research journey and the several turns that it took through a whole community of researchers, and finally inspired the Coyote tool in the way that it is designed today. Coyote has been downloaded around a million times and is used routinely for testing of Azure infrastructure services.
[Auto Generated] SECTION I. INTRODUCTION 1 SECTION II. SYSTEM ORGANIZATION AND DESIGN PHILOSOPHY 4 SECTION III. SYSTEM FACILITIES 10 3. 1 Syntax Extension 10 3. 2 Storage Management 12 3. 3 Data Type Extensions 13 3.4...
详细信息
[Auto Generated] SECTION I. INTRODUCTION 1 SECTION II. SYSTEM ORGANIZATION AND DESIGN PHILOSOPHY 4 SECTION III. SYSTEM FACILITIES 10 3. 1 Syntax Extension 10 3. 2 Storage Management 12 3. 3 Data Type Extensions 13 3.4 Compilation 15 3. 5 Errors and Interrupt Handling 17 3. 6 Control Structures: Paths and Multiprogramming 19 SECTION IV. SUMMARY 21 REFERENCES 22 Figure No. 1 Primary System Modules 5 2 Program Development in ECL 8 VI INTRODUCTION 1 ECL is a programming language system currently bei
暂无评论