How do I sleep for a millisecond in bash or ksh

Bash has a “loadable” sleep which supports fractional seconds, and eliminates overheads of an external command:

$ cd bash-3.2.48/examples/loadables
$ make sleep && mv sleep sleep.so
$ enable -f sleep.so sleep

Then:

$ which sleep
/usr/bin/sleep
$ builtin sleep
sleep: usage: sleep seconds[.fraction]
$ time (for f in `seq 1 10`; do builtin sleep 0.1; done)
real    0m1.000s
user    0m0.004s
sys     0m0.004s

The downside is that the loadables may not be provided with your bash binary, so you would need to compile them yourself as shown (though on Solaris it would not necessarily be as simple as above).

As of bash-4.4 (September 2016) all the loadables are now built and installed by default on platforms that support it, though they are built as separate shared-object files, and without a .so suffix. Unless your distro/OS has done something creative (sadly RHEL/CentOS 8 build bash-4.4 with loadable extensions deliberately removed), you should be able to do instead:

[ -z "$BASH_LOADABLES_PATH" ] &&
  BASH_LOADABLES_PATH=$(pkg-config bash --variable=loadablesdir 2>/dev/null)  
enable -f sleep sleep

(The man page implies BASH_LOADABLES_PATH is set automatically, I find this is not the case in the official distribution as of 4.4.12. If and when it is set correctly you need only enable -f filename commandname as required.)

If that’s not suitable, the next easiest thing to do is build or obtain sleep from GNU coreutils, this supports the required feature. The POSIX sleep command is minimal, older Solaris versions implemented only that. Solaris 11 sleep does support fractional seconds.

As a last resort you could use perl (or any other scripting that you have to hand) with the caveat that initialising the interpreter may be comparable to the intended sleep time:

$ perl -e "select(undef,undef,undef,0.1);"
$ echo "after 100" | tclsh

Related Posts:

  1. How do I deal with a filename that starts with the hyphen (-) character?
  2. Bash: No such file or directory?
  3. Why do you need to put #!/bin/bash at the beginning of a script file?
  4. “Couldn’t find a file descriptor referring to the console” on Ubuntu bash on Windows
  5. gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error is not recoverable: exiting now
  6. Pass a password to ssh in pure bash
  7. -bash: syntax error near unexpected token `newline’ for display command
  8. How do I use grep to search the current directory for all files having the a string “hello” yet display only .h and .cc files?
  9. “sed” command in bash
  10. Explaining the ‘find -mtime’ command
  11. How does “cat << EOF" work in bash?
  12. Pseudo-terminal will not be allocated because stdin is not a terminal
  13. Extract file basename without path and extension in bash
  14. Given two directory trees, how can I find out which files differ by content?
  15. mv: cannot stat error : No such file or directory error
  16. Pseudo-terminal will not be allocated because stdin is not a terminal
  17. ./configure : /bin/sh^M : bad interpreter
  18. Trying to use bash on Windows and got no installed distributions message
  19. What is the difference between “#!/usr/bin/env bash” and “#!/usr/bin/bash”?
  20. -bash: fork: Cannot allocate memory
  21. Is there a “goto” statement in bash?
  22. Bash script: bad interpreter
  23. How to count lines in a document?
  24. What does `set -x` do?
  25. How to get the process ID to kill a nohup process?
  26. Writing a simple shell in C using fork/execvp
  27. chmod: changing permissions of ‘my_script.sh’: Operation not permitted
  28. What is the reason and how to avoid the [FIN, ACK] , [RST] and [RST, ACK]
  29. tar: add all files and directories in current directory INCLUDING .svn and so on
  30. What does set -e mean in a bash script?
  31. What does set -e mean in a bash script?
  32. “find: paths must precede expression:” How do I specify a recursive search that also finds files in the current directory?
  33. Bash script prints “Command Not Found” on empty lines
  34. Pipe to/from the clipboard in a Bash script
  35. Linux Bash: Move multiple different files into same directory
  36. How do I write stderr to a file while using “tee” with a pipe?
  37. How to include file in a bash shell script
  38. How to enable Bash in Windows 10 developer preview?
  39. What does ‘bash -c’ do?
  40. bash sh – command not found 
  41. How do I know the script file name in a Bash script?
  42. How can I sort du -h output by size
  43. What are the functional differences between .profile .bash_profile and .bashrc
  44. How to run a command multiple times, using bash shell?
  45. How do I prevent accidental rm -rf /*?
  46. What is “-bash: !”: event not found”
  47. What’s the best way to check if a volume is mounted in a Bash script?
  48. Keeping a linux process running after I logout
  49. What useful things can one add to one’s .bashrc? [closed]
  50. How to add a timestamp to bash script log?
  51. Colors in bash after piping through less?
  52. Linux command line best practices and tips?
  53. How to run command as user who has /usr/sbin/nologin as Shell?
  54. How to get pid of just started process
  55. Can you have more than one ~/.ssh/config file?
  56. SSH from A through B to C, using private key on B [closed]
  57. How can I fully log all bash scripts actions?
  58. How to apply a filter to real time output of `tail -f `?
  59. How to remove invalid characters from filenames?
  60. zcat/gzcat works in linux, not on osx. general linux/osx compatibility
  61. Confused about stdin, stdout and stderr?
  62. What’s a .sh file?
  63. How to fix ‘sudo: no tty present and no askpass program specified’ error?
  64. What does pss mean in /proc/pid/smaps
  65. apt-get error: Sub-process /usr/bin/dpkg returned an error code (1)
  66. How do I grep recursively?
  67. How to extract C source code from .so file?
  68. How to substitute shell variables in complex text files
  69. How to exclude a directory in find . command
  70. How can I find all *.js file in directory recursively in Linux?
  71. Argument list too long error for rm, cp, mv commands
  72. Difference between using “chmod a+x” and “chmod 755”
  73. ssh: Could not resolve hostname [hostname]: nodename nor servname provided, or not known
  74. Python subprocess.Popen “OSError: [Errno 12] Cannot allocate memory”
  75. How to open some ports on Ubuntu?
  76. What does it mean to mount a file system in linux?
  77. Explanation of polkitd Unregistered Authentication Agent
  78. PHP and mod_fcgid: ap_pass_brigade failed in handle_request_ipc function
  79. How to grep and replace
  80. What does “&” at the end of a linux command mean?
  81. wget returns “Unable to establish SSL connection”
  82. How to recursively download a folder via FTP on Linux
  83. httpd: Could not reliably determine the server’s fully qualified domain name, using 127.0.0.1 for ServerName
  84. Does Mac OS X use Linux?
  85. Hosting multiple WordPress sites on single server – best practices?
  86. df in linux not showing correct free space after file removal
  87. Setting the hostname: FQDN or short name?
  88. When does /tmp get cleared?
  89. Disk full, du tells different. How to further investigate?
  90. Filename length limits on linux?
  91. best way to clear all iptables rules
  92. How can I rename a Unix user?
  93. How to re-order windows, change the scroll shortcut, and modify the status bar contents in GNU Screen?
  94. How to prevent a user from login in, but allow “su – user” in Linux?
  95. I have a keypair. How do I determine the key length?
  96. Why drop caches in Linux?
  97. swap partition vs file for performance?
  98. Best way to disable swap in Linux
  99. How can I zip/compress a symlink?
  100. How to find the physical volume(s) that hold a logical volume in LVM

Leave a Comment

Hata!: SQLSTATE[HY000] [1045] Access denied for user 'divattrend_liink'@'localhost' (using password: YES)