Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Use gawk's gettimeofday if available #57

Closed
xonixx opened this issue Sep 23, 2021 · 0 comments
Closed

Use gawk's gettimeofday if available #57

xonixx opened this issue Sep 23, 2021 · 0 comments
Assignees
@xonixx
Labels
enhancement New feature or request
Milestone
0.9.11

Comments

@xonixx
Copy link
Owner

xonixx commented Sep 23, 2021 •
edited

https://www.gnu.org/software/gawk/manual/html_node/Extension-Sample-Time.html

Rationale

  1. This can help with fixing Timings on Mac are 1-sec precise #51
  2. This can speed-up timings on systems with Gawk by not relying on external date invocation.
$ date +%s%3N ;  AWKLIBPATH="$(pwd)/soft/gawk51_libs" ./soft/gawk51 -ltime 'BEGIN { print int(gettimeofday()*1000) }'
1632408331587
1632408331589
@xonixx xonixx added the enhancement New feature or request label Sep 23, 2021
@xonixx xonixx added this to the 0.9.11 milestone Sep 23, 2021
@xonixx xonixx self-assigned this Sep 23, 2021
@xonixx xonixx changed the title Use gawk's gettimeofday if availabe Use gawk's gettimeofday if available Sep 26, 2021
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57
7a74bc3
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57
0420b38
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57
5611da2
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57
f2b41d5
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57
4e6851b
@xonixx xonixx closed this as completed Sep 26, 2021
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57 : fix for mawk
aafd632
xonixx added a commit that referenced this issue Sep 26, 2021
@xonixx
Use gawk's gettimeofday if available #57 : fix for mawk
2ac3f1e
xonixx added a commit that referenced this issue Sep 27, 2021
@xonixx
Use gawk's gettimeofday if available #57 : fix for mawk
5fe2df1
xonixx added a commit that referenced this issue Sep 27, 2021
@xonixx
Use gawk's gettimeofday if available #57 : fix for mawk
f884d69
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@xonixx xonixx

Labels
enhancement New feature or request
Projects
None yet
Milestone
0.9.11
Development

No branches or pull requests
1 participant
@xonixx