Engineering Journal: Science and InnovationELECTRONIC SCIENCE AND ENGINEERING PUBLICATION
Certificate of Registration Media number Эл #ФС77-53688 of 17 April 2013. ISSN 2308-6033. DOI 10.18698/2308-6033
  • Русский
  • Английский
Article

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.