Skip to content

Commit

Permalink
fix a dead lock bug
Browse files Browse the repository at this point in the history
  • Loading branch information
HDT3213 committed Aug 18, 2020
1 parent 2b8573e commit d12a413
Show file tree
Hide file tree
Showing 5 changed files with 244 additions and 25 deletions.
3 changes: 3 additions & 0 deletions build-linux.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
#!/usr/bin/env bash

GOOS=linux GOARCH=amd64 go build -o target/godis-linux ./src/cmd
4 changes: 4 additions & 0 deletions build.sh
Original file line number Diff line number Diff line change
@@ -0,0 +1,4 @@
#!/usr/bin/env bash


go build -i -o target/godis-darwin ./src/cmd
60 changes: 36 additions & 24 deletions src/datastruct/lock/lock_map.go
Original file line number Diff line number Diff line change
Expand Up @@ -70,44 +70,56 @@ func (locks *Locks)RUnLock(key string) {
mu.RUnlock()
}

func (locks *Locks) toLockIndices(keys []string, reverse bool) []uint32 {
indexMap := make(map[uint32]bool)
for _, key := range keys {
index := locks.spread(fnv32(key))
indexMap[index] = true
}
indices := make([]uint32, 0, len(indexMap))
for index := range indexMap {
indices = append(indices, index)
}
sort.Slice(indices, func(i, j int) bool {
if !reverse {
return indices[i] < indices[j]
} else {
return indices[i] > indices[j]
}
})
return indices
}

