// Copyright (C) 2018 Tyler Treat <https://github.com/tylertreat>
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at

//	http://www.apache.org/licenses/LICENSE-2.0

// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.

// Modifications copyright (C) 2018 Leandro Lugaresi

package hub

import (
	"strings"
	"sync/atomic"
	"unsafe"
)

type iNode struct {
	main *mainNode
}

type mainNode struct {
	cNode *cNode
	tNode *tNode
}

type cNode struct {
	branches map[string]*branch
}

// newCNode creates a new C-node with the given subscription path.
func newCNode(words []string, sub subscriber) *cNode {
	if len(words) == 1 {
		return &cNode{
			branches: map[string]*branch{
				words[0]: {subs: map[subscriber]struct{}{sub: {}}},
			},
		}
	}

	nin := &iNode{main: &mainNode{cNode: newCNode(words[1:], sub)}}

	return &cNode{
		branches: map[string]*branch{
			words[0]: {subs: map[subscriber]struct{}{}, iNode: nin},
		},
	}
}

// inserted returns a copy of this C-node with the specified subscriber
// inserted.
func (c *cNode) inserted(words []string, sub subscriber) *cNode {
	branches := make(map[string]*branch, len(c.branches)+1)
	for key, branch := range c.branches {
		branches[key] = branch
	}

	var br *branch
	if len(words) == 1 {
		br = &branch{subs: map[subscriber]struct{}{sub: {}}}
	} else {
		br = &branch{
			subs:  make(map[subscriber]struct{}),
			iNode: &iNode{main: &mainNode{cNode: newCNode(words[1:], sub)}},
		}
	}

	branches[words[0]] = br

	return &cNode{branches: branches}
}

// updated returns a copy of this C-node with the specified branch updated.
func (c *cNode) updated(word string, sub subscriber) *cNode {
	branches := make(map[string]*branch, len(c.branches))
	for word, branch := range c.branches {
		branches[word] = branch
	}

	newBranch := &branch{subs: map[subscriber]struct{}{sub: {}}}
	br, ok := branches[word]

	if ok {
		for id, sub := range br.subs {
			newBranch.subs[id] = sub
		}

		newBranch.iNode = br.iNode
	}

	branches[word] = newBranch

	return &cNode{branches: branches}
}

// updatedBranch returns a copy of this C-node with the specified branch
// updated.
func (c *cNode) updatedBranch(word string, in *iNode, br *branch) *cNode {
	branches := make(map[string]*branch, len(c.branches))
	for key, branch := range c.branches {
		branches[key] = branch
	}

	branches[word] = br.updated(in)

	return &cNode{branches: branches}
}

// removed returns a copy of this C-node with the subscriber removed from the
// corresponding branch.
func (c *cNode) removed(word string, sub subscriber) *cNode {
	branches := make(map[string]*branch, len(c.branches))
	for word, branch := range c.branches {
		branches[word] = branch
	}

	br, ok := branches[word]
	if ok {
		br = br.removed(sub)
		if len(br.subs) == 0 && br.iNode == nil {
			// Remove the branch if it contains no subscribers and doesn't
			// point anywhere.
			delete(branches, word)
		} else {
			branches[word] = br
		}
	}

	return &cNode{branches: branches}
}

// getBranches returns the branches for the given word. There are two possible
// branches: exact match and single wildcard.
func (c *cNode) getBranches(word string) (*branch, *branch) {
	return c.branches[word], c.branches[wildcard]
}

type branch struct {
	iNode *iNode
	subs  map[subscriber]struct{}
}

// updated returns a copy of this branch updated with the given I-node.
func (b *branch) updated(in *iNode) *branch {
	subs := make(map[subscriber]struct{}, len(b.subs))
	for id, sub := range b.subs {
		subs[id] = sub
	}

	return &branch{subs: subs, iNode: in}
}

// removed returns a copy of this branch with the given subscriber removed.
func (b *branch) removed(sub subscriber) *branch {
	subs := make(map[subscriber]struct{}, len(b.subs))
	for id, sub := range b.subs {
		subs[id] = sub
	}

	delete(subs, sub)

	return &branch{subs: subs, iNode: b.iNode}
}

// subscribers returns the Subscribers for this branch.
func (b *branch) subscribers() []subscriber {
	subs := make([]subscriber, len(b.subs))
	i := 0

	for sub := range b.subs {
		subs[i] = sub
		i++
	}

	return subs
}

type tNode struct{}

type csTrieMatcher struct {
	root *iNode
}

