You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The output of profile is a timeline along the y axis with a field per process in the job along the x axis. If a process is not active at a given time then nothing is printed (empty field). For csv we thus get yyyy-mm-hh hh:mm,,,x,y,,, and so on. But for awk, where the fields are space-separated, we get a bunch of spaces. As a special case, awk interprets a field separator of a single space as "any string of whitespace" (https://www.gnu.org/software/gawk/manual/gawk.html#Whitespace-Normally-Separates-Fields). Therefore, for awk output in the profile we should probably print something, eg, '.' would be fine.
The text was updated successfully, but these errors were encountered:
The output of
profile
is a timeline along the y axis with a field per process in the job along the x axis. If a process is not active at a given time then nothing is printed (empty field). For csv we thus getyyyy-mm-hh hh:mm,,,x,y,,,
and so on. But for awk, where the fields are space-separated, we get a bunch of spaces. As a special case, awk interprets a field separator of a single space as "any string of whitespace" (https://www.gnu.org/software/gawk/manual/gawk.html#Whitespace-Normally-Separates-Fields). Therefore, for awk output in the profile we should probably print something, eg, '.' would be fine.The text was updated successfully, but these errors were encountered: