Merge #4964

4964: Move ReqQueue to lsp-server r=matklad a=matklad



bors r+
🤖

Co-authored-by: Aleksey Kladov <[email protected]>

Author: bors[bot]

Cargo.lock

@@ -32,7 +32,7 @@ threadpool = "1.7.1"
 
 stdx = { path = "../stdx" }
 
-lsp-server = "0.3.2"
+lsp-server = "0.3.3"
 ra_flycheck = { path = "../ra_flycheck" }
 ra_ide = { path = "../ra_ide" }
 ra_prof = { path = "../ra_prof" }

crates/rust-analyzer/Cargo.toml

@@ -20,7 +20,7 @@ use stdx::format_to;
 use crate::{
     config::{Config, FilesWatcher},
     diagnostics::{CheckFixes, DiagnosticCollection},
-    main_loop::req_queue::{CompletedInRequest, LatestRequests},
+    main_loop::request_metrics::{LatestRequests, RequestMetrics},
     to_proto::url_from_abs_path,
     vfs_glob::{Glob, RustPackageFilterBuilder},
     LspError, Result,
@@ -55,19 +55,19 @@ pub struct GlobalState {
     pub analysis_host: AnalysisHost,
     pub vfs: Arc<RwLock<Vfs>>,
     pub task_receiver: Receiver<VfsTask>,
-    pub latest_requests: Arc<RwLock<LatestRequests>>,
     pub flycheck: Option<Flycheck>,
     pub diagnostics: DiagnosticCollection,
     pub proc_macro_client: ProcMacroClient,
+    pub(crate) latest_requests: Arc<RwLock<LatestRequests>>,
 }
 
 /// An immutable snapshot of the world's state at a point in time.
 pub struct GlobalStateSnapshot {
     pub config: Config,
     pub workspaces: Arc<Vec<ProjectWorkspace>>,
     pub analysis: Analysis,
-    pub latest_requests: Arc<RwLock<LatestRequests>>,
     pub check_fixes: CheckFixes,
+    pub(crate) latest_requests: Arc<RwLock<LatestRequests>>,
     vfs: Arc<RwLock<Vfs>>,
 }
 
@@ -236,7 +236,7 @@ impl GlobalState {
         self.analysis_host.collect_garbage()
     }
 
-    pub(crate) fn complete_request(&mut self, request: CompletedInRequest) {
+    pub(crate) fn complete_request(&mut self, request: RequestMetrics) {
         self.latest_requests.write().record(request)
     }
 }

crates/rust-analyzer/src/global_state.rs

@@ -32,7 +32,7 @@ mod semantic_tokens;
 
 use serde::de::DeserializeOwned;
 
-pub type Result<T> = std::result::Result<T, Box<dyn std::error::Error + Send + Sync>>;
+pub type Result<T, E = Box<dyn std::error::Error + Send + Sync>> = std::result::Result<T, E>;
 pub use crate::{
     caps::server_capabilities,
     main_loop::LspError,

crates/rust-analyzer/src/lib.rs

@@ -3,7 +3,7 @@
 
 mod handlers;
 mod subscriptions;
-pub(crate) mod req_queue;
+pub(crate) mod request_metrics;
 
 use std::{
     borrow::Cow,
@@ -17,11 +17,13 @@ use std::{
 };
 
 use crossbeam_channel::{never, select, unbounded, RecvError, Sender};
-use lsp_server::{Connection, ErrorCode, Message, Notification, Request, RequestId, Response};
+use lsp_server::{
+    Connection, ErrorCode, Message, Notification, ReqQueue, Request, RequestId, Response,
+};
 use lsp_types::{
-    DidChangeTextDocumentParams, NumberOrString, TextDocumentContentChangeEvent, WorkDoneProgress,
-    WorkDoneProgressBegin, WorkDoneProgressCreateParams, WorkDoneProgressEnd,
-    WorkDoneProgressReport,
+    request::Request as _, DidChangeTextDocumentParams, NumberOrString,
+    TextDocumentContentChangeEvent, WorkDoneProgress, WorkDoneProgressBegin,
+    WorkDoneProgressCreateParams, WorkDoneProgressEnd, WorkDoneProgressReport,
 };
 use ra_flycheck::{CheckTask, Status};
 use ra_ide::{Canceled, FileId, LineIndex};
@@ -37,10 +39,9 @@ use crate::{
     from_proto,
     global_state::{file_id_to_url, GlobalState, GlobalStateSnapshot},
     lsp_ext,
-    main_loop::subscriptions::Subscriptions,
+    main_loop::{request_metrics::RequestMetrics, subscriptions::Subscriptions},
     Result,
 };
-use req_queue::ReqQueue;
 
 #[derive(Debug)]
 pub struct LspError {
@@ -150,10 +151,11 @@ pub fn main_loop(config: Config, connection: Connection) -> Result<()> {
                 register_options: Some(serde_json::to_value(registration_options).unwrap()),
             };
             let params = lsp_types::RegistrationParams { registrations: vec![registration] };
-            let request = loop_state
-                .req_queue
-                .outgoing
-                .register::<lsp_types::request::RegisterCapability>(params, |_, _| ());
+            let request = loop_state.req_queue.outgoing.register(
+                lsp_types::request::RegisterCapability::METHOD.to_string(),
+                params,
+                DO_NOTHING,
+            );
             connection.sender.send(request.into()).unwrap();
         }
 
@@ -261,9 +263,13 @@ impl fmt::Debug for Event {
     }
 }
 
+type ReqHandler = fn(&mut GlobalState, Response);
+const DO_NOTHING: ReqHandler = |_, _| ();
+type Incoming = lsp_server::Incoming<(&'static str, Instant)>;
+
 #[derive(Default)]
 struct LoopState {
-    req_queue: ReqQueue<fn(&mut GlobalState, lsp_server::Response)>,
+    req_queue: ReqQueue<(&'static str, Instant), ReqHandler>,
     subscriptions: Subscriptions,
     workspace_loaded: bool,
     roots_progress_reported: Option<usize>,
@@ -367,14 +373,19 @@ fn loop_turn(
 fn on_task(
     task: Task,
     msg_sender: &Sender<Message>,
-    incoming_requests: &mut req_queue::Incoming,
+    incoming_requests: &mut Incoming,
     state: &mut GlobalState,
 ) {
     match task {
         Task::Respond(response) => {
-            if let Some(completed) = incoming_requests.complete(response.id.clone()) {
-                log::info!("handled req#{} in {:?}", completed.id, completed.duration);
-                state.complete_request(completed);
+            if let Some((method, start)) = incoming_requests.complete(response.id.clone()) {
+                let duration = start.elapsed();
+                log::info!("handled req#{} in {:?}", response.id, duration);
+                state.complete_request(RequestMetrics {
+                    id: response.id.clone(),
+                    method: method.to_string(),
+                    duration,
+                });
                 msg_sender.send(response.into()).unwrap();
             }
         }
@@ -387,7 +398,7 @@ fn on_task(
 
 fn on_request(
     global_state: &mut GlobalState,
-    incoming_requests: &mut req_queue::Incoming,
+    incoming_requests: &mut Incoming,
     pool: &ThreadPool,
     task_sender: &Sender<Task>,
     msg_sender: &Sender<Message>,
@@ -527,37 +538,35 @@ fn on_notification(
         Ok(_) => {
             // As stated in https://github.com/microsoft/language-server-protocol/issues/676,
             // this notification's parameters should be ignored and the actual config queried separately.
-            let request = loop_state
-                .req_queue
-                .outgoing
-                .register::<lsp_types::request::WorkspaceConfiguration>(
-                    lsp_types::ConfigurationParams {
-                        items: vec![lsp_types::ConfigurationItem {
-                            scope_uri: None,
-                            section: Some("rust-analyzer".to_string()),
-                        }],
-                    },
-                    |global_state, resp| {
-                        log::debug!("config update response: '{:?}", resp);
-                        let Response { error, result, .. } = resp;
-
-                        match (error, result) {
-                            (Some(err), _) => {
-                                log::error!("failed to fetch the server settings: {:?}", err)
-                            }
-                            (None, Some(configs)) => {
-                                if let Some(new_config) = configs.get(0) {
-                                    let mut config = global_state.config.clone();
-                                    config.update(&new_config);
-                                    global_state.update_configuration(config);
-                                }
+            let request = loop_state.req_queue.outgoing.register(
+                lsp_types::request::WorkspaceConfiguration::METHOD.to_string(),
+                lsp_types::ConfigurationParams {
+                    items: vec![lsp_types::ConfigurationItem {
+                        scope_uri: None,
+                        section: Some("rust-analyzer".to_string()),
+                    }],
+                },
+                |global_state, resp| {
+                    log::debug!("config update response: '{:?}", resp);
+                    let Response { error, result, .. } = resp;
+
+                    match (error, result) {
+                        (Some(err), _) => {
+                            log::error!("failed to fetch the server settings: {:?}", err)
+                        }
+                        (None, Some(configs)) => {
+                            if let Some(new_config) = configs.get(0) {
+                                let mut config = global_state.config.clone();
+                                config.update(&new_config);
+                                global_state.update_configuration(config);
                             }
-                            (None, None) => log::error!(
-                                "received empty server settings response from the client"
-                            ),
                         }
-                    },
-                );
+                        (None, None) => {
+                            log::error!("received empty server settings response from the client")
+                        }
+                    }
+                },
+            );
             msg_sender.send(request.into())?;
 
             return Ok(());
@@ -727,15 +736,13 @@ fn send_startup_progress(sender: &Sender<Message>, loop_state: &mut LoopState) {
 
     match (prev, loop_state.workspace_loaded) {
         (None, false) => {
-            let request = loop_state
-                .req_queue
-                .outgoing
-                .register::<lsp_types::request::WorkDoneProgressCreate>(
-                    WorkDoneProgressCreateParams {
-                        token: lsp_types::ProgressToken::String("rustAnalyzer/startup".into()),
-                    },
-                    |_, _| (),
-                );
+            let request = loop_state.req_queue.outgoing.register(
+                lsp_types::request::WorkDoneProgressCreate::METHOD.to_string(),
+                WorkDoneProgressCreateParams {
+                    token: lsp_types::ProgressToken::String("rustAnalyzer/startup".into()),
+                },
+                DO_NOTHING,
+            );
             sender.send(request.into()).unwrap();
             send_startup_progress_notif(
                 sender,
@@ -778,7 +785,7 @@ struct PoolDispatcher<'a> {
     req: Option<Request>,
     pool: &'a ThreadPool,
     global_state: &'a mut GlobalState,
-    incoming_requests: &'a mut req_queue::Incoming,
+    incoming_requests: &'a mut Incoming,
     msg_sender: &'a Sender<Message>,
     task_sender: &'a Sender<Task>,
     request_received: Instant,
@@ -854,11 +861,7 @@ impl<'a> PoolDispatcher<'a> {
                 return None;
             }
         };
-        self.incoming_requests.register(req_queue::PendingInRequest {
-            id: id.clone(),
-            method: R::METHOD.to_string(),
-            received: self.request_received,
-        });
+        self.incoming_requests.register(id.clone(), (R::METHOD, self.request_received));
         Some((id, params))
     }