You bet. Demand paging does not work too well with realtime.
On Sat, Sep 29, 2001 at 04:53:35PM +0000, Anumula Venkata Naga Seshaiah wrote: > > Hi, > > So entire module should be loaded into kernel. I hope it should not use > demand paging. Am i right ? > > Regards > Venkat > > >From: Chunky Kibbles <[EMAIL PROTECTED]> > >Reply-To: [EMAIL PROTECTED] > >To: [EMAIL PROTECTED] > >Subject: Re: [rtl] virtual memory > >Date: Sat, 29 Sep 2001 14:34:11 +0100 > > > >On Fri, Sep 28, 2001 at 01:14:46PM -0700, A V wrote: > > > > > > Hi, > > > > > > Does RTLinux uses virtual memory ? I hope not. > > > Becaz real-time kernel should not use virtual memory. > > > But in our RTLinux the module loading is taken care > > > of by Linux kernel. Am i right ? Linux kernel uses > > > virtual memory. How can Linux kernel know that it > > > should not use virtual memory for RT-processes ? > > > Please clear my doubt. > > > >Yes, the kernel support full virtual memory; there's no point in it not > >doing so. > > > >The memory, though comes in two varieties for this situation: > >kernel-space, and user-space. Kernel-space memory will never get > >swapped out, but user-space memory can be. > > > >RT Linux code actually runs as a kernel module [at least, the bit you > >code to be actual hard real-time]. This module runs in kernel-space, > >so will never get swapped out. > > > >Gary (-; > >-- [rtl] --- > >To unsubscribe: > >echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR > >echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED] > >-- > >For more information on Real-Time Linux see: > >http://www.rtlinux.org/ > > > > > _________________________________________________________________ > Get your FREE download of MSN Explorer at http://explorer.msn.com/intl.asp > > -- [rtl] --- > To unsubscribe: > echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR > echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED] > -- > For more information on Real-Time Linux see: > http://www.rtlinux.org/ -- [rtl] --- To unsubscribe: echo "unsubscribe rtl" | mail [EMAIL PROTECTED] OR echo "unsubscribe rtl <Your_email>" | mail [EMAIL PROTECTED] -- For more information on Real-Time Linux see: http://www.rtlinux.org/
