quic.go

     1  // Copyright 2023 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 tls
     6  
     7  import (
     8  	"context"
     9  	"errors"
    10  	"fmt"
    11  )
    12  
    13  // QUICEncryptionLevel represents a QUIC encryption level used to transmit
    14  // handshake messages.
    15  type QUICEncryptionLevel int
    16  
    17  const (
    18  	QUICEncryptionLevelInitial = QUICEncryptionLevel(iota)
    19  	QUICEncryptionLevelEarly
    20  	QUICEncryptionLevelHandshake
    21  	QUICEncryptionLevelApplication
    22  )
    23  
    24  func (l QUICEncryptionLevel) String() string {
    25  	switch l {
    26  	case QUICEncryptionLevelInitial:
    27  		return "Initial"
    28  	case QUICEncryptionLevelEarly:
    29  		return "Early"
    30  	case QUICEncryptionLevelHandshake:
    31  		return "Handshake"
    32  	case QUICEncryptionLevelApplication:
    33  		return "Application"
    34  	default:
    35  		return fmt.Sprintf("QUICEncryptionLevel(%v)", int(l))
    36  	}
    37  }
    38  
    39  // A QUICConn represents a connection which uses a QUIC implementation as the underlying
    40  // transport as described in RFC 9001.
    41  //
    42  // Methods of QUICConn are not safe for concurrent use.
    43  type QUICConn struct {
    44  	conn *Conn
    45  
    46  	sessionTicketSent bool
    47  }
    48  
    49  // A QUICConfig configures a [QUICConn].
    50  type QUICConfig struct {
    51  	TLSConfig *Config
    52  
    53  	// EnableSessionEvents may be set to true to enable the
    54  	// [QUICStoreSession] and [QUICResumeSession] events for client connections.
    55  	// When this event is enabled, sessions are not automatically
    56  	// stored in the client session cache.
    57  	// The application should use [QUICConn.StoreSession] to store sessions.
    58  	EnableSessionEvents bool
    59  }
    60  
    61  // A QUICEventKind is a type of operation on a QUIC connection.
    62  type QUICEventKind int
    63  
    64  const (
    65  	// QUICNoEvent indicates that there are no events available.
    66  	QUICNoEvent QUICEventKind = iota
    67  
    68  	// QUICSetReadSecret and QUICSetWriteSecret provide the read and write
    69  	// secrets for a given encryption level.
    70  	// QUICEvent.Level, QUICEvent.Data, and QUICEvent.Suite are set.
    71  	//
    72  	// Secrets for the Initial encryption level are derived from the initial
    73  	// destination connection ID, and are not provided by the QUICConn.
    74  	QUICSetReadSecret
    75  	QUICSetWriteSecret
    76  
    77  	// QUICWriteData provides data to send to the peer in CRYPTO frames.
    78  	// QUICEvent.Data is set.
    79  	QUICWriteData
    80  
    81  	// QUICTransportParameters provides the peer's QUIC transport parameters.
    82  	// QUICEvent.Data is set.
    83  	QUICTransportParameters
    84  
    85  	// QUICTransportParametersRequired indicates that the caller must provide
    86  	// QUIC transport parameters to send to the peer. The caller should set
    87  	// the transport parameters with QUICConn.SetTransportParameters and call
    88  	// QUICConn.NextEvent again.
    89  	//
    90  	// If transport parameters are set before calling QUICConn.Start, the
    91  	// connection will never generate a QUICTransportParametersRequired event.
    92  	QUICTransportParametersRequired
    93  
    94  	// QUICRejectedEarlyData indicates that the server rejected 0-RTT data even
    95  	// if we offered it. It's returned before QUICEncryptionLevelApplication
    96  	// keys are returned.
    97  	// This event only occurs on client connections.
    98  	QUICRejectedEarlyData
    99  
   100  	// QUICHandshakeDone indicates that the TLS handshake has completed.
   101  	QUICHandshakeDone
   102  
   103  	// QUICResumeSession indicates that a client is attempting to resume a previous session.
   104  	// [QUICEvent.SessionState] is set.
   105  	//
   106  	// For client connections, this event occurs when the session ticket is selected.
   107  	// For server connections, this event occurs when receiving the client's session ticket.
   108  	//
   109  	// The application may set [QUICEvent.SessionState.EarlyData] to false before the
   110  	// next call to [QUICConn.NextEvent] to decline 0-RTT even if the session supports it.
   111  	QUICResumeSession
   112  
   113  	// QUICStoreSession indicates that the server has provided state permitting
   114  	// the client to resume the session.
   115  	// [QUICEvent.SessionState] is set.
   116  	// The application should use [QUICConn.StoreSession] session to store the [SessionState].
   117  	// The application may modify the [SessionState] before storing it.
   118  	// This event only occurs on client connections.
   119  	QUICStoreSession
   120  
   121  	// QUICErrorEvent indicates that a fatal error has occurred.
   122  	// The handshake cannot proceed and the connection must be closed.
   123  	// QUICEvent.Err is set.
   124  	QUICErrorEvent
   125  )
   126  
   127  // A QUICEvent is an event occurring on a QUIC connection.
   128  //
   129  // The type of event is specified by the Kind field.
   130  // The contents of the other fields are kind-specific.
   131  type QUICEvent struct {
   132  	Kind QUICEventKind
   133  
   134  	// Set for QUICSetReadSecret, QUICSetWriteSecret, and QUICWriteData.
   135  	Level QUICEncryptionLevel
   136  
   137  	// Set for QUICTransportParameters, QUICSetReadSecret, QUICSetWriteSecret, and QUICWriteData.
   138  	// The contents are owned by crypto/tls, and are valid until the next NextEvent call.
   139  	Data []byte
   140  
   141  	// Set for QUICSetReadSecret and QUICSetWriteSecret.
   142  	Suite uint16
   143  
   144  	// Set for QUICResumeSession and QUICStoreSession.
   145  	SessionState *SessionState
   146  
   147  	// Set for QUICErrorEvent.
   148  	// The error will wrap AlertError.
   149  	Err error
   150  }
   151  
   152  type quicState struct {
   153  	events    []QUICEvent
   154  	nextEvent int
   155  
   156  	// eventArr is a statically allocated event array, large enough to handle
   157  	// the usual maximum number of events resulting from a single call: transport
   158  	// parameters, Initial data, Early read secret, Handshake write and read
   159  	// secrets, Handshake data, Application write secret, Application data.
   160  	eventArr [8]QUICEvent
   161  
   162  	started  bool
   163  	signalc  chan struct{}   // handshake data is available to be read
   164  	blockedc chan struct{}   // handshake is waiting for data, closed when done
   165  	cancelc  <-chan struct{} // handshake has been canceled
   166  	cancel   context.CancelFunc
   167  
   168  	waitingForDrain bool
   169  	errorReturned   bool
   170  
   171  	// readbuf is shared between HandleData and the handshake goroutine.
   172  	// HandshakeCryptoData passes ownership to the handshake goroutine by
   173  	// reading from signalc, and reclaims ownership by reading from blockedc.
   174  	readbuf []byte
   175  
   176  	transportParams []byte // to send to the peer
   177  
   178  	enableSessionEvents bool
   179  }
   180  
   181  // QUICClient returns a new TLS client side connection using QUICTransport as the
   182  // underlying transport. The config cannot be nil.
   183  //
   184  // The config's MinVersion must be at least TLS 1.3.
   185  func QUICClient(config *QUICConfig) *QUICConn {
   186  	return newQUICConn(Client(nil, config.TLSConfig), config)
   187  }
   188  
   189  // QUICServer returns a new TLS server side connection using QUICTransport as the
   190  // underlying transport. The config cannot be nil.
   191  //
   192  // The config's MinVersion must be at least TLS 1.3.
   193  func QUICServer(config *QUICConfig) *QUICConn {
   194  	return newQUICConn(Server(nil, config.TLSConfig), config)
   195  }
   196  
   197  func newQUICConn(conn *Conn, config *QUICConfig) *QUICConn {
   198  	conn.quic = &quicState{
   199  		signalc:             make(chan struct{}),
   200  		blockedc:            make(chan struct{}),
   201  		enableSessionEvents: config.EnableSessionEvents,
   202  	}
   203  	conn.quic.events = conn.quic.eventArr[:0]
   204  	return &QUICConn{
   205  		conn: conn,
   206  	}
   207  }
   208  
   209  // Start starts the client or server handshake protocol.
   210  // It may produce connection events, which may be read with [QUICConn.NextEvent].
   211  //
   212  // Start must be called at most once.
   213  func (q *QUICConn) Start(ctx context.Context) error {
   214  	if q.conn.quic.started {
   215  		return quicError(errors.New("tls: Start called more than once"))
   216  	}
   217  	q.conn.quic.started = true
   218  	if q.conn.config.MinVersion < VersionTLS13 {
   219  		return quicError(errors.New("tls: Config MinVersion must be at least TLS 1.3"))
   220  	}
   221  	go q.conn.HandshakeContext(ctx)
   222  	if _, ok := <-q.conn.quic.blockedc; !ok {
   223  		return q.conn.handshakeErr
   224  	}
   225  	return nil
   226  }
   227  
   228  // NextEvent returns the next event occurring on the connection.
   229  // It returns an event with a Kind of [QUICNoEvent] when no events are available.
   230  func (q *QUICConn) NextEvent() QUICEvent {
   231  	qs := q.conn.quic
   232  	if last := qs.nextEvent - 1; last >= 0 && len(qs.events[last].Data) > 0 {
   233  		// Write over some of the previous event's data,
   234  		// to catch callers erroneously retaining it.
   235  		qs.events[last].Data[0] = 0
   236  	}
   237  	if qs.nextEvent >= len(qs.events) && qs.waitingForDrain {
   238  		qs.waitingForDrain = false
   239  		<-qs.signalc
   240  		<-qs.blockedc
   241  	}
   242  	if err := q.conn.handshakeErr; err != nil {
   243  		if qs.errorReturned {
   244  			return QUICEvent{Kind: QUICNoEvent}
   245  		}
   246  		qs.errorReturned = true
   247  		qs.events = nil
   248  		qs.nextEvent = 0
   249  		return QUICEvent{Kind: QUICErrorEvent, Err: q.conn.handshakeErr}
   250  	}
   251  	if qs.nextEvent >= len(qs.events) {
   252  		qs.events = qs.events[:0]
   253  		qs.nextEvent = 0
   254  		return QUICEvent{Kind: QUICNoEvent}
   255  	}
   256  	e := qs.events[qs.nextEvent]
   257  	qs.events[qs.nextEvent] = QUICEvent{} // zero out references to data
   258  	qs.nextEvent++
   259  	return e
   260  }
   261  
   262  // Close closes the connection and stops any in-progress handshake.
   263  func (q *QUICConn) Close() error {
   264  	if q.conn.quic.cancel == nil {
   265  		return nil // never started
   266  	}
   267  	q.conn.quic.cancel()
   268  	for range q.conn.quic.blockedc {
   269  		// Wait for the handshake goroutine to return.
   270  	}
   271  	return q.conn.handshakeErr
   272  }
   273  
   274  // HandleData handles handshake bytes received from the peer.
   275  // It may produce connection events, which may be read with [QUICConn.NextEvent].
   276  func (q *QUICConn) HandleData(level QUICEncryptionLevel, data []byte) error {
   277  	c := q.conn
   278  	if c.in.level != level {
   279  		return quicError(c.in.setErrorLocked(errors.New("tls: handshake data received at wrong level")))
   280  	}
   281  	c.quic.readbuf = data
   282  	<-c.quic.signalc
   283  	_, ok := <-c.quic.blockedc
   284  	if ok {
   285  		// The handshake goroutine is waiting for more data.
   286  		return nil
   287  	}
   288  	// The handshake goroutine has exited.
   289  	c.handshakeMutex.Lock()
   290  	defer c.handshakeMutex.Unlock()
   291  	c.hand.Write(c.quic.readbuf)
   292  	c.quic.readbuf = nil
   293  	for q.conn.hand.Len() >= 4 && q.conn.handshakeErr == nil {
   294  		b := q.conn.hand.Bytes()
   295  		n := int(b[1])<<16 | int(b[2])<<8 | int(b[3])
   296  		if n > maxHandshake {
   297  			q.conn.handshakeErr = fmt.Errorf("tls: handshake message of length %d bytes exceeds maximum of %d bytes", n, maxHandshake)
   298  			break
   299  		}
   300  		if len(b) < 4+n {
   301  			return nil
   302  		}
   303  		if err := q.conn.handlePostHandshakeMessage(); err != nil {
   304  			q.conn.handshakeErr = err
   305  		}
   306  	}
   307  	if q.conn.handshakeErr != nil {
   308  		return quicError(q.conn.handshakeErr)
   309  	}
   310  	return nil
   311  }
   312  
   313  type QUICSessionTicketOptions struct {
   314  	// EarlyData specifies whether the ticket may be used for 0-RTT.
   315  	EarlyData bool
   316  	Extra     [][]byte
   317  }
   318  
   319  // SendSessionTicket sends a session ticket to the client.
   320  // It produces connection events, which may be read with [QUICConn.NextEvent].
   321  // Currently, it can only be called once.
   322  func (q *QUICConn) SendSessionTicket(opts QUICSessionTicketOptions) error {
   323  	c := q.conn
   324  	if c.config.SessionTicketsDisabled {
   325  		return nil
   326  	}
   327  	if !c.isHandshakeComplete.Load() {
   328  		return quicError(errors.New("tls: SendSessionTicket called before handshake completed"))
   329  	}
   330  	if c.isClient {
   331  		return quicError(errors.New("tls: SendSessionTicket called on the client"))
   332  	}
   333  	if q.sessionTicketSent {
   334  		return quicError(errors.New("tls: SendSessionTicket called multiple times"))
   335  	}
   336  	q.sessionTicketSent = true
   337  	return quicError(c.sendSessionTicket(opts.EarlyData, opts.Extra))
   338  }
   339  
   340  // StoreSession stores a session previously received in a QUICStoreSession event
   341  // in the ClientSessionCache.
   342  // The application may process additional events or modify the SessionState
   343  // before storing the session.
   344  func (q *QUICConn) StoreSession(session *SessionState) error {
   345  	c := q.conn
   346  	if !c.isClient {
   347  		return quicError(errors.New("tls: StoreSessionTicket called on the server"))
   348  	}
   349  	cacheKey := c.clientSessionCacheKey()
   350  	if cacheKey == "" {
   351  		return nil
   352  	}
   353  	cs := &ClientSessionState{session: session}
   354  	c.config.ClientSessionCache.Put(cacheKey, cs)
   355  	return nil
   356  }
   357  
   358  // ConnectionState returns basic TLS details about the connection.
   359  func (q *QUICConn) ConnectionState() ConnectionState {
   360  	return q.conn.ConnectionState()
   361  }
   362  
   363  // SetTransportParameters sets the transport parameters to send to the peer.
   364  //
   365  // Server connections may delay setting the transport parameters until after
   366  // receiving the client's transport parameters. See [QUICTransportParametersRequired].
   367  func (q *QUICConn) SetTransportParameters(params []byte) {
   368  	if params == nil {
   369  		params = []byte{}
   370  	}
   371  	q.conn.quic.transportParams = params
   372  	if q.conn.quic.started {
   373  		<-q.conn.quic.signalc
   374  		<-q.conn.quic.blockedc
   375  	}
   376  }
   377  
   378  // quicError ensures err is an AlertError.
   379  // If err is not already, quicError wraps it with alertInternalError.
   380  func quicError(err error) error {
   381  	if err == nil {
   382  		return nil
   383  	}
   384  	if _, ok := errors.AsType[AlertError](err); ok {
   385  		return err
   386  	}
   387  	a, ok := errors.AsType[alert](err)
   388  	if !ok {
   389  		a = alertInternalError
   390  	}
   391  	// Return an error wrapping the original error and an AlertError.
   392  	// Truncate the text of the alert to 0 characters.
   393  	return fmt.Errorf("%w%.0w", err, AlertError(a))
   394  }
   395  
   396  func (c *Conn) quicReadHandshakeBytes(n int) error {
   397  	for c.hand.Len() < n {
   398  		if err := c.quicWaitForSignal(); err != nil {
   399  			return err
   400  		}
   401  	}
   402  	return nil
   403  }
   404  
   405  func (c *Conn) quicSetReadSecret(level QUICEncryptionLevel, suite uint16, secret []byte) error {
   406  	// Ensure that there are no buffered handshake messages before changing the
   407  	// read keys, since that can cause messages to be parsed that were encrypted
   408  	// using old keys which are no longer appropriate.
   409  	// TODO(roland): we should merge this check with the similar one in setReadTrafficSecret.
   410  	if c.hand.Len() != 0 {
   411  		c.sendAlert(alertUnexpectedMessage)
   412  		return errors.New("tls: handshake buffer not empty before setting read traffic secret")
   413  	}
   414  	c.quic.events = append(c.quic.events, QUICEvent{
   415  		Kind:  QUICSetReadSecret,
   416  		Level: level,
   417  		Suite: suite,
   418  		Data:  secret,
   419  	})
   420  	return nil
   421  }
   422  
   423  func (c *Conn) quicSetWriteSecret(level QUICEncryptionLevel, suite uint16, secret []byte) {
   424  	c.quic.events = append(c.quic.events, QUICEvent{
   425  		Kind:  QUICSetWriteSecret,
   426  		Level: level,
   427  		Suite: suite,
   428  		Data:  secret,
   429  	})
   430  }
   431  
   432  func (c *Conn) quicWriteCryptoData(level QUICEncryptionLevel, data []byte) {
   433  	var last *QUICEvent
   434  	if len(c.quic.events) > 0 {
   435  		last = &c.quic.events[len(c.quic.events)-1]
   436  	}
   437  	if last == nil || last.Kind != QUICWriteData || last.Level != level {
   438  		c.quic.events = append(c.quic.events, QUICEvent{
   439  			Kind:  QUICWriteData,
   440  			Level: level,
   441  		})
   442  		last = &c.quic.events[len(c.quic.events)-1]
   443  	}
   444  	last.Data = append(last.Data, data...)
   445  }
   446  
   447  func (c *Conn) quicResumeSession(session *SessionState) error {
   448  	c.quic.events = append(c.quic.events, QUICEvent{
   449  		Kind:         QUICResumeSession,
   450  		SessionState: session,
   451  	})
   452  	c.quic.waitingForDrain = true
   453  	for c.quic.waitingForDrain {
   454  		if err := c.quicWaitForSignal(); err != nil {
   455  			return err
   456  		}
   457  	}
   458  	return nil
   459  }
   460  
   461  func (c *Conn) quicStoreSession(session *SessionState) {
   462  	c.quic.events = append(c.quic.events, QUICEvent{
   463  		Kind:         QUICStoreSession,
   464  		SessionState: session,
   465  	})
   466  }
   467  
   468  func (c *Conn) quicSetTransportParameters(params []byte) {
   469  	c.quic.events = append(c.quic.events, QUICEvent{
   470  		Kind: QUICTransportParameters,
   471  		Data: params,
   472  	})
   473  }
   474  
   475  func (c *Conn) quicGetTransportParameters() ([]byte, error) {
   476  	if c.quic.transportParams == nil {
   477  		c.quic.events = append(c.quic.events, QUICEvent{
   478  			Kind: QUICTransportParametersRequired,
   479  		})
   480  	}
   481  	for c.quic.transportParams == nil {
   482  		if err := c.quicWaitForSignal(); err != nil {
   483  			return nil, err
   484  		}
   485  	}
   486  	return c.quic.transportParams, nil
   487  }
   488  
   489  func (c *Conn) quicHandshakeComplete() {
   490  	c.quic.events = append(c.quic.events, QUICEvent{
   491  		Kind: QUICHandshakeDone,
   492  	})
   493  }
   494  
   495  func (c *Conn) quicRejectedEarlyData() {
   496  	c.quic.events = append(c.quic.events, QUICEvent{
   497  		Kind: QUICRejectedEarlyData,
   498  	})
   499  }
   500  
   501  // quicWaitForSignal notifies the QUICConn that handshake progress is blocked,
   502  // and waits for a signal that the handshake should proceed.
   503  //
   504  // The handshake may become blocked waiting for handshake bytes
   505  // or for the user to provide transport parameters.
   506  func (c *Conn) quicWaitForSignal() error {
   507  	// Drop the handshake mutex while blocked to allow the user
   508  	// to call ConnectionState before the handshake completes.
   509  	c.handshakeMutex.Unlock()
   510  	defer c.handshakeMutex.Lock()
   511  	// Send on blockedc to notify the QUICConn that the handshake is blocked.
   512  	// Exported methods of QUICConn wait for the handshake to become blocked
   513  	// before returning to the user.
   514  	select {
   515  	case c.quic.blockedc <- struct{}{}:
   516  	case <-c.quic.cancelc:
   517  		return c.sendAlertLocked(alertCloseNotify)
   518  	}
   519  	// The QUICConn reads from signalc to notify us that the handshake may
   520  	// be able to proceed. (The QUICConn reads, because we close signalc to
   521  	// indicate that the handshake has completed.)
   522  	select {
   523  	case c.quic.signalc <- struct{}{}:
   524  		c.hand.Write(c.quic.readbuf)
   525  		c.quic.readbuf = nil
   526  	case <-c.quic.cancelc:
   527  		return c.sendAlertLocked(alertCloseNotify)
   528  	}
   529  	return nil
   530  }
   531
View as plain text