func (locks *Locks)Locks(keys ...string) {
keySlice := make(sort.StringSlice, len(keys))
copy(keySlice, keys)
sort.Sort(keySlice)
for _, key := range keySlice {
locks.Lock(key)
indices := locks.toLockIndices(keys, false)
for _, index := range indices {
mu := locks.table[index]
mu.Lock()
}
}

func (locks *Locks)RLocks(keys ...string) {
keySlice := make(sort.StringSlice, len(keys))
copy(keySlice, keys)
sort.Sort(keySlice)
for _, key := range keySlice {
locks.RLock(key)
indices := locks.toLockIndices(keys, false)
for _, index := range indices {
mu := locks.table[index]
mu.RLock()
}
}


func (locks *Locks)UnLocks(keys ...string) {
size := len(keys)
keySlice := make(sort.StringSlice, size)
copy(keySlice, keys)
sort.Sort(keySlice)
for i := size - 1; i >= 0; i-- {
key := keySlice[i]
locks.UnLock(key)
indices := locks.toLockIndices(keys, true)
for _, index := range indices {
mu := locks.table[index]
mu.Unlock()
}
}

func (locks *Locks)RUnLocks(keys ...string) {
size := len(keys)
keySlice := make(sort.StringSlice, size)
copy(keySlice, keys)
sort.Sort(keySlice)
for i := size - 1; i >= 0; i-- {
key := keySlice[i]
locks.RUnLock(key)
indices := locks.toLockIndices(keys, true)
for _, index := range indices {
mu := locks.table[index]
mu.RUnlock()
}
}

Expand Down
200 changes: 200 additions & 0 deletions src/db/hash_test.go
Original file line number Diff line number Diff line change
@@ -0,0 +1,200 @@
package db

import (
"fmt"
"github.com/HDT3213/godis/src/datastruct/utils"
"github.com/HDT3213/godis/src/redis/reply"
"math/rand"
"strconv"
"testing"
)

func TestHSet(t *testing.T) {
FlushAll(testDB, [][]byte{})
size := 100

// test hset
key := strconv.FormatInt(int64(rand.Int()), 10)
values := make(map[string][]byte, size)
for i := 0; i < size; i++ {
value := strconv.FormatInt(int64(rand.Int()), 10)
field := strconv.Itoa(i)
values[field] = []byte(value)
result := HSet(testDB, toArgs(key, field, value))
if intResult, _ := result.(*reply.IntReply); intResult.Code != int64(1) {
t.Error(fmt.Sprintf("expected %d, actually %d", 1, intResult.Code))
}
}

// test hget and hexists
for field, v := range values {
actual := HGet(testDB, toArgs(key, field))
expected := reply.MakeBulkReply(v)
if !utils.BytesEquals(actual.ToBytes(), expected.ToBytes()) {
t.Error(fmt.Sprintf("expected %s, actually %s", string(expected.ToBytes()), string(actual.ToBytes())))
}
actual = HExists(testDB, toArgs(key, field))
if intResult, _ := actual.(*reply.IntReply); intResult.Code != int64(1) {
t.Error(fmt.Sprintf("expected %d, actually %d", 1, intResult.Code))
}
}

// test hlen
actual := HLen(testDB, toArgs(key))
if intResult, _ := actual.(*reply.IntReply); intResult.Code != int64(len(values)) {
t.Error(fmt.Sprintf("expected %d, actually %d", len(values), intResult.Code))
}
}

func TestHDel(t *testing.T) {
FlushAll(testDB, [][]byte{})
size := 100

// set values
key := strconv.FormatInt(int64(rand.Int()), 10)
fields := make([]string, size)
for i := 0; i < size; i++ {
value := strconv.FormatInt(int64(rand.Int()), 10)
field := strconv.Itoa(i)
fields[i] = field
HSet(testDB, toArgs(key, field, value))
}

// test HDel
args := []string{key}
args = append(args, fields...)
actual := HDel(testDB, toArgs(args...))
if intResult, _ := actual.(*reply.IntReply); intResult.Code != int64(len(fields)) {
t.Error(fmt.Sprintf("expected %d, actually %d", len(fields), intResult.Code))
}

actual = HLen(testDB, toArgs(key))
if intResult, _ := actual.(*reply.IntReply); intResult.Code != int64(0) {
t.Error(fmt.Sprintf("expected %d, actually %d", 0, intResult.Code))
}
}

func TestHMSet(t *testing.T) {
FlushAll(testDB, [][]byte{})
size := 100

// test hset
key := strconv.FormatInt(int64(rand.Int()), 10)
fields := make([]string, size)
values := make([]string, size)
setArgs := []string{key}
for i := 0; i < size; i++ {
fields[i] = strconv.FormatInt(int64(rand.Int()), 10)
values[i] = strconv.FormatInt(int64(rand.Int()), 10)
setArgs = append(setArgs, fields[i], values[i])
}
result := HMSet(testDB, toArgs(setArgs...))
if _, ok := result.(*reply.OkReply); !ok {
t.Error(fmt.Sprintf("expected ok, actually %s", string(result.ToBytes())))
}

// test HMGet
getArgs := []string{key}
getArgs = append(getArgs, fields...)
actual := HMGet(testDB, toArgs(getArgs...))
expected := reply.MakeMultiBulkReply(toArgs(values...))
if !utils.BytesEquals(actual.ToBytes(), expected.ToBytes()) {
t.Error(fmt.Sprintf("expected %s, actually %s", string(expected.ToBytes()), string(actual.ToBytes())))
}
}

func TestHGetAll(t *testing.T) {
FlushAll(testDB, [][]byte{})
size := 100
key := strconv.FormatInt(int64(rand.Int()), 10)
fields := make([]string, size)
valueSet := make(map[string]bool, size)
valueMap := make(map[string]string)
all := make([]string, 0)
for i := 0; i < size; i++ {
fields[i] = strconv.FormatInt(int64(rand.Int()), 10)
value := strconv.FormatInt(int64(rand.Int()), 10)
all = append(all, fields[i], value)
valueMap[fields[i]] = value
valueSet[value] = true
HSet(testDB, toArgs(key, fields[i], value))
}

// test HGetAll
result := HGetAll(testDB, toArgs(key))
multiBulk, ok := result.(*reply.MultiBulkReply)
if !ok {
t.Error(fmt.Sprintf("expected MultiBulkReply, actually %s", string(result.ToBytes())))
}
if 2*len(fields) != len(multiBulk.Args) {
t.Error(fmt.Sprintf("expected %d items , actually %d ", 2*len(fields), len(multiBulk.Args)))
}
for i := range fields {
field := string(multiBulk.Args[2*i])
actual := string(multiBulk.Args[2*i+1])
expected, ok := valueMap[field]
if !ok {
t.Error(fmt.Sprintf("unexpected field %s", field))
continue
}
if actual != expected {
t.Error(fmt.Sprintf("expected %s, actually %s", expected, actual))
}
}

// test HKeys
result = HKeys(testDB, toArgs(key))
multiBulk, ok = result.(*reply.MultiBulkReply)
if !ok {
t.Error(fmt.Sprintf("expected MultiBulkReply, actually %s", string(result.ToBytes())))
}
if len(fields) != len(multiBulk.Args) {
t.Error(fmt.Sprintf("expected %d items , actually %d ", len(fields), len(multiBulk.Args)))
}
for _, v := range multiBulk.Args {
field := string(v)
if _, ok := valueMap[field]; !ok {
t.Error(fmt.Sprintf("unexpected field %s", field))
}
}

// test HVals
result = HVals(testDB, toArgs(key))
multiBulk, ok = result.(*reply.MultiBulkReply)
if !ok {
t.Error(fmt.Sprintf("expected MultiBulkReply, actually %s", string(result.ToBytes())))
}
if len(fields) != len(multiBulk.Args) {
t.Error(fmt.Sprintf("expected %d items , actually %d ", len(fields), len(multiBulk.Args)))
}
for _, v := range multiBulk.Args {
value := string(v)
_, ok := valueSet[value]
if !ok {
t.Error(fmt.Sprintf("unexpected value %s", value))
}
}
}

func TestHIncrBy(t *testing.T) {
FlushAll(testDB, [][]byte{})

key := strconv.FormatInt(int64(rand.Int()), 10)
result := HIncrBy(testDB, toArgs(key, "a", "1"))
if bulkResult, _ := result.(*reply.BulkReply); string(bulkResult.Arg) != "1" {
t.Error(fmt.Sprintf("expected %s, actually %s", "1", string(bulkResult.Arg)))
}
result = HIncrBy(testDB, toArgs(key, "a", "1"))
if bulkResult, _ := result.(*reply.BulkReply); string(bulkResult.Arg) != "2" {
t.Error(fmt.Sprintf("expected %s, actually %s", "2", string(bulkResult.Arg)))
}

result = HIncrByFloat(testDB, toArgs(key, "b", "1.2"))
if bulkResult, _ := result.(*reply.BulkReply); string(bulkResult.Arg) != "1.2" {
t.Error(fmt.Sprintf("expected %s, actually %s", "1.2", string(bulkResult.Arg)))
}
result = HIncrByFloat(testDB, toArgs(key, "b", "1.2"))
if bulkResult, _ := result.(*reply.BulkReply); string(bulkResult.Arg) != "2.4" {
t.Error(fmt.Sprintf("expected %s, actually %s", "2.4", string(bulkResult.Arg)))
}
}
2 changes: 1 addition & 1 deletion src/db/string_test.go
Original file line number Diff line number Diff line change
Expand Up @@ -95,7 +95,7 @@ func TestMSet(t *testing.T) {
size := 10
keys := make([]string, size)
values := make([][]byte, size)
args := make([]string, size*2)[0:0]
args := make([]string, 0, size*2)
for i := 0; i < size; i++ {
keys[i] = strconv.FormatInt(int64(rand.Int()), 10)
value := strconv.FormatInt(int64(rand.Int()), 10)
Expand Down

0 comments on commit d12a413

Please sign in to comment.