randcall.html 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859
  1. <html>
  2. <head>
  3. <title>randcall</title>
  4. <body bgcolor=#ffffff>
  5. <h2 align=center>randcall</h2>
  6. <h4 align=center>OS/161 Reference Manual</h4>
  7. <h3>Name</h3>
  8. randcall - make randomized system calls
  9. <h3>Synopsis</h3>
  10. /testbin/randcall [-f] [-c <em>count</em>] [-r <em>seed</em>] <em>callset</em>
  11. <h3>Description</h3>
  12. randcall makes randomized system calls, that is, system calls with
  13. completely random arguments. The <em>callset</em> determines which
  14. list of system calls it uses; it is either "all", which does
  15. everything, or a number that identifies one of the assignments, in
  16. which case it exercises all the system calls that are supposed to be
  17. working when that assignment is complete. (If the lists compiled into
  18. randcall are wrong, contact your course staff.)
  19. <p>
  20. Ordinarily, in case some of these calls cause process termination,
  21. randcall forks before making each call. This can be slow, so the -f
  22. option can be used to suppress this behavior.
  23. <p>
  24. The -c <em>count</em> option tells randcall to make <em>count</em>
  25. iterations through the list of calls it's using. (It always goes
  26. through the list sequentially.) The default count is 100.
  27. <p>
  28. The -r <em>seed</em> option allows one to set the pseudorandom seed
  29. used by randcall to generate the call arguments. The default seed is
  30. 0.
  31. <p>
  32. randcall prints what it's doing, so if it blows up you should be able
  33. to see what happened.
  34. <p>
  35. The system calls that do not take arguments are not on any of the call
  36. lists. Neither is <A HREF=../syscall/reboot.html>reboot</A>, to prevent
  37. accidental system shutdown.
  38. <h3>Requirements</h3>
  39. randcall should never under any circumstances crash the kernel, no
  40. matter what call list is in use.
  41. <h3>Bugs</h3>
  42. There should be an option to seed the random generator from
  43. <A HREF=../dev/random.html>random:</A>.
  44. </body>
  45. </html>