sergiotarxz/nuttx
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Fix race condition when semaphore wait is interrupted by a signl

Browse Source 
git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@2935 42af7a65-404d-4744-a932-0658087f49c3
This commit is contained in:
patacongo 2010-09-10 02:34:19 +00:00
parent 03f38ddb79
commit 8a1b11da8b
1 changed files with 22 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

27
Documentation/NuttX.html
View File

@ -8,7 +8,7 @@
<tr align="center" bgcolor="#e4e4e4">
<td>
<h1><big><font color="#3c34ec"><i>NuttX RTOS</i></font></big></h1>
<p>Last Updated: September 8, 2010</p>
<p>Last Updated: September 9, 2010</p>
</td>
</tr>
</table>
@ -1262,10 +1262,19 @@
<td>
<p>
<b>NXP LPC1768</b>.
This port uses the Nucleus 2G board from <a href="http://www.2g-eng.com/">2G Engineering</a>
featuring the NXP LPC1768 MCU.
This port uses a GNU arm-elf or arm-eabi toolchain* under either Linux or Cygwin (with native Windows GNU
tools or Cygwin-based GNU tools).
Configurations are available for two boards:
<ul>
<li>
The Nucleus 2G board from <a href="http://www.2g-eng.com/">2G Engineering</a>, and
</li>
<li>
The mbed board from <a href="http://mbed.org">mbed.org</a> (Contributed by Dave Marples).
</li>
</ul>
</p>
<p>
Both boards feature the NXP LPC1768 MCU and a GNU arm-elf or arm-eabi toolchain* under
either Linux or Cygwin (with native Windows GNU tools or Cygwin-based GNU tools).
</p>
<ul>
<p>
@ -1282,6 +1291,9 @@
However, due to some technical reasons, neither the SPI nor the USB device drivers are fully verified.
(Although it has been reported to me that the SPI microSD is functional on other platforms).
</p>
<p>
Support for the mbed board was contributed by Dave Marples and released in NuttX-5.11.
</p>
<p>
<b>Development Environments:</b>
1) Linux with native Linux GNU toolchain, 2) Cygwin with Cygwin GNU toolchain, or 3) Cygwin
@ -1957,6 +1969,11 @@ nuttx-5.11 2010-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;
reading from offsets into this file that correspond to virtual
fault addresses. up_fillpage.c implements logic to perform page
files using the CONFIG_PAGING_BINPATH file.
* configs/mbed - Add configuration to support the mbed.org LPC1768
board (Contributed by Dave Marples).
* sched/sem_wait.c and sem_waitirq.c - Eliminate a race condition
that can occur when a semaphore wait is interrupt by a signal.
(see email thread: http://tech.groups.yahoo.com/group/nuttx/message/530)
pascal-2.1 2010-xx-xx Gregory Nutt &lt;spudmonkey@racsa.co.cr&gt;