controlpanel.java

操作系统中内存管理页面置换算法的模拟程序

    l62.reshape( 210, (32)*15+25, 60, 15 );
    l62.setForeground( Color.red );
    l62.setFont( new Font( "Courier", 0, 10 ) );   
    add( l62 );


    l63.reshape( 210, (33)*15+25, 60, 15 );
    l63.setForeground( Color.red );
    l63.setFont( new Font( "Courier", 0, 10 ) );   
    add( l63 );

    kernel.init( commands , config );

    show();
  }

  public void paintPage( Page page ) 
  {
    virtualPageValueLabel.setText( Integer.toString( page.id ) );
    physicalPageValueLabel.setText( Integer.toString( page.physical ) );
    RValueLabel.setText( Integer.toString( page.R ) );
    MValueLabel.setText( Integer.toString( page.M ) );
    inMemTimeValueLabel.setText( Integer.toString( page.inMemTime ) );
    lastTouchTimeValueLabel.setText( Integer.toString( page.lastTouchTime ) );
    lowValueLabel.setText(Long.toString( page.low , Kernel.addressradix ) );
    highValueLabel.setText(Long.toString( page.high , Kernel.addressradix ) );
  }

  public void setStatus(String status) {
    statusValueLabel.setText(status);
  }

  public void addPhysicalPage( int pageNum , int physicalPage ) 
  {
    if ( physicalPage == 0 ) 
    {
      l0.setText( "page " + pageNum );
    }
    else if ( physicalPage == 1) 
    {
      l1.setText( "page " + pageNum );
    }
    else if ( physicalPage == 2)
    {
      l2.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 3)
    {
      l3.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 4)
    {
      l4.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 5)
    {
      l5.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 6)
    {
      l6.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 7)
    {
      l7.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 8)
    {
      l8.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 9)
    {
      l9.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 10)
    {
      l10.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 11)
    {
      l11.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 12)
    {
      l12.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 13)
    {
      l13.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 14)
    {
      l14.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 15)
    {
      l15.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 16)
    {
      l16.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 17)
    {
      l17.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 18)
    {
      l18.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 19)
    {
      l19.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 20)
    {
      l20.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 21)
    {
      l21.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 22)
    {
      l22.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 23)
    {
      l23.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 24)
    {
      l24.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 25)
    {
      l25.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 26)
    {
      l26.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 27)
    {
      l27.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 28)
    {
      l28.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 29)
    {
      l29.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 30)
    {
      l30.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 31)
    {
      l31.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 32)
    {
      l32.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 33)
    {
      l33.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 34)
    {
      l34.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 35)
    {
      l35.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 36)
    {
      l36.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 37)
    {
      l37.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 38)
    {
      l38.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 39)
    {
      l39.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 40)
    {
      l40.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 41)
    {
      l41.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 42)
    {
      l42.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 43)
    {
      l43.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 44)
    {
      l44.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 45)
    {
      l45.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 46)
    {
      l46.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 47)
    {
      l47.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 48)
    {
      l48.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 49)
    {
      l49.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 50)
    {
      l50.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 51)
    {
      l51.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 52)
    {
      l52.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 53)
    {
      l53.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 54)
    {
      l54.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 55)
    {
      l55.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 56)
    {
      l56.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 57)
    {
      l57.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 58)
    {
      l58.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 59)
    {
      l59.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 60)
    {
      l60.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 61)
    {
      l61.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 62)
    {
      l62.setText( "page " + pageNum );
    } 
    else if ( physicalPage == 63)
    {
      l63.setText( "page " + pageNum );
    } 
    else 
    {
      return;
    }
  }

  public void removePhysicalPage( int physicalPage ) 
  {
    if ( physicalPage == 0 ) 
    {
      l0.setText( null );
    }
    else if ( physicalPage == 1) 
    {
      l1.setText( null );
    }
    else if ( physicalPage == 2)
    {
      l2.setText(null  );
    } 
    else if ( physicalPage == 3)
    {
      l3.setText( null );
    } 
    else if ( physicalPage == 4)
    {
      l4.setText( null );
    } 
    else if ( physicalPage == 5)
    {
      l5.setText( null );
    } 
    else if ( physicalPage == 6)
    {
      l6.setText( null );
    } 
    else if ( physicalPage == 7)
    {
      l7.setText( null );
    } 
    else if ( physicalPage == 8)
    {
      l8.setText( null );
    } 
    else if ( physicalPage == 9)
    {
      l9.setText( null );
    } 
    else if ( physicalPage == 10)
    {
      l10.setText( null );
    } 
    else if ( physicalPage == 11)
    {
      l11.setText( null );
    } 
    else if ( physicalPage == 12)
    {
      l12.setText( null );
    } 
    else if ( physicalPage == 13)
    {
      l13.setText( null );
    } 
    else if ( physicalPage == 14)
    {
      l14.setText( null );
    } 
    else if ( physicalPage == 15)
    {
      l15.setText( null );
    } 
    else if ( physicalPage == 16)
    {
      l16.setText( null );
    } 
    else if ( physicalPage == 17)
    {
      l17.setText( null );
    } 
    else if ( physicalPage == 18)
    {
      l18.setText( null );
    } 
    else if ( physicalPage == 19)
    {
      l19.setText( null );
    } 
    else if ( physicalPage == 20)
    {
      l20.setText( null );
    } 
    else if ( physicalPage == 21)
    {
      l21.setText( null );
    } 
    else if ( physicalPage == 22)
    {
      l22.setText( null );
    } 
    else if ( physicalPage == 23)
    {
      l23.setText( null );
    } 
    else if ( physicalPage == 24)
    {
      l24.setText( null );
    } 
    else if ( physicalPage == 25)
    {
      l25.setText( null );
    } 
    else if ( physicalPage == 26)
    {
      l26.setText( null );
    } 
    else if ( physicalPage == 27)
    {
      l27.setText( null );
    } 
    else if ( physicalPage == 28)
    {
      l28.setText( null );
    } 
    else if ( physicalPage == 29)
    {
      l29.setText( null );
    } 
    else if ( physicalPage == 30)
    {
      l30.setText( null );
    } 
    else if ( physicalPage == 31)
    {
      l31.setText( null );
    } 
    else if ( physicalPage == 32)
    {
      l32.setText( null );
    } 
    else if ( physicalPage == 33)
    {
      l33.setText( null );
    } 
    else if ( physicalPage == 34)
    {
      l34.setText( null );
    } 
    else if ( physicalPage == 35)
    {
      l35.setText( null );
    } 
    else if ( physicalPage == 36)
    {
      l36.setText( null );
    } 
    else if ( physicalPage == 37)
    {
      l37.setText( null );
    } 
    else if ( physicalPage == 38)
    {
      l38.setText( null );
    } 
    else if ( physicalPage == 39)
    {
      l39.setText( null );
    } 
    else if ( physicalPage == 40)
    {
      l40.setText( null );
    } 
    else if ( physicalPage == 41)