Esempio n. 1
0
// When a node receive an accept message
// It will compare the highest number it has seen with the number in the message
// If the number in the message is higher, accept the message and update the information
// If not, set status as reject
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	recvKey := args.Key
	recvNum := args.N

	pn.propNum.propNumLock.Lock()
	pn.acceptValue.acceptMapLock.Lock()
	defer pn.acceptValue.acceptMapLock.Unlock()
	defer pn.propNum.propNumLock.Unlock()

	if propNum, ok := pn.propNum.propNum[recvKey]; ok {
		if recvNum < propNum {
			reply.Status = paxosrpc.Reject
		} else {
			pn.propNum.propNum[recvKey] = recvNum
			pn.acceptValue.acceptValue[recvKey] = args.V
			pn.acceptValue.acceptNum[recvKey] = args.N
			reply.Status = paxosrpc.OK
		}
	} else {
		pn.propNum.propNum[recvKey] = recvNum
		pn.acceptValue.acceptValue[recvKey] = args.V
		pn.acceptValue.acceptNum[recvKey] = args.N
		reply.Status = paxosrpc.OK
	}
	return nil
}
Esempio n. 2
0
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	if _, ok := pn.highestSeen[args.Key]; !ok {
		pn.highestSeen[args.Key] = -1
	}

	if pn.highestSeen[args.Key] > args.N {
		reply.Status = paxosrpc.Reject
		return nil
	}
	pn.highestSeen[args.Key] = args.N
	pn.na[args.Key] = args.N
	pn.va[args.Key] = args.V
	reply.Status = paxosrpc.OK
	return nil
}
Esempio n. 3
0
// recieve accept request
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	key := args.Key
	number := args.N
	value := args.V

	np := pn.npMap[key]

	// decide give the vote or not
	if number >= np {
		pn.vaMap[key] = value
		pn.naMap[key] = number
		reply.Status = paxosrpc.OK
	} else {
		reply.Status = paxosrpc.Reject
	}
	return nil
}
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	// update current logic time
	if pn.logicTime <= args.N/pn.timeFactor {
		pn.logicTime = args.N/pn.timeFactor + 1
	}

	// check if accept the prepare rpc
	if args.N < pn.nhMap[args.Key] {
		reply.Status = paxosrpc.Reject
	} else {
		pn.nhMap[args.Key] = args.N
		pn.naMap[args.Key] = args.N
		pn.vaMap[args.Key] = args.V
		reply.Status = paxosrpc.OK
	}
	return nil
}
Esempio n. 5
0
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	key := args.Key
	N := args.N
	V := args.V
	N_h, ok := pn.maxpropMap[key]
	//pn.acceptMutex.Lock()
	//prop, ok := pn.acceptMap[key]
	//pn.acceptMutex.Unlock()
	if ok && N < N_h {
		reply.Status = paxosrpc.Reject
	} else {
		reply.Status = paxosrpc.OK
		p := proposal{N, V}
		pn.maxpropMap[key] = N
		pn.acceptMap[key] = &p
	}
	return nil

}
Esempio n. 6
0
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	key := args.Key
	N := args.N
	V := args.V

	// fmt.Println("recvaccept", pn.nodeID, args.Key, args.N, args.V)
	// find key mutex or create one
	pn.mutex.Lock()
	if pn.keyValueMutex[key] == nil {
		pn.keyValueMutex[key] = &sync.Mutex{}
	}
	pn.mutex.Unlock()
	// lock current key mutex
	pn.keyValueMutex[key].Lock()
	defer pn.keyValueMutex[key].Unlock()
	if pn.keyValue[key] == nil {
		pn.keyValue[key] = &value{
			Key:   key,
			Value: nil,
			N_a:   -1,
			N_h:   -1,
			my_n:  -1,
		}
	}
	// get value
	value := pn.keyValue[key]
	N_h := value.N_h
	// assign reply values
	if N < N_h {
		reply.Status = paxosrpc.Reject
	} else {
		reply.Status = paxosrpc.OK
		value.N_a = N
		// TODO
		value.N_h = N
		value.Value = V
		pn.keyValue[key] = value
	}
	return nil
}
Esempio n. 7
0
// Receive an Accept message from another Paxos Node. The message contains
// the key whose value is being proposed by the node sending the accept
// message. This function should respond with Status OK if the prepare is
// accepted and Reject otherwise.
func (pn *paxosNode) RecvAccept(args *paxosrpc.AcceptArgs, reply *paxosrpc.AcceptReply) error {
	// Upon receiving <accept, n, V>
	// If n < Nh
	//     reply with <accept-reject>
	// else
	//    Na = n; Va = V; Nh = n
	//     reply with <accept-ok>
	key := args.Key
	n := args.N
	v := args.V
	pxi := pn.getInstance(key)
	pxi.mu.Lock()
	defer pxi.mu.Unlock()
	if n < pxi.Nh {
		reply.Status = paxosrpc.Reject
	} else {
		pxi.Nh = n
		pxi.Na = n
		pxi.Va = v
		reply.Status = paxosrpc.OK
	}

	return nil
}