Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Fix RegionEpoch Error and CheckWaitIndex takes too long #134

Merged
merged 7 commits into from
Aug 3, 2022
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
27 changes: 20 additions & 7 deletions components/raftstore/src/coprocessor/dispatcher.rs
Original file line number Diff line number Diff line change
Expand Up @@ -416,13 +416,14 @@ impl<E: KvEngine> CoprocessorHost<E> {
}
}

pub fn pre_exec(&self, region: &Region, cmd: &RaftCmdRequest) -> bool {
// (index, term) is for the applying entry.
pub fn pre_exec(&self, region: &Region, cmd: &RaftCmdRequest, index: u64, term: u64) -> bool {
let mut ctx = ObserverContext::new(region);
if !cmd.has_admin_request() {
let query = cmd.get_requests();
for observer in &self.registry.query_observers {
let observer = observer.observer.inner();
if observer.pre_exec_query(&mut ctx, query) {
if observer.pre_exec_query(&mut ctx, query, index, term) {
return true;
}
}
Expand All @@ -431,7 +432,7 @@ impl<E: KvEngine> CoprocessorHost<E> {
let admin = cmd.get_admin_request();
for observer in &self.registry.admin_observers {
let observer = observer.observer.inner();
if observer.pre_exec_admin(&mut ctx, admin) {
if observer.pre_exec_admin(&mut ctx, admin, index, term) {
return true;
}
}
Expand Down Expand Up @@ -632,7 +633,13 @@ mod tests {
ctx.bypass = self.bypass.load(Ordering::SeqCst);
}

fn pre_exec_admin(&self, ctx: &mut ObserverContext<'_>, _: &AdminRequest) -> bool {
fn pre_exec_admin(
&self,
ctx: &mut ObserverContext<'_>,
_: &AdminRequest,
_: u64,
_: u64,
) -> bool {
self.called.fetch_add(16, Ordering::SeqCst);
ctx.bypass = self.bypass.load(Ordering::SeqCst);
false
Expand Down Expand Up @@ -663,7 +670,13 @@ mod tests {
ctx.bypass = self.bypass.load(Ordering::SeqCst);
}

fn pre_exec_query(&self, ctx: &mut ObserverContext<'_>, _: &[Request]) -> bool {
fn pre_exec_query(
&self,
ctx: &mut ObserverContext<'_>,
_: &[Request],
_: u64,
_: u64,
) -> bool {
self.called.fetch_add(15, Ordering::SeqCst);
ctx.bypass = self.bypass.load(Ordering::SeqCst);
false
Expand Down Expand Up @@ -806,12 +819,12 @@ mod tests {

let mut query_req = RaftCmdRequest::default();
query_req.set_requests(vec![Request::default()].into());
host.pre_exec(&region, &query_req);
host.pre_exec(&region, &query_req, 0, 0);
assert_all!([&ob.called], &[103]); // 15

let mut admin_req = RaftCmdRequest::default();
admin_req.set_admin_request(AdminRequest::default());
host.pre_exec(&region, &admin_req);
host.pre_exec(&region, &admin_req, 0, 0);
assert_all!([&ob.called], &[119]); // 16
}

Expand Down
16 changes: 12 additions & 4 deletions components/raftstore/src/coprocessor/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -87,8 +87,15 @@ pub trait AdminObserver: Coprocessor {
/// For now, the `region` in `ObserverContext` is an empty region.
fn post_apply_admin(&self, _: &mut ObserverContext<'_>, _: &AdminResponse) {}

/// Hook before exec admin request, returns whether we should skip this admin.
fn pre_exec_admin(&self, _: &mut ObserverContext<'_>, _: &AdminRequest) -> bool {
/// Hook before exec admin request, returns whether we should skip this
/// admin.
fn pre_exec_admin(
&self,
_: &mut ObserverContext<'_>,
_: &AdminRequest,
_: u64,
_: u64,
) -> bool {
false
}
}
Expand All @@ -111,8 +118,9 @@ pub trait QueryObserver: Coprocessor {
/// For now, the `region` in `ObserverContext` is an empty region.
fn post_apply_query(&self, _: &mut ObserverContext<'_>, _: &Cmd) {}

/// Hook before exec write request, returns whether we should skip this write.
fn pre_exec_query(&self, _: &mut ObserverContext<'_>, _: &[Request]) -> bool {
/// Hook before exec write request, returns whether we should skip this
/// write.
fn pre_exec_query(&self, _: &mut ObserverContext<'_>, _: &[Request], _: u64, _: u64) -> bool {
false
}
}
Expand Down
4 changes: 3 additions & 1 deletion components/raftstore/src/engine_store_ffi/interfaces.rs
Original file line number Diff line number Diff line change
Expand Up @@ -363,6 +363,8 @@ pub mod root {
arg1: *mut root::DB::EngineStoreServerWrap,
arg2: u64,
arg3: u8,
arg4: u64,
arg5: u64,
) -> u8,
>,
pub fn_atomic_update_proxy: ::std::option::Option<
Expand Down Expand Up @@ -441,7 +443,7 @@ pub mod root {
),
>,
}
pub const RAFT_STORE_PROXY_VERSION: u64 = 11834134381166380568;
pub const RAFT_STORE_PROXY_VERSION: u64 = 794398293737678384;
pub const RAFT_STORE_PROXY_MAGIC_NUMBER: u32 = 324508639;
}
}
10 changes: 9 additions & 1 deletion components/raftstore/src/engine_store_ffi/mod.rs
Original file line number Diff line number Diff line change
Expand Up @@ -950,13 +950,21 @@ impl EngineStoreServerHelper {
}
}

pub fn try_flush_data(&self, region_id: u64, try_until_succeed: bool) -> bool {
pub fn try_flush_data(
&self,
region_id: u64,
try_until_succeed: bool,
index: u64,
term: u64,
) -> bool {
debug_assert!(self.fn_try_flush_data.is_some());
unsafe {
(self.fn_try_flush_data.into_inner())(
self.inner,
region_id,
if try_until_succeed { 1 } else { 0 },
index,
term,
) != 0
}
}
Expand Down
18 changes: 13 additions & 5 deletions components/raftstore/src/engine_store_ffi/observer.rs
Original file line number Diff line number Diff line change
Expand Up @@ -163,13 +163,21 @@ impl Coprocessor for TiFlashObserver {
}

impl AdminObserver for TiFlashObserver {
fn pre_exec_admin(&self, ob_ctx: &mut ObserverContext<'_>, req: &AdminRequest) -> bool {
fn pre_exec_admin(
&self,
ob_ctx: &mut ObserverContext<'_>,
req: &AdminRequest,
index: u64,
term: u64,
) -> bool {
match req.get_cmd_type() {
AdminCmdType::CompactLog => {
if !self
.engine_store_server_helper
.try_flush_data(ob_ctx.region().get_id(), false)
{
if !self.engine_store_server_helper.try_flush_data(
ob_ctx.region().get_id(),
false,
index,
term,
) {
debug!("can't flush data, should filter CompactLog";
"region" => ?ob_ctx.region(),
"req" => ?req,
Expand Down
10 changes: 8 additions & 2 deletions components/raftstore/src/store/fsm/apply.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1234,7 +1234,7 @@ where
// E.g. `RaftApplyState` must not be changed.

let mut origin_epoch = None;
let (resp, exec_result, flash_res) = if ctx.host.pre_exec(&self.region, req) {
let (resp, exec_result, flash_res) = if ctx.host.pre_exec(&self.region, req, index, term) {
// One of the observers want to filter execution of the command.
let mut resp = RaftCmdResponse::default();
if !req.get_header().get_uuid().is_empty() {
Expand Down Expand Up @@ -5062,7 +5062,13 @@ mod tests {
}

impl AdminObserver for ApplyObserver {
fn pre_exec_admin(&self, _: &mut ObserverContext<'_>, req: &AdminRequest) -> bool {
fn pre_exec_admin(
&self,
_: &mut ObserverContext<'_>,
req: &AdminRequest,
_: u64,
_: u64,
) -> bool {
let cmd_type = req.get_cmd_type();
if cmd_type == AdminCmdType::CompactLog
&& self.filter_compact_log.deref().load(Ordering::SeqCst)
Expand Down
2 changes: 2 additions & 0 deletions mock-engine-store/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -634,6 +634,8 @@ extern "C" fn ffi_try_flush_data(
_arg1: *mut ffi_interfaces::EngineStoreServerWrap,
_region_id: u64,
_try_until_succeed: u8,
_index: u64,
_term: u64,
) -> u8 {
fail::fail_point!("try_flush_data", |e| e.unwrap().parse::<u8>().unwrap());
true as u8
Expand Down
2 changes: 2 additions & 0 deletions new-mock-engine-store/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -644,6 +644,8 @@ unsafe extern "C" fn ffi_try_flush_data(
arg1: *mut ffi_interfaces::EngineStoreServerWrap,
region_id: u64,
_try_until_succeed: u8,
_index: u64,
_term: u64,
) -> u8 {
let store = into_engine_store_server_wrap(arg1);
let kvstore = &mut (*store.engine_store_server).kvstore;
Expand Down
2 changes: 1 addition & 1 deletion raftstore-proxy/ffi/src/RaftStoreProxyFFI/@version
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
#pragma once
#include <cstdint>
namespace DB { constexpr uint64_t RAFT_STORE_PROXY_VERSION = 11834134381166380568ull; }
namespace DB { constexpr uint64_t RAFT_STORE_PROXY_VERSION = 794398293737678384ull; }
3 changes: 2 additions & 1 deletion raftstore-proxy/ffi/src/RaftStoreProxyFFI/ProxyFFI.h
Original file line number Diff line number Diff line change
Expand Up @@ -188,7 +188,8 @@ struct EngineStoreServerHelper {
BaseBuffView, BaseBuffView,
RaftCmdHeader);
uint8_t (*fn_need_flush_data)(EngineStoreServerWrap *, uint64_t);
uint8_t (*fn_try_flush_data)(EngineStoreServerWrap *, uint64_t, uint8_t);
uint8_t (*fn_try_flush_data)(EngineStoreServerWrap *, uint64_t, uint8_t,
uint64_t, uint64_t);
void (*fn_atomic_update_proxy)(EngineStoreServerWrap *,
RaftStoreProxyFFIHelper *);
void (*fn_handle_destroy)(EngineStoreServerWrap *, uint64_t);
Expand Down