2
0

protocol_guards_test.go 6.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186
  1. package pgserver
  2. import (
  3. "bufio"
  4. "testing"
  5. )
  6. func guardConnection(t *testing.T) (*Connection, *countingConn) {
  7. t.Helper()
  8. c, _ := newDataConnection(t)
  9. conn := &countingConn{}
  10. c.conn = conn
  11. c.writer = bufio.NewWriter(conn)
  12. if _, err := c.executor.Execute(parseStmt(t, "CREATE TABLE t (id INTEGER PRIMARY KEY)")); err != nil {
  13. t.Fatal(err)
  14. }
  15. return c, conn
  16. }
  17. func guardBind(parameterFormats, resultFormats []int16) []byte {
  18. b := NewMessageBuilder()
  19. b.WriteString("p")
  20. b.WriteString("q")
  21. b.WriteInt16(int16(len(parameterFormats)))
  22. for _, format := range parameterFormats {
  23. b.WriteInt16(format)
  24. }
  25. b.WriteInt16(0)
  26. b.WriteInt16(int16(len(resultFormats)))
  27. for _, format := range resultFormats {
  28. b.WriteInt16(format)
  29. }
  30. return b.Bytes()
  31. }
  32. func TestUnsupportedExtendedRequestsFailBeforeSideEffects(t *testing.T) {
  33. for _, tc := range []struct {
  34. name string
  35. message *Message
  36. code string
  37. }{
  38. {"invalid_result_format", &Message{Type: MsgBind, Data: guardBind(nil, []int16{2})}, ErrCodeProtocolViolation},
  39. {"invalid_parameter_format", &Message{Type: MsgBind, Data: guardBind([]int16{2}, nil)}, ErrCodeProtocolViolation},
  40. {"parameter_format_count", &Message{Type: MsgBind, Data: guardBind([]int16{0, 0}, nil)}, ErrCodeProtocolViolation},
  41. {"bounded_execute", &Message{Type: MsgExecute, Data: []byte{'p', 0, 0, 0, 0, 1}}, ErrCodeFeatureNotSupported},
  42. {"negative_execute", &Message{Type: MsgExecute, Data: []byte{'p', 0, 255, 255, 255, 255}}, ErrCodeProtocolViolation},
  43. } {
  44. t.Run(tc.name, func(t *testing.T) {
  45. c, conn := guardConnection(t)
  46. query := "INSERT INTO t VALUES (1) RETURNING id"
  47. c.statements["q"] = &preparedStatement{query: query}
  48. c.portals["p"] = &portal{query: query}
  49. if err := c.handleMessage(tc.message); err != nil {
  50. t.Fatal(err)
  51. }
  52. // Requests pipelined after the error must be discarded until Sync.
  53. if err := c.handleMessage(&Message{Type: MsgExecute, Data: []byte{'p', 0, 0, 0, 0, 0}}); err != nil {
  54. t.Fatal(err)
  55. }
  56. if err := c.handleMessage(&Message{Type: MsgSync}); err != nil {
  57. t.Fatal(err)
  58. }
  59. messages := readAllMessages(t, conn.bytes())
  60. if len(messages) != 2 || errorCode(messages[0]) != tc.code || messages[1].Type != MsgReadyForQuery {
  61. t.Fatalf("unexpected recovery: %v", messages)
  62. }
  63. if result, err := c.executor.Execute(parseStmt(t, "SELECT COUNT(*) FROM t")); err != nil || result.Rows[0][0] != int64(0) {
  64. t.Fatalf("rejected request had side effects: %v %v", result, err)
  65. }
  66. })
  67. }
  68. }
  69. func TestDescribeDoesNotExecuteOrFailTransaction(t *testing.T) {
  70. c, conn := guardConnection(t)
  71. if err := c.handleMessage(&Message{Type: MsgQuery, Data: []byte("BEGIN\x00")}); err != nil {
  72. t.Fatal(err)
  73. }
  74. c.statements["q"] = &preparedStatement{query: "INSERT INTO t VALUES (1) RETURNING id", paramOIDs: []int32{20}}
  75. c.portals["p"] = &portal{query: "INSERT INTO t VALUES (1) RETURNING id"}
  76. if err := c.handleMessage(&Message{Type: MsgDescribe, Data: []byte{'S', 'q', 0}}); err != nil {
  77. t.Fatal(err)
  78. }
  79. if err := c.handleMessage(&Message{Type: MsgDescribe, Data: []byte{'P', 'p', 0}}); err != nil {
  80. t.Fatal(err)
  81. }
  82. if err := c.handleMessage(&Message{Type: MsgSync}); err != nil {
  83. t.Fatal(err)
  84. }
  85. messages := readAllMessages(t, conn.bytes())
  86. seenParam, seenNoData := false, 0
  87. for _, message := range messages {
  88. switch message.Type {
  89. case MsgParameterDescription:
  90. seenParam = true
  91. case MsgNoData:
  92. seenNoData++
  93. case MsgErrorResponse:
  94. t.Fatalf("Describe failed: %s", errorCode(message))
  95. }
  96. }
  97. if !seenParam || seenNoData != 2 {
  98. t.Fatalf("Describe messages = %v", messages)
  99. }
  100. if c.txStatus != TxStatusInBlock || c.extendedFailed {
  101. t.Fatalf("Describe changed transaction state: %c failed=%v", c.txStatus, c.extendedFailed)
  102. }
  103. if result, err := c.executor.Execute(parseStmt(t, "SELECT COUNT(*) FROM t")); err != nil || result.Rows[0][0] != int64(0) {
  104. t.Fatalf("Describe executed a side effect: %v %v", result, err)
  105. }
  106. if err := c.handleMessage(&Message{Type: MsgQuery, Data: []byte("ROLLBACK\x00")}); err != nil {
  107. t.Fatal(err)
  108. }
  109. }
  110. func TestParseRejectsMultipleCommands(t *testing.T) {
  111. c, conn := guardConnection(t)
  112. parse := NewMessageBuilder()
  113. parse.WriteString("q")
  114. parse.WriteString("SELECT 1; INSERT INTO t VALUES (1)")
  115. parse.WriteInt16(0)
  116. if err := c.handleMessage(&Message{Type: MsgParse, Data: parse.Bytes()}); err != nil {
  117. t.Fatal(err)
  118. }
  119. if _, ok := c.statements["q"]; ok {
  120. t.Fatal("multiple commands stored")
  121. }
  122. messages := readAllMessages(t, conn.bytes())
  123. if len(messages) != 1 || errorCode(messages[0]) != ErrCodeSyntaxError {
  124. t.Fatal(messages)
  125. }
  126. }
  127. func TestTypicalExtendedSequenceWithDescribeSucceeds(t *testing.T) {
  128. c, conn := guardConnection(t)
  129. if _, err := c.executor.Execute(parseStmt(t, "INSERT INTO t VALUES (7)")); err != nil {
  130. t.Fatal(err)
  131. }
  132. parse := NewMessageBuilder()
  133. parse.WriteString("")
  134. parse.WriteString("SELECT id FROM t WHERE id = $1")
  135. parse.WriteInt16(1)
  136. parse.WriteInt32(20)
  137. bind := NewMessageBuilder()
  138. bind.WriteString("")
  139. bind.WriteString("")
  140. bind.WriteInt16(0)
  141. bind.WriteInt16(1)
  142. bind.WriteInt32(1)
  143. bind.WriteBytes([]byte("7"))
  144. bind.WriteInt16(0)
  145. execute := NewMessageBuilder()
  146. execute.WriteString("")
  147. execute.WriteInt32(0)
  148. for _, msg := range []*Message{
  149. {Type: MsgParse, Data: parse.Bytes()},
  150. {Type: MsgBind, Data: bind.Bytes()},
  151. {Type: MsgDescribe, Data: []byte{'P', 0}},
  152. {Type: MsgExecute, Data: execute.Bytes()},
  153. {Type: MsgSync},
  154. } {
  155. if err := c.handleMessage(msg); err != nil {
  156. t.Fatal(err)
  157. }
  158. }
  159. messages := readAllMessages(t, conn.bytes())
  160. var types []byte
  161. var row []string
  162. for _, message := range messages {
  163. types = append(types, message.Type)
  164. if message.Type == MsgErrorResponse {
  165. t.Fatalf("extended SELECT failed: %s", errorCode(message))
  166. }
  167. if message.Type == MsgDataRow {
  168. row = dataRowValues(t, message)
  169. }
  170. }
  171. // Portal Describe sends NoData only; ParameterDescription belongs to
  172. // Describe('S') and PostgreSQL does not send it for a portal.
  173. if string(types) != "12nTDCZ" {
  174. t.Fatalf("message sequence = %q", types)
  175. }
  176. if len(row) != 1 || row[0] != "7" {
  177. t.Fatalf("row = %v", row)
  178. }
  179. }