Files
wireguard-go/src/send.go
T

373 lines
7.7 KiB
Go
Raw Normal View History

2017-06-26 13:14:02 +02:00
package main
import (
2017-06-26 22:07:29 +02:00
"encoding/binary"
"golang.org/x/crypto/chacha20poly1305"
2017-07-13 14:32:40 +02:00
"golang.org/x/net/ipv4"
"golang.org/x/net/ipv6"
2017-06-26 13:14:02 +02:00
"net"
"sync"
2017-06-30 14:41:08 +02:00
"sync/atomic"
"time"
2017-06-26 13:14:02 +02:00
)
/* Handles outbound flow
*
* 1. TUN queue
2017-06-28 23:45:45 +02:00
* 2. Routing (sequential)
* 3. Nonce assignment (sequential)
* 4. Encryption (parallel)
* 5. Transmission (sequential)
2017-06-26 13:14:02 +02:00
*
2017-06-28 23:45:45 +02:00
* The order of packets (per peer) is maintained.
* The functions in this file occure (roughly) in the order packets are processed.
2017-06-26 13:14:02 +02:00
*/
2017-07-13 14:32:40 +02:00
/* The sequential consumers will attempt to take the lock,
* workers release lock when they have completed work (encryption) on the packet.
2017-07-06 15:43:55 +02:00
*
* If the element is inserted into the "encryption queue",
2017-07-13 14:32:40 +02:00
* the content is preceeded by enough "junk" to contain the transport header
2017-07-07 13:47:09 +02:00
* (to allow the construction of transport messages in-place)
2017-06-28 23:45:45 +02:00
*/
type QueueOutboundElement struct {
2017-07-08 23:51:26 +02:00
dropped int32
2017-06-28 23:45:45 +02:00
mutex sync.Mutex
2017-07-13 14:32:40 +02:00
data [MaxMessageSize]byte // slice holding the packet data
packet []byte // slice of "data" (always!)
nonce uint64 // nonce for encryption
keyPair *KeyPair // key-pair for encryption
peer *Peer // related peer
2017-06-26 13:14:02 +02:00
}
2017-06-28 23:45:45 +02:00
func (peer *Peer) FlushNonceQueue() {
elems := len(peer.queue.nonce)
2017-07-13 14:32:40 +02:00
for i := 0; i < elems; i++ {
2017-06-28 23:45:45 +02:00
select {
case <-peer.queue.nonce:
default:
return
}
}
2017-06-27 17:33:06 +02:00
}
2017-07-07 13:47:09 +02:00
/*
* Assumption: The mutex of the returned element is released
*/
2017-07-06 15:43:55 +02:00
func (device *Device) NewOutboundElement() *QueueOutboundElement {
2017-07-07 13:47:09 +02:00
// TODO: profile, consider sync.Pool
elem := new(QueueOutboundElement)
2017-07-06 15:43:55 +02:00
return elem
2017-06-26 13:14:02 +02:00
}
2017-07-01 23:29:22 +02:00
func (elem *QueueOutboundElement) Drop() {
2017-07-08 23:51:26 +02:00
atomic.StoreInt32(&elem.dropped, AtomicTrue)
2017-07-01 23:29:22 +02:00
}
func (elem *QueueOutboundElement) IsDropped() bool {
2017-07-08 23:51:26 +02:00
return atomic.LoadInt32(&elem.dropped) == AtomicTrue
2017-07-01 23:29:22 +02:00
}
2017-07-06 15:43:55 +02:00
func addToOutboundQueue(
queue chan *QueueOutboundElement,
element *QueueOutboundElement,
) {
for {
select {
case queue <- element:
return
default:
select {
case old := <-queue:
old.Drop()
default:
}
}
}
}
2017-07-08 23:51:26 +02:00
func addToEncryptionQueue(
queue chan *QueueOutboundElement,
element *QueueOutboundElement,
) {
for {
select {
case queue <- element:
return
default:
select {
case old := <-queue:
old.Drop()
old.mutex.Unlock()
default:
}
}
}
}
2017-06-28 23:45:45 +02:00
/* Reads packets from the TUN and inserts
* into nonce queue for peer
2017-06-26 13:14:02 +02:00
*
2017-06-28 23:45:45 +02:00
* Obs. Single instance per TUN device
2017-06-26 13:14:02 +02:00
*/
2017-06-28 23:45:45 +02:00
func (device *Device) RoutineReadFromTUN(tun TUNDevice) {
2017-07-13 14:32:40 +02:00
2017-07-06 15:43:55 +02:00
if tun == nil {
2017-06-30 14:41:08 +02:00
return
}
2017-07-06 15:43:55 +02:00
elem := device.NewOutboundElement()
2017-07-13 14:32:40 +02:00
logDebug := device.log.Debug
logError := device.log.Error
logDebug.Println("Routine, TUN Reader: started")
2017-06-28 23:45:45 +02:00
for {
// read packet
2017-07-06 15:43:55 +02:00
if elem == nil {
elem = device.NewOutboundElement()
}
elem.packet = elem.data[MessageTransportHeaderSize:]
size, err := tun.Read(elem.packet)
2017-06-28 23:45:45 +02:00
if err != nil {
2017-07-13 14:32:40 +02:00
// stop process
logError.Println("Failed to read packet from TUN device:", err)
device.Close()
return
2017-06-28 23:45:45 +02:00
}
2017-07-13 14:32:40 +02:00
2017-07-06 15:43:55 +02:00
elem.packet = elem.packet[:size]
2017-07-13 14:32:40 +02:00
if len(elem.packet) < ipv4.HeaderLen {
logError.Println("Packet too short, length:", size)
2017-06-28 23:45:45 +02:00
continue
}
// lookup peer
var peer *Peer
2017-07-06 15:43:55 +02:00
switch elem.packet[0] >> 4 {
2017-07-13 14:32:40 +02:00
case ipv4.Version:
2017-07-06 15:43:55 +02:00
dst := elem.packet[IPv4offsetDst : IPv4offsetDst+net.IPv4len]
2017-06-28 23:45:45 +02:00
peer = device.routingTable.LookupIPv4(dst)
2017-07-13 14:32:40 +02:00
case ipv6.Version:
2017-07-06 15:43:55 +02:00
dst := elem.packet[IPv6offsetDst : IPv6offsetDst+net.IPv6len]
2017-06-28 23:45:45 +02:00
peer = device.routingTable.LookupIPv6(dst)
default:
2017-07-13 14:32:40 +02:00
logDebug.Println("Receieved packet with unknown IP version")
2017-06-28 23:45:45 +02:00
}
if peer == nil {
2017-06-29 14:39:21 +02:00
continue
2017-06-28 23:45:45 +02:00
}
2017-07-13 14:32:40 +02:00
2017-06-30 14:41:08 +02:00
if peer.endpoint == nil {
2017-07-13 14:32:40 +02:00
logDebug.Println("No known endpoint for peer", peer.String())
2017-06-30 14:41:08 +02:00
continue
}
2017-06-28 23:45:45 +02:00
// insert into nonce/pre-handshake queue
2017-07-06 15:43:55 +02:00
addToOutboundQueue(peer.queue.nonce, elem)
elem = nil
2017-06-28 23:45:45 +02:00
}
}
/* Queues packets when there is no handshake.
* Then assigns nonces to packets sequentially
* and creates "work" structs for workers
*
* TODO: Avoid dynamic allocation of work queue elements
*
* Obs. A single instance per peer
*/
func (peer *Peer) RoutineNonce() {
2017-06-26 22:07:29 +02:00
var keyPair *KeyPair
2017-07-06 15:43:55 +02:00
var elem *QueueOutboundElement
2017-06-26 22:07:29 +02:00
2017-06-30 14:41:08 +02:00
device := peer.device
2017-07-07 13:47:09 +02:00
logDebug := device.log.Debug
2017-07-13 14:32:40 +02:00
logDebug.Println("Routine, nonce worker, started for peer", peer.String())
2017-06-26 22:07:29 +02:00
2017-06-30 14:41:08 +02:00
func() {
for {
NextPacket:
// wait for packet
2017-07-06 15:43:55 +02:00
if elem == nil {
2017-06-30 14:41:08 +02:00
select {
2017-07-06 15:43:55 +02:00
case elem = <-peer.queue.nonce:
2017-06-30 14:41:08 +02:00
case <-peer.signal.stop:
return
}
2017-06-28 23:45:45 +02:00
}
2017-06-26 13:14:02 +02:00
2017-06-30 14:41:08 +02:00
// wait for key pair
for {
select {
case <-peer.signal.newKeyPair:
default:
}
2017-06-26 22:07:29 +02:00
keyPair = peer.keyPairs.Current()
2017-06-30 14:41:08 +02:00
if keyPair != nil && keyPair.sendNonce < RejectAfterMessages {
if time.Now().Sub(keyPair.created) < RejectAfterTime {
break
2017-06-26 13:14:02 +02:00
}
}
2017-07-08 23:51:26 +02:00
signalSend(peer.signal.handshakeBegin)
2017-07-13 14:32:40 +02:00
logDebug.Println("Awaiting key-pair for", peer.String())
2017-06-30 14:41:08 +02:00
select {
case <-peer.signal.newKeyPair:
2017-07-13 14:32:40 +02:00
logDebug.Println("Key-pair negotiated for", peer.String())
2017-06-30 14:41:08 +02:00
goto NextPacket
case <-peer.signal.flushNonceQueue:
2017-07-13 14:32:40 +02:00
logDebug.Println("Clearing queue for", peer.String())
2017-06-30 14:41:08 +02:00
peer.FlushNonceQueue()
2017-07-06 15:43:55 +02:00
elem = nil
2017-06-30 14:41:08 +02:00
goto NextPacket
case <-peer.signal.stop:
return
}
}
// process current packet
2017-07-06 15:43:55 +02:00
if elem != nil {
2017-06-30 14:41:08 +02:00
// create work element
2017-07-06 15:43:55 +02:00
elem.keyPair = keyPair
elem.nonce = atomic.AddUint64(&keyPair.sendNonce, 1) - 1
2017-07-08 23:51:26 +02:00
elem.dropped = AtomicFalse
2017-07-06 15:43:55 +02:00
elem.peer = peer
elem.mutex.Lock()
2017-06-30 14:41:08 +02:00
2017-07-08 23:51:26 +02:00
// add to parallel and sequential queue
2017-06-30 14:41:08 +02:00
2017-07-08 23:51:26 +02:00
addToEncryptionQueue(device.queue.encryption, elem)
2017-07-06 15:43:55 +02:00
addToOutboundQueue(peer.queue.outbound, elem)
elem = nil
2017-06-30 14:41:08 +02:00
}
2017-06-26 13:14:02 +02:00
}
2017-06-30 14:41:08 +02:00
}()
2017-06-26 13:14:02 +02:00
}
2017-06-28 23:45:45 +02:00
/* Encrypts the elements in the queue
* and marks them for sequential consumption (by releasing the mutex)
2017-06-26 22:07:29 +02:00
*
2017-06-28 23:45:45 +02:00
* Obs. One instance per core
2017-06-26 22:07:29 +02:00
*/
2017-06-28 23:45:45 +02:00
func (device *Device) RoutineEncryption() {
2017-06-26 22:07:29 +02:00
var nonce [chacha20poly1305.NonceSize]byte
2017-06-28 23:45:45 +02:00
for work := range device.queue.encryption {
2017-07-08 23:51:26 +02:00
// check if dropped
2017-07-01 23:29:22 +02:00
if work.IsDropped() {
continue
}
2017-06-28 23:45:45 +02:00
2017-07-06 15:43:55 +02:00
// populate header fields
2017-06-26 13:14:02 +02:00
2017-07-06 15:43:55 +02:00
func() {
header := work.data[:MessageTransportHeaderSize]
2017-07-01 23:29:22 +02:00
2017-07-06 15:43:55 +02:00
fieldType := header[0:4]
fieldReceiver := header[4:8]
fieldNonce := header[8:16]
2017-06-26 13:14:02 +02:00
2017-07-06 15:43:55 +02:00
binary.LittleEndian.PutUint32(fieldType, MessageTransportType)
binary.LittleEndian.PutUint32(fieldReceiver, work.keyPair.remoteIndex)
binary.LittleEndian.PutUint64(fieldNonce, work.nonce)
}()
2017-07-02 15:28:38 +02:00
// encrypt content
2017-06-26 13:14:02 +02:00
2017-07-07 13:47:09 +02:00
binary.LittleEndian.PutUint64(nonce[4:], work.nonce)
work.packet = work.keyPair.send.Seal(
work.packet[:0],
nonce[:],
work.packet,
nil,
)
length := MessageTransportHeaderSize + len(work.packet)
work.packet = work.data[:length]
work.mutex.Unlock()
2017-07-06 15:43:55 +02:00
// refresh key if necessary
2017-06-30 14:41:08 +02:00
work.peer.KeepKeyFreshSending()
2017-06-28 23:45:45 +02:00
}
}
/* Sequentially reads packets from queue and sends to endpoint
*
* Obs. Single instance per peer.
* The routine terminates then the outbound queue is closed.
*/
2017-06-30 14:41:08 +02:00
func (peer *Peer) RoutineSequentialSender() {
device := peer.device
2017-07-08 23:51:26 +02:00
logDebug := device.log.Debug
2017-07-13 14:32:40 +02:00
logDebug.Println("Routine, sequential sender, started for", peer.String())
2017-07-08 23:51:26 +02:00
2017-06-30 14:41:08 +02:00
for {
select {
case <-peer.signal.stop:
2017-07-13 14:32:40 +02:00
logDebug.Println("Routine, sequential sender, stopped for", peer.String())
2017-06-30 14:41:08 +02:00
return
2017-07-13 14:32:40 +02:00
2017-06-30 14:41:08 +02:00
case work := <-peer.queue.outbound:
2017-07-08 23:51:26 +02:00
work.mutex.Lock()
2017-07-01 23:29:22 +02:00
if work.IsDropped() {
continue
}
2017-07-08 23:51:26 +02:00
2017-06-30 14:41:08 +02:00
func() {
2017-07-08 23:51:26 +02:00
// send to endpoint
2017-06-30 14:41:08 +02:00
peer.mutex.RLock()
defer peer.mutex.RUnlock()
if peer.endpoint == nil {
2017-07-13 14:32:40 +02:00
logDebug.Println("No endpoint for", peer.String())
2017-06-30 14:41:08 +02:00
return
}
device.net.mutex.RLock()
defer device.net.mutex.RUnlock()
if device.net.conn == nil {
2017-07-07 13:47:09 +02:00
logDebug.Println("No source for device")
2017-06-30 14:41:08 +02:00
return
}
_, err := device.net.conn.WriteToUDP(work.packet, peer.endpoint)
2017-07-01 23:29:22 +02:00
if err != nil {
return
}
2017-07-08 09:23:10 +02:00
atomic.AddUint64(&peer.txBytes, uint64(len(work.packet)))
2017-06-30 14:41:08 +02:00
2017-07-13 14:32:40 +02:00
// reset keep-alive
2017-06-30 14:41:08 +02:00
2017-07-08 23:51:26 +02:00
peer.TimerResetKeepalive()
2017-06-30 14:41:08 +02:00
}()
}
2017-06-26 13:14:02 +02:00
}
}