From 80e4214c336df5026cbf78d97dca075d79233b16 Mon Sep 17 00:00:00 2001 From: patacongo Date: Sun, 15 Aug 2010 15:13:34 +0000 Subject: [PATCH] Demand paging documentation git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@2854 7fd9a85b-ad96-42d3-883c-3090e2eb8679 --- nuttx/ChangeLog | 3 +++ nuttx/Documentation/NuttX.html | 17 ++++++++++++++++- nuttx/Documentation/NuttXDemandPaging.html | 8 ++++---- nuttx/Documentation/NuttXLinks.html | 1 + 4 files changed, 24 insertions(+), 5 deletions(-) diff --git a/nuttx/ChangeLog b/nuttx/ChangeLog index ae334456f..c2ddcaeb4 100644 --- a/nuttx/ChangeLog +++ b/nuttx/ChangeLog @@ -1206,3 +1206,6 @@ GPIO interrupts. * arch/arm/src/lm3s/lm3s_internal.h and lm3s_gpio.c - Fixed the encoding of GPIO port number that limited support for GPIO ports to 8 + * sched/pg_*.c and *.c and include/nuttx/page.h - Implemented the + common, core logic for on-demand paging. See + http://www.nuttx.org/NuttXDemandPaging.html for details. \ No newline at end of file diff --git a/nuttx/Documentation/NuttX.html b/nuttx/Documentation/NuttX.html index 62cbcf512..203651a67 100644 --- a/nuttx/Documentation/NuttX.html +++ b/nuttx/Documentation/NuttX.html @@ -8,7 +8,7 @@

NuttX RTOS

-

Last Updated: August 12, 2010

+

Last Updated: August 14, 2010

@@ -344,6 +344,14 @@

+ +
+ +

+

  • On-demand paging.
    • +

    + +
    @@ -1879,6 +1887,9 @@ nuttx-5.9 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> GPIO interrupts. * arch/arm/src/lm3s/lm3s_internal.h and lm3s_gpio.c - Fixed the encoding of GPIO port number that limited support for GPIO ports to 8 + * sched/pg_*.c and *.c and include/nuttx/page.h - Implemented the + common, core logic for on-demand paging. See + http://www.nuttx.org/NuttXDemandPaging.html for details. pascal-2.1 2010-xx-xx Gregory Nutt <spudmonkey@racsa.co.cr> @@ -1928,6 +1939,10 @@ buildroot-1.9 2010-xx-xx NX Graphics Subsystem + + + Demand Paging + NuttX README Files diff --git a/nuttx/Documentation/NuttXDemandPaging.html b/nuttx/Documentation/NuttXDemandPaging.html index fb0894d6b..1d54ec091 100755 --- a/nuttx/Documentation/NuttXDemandPaging.html +++ b/nuttx/Documentation/NuttXDemandPaging.html @@ -127,7 +127,7 @@

    Overview

    - This document summarizes the design of NuttX on-demand page. + This document summarizes the design of NuttX on-demand paging. This feature permits embedded MCUs with some limited RAM space to execute large programs some some non-random access media. This feature was first discussed in this email thread: http://tech.groups.yahoo.com/group/nuttx/message/213. @@ -143,15 +143,15 @@

  • The MCU must have a (relatively) small block of fast SRAM from which it can execute code. - A size of, say 256Kb (or 192Kb as in the ea3131) would be sufficient for many applications. + A size of, say 256Kb (or 192Kb as in the NXP LPC3131) would be sufficient for many applications.
  • - The MCU has an MMU (again like the ea3131). + The MCU has an MMU (again like the NXP LPC3131).

    • - If the platforms meets these requirement, then NuttX can provide on-demand paging: + If the platform meets these requirement, then NuttX can provide on-demand paging: It can copy .text from the large program in non-volatile media into RAM as needed to execute the huge program from the small RAM.

    diff --git a/nuttx/Documentation/NuttXLinks.html b/nuttx/Documentation/NuttXLinks.html index 972ae8b0e..681dc9329 100755 --- a/nuttx/Documentation/NuttXLinks.html +++ b/nuttx/Documentation/NuttXLinks.html @@ -45,6 +45,7 @@
  • NuttShell (NSH)
  • NXFLAT
  • NX Graphics
    • +
  • Demand Paging
  • README Files
  • Change Log
  • To-Do List