2
0

protocol_guards_test.go 6.1 KB

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