source: benchmark/readyQ/locality.go@ 09da82d

ADT arm-eh ast-experimental enum forall-pointer-decay jacob/cs343-translation new-ast-unique-expr pthread-emulation qualifiedEnum
Last change on this file since 09da82d was 06573b2, checked in by Thierry Delisle <tdelisle@…>, 5 years ago

Other minor fixes to benchmarks

  • Property mode set to 100644
File size: 8.1 KB
RevLine 
[90ecade]1package main
2
3import (
[2dd0689]4 "context"
[90ecade]5 "flag"
6 "fmt"
7 "math/rand"
8 "os"
[aa1d13c]9 "syscall"
[90ecade]10 "sync/atomic"
11 "time"
[2dd0689]12 "unsafe"
13 "golang.org/x/sync/semaphore"
[90ecade]14 "golang.org/x/text/language"
15 "golang.org/x/text/message"
16)
17
[aa1d13c]18// ==================================================
19type MyData struct {
[3d19ae6]20 _p1 [16]uint64 // padding
[aa1d13c]21 ttid int
22 id int
23 data [] uint64
[3d19ae6]24 _p2 [16]uint64 // padding
[aa1d13c]25}
26
27func NewData(id int, size uint64) (*MyData) {
28 var data [] uint64
29 data = make([]uint64, size)
30 for i := uint64(0); i < size; i++ {
31 data[i] = 0
32 }
[3d19ae6]33 return &MyData{[16]uint64{0}, syscall.Gettid(), id, data,[16]uint64{0}}
[aa1d13c]34}
35
36func (this * MyData) moved( ttid int ) (uint64) {
37 if this.ttid == ttid {
38 return 0
39 }
40 this.ttid = ttid
41 return 1
42}
43
44func (this * MyData) access( idx uint64 ) {
45 this.data[idx % uint64(len(this.data))] += 1
46}
47
48// ==================================================
49type MyCtx struct {
[3d19ae6]50 _p1 [16]uint64 // padding
[2dd0689]51 s * semaphore.Weighted
[34687d3]52 d unsafe.Pointer
[024fa4b]53 c context.Context
[aa1d13c]54 ttid int
[34687d3]55 id int
[3d19ae6]56 _p2 [16]uint64 // padding
[2dd0689]57}
58
[c5a98f3]59func NewCtx( data * MyData, id int ) (MyCtx) {
[3d19ae6]60 r := MyCtx{[16]uint64{0},semaphore.NewWeighted(1), unsafe.Pointer(data), context.Background(), syscall.Gettid(), id,[16]uint64{0}}
[c5a98f3]61 r.s.Acquire(context.Background(), 1)
62 return r
[aa1d13c]63}
64
65func (this * MyCtx) moved( ttid int ) (uint64) {
66 if this.ttid == ttid {
67 return 0
68 }
69 this.ttid = ttid
70 return 1
71}
72
73// ==================================================
[c5a98f3]74// Atomic object where a single thread can wait
75// May exchanges data
[2dd0689]76type Spot struct {
[3f8baf4]77 _p1 [16]uint64 // padding
[c5a98f3]78 ptr uintptr // atomic variable use fo MES
79 id int // id for debugging
[3f8baf4]80 _p2 [16]uint64 // padding
[2dd0689]81}
82
[024fa4b]83// Main handshake of the code
84// Single seat, first thread arriving waits
85// Next threads unblocks current one and blocks in its place
86// if share == true, exchange data in the process
[aa1d13c]87func (this * Spot) put( ctx * MyCtx, data * MyData, share bool) (* MyData, bool) {
[024fa4b]88 new := uintptr(unsafe.Pointer(ctx))
[8235415]89 // old_d := ctx.d
[c5a98f3]90
91 // Attempt to CAS our context into the seat
[2dd0689]92 var raw uintptr
93 for true {
94 raw = this.ptr
[c5a98f3]95 if raw == uintptr(1) { // Seat is closed, return
[34687d3]96 return nil, true
[2dd0689]97 }
[024fa4b]98 if atomic.CompareAndSwapUintptr(&this.ptr, raw, new) {
[c5a98f3]99 break // We got the seat
[2dd0689]100 }
[90ecade]101 }
102
[c5a98f3]103 // If we aren't the fist in, wake someone
[2dd0689]104 if raw != uintptr(0) {
[aa1d13c]105 var val *MyCtx
106 val = (*MyCtx)(unsafe.Pointer(raw))
[c5a98f3]107
108 // If we are sharing, give them our data
[90ecade]109 if share {
[34687d3]110 // fmt.Printf("[%d] - %d update %d: %p -> %p\n", this.id, ctx.id, val.id, val.d, data)
111 atomic.StorePointer(&val.d, unsafe.Pointer(data))
[90ecade]112 }
[2dd0689]113
[c5a98f3]114 // Wake them up
[34687d3]115 // fmt.Printf("[%d] - %d release %d\n", this.id, ctx.id, val.id)
[2dd0689]116 val.s.Release(1)
117 }
118
[34687d3]119 // fmt.Printf("[%d] - %d enter\n", this.id, ctx.id)
[c5a98f3]120
121 // Block once on the seat
[024fa4b]122 ctx.s.Acquire(ctx.c, 1)
[c5a98f3]123
124 // Someone woke us up, get the new data
[aa1d13c]125 ret := (* MyData)(atomic.LoadPointer(&ctx.d))
[34687d3]126 // fmt.Printf("[%d] - %d leave: %p -> %p\n", this.id, ctx.id, ret, old_d)
127
128 return ret, false
[2dd0689]129}
130
[c5a98f3]131// Shutdown the spot
132// Wake current thread and mark seat as closed
[2dd0689]133func (this * Spot) release() {
[aa1d13c]134 val := (*MyCtx)(unsafe.Pointer(atomic.SwapUintptr(&this.ptr, uintptr(1))))
[2dd0689]135 if val == nil {
136 return
[90ecade]137 }
[2dd0689]138
[c5a98f3]139 // Someone was there, release them
[2dd0689]140 val.s.Release(1)
[90ecade]141}
142
[aa1d13c]143// ==================================================
[c5a98f3]144// Struct for result, Go doesn't support passing tuple in channels
[aa1d13c]145type Result struct {
146 count uint64
147 gmigs uint64
148 dmigs uint64
149}
150
151func NewResult() (Result) {
152 return Result{0, 0, 0}
153}
154
155// ==================================================
[c5a98f3]156// Random number generator, Go's native one is to slow and global
[fd84538]157func __xorshift64( state * uint64 ) (uint64) {
158 x := *state
159 x ^= x << 13
160 x ^= x >> 7
161 x ^= x << 17
162 *state = x
163 return x
164}
[2dd0689]165
[c5a98f3]166// ==================================================
167// Do some work by accessing 'cnt' cells in the array
[aa1d13c]168func work(data * MyData, cnt uint64, state * uint64) {
[94d93510]169 for i := uint64(0); i < cnt; i++ {
[aa1d13c]170 data.access(__xorshift64(state))
[94d93510]171 }
172}
173
[c5a98f3]174// Main body of the threads
[aa1d13c]175func local(result chan Result, start chan struct{}, size uint64, cnt uint64, channels [] Spot, share bool, id int) {
[c5a98f3]176 // Initialize some data
177 state := rand.Uint64() // RNG state
178 data := NewData(id, size) // Starting piece of data
179 ctx := NewCtx(data, id) // Goroutine local context
[2dd0689]180
[c5a98f3]181 // Prepare results
[aa1d13c]182 r := NewResult()
[c5a98f3]183
184 // Wait for start
[90ecade]185 <- start
[c5a98f3]186
187 // Main loop
[90ecade]188 for true {
[c5a98f3]189 // Touch our current data, write to invalidate remote cache lines
[aa1d13c]190 work(data, cnt, &state)
[90ecade]191
[c5a98f3]192 // Wait on a random spot
[fd84538]193 i := __xorshift64(&state) % uint64(len(channels))
[34687d3]194 var closed bool
195 data, closed = channels[i].put(&ctx, data, share)
[90ecade]196
[c5a98f3]197 // Check if the experiment is over
198 if closed { break } // yes, spot was closed
199 if clock_mode && atomic.LoadInt32(&stop) == 1 { break } // yes, time's up
200 if !clock_mode && r.count >= stop_count { break } // yes, iterations reached
[aa1d13c]201
[c5a98f3]202 // Check everything is consistent
203 if uint64(len(data.data)) != size { panic("Data has weird size") }
204
205 // write down progress and check migrations
[aa1d13c]206 ttid := syscall.Gettid()
207 r.count += 1
208 r.gmigs += ctx .moved(ttid)
209 r.dmigs += data.moved(ttid)
[90ecade]210 }
211
[c5a98f3]212 // Mark goroutine as done
[90ecade]213 atomic.AddInt64(&threads_left, -1);
[c5a98f3]214
215 // return result
[aa1d13c]216 result <- r
[90ecade]217}
218
[c5a98f3]219// ==================================================
220// Program main
[90ecade]221func main() {
[c5a98f3]222 // Benchmark specific command line arguments
[f4f79dd]223 work_sizeOpt := flag.Uint64("w", 2 , "Size of the array for each threads, in words (64bit)")
224 countOpt := flag.Uint64("c", 2 , "Number of words to touch when working (random pick, cells can be picked more than once)")
[90ecade]225 shareOpt := flag.Bool ("s", false, "Pass the work data to the next thread when blocking")
226
[c5a98f3]227 // General benchmark initialization and deinitialization
[2dd0689]228 defer bench_init()()
[90ecade]229
[c5a98f3]230 // Eval command line arguments
[90ecade]231 size := *work_sizeOpt
232 cnt := *countOpt
233 share := *shareOpt
234
[c5a98f3]235 // Check params
[90ecade]236 if ! (nthreads > nprocs) {
237 fmt.Fprintf(os.Stderr, "Must have more threads than procs\n")
238 os.Exit(1)
239 }
240
[c5a98f3]241 // Make global data
242 barrierStart := make(chan struct{}) // Barrier used at the start
243 threads_left = int64(nprocs) // Counter for active threads (not 'nthreads' because at all times 'nthreads - nprocs' are blocked)
244 result := make(chan Result) // Channel for results
245 channels := make([]Spot, nthreads - nprocs) // Number of spots
[90ecade]246 for i := range channels {
[3f8baf4]247 channels[i] = Spot{[16]uint64{0},uintptr(0), i,[16]uint64{0}} // init spots
[90ecade]248 }
249
[c5a98f3]250 // start the goroutines
[90ecade]251 for i := 0; i < nthreads; i++ {
[34687d3]252 go local(result, barrierStart, size, cnt, channels, share, i)
[90ecade]253 }
254 fmt.Printf("Starting\n");
255
[2dd0689]256 atomic.StoreInt32(&stop, 0)
[90ecade]257 start := time.Now()
[c5a98f3]258 close(barrierStart) // release barrier
[90ecade]259
[c5a98f3]260 wait(start, true); // general benchmark wait
[90ecade]261
[2dd0689]262 atomic.StoreInt32(&stop, 1)
[90ecade]263 end := time.Now()
264 delta := end.Sub(start)
265
266 fmt.Printf("\nDone\n")
267
[c5a98f3]268 // release all the blocked threads
[2dd0689]269 for i := range channels {
270 channels[i].release()
271 }
272
[c5a98f3]273 // Join and accumulate results
[f4f79dd]274 results := NewResult()
[90ecade]275 for i := 0; i < nthreads; i++ {
[024fa4b]276 r := <- result
[f4f79dd]277 results.count += r.count
278 results.gmigs += r.gmigs
279 results.dmigs += r.dmigs
[90ecade]280 }
281
[c5a98f3]282 // Print with nice 's, i.e. 1'000'000 instead of 1000000
[90ecade]283 p := message.NewPrinter(language.English)
[06573b2]284 p.Printf("Duration (s) : %f\n", delta.Seconds());
[90ecade]285 p.Printf("Number of processors : %d\n", nprocs);
286 p.Printf("Number of threads : %d\n", nthreads);
287 p.Printf("Work size (64bit words): %d\n", size);
[f4f79dd]288 p.Printf("Total Operations(ops) : %15d\n", results.count)
289 p.Printf("Total G Migrations : %15d\n", results.gmigs)
290 p.Printf("Total D Migrations : %15d\n", results.dmigs)
291 p.Printf("Ops per second : %18.2f\n", float64(results.count) / delta.Seconds())
292 p.Printf("ns per ops : %18.2f\n", float64(delta.Nanoseconds()) / float64(results.count))
293 p.Printf("Ops per threads : %15d\n", results.count / uint64(nthreads))
294 p.Printf("Ops per procs : %15d\n", results.count / uint64(nprocs))
295 p.Printf("Ops/sec/procs : %18.2f\n", (float64(results.count) / float64(nprocs)) / delta.Seconds())
296 p.Printf("ns per ops/procs : %18.2f\n", float64(delta.Nanoseconds()) / (float64(results.count) / float64(nprocs)))
[90ecade]297}
Note: See TracBrowser for help on using the repository browser.