func newCSTrieMatcher() matcher {
	root := &iNode{main: &mainNode{cNode: &cNode{}}}
	return &csTrieMatcher{root: root}
}

// Subscribe adds the subscriber to the topic and returns a Subscription.
func (c *csTrieMatcher) Subscribe(topics []string, sub subscriber) Subscription {
	var (
		rootPtr = (*unsafe.Pointer)(unsafe.Pointer(&c.root))
		root    = (*iNode)(atomic.LoadPointer(rootPtr))
	)

	for _, topic := range topics {
		words := strings.Split(topic, delimiter)
		if !c.iinsert(root, nil, words, sub) {
			return c.Subscribe(topics, sub)
		}
	}

	return Subscription{Topics: topics, Receiver: sub.Ch(), subscriber: sub}
}

func (c *csTrieMatcher) iinsert(i, parent *iNode, words []string, sub subscriber) bool {
	// Linearization point.
	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))

	switch {
	case main.cNode != nil:
		cn := main.cNode
		br := cn.branches[words[0]]

		if br == nil {
			// If the relevant branch is not in the map, a copy of the C-node
			// with the new entry is created. The linearization point is a
			// successful CAS.
			ncn := &mainNode{cNode: cn.inserted(words, sub)}
			return atomic.CompareAndSwapPointer(
				mainPtr, unsafe.Pointer(main), unsafe.Pointer(ncn))
		}
		// If the relevant key is present in the map, its corresponding
		// branch is read.
		if len(words) > 1 {
			// If more than 1 word is present in the path, the tree must be
			// traversed deeper.
			if br.iNode != nil {
				// If the branch has an I-node, iinsert is called
				// recursively.
				return c.iinsert(br.iNode, i, words[1:], sub)
			}
			// Otherwise, an I-node which points to a new C-node must be
			// added. The linearization point is a successful CAS.
			nin := &iNode{main: &mainNode{cNode: newCNode(words[1:], sub)}}
			ncn := &mainNode{cNode: cn.updatedBranch(words[0], nin, br)}

			return atomic.CompareAndSwapPointer(
				mainPtr, unsafe.Pointer(main), unsafe.Pointer(ncn))
		}

		if _, ok := br.subs[sub]; ok {
			// Already subscribed.
			return true
		}
		// Insert the subscriber by copying the C-node and updating the
		// respective branch. The linearization point is a successful CAS.
		ncn := &mainNode{cNode: cn.updated(words[0], sub)}

		return atomic.CompareAndSwapPointer(mainPtr, unsafe.Pointer(main), unsafe.Pointer(ncn))
	case main.tNode != nil:
		clean(parent)
		return false
	default:
		panic("csTrie is in an invalid state")
	}
}

// Unsubscribe removes the Subscription.
func (c *csTrieMatcher) Unsubscribe(sub Subscription) {
	var (
		rootPtr = (*unsafe.Pointer)(unsafe.Pointer(&c.root))
		root    = (*iNode)(atomic.LoadPointer(rootPtr))
	)

	for _, topic := range sub.Topics {
		words := strings.Split(topic, delimiter)
		if !c.iremove(root, nil, nil, words, 0, sub.subscriber) {
			c.Unsubscribe(sub)
		}
	}
}

func (c *csTrieMatcher) iremove(i, parent, parentsParent *iNode, words []string, wordIdx int, sub subscriber) bool {
	// Linearization point.
	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))

	switch {
	case main.cNode != nil:
		cn := main.cNode
		br := cn.branches[words[wordIdx]]

		if br == nil {
			// If the relevant word is not in the map, the subscription doesn't
			// exist.
			return true
		}
		// If the relevant word is present in the map, its corresponding
		// branch is read.
		if wordIdx+1 < len(words) {
			// If more than 1 word is present in the path, the tree must be
			// traversed deeper.
			if br.iNode != nil {
				// If the branch has an I-node, iremove is called
				// recursively.
				return c.iremove(br.iNode, i, parent, words, wordIdx+1, sub)
			}
			// Otherwise, the subscription doesn't exist.
			return true
		}

		if _, ok := br.subs[sub]; !ok {
			// Not subscribed.
			return true
		}
		// Remove the subscriber by copying the C-node without it. A
		// contraction of the copy is then created. A successful CAS will
		// substitute the old C-node with the copied C-node, thus removing
		// the subscriber from the trie - this is the linearization point.
		ncn := cn.removed(words[wordIdx], sub)
		cntr := c.toContracted(ncn, i)

		if atomic.CompareAndSwapPointer(
			mainPtr, unsafe.Pointer(main), unsafe.Pointer(cntr)) {
			if parent != nil {
				mainPtr = (*unsafe.Pointer)(unsafe.Pointer(&i.main))
				main = (*mainNode)(atomic.LoadPointer(mainPtr))

				if main.tNode != nil {
					cleanParent(i, parent, parentsParent, c, words[wordIdx-1])
				}
			}

			return true
		}

		return false
	case main.tNode != nil:
		clean(parent)
		return false
	default:
		panic("csTrie is in an invalid state")
	}
}

