|
| 1 | +module Tests |
| 2 | + |
| 3 | +open System |
| 4 | +open Expecto |
| 5 | +open StackExchange.Redis |
| 6 | +open System.Threading |
| 7 | +open System.Threading.Tasks |
| 8 | +open System.Reactive |
| 9 | +open System.Reactive.Linq |
| 10 | +open FSharp.Control.Redis.Streams.Core |
| 11 | +open FSharp.Control.Redis.Streams.Reactive |
| 12 | +open FSharp.Control.Tasks.V2.ContextInsensitive |
| 13 | +open Hopac |
| 14 | + |
| 15 | +let getUniqueKey (keyType : string) (key : string) = |
| 16 | + let suffix = Guid.NewGuid().ToString() |
| 17 | + sprintf "%s:%s:%s" keyType key suffix |
| 18 | + |> RedisKey.op_Implicit |
| 19 | + |
| 20 | +let printNameEntryValues (nve : NameValueEntry) = |
| 21 | + printfn "Key: %A - Value: %A" nve.Name nve.Value |
| 22 | +let printStreamEntry (se : StreamEntry) = |
| 23 | + printfn "Id: %A" se.Id |
| 24 | + se.Values |> Seq.iter(printNameEntryValues ) |
| 25 | +let printRedisStream (rs : RedisStream) = |
| 26 | + printfn "key: %A" rs.Key |
| 27 | + rs.Entries |> Seq.iter(printStreamEntry) |
| 28 | + |
| 29 | +let rkey (s : string) = RedisKey.op_Implicit s |
| 30 | +let rval (s : string) = RedisValue.op_Implicit s |
| 31 | +let nve name value = NameValueEntry(rval name, rval value) |
| 32 | + |
| 33 | + |
| 34 | + |
| 35 | +let failDueToTimeout message (ts : TimeSpan) = |
| 36 | + failtestf "%s. Expected task to complete but failed after timeout of %f ms" message ts.TotalMilliseconds |
| 37 | + |
| 38 | +type StreamExpect<'a> (predicate : seq<'a> -> bool) = |
| 39 | + let values = ResizeArray<'a>() |
| 40 | + let cts = new CancellationTokenSource() |
| 41 | + let predicateConditionMet = TaskCompletionSource<unit>() |
| 42 | + let mutable debugPrint : Option<'a -> unit> = None |
| 43 | + let mutable subscription : IDisposable = new Disposables.BooleanDisposable() :> IDisposable |
| 44 | + let checkPredicate () = |
| 45 | + if predicate values then |
| 46 | + predicateConditionMet.TrySetResult () |
| 47 | + |> ignore |
| 48 | + |
| 49 | + member this.Values |
| 50 | + with get () = values |
| 51 | + |
| 52 | + member this.DebugPrint |
| 53 | + with get () = debugPrint |
| 54 | + and set (v) = debugPrint <- v |
| 55 | + member this.CaptureFromStream (s : IObservable<'a>) = |
| 56 | + let printer = |
| 57 | + match debugPrint with |
| 58 | + | Some d -> d |
| 59 | + | None -> ignore |
| 60 | + let d = |
| 61 | + s.Select(fun x -> x |> printer; x) |
| 62 | + .Subscribe(values.Add >> checkPredicate) |
| 63 | + subscription <- d |
| 64 | + |
| 65 | + member this.Await message (timeout : TimeSpan) = task { |
| 66 | + let generateTimeout () = task { |
| 67 | + do! Task.Delay(timeout,cts.Token) |
| 68 | + failDueToTimeout message timeout |
| 69 | + } |
| 70 | + |
| 71 | + let! firstFinishedTask = Task.WhenAny [ |
| 72 | + predicateConditionMet.Task |
| 73 | + generateTimeout () |
| 74 | + ] |
| 75 | + cts.Cancel() |
| 76 | + do! firstFinishedTask |
| 77 | + } |
| 78 | + |
| 79 | + interface IDisposable with |
| 80 | + member x.Dispose() = |
| 81 | + subscription.Dispose() |
| 82 | + cts.Dispose() |
| 83 | + |
| 84 | +let ranStr n : string = |
| 85 | + let r = Random() |
| 86 | + String(Array.init n (fun _ -> char (r.Next(97,123)))) |
| 87 | + |
| 88 | + |
| 89 | + |
| 90 | +let options = ConfigurationOptions.Parse("localhost", ResponseTimeout = 100000, SyncTimeout=100000, ConnectTimeout=100000) |
| 91 | +let redis = ConnectionMultiplexer.Connect(options) |
| 92 | +[<Tests>] |
| 93 | +let tests = |
| 94 | + testSequenced <| |
| 95 | + testList "samples" [ |
| 96 | + testCaseAsync "Stream should generate 2 events" <| async { |
| 97 | + let db = redis.GetDatabase() |
| 98 | + let key = getUniqueKey "stream" "Foo" |
| 99 | + use expecter = new StreamExpect<_>(fun s -> s |> Seq.length = 2) |
| 100 | + pollStreamForever db key StreamPosition.Beginning PollOptions.Default |
| 101 | + |> expecter.CaptureFromStream |
| 102 | + |
| 103 | + let values = |
| 104 | + [| |
| 105 | + nve "Field1" "Value1" |
| 106 | + nve "Field2" "Value3" |
| 107 | + |] |
| 108 | + let! x = db.StreamAddAsync(key, values) |> Async.AwaitTask |
| 109 | + let values = |
| 110 | + [| |
| 111 | + nve "Field1" "Value4" |
| 112 | + nve "Field2" "Value6" |
| 113 | + |] |
| 114 | + let! x = db.StreamAddAsync(key, values) |> Async.AwaitTask |
| 115 | + do! expecter.Await "Should have 2 results" (TimeSpan.FromSeconds(1.)) |> Async.AwaitTask |
| 116 | + } |
| 117 | + |
| 118 | + testCaseAsync "Stream should generate 20000 events" <| async { |
| 119 | + let total = 20000 |
| 120 | + let db = redis.GetDatabase() |
| 121 | + let key = getUniqueKey "stream" "Foo" |
| 122 | + use expecter = new StreamExpect<_>(fun s -> s |> Seq.length = total) |
| 123 | + pollStreamForever db key StreamPosition.Beginning PollOptions.Default |
| 124 | + |> expecter.CaptureFromStream |
| 125 | + |
| 126 | + job { |
| 127 | + do! |
| 128 | + [0..total] |
| 129 | + |> Seq.map(fun i -> |
| 130 | + let values = |
| 131 | + [| |
| 132 | + NameValueEntry (RedisValue.op_Implicit "Field1", RedisValue.op_Implicit total) |
| 133 | + |] |
| 134 | + job { |
| 135 | + let! x = db.StreamAddAsync(key, values) |> Async.AwaitTask |
| 136 | + return () |
| 137 | + }) |
| 138 | + |> Stream.ofSeq |
| 139 | + |> Stream.mapPipelinedJob (Environment.ProcessorCount * 4096 * 2) id |
| 140 | + |> Stream.iter |
| 141 | + } |> start |
| 142 | + |
| 143 | + do! expecter.Await "Should have 20000 results" (TimeSpan.FromSeconds(30.)) |> Async.AwaitTask |
| 144 | + } |
| 145 | + |
| 146 | + |
| 147 | + testCaseAsync "Stream should generate large fields" <| async { |
| 148 | + let total = 200 |
| 149 | + let db = redis.GetDatabase() |
| 150 | + let key = getUniqueKey "stream" "Foo" |
| 151 | + use expecter = new StreamExpect<_>(fun s -> s |> Seq.length = total) |
| 152 | + pollStreamForever db key StreamPosition.Beginning PollOptions.Default |
| 153 | + |> expecter.CaptureFromStream |
| 154 | + |
| 155 | + job { |
| 156 | + do! |
| 157 | + [0..total] |
| 158 | + |> Seq.map(fun i -> |
| 159 | + let data = ranStr (20000) |
| 160 | + let values = |
| 161 | + [| |
| 162 | + NameValueEntry (RedisValue.op_Implicit "Field1", RedisValue.op_Implicit data) |
| 163 | + |] |
| 164 | + job { |
| 165 | + let! x = db.StreamAddAsync(key, values) |> Async.AwaitTask |
| 166 | + return () |
| 167 | + }) |
| 168 | + |> Stream.ofSeq |
| 169 | + |> Stream.mapPipelinedJob (Environment.ProcessorCount * 2) id |
| 170 | + |> Stream.iter |
| 171 | + } |> start |
| 172 | + |
| 173 | + do! expecter.Await "Should have 2 results" (TimeSpan.FromSeconds(30.)) |> Async.AwaitTask |
| 174 | + } |
| 175 | + ] |
0 commit comments