C# (CSharp) System.Text.Json TwoStacks.Resize Examples

Example #1

File: JsonParser.cs Project: mjp41/corefxlab

        private void ResizeDb()
        {
            var oldData    = _scratchMemory.Span;
            var newScratch = _pool.Rent(_scratchMemory.Length * 2);
            int dbLength   = newScratch.Length / 2;

            var newDb = newScratch.Memory.Slice(0, dbLength);

            _db.Slice(0, _valuesIndex).Span.CopyTo(newDb.Span);
            _db = newDb;

            var newStackMemory = newScratch.Memory.Slice(dbLength);

            _stack.Resize(newStackMemory);
            _scratchManager.Dispose();
            _scratchManager = newScratch;
        }

Example #2

File: JsonParser.cs Project: taylorhutchison/corefxlab

        private void ResizeDb()
        {
            var oldData    = _scratch.Span;
            var newScratch = _pool.Rent(_scratch.Length * 2);
            int dbLength   = newScratch.Length / 2;

            var newDb = newScratch.Slice(0, dbLength);

            _db.Slice(0, _valuesIndex).CopyTo(newDb);
            _db = newDb;

            var newStackMemory = newScratch.Slice(dbLength);

            _stack.Resize(newStackMemory);
            _pool.Return(_scratch);
            _scratch = newScratch;
        }