// Lookup returns the Subscribers for the given topic.
func (c *csTrieMatcher) Lookup(topic string) []subscriber {
	var (
		words   = strings.Split(topic, delimiter)
		rootPtr = (*unsafe.Pointer)(unsafe.Pointer(&c.root))
		root    = (*iNode)(atomic.LoadPointer(rootPtr))
	)

	result, ok := c.ilookup(root, nil, words)
	if !ok {
		return c.Lookup(topic)
	}

	return result
}

// ilookup attempts to retrieve the Subscribers for the word path. True is
// returned if the Subscribers were retrieved, false if the operation needs to
// be retried.
func (c *csTrieMatcher) ilookup(i, parent *iNode, words []string) ([]subscriber, bool) {
	// Linearization point.
	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))

	switch {
	case main.cNode != nil:
		// Traverse exact-match branch and single-word-wildcard branch.
		exact, singleWC := main.cNode.getBranches(words[0])
		subs := make(map[subscriber]struct{})

		if exact != nil {
			s, ok := c.bLookup(i, exact, words)
			if !ok {
				return nil, false
			}

			for _, sub := range s {
				subs[sub] = struct{}{}
			}
		}

		if singleWC != nil {
			s, ok := c.bLookup(i, singleWC, words)
			if !ok {
				return nil, false
			}

			for _, sub := range s {
				subs[sub] = struct{}{}
			}
		}

		s := make([]subscriber, len(subs))
		i := 0

		for sub := range subs {
			s[i] = sub
			i++
		}

		return s, true
	case main.tNode != nil:
		clean(parent)
		return nil, false
	default:
		panic("csTrie is in an invalid state")
	}
}

// bLookup attempts to retrieve the Subscribers from the word path along the
// given branch. True is returned if the Subscribers were retrieved, false if
// the operation needs to be retried.
func (c *csTrieMatcher) bLookup(i *iNode, b *branch, words []string) ([]subscriber, bool) {
	if len(words) > 1 {
		// If more than 1 key is present in the path, the tree must be
		// traversed deeper.
		if b.iNode == nil {
			// If the branch doesn't point to an I-node, no subscribers
			// exist.
			return make([]subscriber, 0), true
		}
		// If the branch has an I-node, ilookup is called recursively.
		return c.ilookup(b.iNode, i, words[1:])
	}

	// Retrieve the subscribers from the branch.
	return b.subscribers(), true
}

// Subscriptions return all the subscriptions inside the cstrie.
func (c *csTrieMatcher) Subscriptions() []Subscription {
	var (
		rootPtr = (*unsafe.Pointer)(unsafe.Pointer(&c.root))
		root    = (*iNode)(atomic.LoadPointer(rootPtr))
	)

	result, ok := c.isubscriptions(root, nil, []string{})
	if !ok {
		return c.Subscriptions()
	}

	return result
}

func (c *csTrieMatcher) isubscriptions(i, parent *iNode, words []string) ([]Subscription, bool) {
	// Linearization point.
	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))
	subs := []Subscription{}

	switch {
	case main.cNode != nil:
		// Traverse all branches.
		for word, br := range main.cNode.branches {
			cwords := append([]string{}, words...)
			cwords = append(cwords, word)

			if br.iNode != nil {
				// If the branch has an I-node, isubscriptions is called recursively.
				s, ok := c.isubscriptions(br.iNode, i, cwords)
				if !ok {
					return nil, false
				}

				subs = append(subs, s...)
			}

			for s := range br.subs {
				subs = append(subs, Subscription{
					Topics:     []string{strings.Join(cwords, delimiter)},
					subscriber: s,
					Receiver:   s.Ch(),
				})
			}
		}

		return subs, true
	case main.tNode != nil:
		clean(parent)
		return nil, false
	default:
		panic("csTrie is in an invalid state")
	}
}

