github.com/bgentry/go@v0.0.0-20150121062915-6cf5a733d54d/src/runtime/map_test.go (about) 1 // Copyright 2013 The Go Authors. All rights reserved. 2 // Use of this source code is governed by a BSD-style 3 // license that can be found in the LICENSE file. 4 5 package runtime_test 6 7 import ( 8 "fmt" 9 "math" 10 "reflect" 11 "runtime" 12 "sort" 13 "strings" 14 "sync" 15 "testing" 16 ) 17 18 // negative zero is a good test because: 19 // 1) 0 and -0 are equal, yet have distinct representations. 20 // 2) 0 is represented as all zeros, -0 isn't. 21 // I'm not sure the language spec actually requires this behavior, 22 // but it's what the current map implementation does. 23 func TestNegativeZero(t *testing.T) { 24 m := make(map[float64]bool, 0) 25 26 m[+0.0] = true 27 m[math.Copysign(0.0, -1.0)] = true // should overwrite +0 entry 28 29 if len(m) != 1 { 30 t.Error("length wrong") 31 } 32 33 for k := range m { 34 if math.Copysign(1.0, k) > 0 { 35 t.Error("wrong sign") 36 } 37 } 38 39 m = make(map[float64]bool, 0) 40 m[math.Copysign(0.0, -1.0)] = true 41 m[+0.0] = true // should overwrite -0.0 entry 42 43 if len(m) != 1 { 44 t.Error("length wrong") 45 } 46 47 for k := range m { 48 if math.Copysign(1.0, k) < 0 { 49 t.Error("wrong sign") 50 } 51 } 52 } 53 54 // nan is a good test because nan != nan, and nan has 55 // a randomized hash value. 56 func TestNan(t *testing.T) { 57 m := make(map[float64]int, 0) 58 nan := math.NaN() 59 m[nan] = 1 60 m[nan] = 2 61 m[nan] = 4 62 if len(m) != 3 { 63 t.Error("length wrong") 64 } 65 s := 0 66 for k, v := range m { 67 if k == k { 68 t.Error("nan disappeared") 69 } 70 if (v & (v - 1)) != 0 { 71 t.Error("value wrong") 72 } 73 s |= v 74 } 75 if s != 7 { 76 t.Error("values wrong") 77 } 78 } 79 80 // Maps aren't actually copied on assignment. 81 func TestAlias(t *testing.T) { 82 m := make(map[int]int, 0) 83 m[0] = 5 84 n := m 85 n[0] = 6 86 if m[0] != 6 { 87 t.Error("alias didn't work") 88 } 89 } 90 91 func TestGrowWithNaN(t *testing.T) { 92 m := make(map[float64]int, 4) 93 nan := math.NaN() 94 m[nan] = 1 95 m[nan] = 2 96 m[nan] = 4 97 cnt := 0 98 s := 0 99 growflag := true 100 for k, v := range m { 101 if growflag { 102 // force a hashtable resize 103 for i := 0; i < 100; i++ { 104 m[float64(i)] = i 105 } 106 growflag = false 107 } 108 if k != k { 109 cnt++ 110 s |= v 111 } 112 } 113 if cnt != 3 { 114 t.Error("NaN keys lost during grow") 115 } 116 if s != 7 { 117 t.Error("NaN values lost during grow") 118 } 119 } 120 121 type FloatInt struct { 122 x float64 123 y int 124 } 125 126 func TestGrowWithNegativeZero(t *testing.T) { 127 negzero := math.Copysign(0.0, -1.0) 128 m := make(map[FloatInt]int, 4) 129 m[FloatInt{0.0, 0}] = 1 130 m[FloatInt{0.0, 1}] = 2 131 m[FloatInt{0.0, 2}] = 4 132 m[FloatInt{0.0, 3}] = 8 133 growflag := true 134 s := 0 135 cnt := 0 136 negcnt := 0 137 // The first iteration should return the +0 key. 138 // The subsequent iterations should return the -0 key. 139 // I'm not really sure this is required by the spec, 140 // but it makes sense. 141 // TODO: are we allowed to get the first entry returned again??? 142 for k, v := range m { 143 if v == 0 { 144 continue 145 } // ignore entries added to grow table 146 cnt++ 147 if math.Copysign(1.0, k.x) < 0 { 148 if v&16 == 0 { 149 t.Error("key/value not updated together 1") 150 } 151 negcnt++ 152 s |= v & 15 153 } else { 154 if v&16 == 16 { 155 t.Error("key/value not updated together 2", k, v) 156 } 157 s |= v 158 } 159 if growflag { 160 // force a hashtable resize 161 for i := 0; i < 100; i++ { 162 m[FloatInt{3.0, i}] = 0 163 } 164 // then change all the entries 165 // to negative zero 166 m[FloatInt{negzero, 0}] = 1 | 16 167 m[FloatInt{negzero, 1}] = 2 | 16 168 m[FloatInt{negzero, 2}] = 4 | 16 169 m[FloatInt{negzero, 3}] = 8 | 16 170 growflag = false 171 } 172 } 173 if s != 15 { 174 t.Error("entry missing", s) 175 } 176 if cnt != 4 { 177 t.Error("wrong number of entries returned by iterator", cnt) 178 } 179 if negcnt != 3 { 180 t.Error("update to negzero missed by iteration", negcnt) 181 } 182 } 183 184 func TestIterGrowAndDelete(t *testing.T) { 185 m := make(map[int]int, 4) 186 for i := 0; i < 100; i++ { 187 m[i] = i 188 } 189 growflag := true 190 for k := range m { 191 if growflag { 192 // grow the table 193 for i := 100; i < 1000; i++ { 194 m[i] = i 195 } 196 // delete all odd keys 197 for i := 1; i < 1000; i += 2 { 198 delete(m, i) 199 } 200 growflag = false 201 } else { 202 if k&1 == 1 { 203 t.Error("odd value returned") 204 } 205 } 206 } 207 } 208 209 // make sure old bucket arrays don't get GCd while 210 // an iterator is still using them. 211 func TestIterGrowWithGC(t *testing.T) { 212 m := make(map[int]int, 4) 213 for i := 0; i < 16; i++ { 214 m[i] = i 215 } 216 growflag := true 217 bitmask := 0 218 for k := range m { 219 if k < 16 { 220 bitmask |= 1 << uint(k) 221 } 222 if growflag { 223 // grow the table 224 for i := 100; i < 1000; i++ { 225 m[i] = i 226 } 227 // trigger a gc 228 runtime.GC() 229 growflag = false 230 } 231 } 232 if bitmask != 1<<16-1 { 233 t.Error("missing key", bitmask) 234 } 235 } 236 237 func testConcurrentReadsAfterGrowth(t *testing.T, useReflect bool) { 238 if runtime.GOMAXPROCS(-1) == 1 { 239 defer runtime.GOMAXPROCS(runtime.GOMAXPROCS(16)) 240 } 241 numLoop := 10 242 numGrowStep := 250 243 numReader := 16 244 if testing.Short() { 245 numLoop, numGrowStep = 2, 500 246 } 247 for i := 0; i < numLoop; i++ { 248 m := make(map[int]int, 0) 249 for gs := 0; gs < numGrowStep; gs++ { 250 m[gs] = gs 251 var wg sync.WaitGroup 252 wg.Add(numReader * 2) 253 for nr := 0; nr < numReader; nr++ { 254 go func() { 255 defer wg.Done() 256 for range m { 257 } 258 }() 259 go func() { 260 defer wg.Done() 261 for key := 0; key < gs; key++ { 262 _ = m[key] 263 } 264 }() 265 if useReflect { 266 wg.Add(1) 267 go func() { 268 defer wg.Done() 269 mv := reflect.ValueOf(m) 270 keys := mv.MapKeys() 271 for _, k := range keys { 272 mv.MapIndex(k) 273 } 274 }() 275 } 276 } 277 wg.Wait() 278 } 279 } 280 } 281 282 func TestConcurrentReadsAfterGrowth(t *testing.T) { 283 testConcurrentReadsAfterGrowth(t, false) 284 } 285 286 func TestConcurrentReadsAfterGrowthReflect(t *testing.T) { 287 testConcurrentReadsAfterGrowth(t, true) 288 } 289 290 func TestBigItems(t *testing.T) { 291 var key [256]string 292 for i := 0; i < 256; i++ { 293 key[i] = "foo" 294 } 295 m := make(map[[256]string][256]string, 4) 296 for i := 0; i < 100; i++ { 297 key[37] = fmt.Sprintf("string%02d", i) 298 m[key] = key 299 } 300 var keys [100]string 301 var values [100]string 302 i := 0 303 for k, v := range m { 304 keys[i] = k[37] 305 values[i] = v[37] 306 i++ 307 } 308 sort.Strings(keys[:]) 309 sort.Strings(values[:]) 310 for i := 0; i < 100; i++ { 311 if keys[i] != fmt.Sprintf("string%02d", i) { 312 t.Errorf("#%d: missing key: %v", i, keys[i]) 313 } 314 if values[i] != fmt.Sprintf("string%02d", i) { 315 t.Errorf("#%d: missing value: %v", i, values[i]) 316 } 317 } 318 } 319 320 type empty struct { 321 } 322 323 func TestEmptyKeyAndValue(t *testing.T) { 324 a := make(map[int]empty, 4) 325 b := make(map[empty]int, 4) 326 c := make(map[empty]empty, 4) 327 a[0] = empty{} 328 b[empty{}] = 0 329 b[empty{}] = 1 330 c[empty{}] = empty{} 331 332 if len(a) != 1 { 333 t.Errorf("empty value insert problem") 334 } 335 if b[empty{}] != 1 { 336 t.Errorf("empty key returned wrong value") 337 } 338 } 339 340 // Tests a map with a single bucket, with same-lengthed short keys 341 // ("quick keys") as well as long keys. 342 func TestSingleBucketMapStringKeys_DupLen(t *testing.T) { 343 testMapLookups(t, map[string]string{ 344 "x": "x1val", 345 "xx": "x2val", 346 "foo": "fooval", 347 "bar": "barval", // same key length as "foo" 348 "xxxx": "x4val", 349 strings.Repeat("x", 128): "longval1", 350 strings.Repeat("y", 128): "longval2", 351 }) 352 } 353 354 // Tests a map with a single bucket, with all keys having different lengths. 355 func TestSingleBucketMapStringKeys_NoDupLen(t *testing.T) { 356 testMapLookups(t, map[string]string{ 357 "x": "x1val", 358 "xx": "x2val", 359 "foo": "fooval", 360 "xxxx": "x4val", 361 "xxxxx": "x5val", 362 "xxxxxx": "x6val", 363 strings.Repeat("x", 128): "longval", 364 }) 365 } 366 367 func testMapLookups(t *testing.T, m map[string]string) { 368 for k, v := range m { 369 if m[k] != v { 370 t.Fatalf("m[%q] = %q; want %q", k, m[k], v) 371 } 372 } 373 } 374 375 // Tests whether the iterator returns the right elements when 376 // started in the middle of a grow, when the keys are NaNs. 377 func TestMapNanGrowIterator(t *testing.T) { 378 m := make(map[float64]int) 379 nan := math.NaN() 380 const nBuckets = 16 381 // To fill nBuckets buckets takes LOAD * nBuckets keys. 382 nKeys := int(nBuckets * *runtime.HashLoad) 383 384 // Get map to full point with nan keys. 385 for i := 0; i < nKeys; i++ { 386 m[nan] = i 387 } 388 // Trigger grow 389 m[1.0] = 1 390 delete(m, 1.0) 391 392 // Run iterator 393 found := make(map[int]struct{}) 394 for _, v := range m { 395 if v != -1 { 396 if _, repeat := found[v]; repeat { 397 t.Fatalf("repeat of value %d", v) 398 } 399 found[v] = struct{}{} 400 } 401 if len(found) == nKeys/2 { 402 // Halfway through iteration, finish grow. 403 for i := 0; i < nBuckets; i++ { 404 delete(m, 1.0) 405 } 406 } 407 } 408 if len(found) != nKeys { 409 t.Fatalf("missing value") 410 } 411 } 412 413 func TestMapIterOrder(t *testing.T) { 414 for _, n := range [...]int{3, 7, 9, 15} { 415 for i := 0; i < 1000; i++ { 416 // Make m be {0: true, 1: true, ..., n-1: true}. 417 m := make(map[int]bool) 418 for i := 0; i < n; i++ { 419 m[i] = true 420 } 421 // Check that iterating over the map produces at least two different orderings. 422 ord := func() []int { 423 var s []int 424 for key := range m { 425 s = append(s, key) 426 } 427 return s 428 } 429 first := ord() 430 ok := false 431 for try := 0; try < 100; try++ { 432 if !reflect.DeepEqual(first, ord()) { 433 ok = true 434 break 435 } 436 } 437 if !ok { 438 t.Errorf("Map with n=%d elements had consistent iteration order: %v", n, first) 439 break 440 } 441 } 442 } 443 } 444 445 // Issue 8410 446 func TestMapSparseIterOrder(t *testing.T) { 447 // Run several rounds to increase the probability 448 // of failure. One is not enough. 449 NextRound: 450 for round := 0; round < 10; round++ { 451 m := make(map[int]bool) 452 // Add 1000 items, remove 980. 453 for i := 0; i < 1000; i++ { 454 m[i] = true 455 } 456 for i := 20; i < 1000; i++ { 457 delete(m, i) 458 } 459 460 var first []int 461 for i := range m { 462 first = append(first, i) 463 } 464 465 // 800 chances to get a different iteration order. 466 // See bug 8736 for why we need so many tries. 467 for n := 0; n < 800; n++ { 468 idx := 0 469 for i := range m { 470 if i != first[idx] { 471 // iteration order changed. 472 continue NextRound 473 } 474 idx++ 475 } 476 } 477 t.Fatalf("constant iteration order on round %d: %v", round, first) 478 } 479 } 480 481 func TestMapStringBytesLookup(t *testing.T) { 482 // Use large string keys to avoid small-allocation coalescing, 483 // which can cause AllocsPerRun to report lower counts than it should. 484 m := map[string]int{ 485 "1000000000000000000000000000000000000000000000000": 1, 486 "2000000000000000000000000000000000000000000000000": 2, 487 } 488 buf := []byte("1000000000000000000000000000000000000000000000000") 489 if x := m[string(buf)]; x != 1 { 490 t.Errorf(`m[string([]byte("1"))] = %d, want 1`, x) 491 } 492 buf[0] = '2' 493 if x := m[string(buf)]; x != 2 { 494 t.Errorf(`m[string([]byte("2"))] = %d, want 2`, x) 495 } 496 497 var x int 498 n := testing.AllocsPerRun(100, func() { 499 x += m[string(buf)] 500 }) 501 if n != 0 { 502 t.Errorf("AllocsPerRun for m[string(buf)] = %v, want 0", n) 503 } 504 505 x = 0 506 n = testing.AllocsPerRun(100, func() { 507 y, ok := m[string(buf)] 508 if !ok { 509 panic("!ok") 510 } 511 x += y 512 }) 513 if n != 0 { 514 t.Errorf("AllocsPerRun for x,ok = m[string(buf)] = %v, want 0", n) 515 } 516 } 517 518 func benchmarkMapPop(b *testing.B, n int) { 519 m := map[int]int{} 520 for i := 0; i < b.N; i++ { 521 for j := 0; j < n; j++ { 522 m[j] = j 523 } 524 for j := 0; j < n; j++ { 525 // Use iterator to pop an element. 526 // We want this to be fast, see issue 8412. 527 for k := range m { 528 delete(m, k) 529 break 530 } 531 } 532 } 533 } 534 535 func BenchmarkMapPop100(b *testing.B) { benchmarkMapPop(b, 100) } 536 func BenchmarkMapPop1000(b *testing.B) { benchmarkMapPop(b, 1000) } 537 func BenchmarkMapPop10000(b *testing.B) { benchmarkMapPop(b, 10000) }