source: libcfa/src/concurrency/stats.cfa@ 57dff2f

ADT ast-experimental enum forall-pointer-decay jacob/cs343-translation pthread-emulation qualifiedEnum
Last change on this file since 57dff2f was 78ea291, checked in by Thierry Delisle <tdelisle@…>, 4 years ago

Cleanup stats for concision.

  • Property mode set to 100644
File size: 10.4 KB
RevLine 
[8834751]1#include <stdint.h>
2#include <stdlib.hfa>
3
4#include <unistd.h> // STDERR_FILENO
[7812a7b5]5#include <inttypes.h>
[8834751]6#include "bits/debug.hfa"
[73f4d08]7#include "bits/locks.hfa"
[8834751]8#include "stats.hfa"
[986cb99]9#include "strstream.hfa"
[8834751]10
11#if !defined(__CFA_NO_STATISTICS__)
12 void __init_stats( struct __stats_t * stats ) {
[d2fadeb]13 stats->ready.push.local.attempt = 0;
14 stats->ready.push.local.success = 0;
15 stats->ready.push.share.attempt = 0;
16 stats->ready.push.share.success = 0;
17 stats->ready.push.extrn.attempt = 0;
18 stats->ready.push.extrn.success = 0;
19 stats->ready.pop.local .attempt = 0;
20 stats->ready.pop.local .success = 0;
21 stats->ready.pop.help .attempt = 0;
22 stats->ready.pop.help .success = 0;
23 stats->ready.pop.steal .attempt = 0;
24 stats->ready.pop.steal .success = 0;
25 stats->ready.pop.search.attempt = 0;
26 stats->ready.pop.search.success = 0;
[29cb302]27 stats->ready.threads.migration = 0;
[3bd4293]28 stats->ready.threads.extunpark = 0;
[ec43cf9]29 stats->ready.threads.threads = 0;
[78ea291]30 stats->ready.threads.cthreads = 0;
[68f36f4]31 stats->ready.sleep.halts = 0;
32 stats->ready.sleep.cancels = 0;
33 stats->ready.sleep.wakes = 0;
34 stats->ready.sleep.exits = 0;
[8834751]35
[5751a56]36 #if defined(CFA_HAVE_LINUX_IO_URING_H)
[d60d30e]37 stats->io.alloc.fast = 0;
38 stats->io.alloc.slow = 0;
39 stats->io.alloc.fail = 0;
40 stats->io.alloc.revoke = 0;
41 stats->io.alloc.block = 0;
42 stats->io.submit.fast = 0;
43 stats->io.submit.slow = 0;
44 stats->io.flush.external = 0;
[dddb3dd0]45 stats->io.calls.flush = 0;
[d60d30e]46 stats->io.calls.submitted = 0;
[dddb3dd0]47 stats->io.calls.drain = 0;
[d60d30e]48 stats->io.calls.completed = 0;
49 stats->io.calls.errors.busy = 0;
[8834751]50 #endif
[73f4d08]51
52 #if defined(CFA_STATS_ARRAY)
53 stats->array.values = alloc(CFA_STATS_ARRAY);
54 stats->array.cnt = 0;
55 #endif
[8834751]56 }
57
[45b9b21]58 static inline void tally_one( volatile uint64_t * agg, volatile uint64_t * val) {
59 uint64_t add = __atomic_exchange_n(val, 0_l64u, __ATOMIC_RELAXED);
60 __atomic_fetch_add(agg, add, __ATOMIC_RELAXED);
61 }
62
63 static inline void tally_one( volatile int64_t * agg, volatile int64_t * val) {
64 int64_t add = __atomic_exchange_n(val, 0_l64, __ATOMIC_RELAXED);
65 __atomic_fetch_add(agg, add, __ATOMIC_RELAXED);
66 }
67
[8834751]68 void __tally_stats( struct __stats_t * cltr, struct __stats_t * proc ) {
[45b9b21]69 tally_one( &cltr->ready.push.local.attempt, &proc->ready.push.local.attempt );
70 tally_one( &cltr->ready.push.local.success, &proc->ready.push.local.success );
71 tally_one( &cltr->ready.push.share.attempt, &proc->ready.push.share.attempt );
72 tally_one( &cltr->ready.push.share.success, &proc->ready.push.share.success );
73 tally_one( &cltr->ready.push.extrn.attempt, &proc->ready.push.extrn.attempt );
74 tally_one( &cltr->ready.push.extrn.success, &proc->ready.push.extrn.success );
75 tally_one( &cltr->ready.pop.local .attempt, &proc->ready.pop.local .attempt );
76 tally_one( &cltr->ready.pop.local .success, &proc->ready.pop.local .success );
77 tally_one( &cltr->ready.pop.help .attempt, &proc->ready.pop.help .attempt );
78 tally_one( &cltr->ready.pop.help .success, &proc->ready.pop.help .success );
79 tally_one( &cltr->ready.pop.steal .attempt, &proc->ready.pop.steal .attempt );
80 tally_one( &cltr->ready.pop.steal .success, &proc->ready.pop.steal .success );
81 tally_one( &cltr->ready.pop.search.attempt, &proc->ready.pop.search.attempt );
82 tally_one( &cltr->ready.pop.search.success, &proc->ready.pop.search.success );
83 tally_one( &cltr->ready.threads.migration , &proc->ready.threads.migration );
84 tally_one( &cltr->ready.threads.extunpark , &proc->ready.threads.extunpark );
85 tally_one( &cltr->ready.threads.threads , &proc->ready.threads.threads );
[78ea291]86 tally_one( &cltr->ready.threads.cthreads , &proc->ready.threads.cthreads );
[45b9b21]87 tally_one( &cltr->ready.sleep.halts , &proc->ready.sleep.halts );
88 tally_one( &cltr->ready.sleep.cancels , &proc->ready.sleep.cancels );
89 tally_one( &cltr->ready.sleep.wakes , &proc->ready.sleep.wakes );
90 tally_one( &cltr->ready.sleep.exits , &proc->ready.sleep.exits );
[8834751]91
[5751a56]92 #if defined(CFA_HAVE_LINUX_IO_URING_H)
[45b9b21]93 tally_one( &cltr->io.alloc.fast , &proc->io.alloc.fast );
94 tally_one( &cltr->io.alloc.slow , &proc->io.alloc.slow );
95 tally_one( &cltr->io.alloc.fail , &proc->io.alloc.fail );
96 tally_one( &cltr->io.alloc.revoke , &proc->io.alloc.revoke );
97 tally_one( &cltr->io.alloc.block , &proc->io.alloc.block );
98 tally_one( &cltr->io.submit.fast , &proc->io.submit.fast );
99 tally_one( &cltr->io.submit.slow , &proc->io.submit.slow );
100 tally_one( &cltr->io.flush.external , &proc->io.flush.external );
101 tally_one( &cltr->io.calls.flush , &proc->io.calls.flush );
102 tally_one( &cltr->io.calls.submitted , &proc->io.calls.submitted );
103 tally_one( &cltr->io.calls.drain , &proc->io.calls.drain );
104 tally_one( &cltr->io.calls.completed , &proc->io.calls.completed );
105 tally_one( &cltr->io.calls.errors.busy, &proc->io.calls.errors.busy );
[8834751]106 #endif
107 }
108
[986cb99]109 #define eng3(X) (ws(3, 3, unit(eng( X ))))
110
[1b033b8]111 void __print_stats( struct __stats_t * stats, int flags, const char * type, const char * name, void * id ) with( *stats ) {
[8834751]112
[986cb99]113 char buf[1024];
[bbbd2c4]114 ostrstream sstr = { buf, 1024 };
[986cb99]115
[69fbc61]116 if( flags & CFA_STATS_READY_Q ) {
[986cb99]117
[78ea291]118 sstr | "----- " | type | " \"" | name | "\" (" | "" | id | "" | ") - Ready Q Stats -----";
[986cb99]119
120 uint64_t totalR = ready.pop.local.success + ready.pop.help.success + ready.pop.steal.success + ready.pop.search.success;
121 uint64_t totalS = ready.push.local.success + ready.push.share.success + ready.push.extrn.success;
[78ea291]122 sstr | "- totals : " | eng3(totalR) | "run," | eng3(totalS) | "schd (" | eng3(ready.push.extrn.success) | "ext,"
123 | eng3(ready.threads.migration) | "mig," | eng3(ready.threads.extunpark) | " eupk," | ready.threads.threads | " t," | ready.threads.cthreads | " cthr)";
[986cb99]124
125 double push_len = ((double)ready.push.local.attempt + ready.push.share.attempt + ready.push.extrn.attempt) / totalS;
[d2fadeb]126 double sLcl_len = ready.push.local.success ? ((double)ready.push.local.attempt) / ready.push.local.success : 0;
127 double sOth_len = ready.push.share.success ? ((double)ready.push.share.attempt) / ready.push.share.success : 0;
128 double sExt_len = ready.push.extrn.success ? ((double)ready.push.extrn.attempt) / ready.push.extrn.success : 0;
[986cb99]129 sstr | "- push avg : " | ws(3, 3, push_len)
130 | "- l: " | eng3(ready.push.local.attempt) | " (" | ws(3, 3, sLcl_len) | ")"
131 | ", s: " | eng3(ready.push.share.attempt) | " (" | ws(3, 3, sOth_len) | ")"
132 | ", e: " | eng3(ready.push.extrn.attempt) | " (" | ws(3, 3, sExt_len) | ")";
133
134 double rLcl_pc = (100.0 * (double)ready.pop.local .success) / totalR;
135 sstr | "- local : " | eng3(ready.pop.local .success) | "-"| ws(3, 3, rLcl_pc) | '%'
[78ea291]136 | " (" | eng3(ready.pop.local .attempt) | " try)";
[986cb99]137 double rHlp_pc = (100.0 * (double)ready.pop.help .success) / totalR;
138 sstr | "- help : " | eng3(ready.pop.help .success) | "-"| ws(3, 3, rHlp_pc) | '%'
[78ea291]139 | " (" | eng3(ready.pop.help .attempt) | " try)";
[986cb99]140 double rStl_pc = (100.0 * (double)ready.pop.steal .success) / totalR;
141 sstr | "- steal : " | eng3(ready.pop.steal .success) | "-"| ws(3, 3, rStl_pc) | '%'
[78ea291]142 | " (" | eng3(ready.pop.steal .attempt) | " try)";
[986cb99]143 double rSch_pc = (100.0 * (double)ready.pop.search.success) / totalR;
144 sstr | "- search : " | eng3(ready.pop.search.success) | "-"| ws(3, 3, rSch_pc) | '%'
[78ea291]145 | " (" | eng3(ready.pop.search.attempt) | " try)";
[986cb99]146
147 sstr | "- Idle Slp : " | eng3(ready.sleep.halts) | "halt," | eng3(ready.sleep.cancels) | "cancel," | eng3(ready.sleep.wakes) | "wake," | eng3(ready.sleep.exits) | "exit";
148 sstr | nl;
[69fbc61]149 }
150
[5751a56]151 #if defined(CFA_HAVE_LINUX_IO_URING_H)
[69fbc61]152 if( flags & CFA_STATS_IO ) {
[78ea291]153 sstr | "----- " | type | " \"" | name | "\" (" | "" | id | "" | ") - I/O Stats -----";
[986cb99]154
[d60d30e]155 uint64_t total_allocs = io.alloc.fast + io.alloc.slow;
[69fbc61]156
[d60d30e]157 uint64_t total_submits = io.submit.fast + io.submit.slow;
[78ea291]158 sstr | "- totals : allc" | eng3(io.alloc .fast) | nonl;
159 if(io.alloc.slow) {
160 double avgfasta = (100.0 * (double)io.alloc.fast) / total_allocs;
161 sstr | "fast," | eng3(io.alloc .slow) | "slow (" | ws(3, 3, avgfasta) | "%)" | nonl;
162 }
163 sstr | " - subm" | eng3(io.submit.fast) | nonl;
164 if(io.alloc.slow) {
165 double avgfasts = (100.0 * (double)io.submit.fast) / total_submits;
166 sstr | "fast," | eng3(io.submit.slow) | "slow (" | ws(3, 3, avgfasts) | "%)" | nonl;
167 }
168 sstr | nl;
[986cb99]169
[78ea291]170 if(io.alloc.fail || io.alloc.revoke || io.alloc.block)
171 sstr | "- failures : " | eng3(io.alloc.fail) | "oom, " | eng3(io.alloc.revoke) | "rvk, " | eng3(io.alloc.block) | "blk";
172 if(io.flush.external)
173 sstr | "- flush external : " | eng3(io.flush.external);
[69fbc61]174
[dddb3dd0]175 double avgsubs = ((double)io.calls.submitted) / io.calls.flush;
176 double avgcomp = ((double)io.calls.completed) / io.calls.drain;
[78ea291]177 sstr | "- syscll : "
178 | " sub " | eng3(io.calls.flush) | "/" | eng3(io.calls.submitted) | "(" | ws(3, 3, avgsubs) | "/flush)"
179 | " - cmp " | eng3(io.calls.drain) | "/" | eng3(io.calls.completed) | "(" | ws(3, 3, avgcomp) | "/drain)"
180 | " - " | eng3(io.calls.errors.busy) | " EBUSY";
[986cb99]181 sstr | nl;
[69fbc61]182 }
[c34ebf2]183 #endif
[986cb99]184
185 if(flags) write( sstr, stdout );
[8834751]186 }
[73f4d08]187
188 #if defined(CFA_STATS_ARRAY)
189 extern "C" {
190 #include <stdio.h>
191 #include <errno.h>
192 #include <sys/stat.h>
193 #include <fcntl.h>
194 }
195
196 void __flush_stat( struct __stats_t * this, const char * name, void * handle) {
197 int ret = mkdir(".cfadata", 0755);
198 if(ret < 0 && errno != EEXIST) abort("Failed to create directory .cfadata: %d\n", errno);
199
200 char filename[100];
201 snprintf(filename, 100, ".cfadata/%s%p.data", name, handle);
202
203 int fd = open(filename, O_WRONLY | O_APPEND | O_CREAT, 0644);
204 if(fd < 0) abort("Failed to create file %s: %d\n", filename, errno);
205
206 for(i; this->array.cnt) {
207 char line[100];
208 size_t n = snprintf(line, 100, "%llu, %lld\n", this->array.values[i].ts, this->array.values[i].value);
209 write(fd, line, n);
210 }
211
212 this->array.cnt = 0;
213 close(fd);
214 }
215
216 static __spinlock_t stats_lock;
217
218 void __push_stat( struct __stats_t * this, int64_t value, bool external, const char * name, void * handle ) {
219 if(external) lock(stats_lock __cfaabi_dbg_ctx2);
220
221 if( this->array.cnt >= CFA_STATS_ARRAY ) __flush_stat( this, name, handle );
222
223 size_t idx = this->array.cnt;
224 this->array.cnt++;
225
226 if(external) unlock(stats_lock);
227
228 this->array.values[idx].ts = rdtscl();
229 this->array.values[idx].value = value;
230 }
231 #endif
[bbbd2c4]232#endif
Note: See TracBrowser for help on using the repository browser.