// toContracted ensures that every I-node except the root points to a C-node
// with at least one branch or a T-node. If a given C-node has no branches and
// is not at the root level, a T-node is returned.
func (c *csTrieMatcher) toContracted(cn *cNode, parent *iNode) *mainNode {
	if c.root != parent && len(cn.branches) == 0 {
		return &mainNode{tNode: &tNode{}}
	}

	return &mainNode{cNode: cn}
}

// clean replaces an I-node's C-node with a copy that has any tombed I-nodes
// resurrected.
func clean(i *iNode) {
	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&i.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))

	if main.cNode != nil {
		atomic.CompareAndSwapPointer(mainPtr,
			unsafe.Pointer(main), unsafe.Pointer(toCompressed(main.cNode)))
	}
}

// cleanParent reads the main node of the parent I-node p and the current
// I-node i and checks if the T-node below i is reachable from p. If i is no
// longer reachable, some other thread has already completed the contraction.
// If it is reachable, the C-node below p is replaced with its contraction.
func cleanParent(i, parent, parentsParent *iNode, c *csTrieMatcher, word string) {
	var (
		mainPtr  = (*unsafe.Pointer)(unsafe.Pointer(&i.main))
		main     = (*mainNode)(atomic.LoadPointer(mainPtr))
		pMainPtr = (*unsafe.Pointer)(unsafe.Pointer(&parent.main))
		pMain    = (*mainNode)(atomic.LoadPointer(pMainPtr))
	)

	if pMain.cNode != nil {
		if br, ok := pMain.cNode.branches[word]; ok {
			if br.iNode != i {
				return
			}

			if main.tNode != nil {
				if !contract(parentsParent, parent, c, pMain) {
					cleanParent(parentsParent, parent, i, c, word)
				}
			}
		}
	}
}

// contract performs a contraction of the parent's C-node if possible. Returns
// true if the contraction succeeded, false if it needs to be retried.
func contract(parentsParent, parent *iNode, c *csTrieMatcher, pMain *mainNode) bool {
	ncn := toCompressed(pMain.cNode)
	if len(ncn.cNode.branches) == 0 && parentsParent != nil {
		// If the compressed C-node has no branches, it and the I-node above it
		// should be removed. To do this, a CAS must occur on the parent I-node
		// of the parent to update the respective branch of the C-node below it
		// to point to nil.
		ppMainPtr := (*unsafe.Pointer)(unsafe.Pointer(&parentsParent.main))
		ppMain := (*mainNode)(atomic.LoadPointer(ppMainPtr))

		for pKey, pBranch := range ppMain.cNode.branches {
			// Find the branch pointing to the parent.
			if pBranch.iNode == parent {
				// Update the branch to point to nil.
				updated := ppMain.cNode.updatedBranch(pKey, nil, pBranch)

				if len(pBranch.subs) == 0 {
					// If the branch has no subscribers, simply prune it.
					delete(updated.branches, pKey)
				}

				// Replace the main node of the parent's parent.
				return atomic.CompareAndSwapPointer(ppMainPtr,
					unsafe.Pointer(ppMain), unsafe.Pointer(toCompressed(updated)))
			}
		}
	} else {
		// Otherwise, perform a simple contraction to a T-node.
		cntr := c.toContracted(ncn.cNode, parent)
		pMainPtr := (*unsafe.Pointer)(unsafe.Pointer(&parent.main))
		pMain := (*mainNode)(atomic.LoadPointer(pMainPtr))
		if !atomic.CompareAndSwapPointer(pMainPtr, unsafe.Pointer(pMain),
			unsafe.Pointer(cntr)) {
			return false
		}
	}

	return true
}

// toCompressed prunes any branches to tombed I-nodes and returns the
// compressed main node.
func toCompressed(cn *cNode) *mainNode {
	branches := make(map[string]*branch, len(cn.branches))
	for key, br := range cn.branches {
		if !prunable(br) {
			branches[key] = br
		}
	}

	return &mainNode{cNode: &cNode{branches: branches}}
}

// prunable indicates if the branch can be pruned. A branch can be pruned if
// it has no subscribers and points to nowhere or it has no subscribers and
// points to a tombed I-node.
func prunable(br *branch) bool {
	if len(br.subs) > 0 {
		return false
	}

	if br.iNode == nil {
		return true
	}

	mainPtr := (*unsafe.Pointer)(unsafe.Pointer(&br.iNode.main))
	main := (*mainNode)(atomic.LoadPointer(mainPtr))

	return main.tNode != nil
}