[0218d51] | 1 | package main |
---|
| 2 | |
---|
| 3 | import ( |
---|
| 4 | "flag" |
---|
| 5 | "fmt" |
---|
| 6 | "math/rand" |
---|
| 7 | "os" |
---|
[65c9208] | 8 | "regexp" |
---|
[0218d51] | 9 | "runtime" |
---|
| 10 | "sync/atomic" |
---|
| 11 | "time" |
---|
| 12 | "golang.org/x/text/language" |
---|
| 13 | "golang.org/x/text/message" |
---|
| 14 | ) |
---|
| 15 | |
---|
| 16 | type LeaderInfo struct { |
---|
| 17 | id uint64 |
---|
| 18 | idx uint64 |
---|
[65c9208] | 19 | estop uint64 |
---|
[0218d51] | 20 | seed uint64 |
---|
| 21 | } |
---|
| 22 | |
---|
| 23 | func __xorshift64( state * uint64 ) (uint64) { |
---|
| 24 | x := *state |
---|
| 25 | x ^= x << 13 |
---|
| 26 | x ^= x >> 7 |
---|
| 27 | x ^= x << 17 |
---|
| 28 | *state = x |
---|
| 29 | return x |
---|
| 30 | } |
---|
| 31 | |
---|
| 32 | func (this * LeaderInfo) next(len uint64) { |
---|
| 33 | n := __xorshift64( &this.seed ) |
---|
| 34 | atomic.StoreUint64( &this.id, n % len ) |
---|
| 35 | } |
---|
| 36 | |
---|
| 37 | func NewLeader(size uint64) (*LeaderInfo) { |
---|
[65c9208] | 38 | this := &LeaderInfo{0, 0, 0, uint64(os.Getpid())} |
---|
[0218d51] | 39 | |
---|
| 40 | r := rand.Intn(10) |
---|
| 41 | |
---|
| 42 | for i := 0; i < r; i++ { |
---|
| 43 | this.next( uint64(nthreads) ) |
---|
| 44 | } |
---|
| 45 | |
---|
| 46 | return this |
---|
| 47 | } |
---|
| 48 | |
---|
| 49 | type MyThread struct { |
---|
| 50 | id uint64 |
---|
| 51 | idx uint64 |
---|
| 52 | sem chan struct{} |
---|
| 53 | } |
---|
| 54 | |
---|
[65c9208] | 55 | func waitgroup(leader * LeaderInfo, idx uint64, threads [] MyThread, main_sem chan struct {}) { |
---|
[0218d51] | 56 | start := time.Now() |
---|
[65c9208] | 57 | Outer: |
---|
[0218d51] | 58 | for i := 0; i < len(threads); i++ { |
---|
| 59 | // fmt.Fprintf(os.Stderr, "Waiting for :%d (%d)\n", threads[i].id, atomic.LoadUint64(&threads[i].idx) ); |
---|
| 60 | for atomic.LoadUint64( &threads[i].idx ) != idx { |
---|
| 61 | // hint::spin_loop(); |
---|
| 62 | end := time.Now() |
---|
| 63 | delta := end.Sub(start) |
---|
| 64 | if delta.Seconds() > 5 { |
---|
| 65 | fmt.Fprintf(os.Stderr, "Programs has been blocked for more than 5 secs") |
---|
[65c9208] | 66 | atomic.StoreUint64(&leader.estop, 1); |
---|
| 67 | main_sem <- (struct {}{}) |
---|
| 68 | break Outer |
---|
[0218d51] | 69 | } |
---|
| 70 | } |
---|
| 71 | } |
---|
| 72 | // debug!( "Waiting done" ); |
---|
| 73 | } |
---|
| 74 | |
---|
| 75 | func wakegroup(exhaust bool, me uint64, threads [] MyThread) { |
---|
| 76 | if !exhaust { return; } |
---|
| 77 | |
---|
| 78 | for i := uint64(0); i < uint64(len(threads)); i++ { |
---|
| 79 | if i != me { |
---|
| 80 | // debug!( "Leader waking {}", i); |
---|
[65c9208] | 81 | defer func() { |
---|
| 82 | if err := recover(); err != nil { |
---|
| 83 | fmt.Fprintf(os.Stderr, "Panic occurred: %s\n", err) |
---|
| 84 | } |
---|
| 85 | }() |
---|
[0218d51] | 86 | threads[i].sem <- (struct {}{}) |
---|
| 87 | } |
---|
| 88 | } |
---|
| 89 | } |
---|
| 90 | |
---|
| 91 | func lead(exhaust bool, leader * LeaderInfo, this * MyThread, threads [] MyThread, main_sem chan struct {}) { |
---|
| 92 | nidx := atomic.LoadUint64(&leader.idx) + 1; |
---|
| 93 | atomic.StoreUint64(&this.idx, nidx); |
---|
| 94 | atomic.StoreUint64(&leader.idx, nidx); |
---|
| 95 | |
---|
[65c9208] | 96 | if nidx > stop_count || atomic.LoadUint64(&leader.estop) != 0 { |
---|
[0218d51] | 97 | // debug!( "Leader {} done", this.id); |
---|
| 98 | main_sem <- (struct {}{}) |
---|
| 99 | return |
---|
| 100 | } |
---|
| 101 | |
---|
| 102 | // debug!( "====================\nLeader no {} : {}", nidx, this.id); |
---|
| 103 | |
---|
[65c9208] | 104 | waitgroup(leader, nidx, threads, main_sem); |
---|
[0218d51] | 105 | |
---|
| 106 | leader.next( uint64(len(threads)) ); |
---|
| 107 | |
---|
| 108 | wakegroup(exhaust, this.id, threads); |
---|
| 109 | |
---|
| 110 | // debug!( "Leader no {} : {} done\n====================", nidx, this.id); |
---|
| 111 | } |
---|
| 112 | |
---|
| 113 | func waitleader(exhaust bool, leader * LeaderInfo, this * MyThread, rechecks * uint64) { |
---|
| 114 | runtime.Gosched() |
---|
| 115 | |
---|
| 116 | if atomic.LoadUint64(&leader.idx) == atomic.LoadUint64(&this.idx) { |
---|
| 117 | // debug!("Waiting {} recheck", this.id); |
---|
| 118 | *rechecks += uint64(1) |
---|
| 119 | return |
---|
| 120 | } |
---|
| 121 | |
---|
| 122 | // debug!("Waiting {}", this.id); |
---|
| 123 | |
---|
| 124 | // debug_assert!( (leader.idx.load(Ordering::Relaxed) - 1) == this.idx.load(Ordering::Relaxed) ); |
---|
| 125 | atomic.AddUint64(&this.idx, 1) |
---|
| 126 | if exhaust { |
---|
| 127 | // debug!("Waiting {} sem", this.id); |
---|
| 128 | <- this.sem |
---|
| 129 | } else { |
---|
| 130 | // debug!("Waiting {} yield", this.id); |
---|
| 131 | runtime.Gosched() |
---|
| 132 | } |
---|
| 133 | |
---|
| 134 | // debug!("Waiting {} done", this.id); |
---|
| 135 | } |
---|
| 136 | |
---|
| 137 | func transfer_main( result chan uint64, me uint64, leader * LeaderInfo, threads [] MyThread, exhaust bool, start chan struct{}, main_sem chan struct{}) { |
---|
| 138 | // assert!( me == threads[me].id ); |
---|
| 139 | |
---|
| 140 | // debug!("Ready {}: {:p}", me, &threads[me].sem as *const sync::Semaphore); |
---|
| 141 | |
---|
| 142 | // Wait for start |
---|
| 143 | <- start |
---|
| 144 | |
---|
| 145 | // debug!( "Start {}", me ); |
---|
| 146 | |
---|
| 147 | // Prepare results |
---|
| 148 | r := uint64(0) |
---|
| 149 | |
---|
| 150 | // Main loop |
---|
| 151 | for true { |
---|
| 152 | if atomic.LoadUint64(&leader.id) == me { |
---|
| 153 | lead( exhaust, leader, &threads[me], threads, main_sem ) |
---|
| 154 | runtime.Gosched() |
---|
| 155 | } else { |
---|
| 156 | waitleader( exhaust, leader, &threads[me], &r ) |
---|
| 157 | } |
---|
[65c9208] | 158 | if atomic.LoadUint64(&leader.idx) > stop_count || atomic.LoadUint64(&leader.estop) != 0 { break; } |
---|
[0218d51] | 159 | } |
---|
| 160 | |
---|
| 161 | // return result |
---|
| 162 | result <- r |
---|
| 163 | } |
---|
| 164 | |
---|
| 165 | func main() { |
---|
| 166 | // Benchmark specific command line arguments |
---|
[65c9208] | 167 | exhaustOpt := flag.String("e", "no", "Whether or not threads that have seen the new epoch should park instead of yielding.") |
---|
[0218d51] | 168 | |
---|
| 169 | // General benchmark initialization and deinitialization |
---|
[65c9208] | 170 | bench_init() |
---|
| 171 | |
---|
| 172 | exhaustVal := *exhaustOpt; |
---|
| 173 | |
---|
| 174 | var exhaust bool |
---|
| 175 | re_yes := regexp.MustCompile("[Yy]|[Yy][Ee][Ss]") |
---|
| 176 | re_no := regexp.MustCompile("[Nn]|[Nn][Oo]") |
---|
| 177 | if re_yes.Match([]byte(exhaustVal)) { |
---|
| 178 | exhaust = true |
---|
| 179 | } else if re_no.Match([]byte(exhaustVal)) { |
---|
| 180 | exhaust = false |
---|
| 181 | } else { |
---|
| 182 | fmt.Fprintf(os.Stderr, "Unrecognized exhaust(-e) option '%s'\n", exhaustVal) |
---|
| 183 | os.Exit(1) |
---|
| 184 | } |
---|
[0218d51] | 185 | |
---|
| 186 | if clock_mode { |
---|
[65c9208] | 187 | fmt.Fprintf(os.Stderr, "Programs does not support fixed duration mode\n") |
---|
[0218d51] | 188 | os.Exit(1) |
---|
| 189 | } |
---|
| 190 | |
---|
| 191 | var es string |
---|
| 192 | if exhaust { |
---|
| 193 | es = "with" |
---|
| 194 | } else { |
---|
| 195 | es = "without" |
---|
| 196 | } |
---|
| 197 | fmt.Printf("Running %d threads on %d processors, doing %d iterations, %s exhaustion\n", nthreads, nprocs, stop_count, es ); |
---|
| 198 | |
---|
| 199 | main_sem := make(chan struct{}) |
---|
| 200 | leader := NewLeader(uint64(nthreads)) |
---|
| 201 | barr := make(chan struct{}) |
---|
| 202 | result := make(chan uint64) |
---|
| 203 | |
---|
| 204 | thddata := make([]MyThread, nthreads) |
---|
| 205 | for i := range thddata { |
---|
| 206 | thddata[i] = MyThread{ uint64(i), 0, make(chan struct {}) } |
---|
| 207 | } |
---|
| 208 | |
---|
| 209 | rechecks := uint64(0) |
---|
| 210 | for i := range thddata { |
---|
| 211 | go transfer_main(result, uint64(i), leader, thddata, exhaust, barr, main_sem) |
---|
| 212 | } |
---|
| 213 | fmt.Printf("Starting\n"); |
---|
| 214 | |
---|
| 215 | start := time.Now() |
---|
| 216 | close(barr) // release barrier |
---|
| 217 | |
---|
| 218 | <- main_sem |
---|
| 219 | |
---|
| 220 | end := time.Now() |
---|
| 221 | delta := end.Sub(start) |
---|
| 222 | |
---|
| 223 | fmt.Printf("\nDone\n") |
---|
| 224 | |
---|
| 225 | // release all the blocked threads |
---|
| 226 | for i := range thddata { |
---|
| 227 | close(thddata[i].sem) |
---|
| 228 | } |
---|
| 229 | for range thddata { |
---|
| 230 | rechecks += <- result |
---|
| 231 | } |
---|
| 232 | |
---|
| 233 | p := message.NewPrinter(language.English) |
---|
| 234 | var ws string |
---|
| 235 | if exhaust { |
---|
| 236 | ws = "yes" |
---|
| 237 | } else { |
---|
| 238 | ws = "no" |
---|
| 239 | } |
---|
[65c9208] | 240 | p.Printf("Duration (ms) : %d\n", delta.Milliseconds() ) |
---|
[0218d51] | 241 | p.Printf("Number of processors : %d\n", nprocs ) |
---|
| 242 | p.Printf("Number of threads : %d\n", nthreads ) |
---|
[65c9208] | 243 | p.Printf("Total Operations(ops) : %15d\n", (leader.idx - 1) ) |
---|
[0218d51] | 244 | p.Printf("Threads parking on wait : %s\n", ws) |
---|
| 245 | p.Printf("Rechecking : %d\n", rechecks ) |
---|
[aec2c022] | 246 | p.Printf("ms per transfer : %f\n", float64(delta.Milliseconds()) / float64(leader.idx) ) |
---|
| 247 | } |
---|