From: Vladislav Shpilevoy via Tarantool-patches <tarantool-patches@dev.tarantool.org> To: tarantool-patches@dev.tarantool.org, gorcunov@gmail.com, sergepetrenko@tarantool.org Subject: [Tarantool-patches] [PATCH 01/16] fio: don't use shared buffer in pread() Date: Sat, 20 Mar 2021 01:42:31 +0100 [thread overview] Message-ID: <72141a12d0ea2cca70563695c9e32890f1b9dc0d.1616200860.git.v.shpilevoy@tarantool.org> (raw) In-Reply-To: <cover.1616200860.git.v.shpilevoy@tarantool.org> fio:pread() used buffer.IBUF_SHARED, which might be reused after a yield. As a result, if pread() was called from 2 different fibers or in parallel with something else using IBUF_SHARED, it would turn the buffer into garbage for all parallel usages. The same problem existed for read(), and was fixed in c7c24f841322528c17714482d150b769d0afcddb ("fio: Fix race condition in fio.read"). But apparently pread() was missed. What is worse, the original commit's test passed even without the fix from that commit. Because it didn't check the results of read()s called from 2 fibers. The patch fixes pread() and adds a test covering both read() and pread(). The old test from the original commit is dropped. Follow up #3187 --- src/lua/fio.lua | 3 +- test/app/fio.result | 160 ++++++++++++++++++++++++------------------ test/app/fio.test.lua | 67 ++++++++++-------- 3 files changed, 129 insertions(+), 101 deletions(-) diff --git a/src/lua/fio.lua b/src/lua/fio.lua index 954c44cdf..5db8bdea3 100644 --- a/src/lua/fio.lua +++ b/src/lua/fio.lua @@ -101,8 +101,7 @@ fio_methods.pread = function(self, buf, size, offset) if not ffi.istype(const_char_ptr_t, buf) then offset = size size = buf - tmpbuf = buffer.IBUF_SHARED - tmpbuf:reset() + tmpbuf = buffer.ibuf() buf = tmpbuf:reserve(size) end local res, err = internal.pread(self.fh, buf, size, offset) diff --git a/test/app/fio.result b/test/app/fio.result index 20cfe345d..8b5716658 100644 --- a/test/app/fio.result +++ b/test/app/fio.result @@ -1380,76 +1380,6 @@ fio.unlink(tmpfile) --- - true ... -tmp1 = fio.pathjoin(tmpdir, "tmp1") ---- -... -tmp2= fio.pathjoin(tmpdir, "tmp2") ---- -... -test_run:cmd("setopt delimiter ';'") ---- -- true -... -function write_file(name, odd) - local fh = fio.open(name, { 'O_RDWR', 'O_TRUNC', 'O_CREAT' }, tonumber('0777', 8)) - if odd then - fh:write(string.rep('1', 100)) - else - fh:write(string.rep('2', 100)) - end - fh:write(name) - fh:seek(0) - return fh -end; ---- -... -test_run:cmd("setopt delimiter ''"); ---- -- true -... -fh1 = write_file(tmp1) ---- -... -fh2 = write_file(tmp2) ---- -... -fiber = require('fiber') ---- -... -digest = require('digest') ---- -... -str = fh1:read() ---- -... -fh1:seek(0) ---- -- 0 -... -hash = digest.crc32(str) ---- -... -ch = fiber.channel(1) ---- -... -f1 = fiber.create(function() str = fh1:read() ch:put(digest.crc32(str)) end) ---- -... -f2 = fiber.create(function() str = fh2:read() end) ---- -... -ch:get() == hash ---- -- true -... -fio.unlink(tmp1) ---- -- true -... -fio.unlink(tmp2) ---- -- true -... fio.rmdir(tmpdir) --- - true @@ -1602,3 +1532,93 @@ tmpdir = nil os.setenv('TMPDIR', old_tmpdir) --- ... +-- +-- read() and pread() should not use a shared buffer so as not to clash with +-- other fibers during yield. +-- +rights = tonumber('0777', 8) +--- +... +flags = {'O_RDWR', 'O_TRUNC', 'O_CREAT'} +--- +... +tmpdir = fio.tempdir() +--- +... +file1 = fio.pathjoin(tmpdir, 'file1') +--- +... +file2 = fio.pathjoin(tmpdir, 'file2') +--- +... +fd1 = fio.open(file1, flags, rights) +--- +... +fd2 = fio.open(file2, flags, rights) +--- +... +fd1:write('1'), fd1:seek(0) +--- +- true +- 0 +... +fd2:write('2'), fd2:seek(0) +--- +- true +- 0 +... +res1, res2 = nil +--- +... +do \ + fiber.new(function() res1 = fd1:read() end) \ + fiber.new(function() res2 = fd2:read() end) \ +end +--- +... +_ = test_run:wait_cond(function() return res1 and res2 end) +--- +... +assert(res1 == '1') +--- +- true +... +assert(res2 == '2') +--- +- true +... +-- +-- The same with pread(). +-- +res1, res2 = nil +--- +... +do \ + fiber.new(function() res1 = fd1:pread(1, 0) end) \ + fiber.new(function() res2 = fd2:pread(1, 0) end) \ +end +--- +... +_ = test_run:wait_cond(function() return res1 and res2 end) +--- +... +assert(res1 == '1') +--- +- true +... +assert(res2 == '2') +--- +- true +... +fd1:close() +--- +- true +... +fd2:close() +--- +- true +... +fio.rmtree(tmpdir) +--- +- true +... diff --git a/test/app/fio.test.lua b/test/app/fio.test.lua index d1a20e8e5..085d72110 100644 --- a/test/app/fio.test.lua +++ b/test/app/fio.test.lua @@ -442,35 +442,6 @@ fio.path.lexists(link) fio.unlink(link) fio.unlink(tmpfile) -tmp1 = fio.pathjoin(tmpdir, "tmp1") -tmp2= fio.pathjoin(tmpdir, "tmp2") -test_run:cmd("setopt delimiter ';'") -function write_file(name, odd) - local fh = fio.open(name, { 'O_RDWR', 'O_TRUNC', 'O_CREAT' }, tonumber('0777', 8)) - if odd then - fh:write(string.rep('1', 100)) - else - fh:write(string.rep('2', 100)) - end - fh:write(name) - fh:seek(0) - return fh -end; -test_run:cmd("setopt delimiter ''"); -fh1 = write_file(tmp1) -fh2 = write_file(tmp2) -fiber = require('fiber') -digest = require('digest') -str = fh1:read() -fh1:seek(0) -hash = digest.crc32(str) -ch = fiber.channel(1) -f1 = fiber.create(function() str = fh1:read() ch:put(digest.crc32(str)) end) -f2 = fiber.create(function() str = fh2:read() end) -ch:get() == hash - -fio.unlink(tmp1) -fio.unlink(tmp2) fio.rmdir(tmpdir) -- @@ -526,3 +497,41 @@ fio.tempdir() tmpdir = nil os.setenv('TMPDIR', old_tmpdir) + +-- +-- read() and pread() should not use a shared buffer so as not to clash with +-- other fibers during yield. +-- +rights = tonumber('0777', 8) +flags = {'O_RDWR', 'O_TRUNC', 'O_CREAT'} +tmpdir = fio.tempdir() +file1 = fio.pathjoin(tmpdir, 'file1') +file2 = fio.pathjoin(tmpdir, 'file2') +fd1 = fio.open(file1, flags, rights) +fd2 = fio.open(file2, flags, rights) +fd1:write('1'), fd1:seek(0) +fd2:write('2'), fd2:seek(0) + +res1, res2 = nil +do \ + fiber.new(function() res1 = fd1:read() end) \ + fiber.new(function() res2 = fd2:read() end) \ +end +_ = test_run:wait_cond(function() return res1 and res2 end) +assert(res1 == '1') +assert(res2 == '2') +-- +-- The same with pread(). +-- +res1, res2 = nil +do \ + fiber.new(function() res1 = fd1:pread(1, 0) end) \ + fiber.new(function() res2 = fd2:pread(1, 0) end) \ +end +_ = test_run:wait_cond(function() return res1 and res2 end) +assert(res1 == '1') +assert(res2 == '2') + +fd1:close() +fd2:close() +fio.rmtree(tmpdir) -- 2.24.3 (Apple Git-128)
next prev parent reply other threads:[~2021-03-20 0:43 UTC|newest] Thread overview: 32+ messages / expand[flat|nested] mbox.gz Atom feed top 2021-03-20 0:42 [Tarantool-patches] [PATCH 00/16] Cord buffer, static alloc, and Lua GC bug Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` Vladislav Shpilevoy via Tarantool-patches [this message] 2021-03-22 7:19 ` [Tarantool-patches] [PATCH 01/16] fio: don't use shared buffer in pread() Cyrill Gorcunov via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 10/16] uri: replace static_alloc with ffi stash and ibuf Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 11/16] buffer: remove static_alloc() from Lua Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 12/16] lua: use lua_pushfstring() instead of tt_sprintf() Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 13/16] sio: rework sio_strfaddr() Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 14/16] sio: increase SERVICE_NAME_MAXLEN size Vladislav Shpilevoy via Tarantool-patches 2021-03-21 21:58 ` Cyrill Gorcunov via Tarantool-patches 2021-03-22 22:32 ` Vladislav Shpilevoy via Tarantool-patches 2021-03-23 6:56 ` Cyrill Gorcunov via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 15/16] sio: introduce and use sio_snprintf() Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 16/16] buffer: remove Lua registers Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 02/16] test: don't use IBUF_SHARED in the tests Vladislav Shpilevoy via Tarantool-patches 2021-03-22 7:35 ` Cyrill Gorcunov via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 03/16] tuple: pass global ibuf explicitly where possible Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 04/16] iconv: take errno before reseting the context Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 05/16] cord_buf: introduce cord_buf API Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 06/16] cord_buf: introduce ownership management Vladislav Shpilevoy via Tarantool-patches 2021-03-22 16:48 ` Serge Petrenko via Tarantool-patches 2021-03-22 22:32 ` Vladislav Shpilevoy via Tarantool-patches 2021-03-23 7:46 ` Serge Petrenko via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 07/16] buffer: implement ffi stash Vladislav Shpilevoy via Tarantool-patches 2021-03-23 0:29 ` Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 08/16] uuid: replace static_alloc with " Vladislav Shpilevoy via Tarantool-patches 2021-03-20 0:42 ` [Tarantool-patches] [PATCH 09/16] uuid: drop tt_uuid_str() from Lua Vladislav Shpilevoy via Tarantool-patches 2021-03-21 16:38 ` [Tarantool-patches] [PATCH 00/16] Cord buffer, static alloc, and Lua GC bug Vladislav Shpilevoy via Tarantool-patches 2021-03-22 7:52 ` Cyrill Gorcunov via Tarantool-patches 2021-03-22 7:56 ` Konstantin Osipov via Tarantool-patches 2021-03-22 17:17 ` Serge Petrenko via Tarantool-patches 2021-03-23 23:45 ` Vladislav Shpilevoy via Tarantool-patches 2021-03-24 13:28 ` Kirill Yukhin via Tarantool-patches
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=72141a12d0ea2cca70563695c9e32890f1b9dc0d.1616200860.git.v.shpilevoy@tarantool.org \ --to=tarantool-patches@dev.tarantool.org \ --cc=gorcunov@gmail.com \ --cc=sergepetrenko@tarantool.org \ --cc=v.shpilevoy@tarantool.org \ --subject='Re: [Tarantool-patches] [PATCH 01/16] fio: don'\''t use shared buffer in pread()' \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
This is a public inbox, see mirroring instructions for how to clone and mirror all data and code used for this inbox