<!DOCTYPE html>
<html>
<head>
<meta charset="UTF-8">
<title>New Defects Reported - RTEMS</title>
<style>
body { font-family: Arial, sans-serif; color: #222; line-height: 1.6; }
.button {
display: inline-block;
padding: 10px 20px;
margin: 20px 0;
font-size: 16px;
color: #fff !important;
background-color: #0056b3;
text-decoration: none;
border-radius: 5px;
}
pre {
background: #f8f9fa;
padding: 10px;
border-radius: 5px;
font-size: 14px;
overflow-x: auto;
}
</style>
</head>
<body>
<p>Hi,</p>
<p>
Please find the latest report on new defect(s) introduced to <strong>RTEMS</strong>
found with Coverity Scan.
</p>
<ul>
<li><strong>New Defects Found:</strong> 1</li>
<li><strong>Defects Shown:</strong> Showing 1 of 1 defect(s)</li>
</ul>
<h3>Defect Details</h3>
<pre>
** CID 1655164: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_misc.c: 673 in rtems_aio_handle()
_____________________________________________________________________________________________
*** CID 1655164: Concurrent data access violations (MISSING_LOCK)
/cpukit/posix/src/aio_misc.c: 673 in rtems_aio_handle()
667 if the working request has been extracted from the
668 chain */
669 result = pthread_mutex_lock( &r_chain->mutex );
670 if ( result != 0 )
671 return NULL;
672
>>> CID 1655164: Concurrent data access violations (MISSING_LOCK)
>>> Accessing "r_chain->perfd" without holding lock "rtems_aio_queue.mutex". Elsewhere, "rtems_aio_request_chain.perfd" is written to with "rtems_aio_queue.mutex" held 5 out of 5 times.
673 chain = &r_chain->perfd;
674
675 /* If the locked chain is not empty, take the first
676 request extract it, unlock the chain and process
677 the request, in this way the user can supply more
678 requests to this fd chain */
</pre>
<p>
<a href="https://scan.coverity.com/projects/rtems?tab=overview" class="button">View Defects in Coverity Scan</a>
</p>
<p>Best regards,</p>
<p>The Coverity Scan Admin Team</p>
<img class="logo" width="140" src="https://scan.coverity.com/assets/BlackDuckLogo-6697adc63e07340464201a2ad534d3d3e44f95d36edda20b140440d34f05372f.svg" />
</body>
</html>