✦ LIBER ✦

Multithreaded testing of program interfaces

✍ Scribed by V. S. Mutilin

Book ID: 110190955
Publisher: SP MAIK Nauka/Interperiodica
Year: 2009
Tongue: English
Weight: 146 KB
Volume: 35
Category: Article
ISSN: 0361-7688
DOI: 10.1134/s0361768809060024

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Multithreaded Message Passing Interfac

A Multithreaded Message Passing Interface (MPI) Architecture: Performance and Program Issues

✍ Boris V. Protopopov; Anthony Skjellum 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 222 KB

This paper discusses a multithreaded software architecture for messagepassing interface (MPI) software specification. The architecture is thread-safe, allows for concurrent communication over several communications media (multifabric communication), efficiently utilizes available hardware concurrenc

Modular verification of multithreaded pr

Modular verification of multithreaded programs

✍ Cormac Flanagan; Stephen N. Freund; Shaz Qadeer; Sanjit A. Seshia 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Application of multithreading programmin

Application of multithreading programming to physical experiment

✍ S. V. Mizin; V. S. Makhmutov; O. S. Maksumov; A. N. Kvashnin 📂 Article 📅 2011 🏛 Allerton Press, Inc. 🌐 English ⚖ 686 KB

A comparison of concurrent programming a

A comparison of concurrent programming and cooperative multithreading

✍ Aaron W. Keen; Takashi Ishihara; Justin T. Maris; Tiejun Li; Eugene F. Fodor; Ro 📂 Article 📅 2003 🏛 John Wiley and Sons 🌐 English ⚖ 251 KB

An instrumentation technique for online

An instrumentation technique for online analysis of multithreaded programs

✍ Grigore Roşu; Koushik Sen 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 218 KB

## Abstract This paper presents an automatic code instrumentation technique, based on __multithreaded vector clocks__, for extracting the causal partial order on relevant state update events from a running multithreaded program. This technique is used in a formal testing environment, not only to de

Predicting and Bounding the Speedup of M

Predicting and Bounding the Speedup of Multithreaded Solaris Programs

✍ Lars Lundberg 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 180 KB

In Solaris, threads are frequently relocated. The data associated with a relocated thread have to be moved from the cache of the old processor to the new processor. In order to avoid poor memory performance due to thread relocation, threads can be bound to processors static scheduling. Finding a sta