Input-output Checker for Non-blocking POSIX Sockets
Published: 02.04.2013
Authors: Kazakov V.V., Krishchenko V.A.
Published in issue: #2(14)/2013
DOI: 10.18698/2308-6033-2013-2-550
Category: Information technology
Socket polling i/o strategy requires a correct non-blocking i/o operations implementation. This task could be error-prone for software developers. An incorrect i/o implementation causes working thread blocking for undefined amount of time. Socket multiplexing dynamic analysis method is proposed. Such method could find i/o polling logical bugs and it needs system calls history information. Checker software was developed for GNU/Linux systems.