[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 | }
|
---|