Russ Cox | 57eb06f | 2012-02-16 23:51:04 -0500 | [diff] [blame] | 1 | // run |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 2 | |
| 3 | // Copyright 2009 The Go Authors. All rights reserved. |
| 4 | // Use of this source code is governed by a BSD-style |
| 5 | // license that can be found in the LICENSE file. |
| 6 | |
Rob Pike | 80a9783 | 2012-02-24 11:48:19 +1100 | [diff] [blame] | 7 | // Test stack splitting code. |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 8 | // Try to tickle stack splitting bugs by doing |
Russ Cox | 0f4f2a6 | 2009-02-06 13:46:56 -0800 | [diff] [blame] | 9 | // go, defer, and closure calls at different stack depths. |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 10 | |
| 11 | package main |
| 12 | |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 13 | type T [20]int |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 14 | |
| 15 | func g(c chan int, t T) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 16 | s := 0 |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 17 | for i := 0; i < len(t); i++ { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 18 | s += t[i] |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 19 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 20 | c <- s |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 21 | } |
| 22 | |
| 23 | func d(t T) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 24 | s := 0 |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 25 | for i := 0; i < len(t); i++ { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 26 | s += t[i] |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 27 | } |
| 28 | if s != len(t) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 29 | println("bad defer", s) |
| 30 | panic("fail") |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 31 | } |
| 32 | } |
| 33 | |
Russ Cox | 1fa4173 | 2011-02-01 18:34:41 -0500 | [diff] [blame] | 34 | func f0() { |
| 35 | // likely to make a new stack for f0, |
| 36 | // because the call to f1 puts 3000 bytes |
| 37 | // in our frame. |
| 38 | f1() |
| 39 | } |
| 40 | |
| 41 | func f1() [3000]byte { |
| 42 | // likely to make a new stack for f1, |
| 43 | // because 3000 bytes were used by f0 |
| 44 | // and we need 3000 more for the call |
| 45 | // to f2. if the call to morestack in f1 |
| 46 | // does not pass the frame size, the new |
| 47 | // stack (default size 5k) will not be big |
| 48 | // enough for the frame, and the morestack |
| 49 | // check in f2 will die, if we get that far |
| 50 | // without faulting. |
| 51 | f2() |
| 52 | return [3000]byte{} |
| 53 | } |
| 54 | |
| 55 | func f2() [3000]byte { |
| 56 | // just take up space |
| 57 | return [3000]byte{} |
| 58 | } |
| 59 | |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 60 | var c = make(chan int) |
| 61 | var t T |
| 62 | var b = []byte{1, 2, 3, 4, 5, 6, 7, 8, 9, 10} |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 63 | |
| 64 | func recur(n int) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 65 | ss := string(b) |
Russ Cox | 78edbfd | 2009-04-10 06:22:41 -0700 | [diff] [blame] | 66 | if len(ss) != len(b) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 67 | panic("bad []byte -> string") |
Russ Cox | 78edbfd | 2009-04-10 06:22:41 -0700 | [diff] [blame] | 68 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 69 | go g(c, t) |
Russ Cox | 1fa4173 | 2011-02-01 18:34:41 -0500 | [diff] [blame] | 70 | f0() |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 71 | s := <-c |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 72 | if s != len(t) { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 73 | println("bad go", s) |
| 74 | panic("fail") |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 75 | } |
Russ Cox | 0f4f2a6 | 2009-02-06 13:46:56 -0800 | [diff] [blame] | 76 | f := func(t T) int { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 77 | s := 0 |
Russ Cox | 0f4f2a6 | 2009-02-06 13:46:56 -0800 | [diff] [blame] | 78 | for i := 0; i < len(t); i++ { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 79 | s += t[i] |
Russ Cox | 0f4f2a6 | 2009-02-06 13:46:56 -0800 | [diff] [blame] | 80 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 81 | s += n |
| 82 | return s |
| 83 | } |
| 84 | s = f(t) |
| 85 | if s != len(t)+n { |
| 86 | println("bad func", s, "at level", n) |
| 87 | panic("fail") |
Russ Cox | 0f4f2a6 | 2009-02-06 13:46:56 -0800 | [diff] [blame] | 88 | } |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 89 | if n > 0 { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 90 | recur(n - 1) |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 91 | } |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 92 | defer d(t) |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 93 | } |
| 94 | |
| 95 | func main() { |
| 96 | for i := 0; i < len(t); i++ { |
Rob Pike | 325cf8e | 2010-03-24 16:46:53 -0700 | [diff] [blame] | 97 | t[i] = 1 |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 98 | } |
Russ Cox | c6138ef | 2010-04-22 17:52:22 -0700 | [diff] [blame] | 99 | recur(8000) |
Russ Cox | 6ee6d6e | 2009-01-28 16:58:48 -0800 | [diff] [blame] | 100 | } |