BashppServer.h

Go to the documentation of this file.

 
#pragma once
 
#include <iostream>
#include <thread>
#include <mutex>
#include <chrono>
#include <atomic>
#include <memory>
#include <optional>
#include <unordered_map>
#include <fstream>
#include <nlohmann/json.hpp>
#include <unistd.h>
 
#include <frozen/string.h>
#include <frozen/unordered_map.h>
 
#include "ThreadPool.h"
#include "ProgramPool.h"
 
#include "static/Message.h"
#include "generated/ErrorCodes.h"
 
#include "generated/CompletionList.h"
#include "generated/CompletionParams.h"
 
#include <bpp_include/bpp_codegen.h>
#include <include/BashVersion.h>
 
namespace bpp {
 
using json = nlohmann::json;
 
template<typename T>
void printValue(std::ostream& os, const T& value) {
    os << value;
}
 
template<typename... Ts>
void printValue(std::ostream& os, const std::variant<Ts...>& v) {
    std::visit([&os](auto&& arg) { os << arg; }, v);
}
 
 
class BashppServer {
    private:
        pid_t pid = getpid();
        // Resources
        std::shared_ptr<std::istream> input_stream;
        std::shared_ptr<std::ostream> output_stream;
        std::optional<std::string> socket_path;
        ThreadPool thread_pool = ThreadPool(std::thread::hardware_concurrency());
        ProgramPool program_pool = ProgramPool(10); // Maximum 10 programs in the pool
        std::ofstream log_file;
 
        // Debouncing didChange notifications
        struct DebounceState {
            std::atomic<uint64_t> change_generation{0};
            std::atomic<uint64_t> average_reparse_time_in_microseconds{50'000}; // 50ms initial guess
            std::atomic<uint32_t> debounce_time_in_milliseconds{100}; // Start with 100ms
        };
 
        // Map: program main URI -> DebounceState
        // Used for adaptive debouncing
        class DebounceStateMap {
            private:
                std::unordered_map<std::string, std::shared_ptr<DebounceState>> states;
                ProgramPool* pool;
                std::mutex map_mutex;
 
                void cleanup() {
                    for (auto it = states.begin(); it != states.end(); ) {
                        if (!pool->has_program(it->first)) {
                            it = states.erase(it);
                        } else {
                            it++;
                        }
                    }
                }
            public:
                DebounceStateMap() = delete;
                explicit DebounceStateMap(ProgramPool* program_pool) : pool(program_pool) {}
                std::shared_ptr<DebounceState> get(const std::string& uri) {
                    std::lock_guard<std::mutex> lock(map_mutex);
                    cleanup(); // Clean up stale entries on every access
                    auto it = states.find(uri);
                    if (it != states.end()) return it->second;
                    auto new_state = std::make_shared<DebounceState>();
                    states[uri] = new_state;
                    return new_state;
                }
        };
        DebounceStateMap debounce_states = DebounceStateMap(&program_pool);
        std::atomic<bool> processing_didChange{false};
 
        void _sendMessage(const std::string& message);
 
        static std::mutex output_mutex; // Mutex for thread-safe output
        static std::mutex log_mutex; // Mutex for thread-safe logging
        
        static const GenericResponseMessage invalidRequestHandler(const GenericRequestMessage& request);
        static void invalidNotificationHandler(const GenericNotificationMessage& request);
 
        void processRequest(const GenericRequestMessage& request);
        void processNotification(const GenericNotificationMessage& notification);
 
        CompletionList default_completion_list;
    public:
        BashppServer();
        ~BashppServer();
 
        void mainLoop();
 
        void setInputStream(std::shared_ptr<std::istream> stream);
        void setOutputStream(std::shared_ptr<std::ostream> stream);
        void setSocketPath(const std::string& path);
        void setLogFile(const std::string& path);
        void setTargetBashVersion(const BashVersion& version);
 
        GenericResponseMessage shutdown(const GenericRequestMessage& request);
        void cleanup();
 
        void processMessage(const std::string& message);
 
        // Request-Response handlers
        GenericResponseMessage handleInitialize(const GenericRequestMessage& request);
        GenericResponseMessage handleDefinition(const GenericRequestMessage& request);
        GenericResponseMessage handleHover(const GenericRequestMessage& request);
        GenericResponseMessage handleDocumentSymbol(const GenericRequestMessage& request);
        GenericResponseMessage handleRename(const GenericRequestMessage& request);
        GenericResponseMessage handleReferences(const GenericRequestMessage& request);
        GenericResponseMessage handleCompletion(const GenericRequestMessage& request);
 
        CompletionList handleATCompletion(const CompletionParams& params);
        CompletionList handleDOTCompletion(const CompletionParams& params);
 
        // Notification handlers
        void handleDidOpen(const GenericNotificationMessage& request);
        void handleDidChange(const GenericNotificationMessage& request);
        void handleDidChangeWatchedFiles(const GenericNotificationMessage& request);
        void handleDidClose(const GenericNotificationMessage& request);
 
        void sendResponse(const GenericResponseMessage& response);
        void sendNotification(const GenericNotificationMessage& notification);
 
        void publishDiagnostics(std::shared_ptr<bpp::bpp_program> program);
 
        void add_include_path(const std::string& path);
        void set_suppress_warnings(bool suppress);
 
        template <typename... Args>
        void log(Args&&... args) {
            if (!log_file.is_open()) {
                return; // Not logging
            }
            std::lock_guard<std::mutex> lock(log_mutex);
            log_file << "[" << std::to_string(pid) << "] ";
            ((printValue(log_file, std::forward<Args>(args))), ...);
            log_file << std::endl;
        }
 
    private:
        using RequestHandler = GenericResponseMessage (BashppServer::*)(const GenericRequestMessage&);
        using NotificationHandler = void (BashppServer::*)(const GenericNotificationMessage&);
 
        static constexpr frozen::unordered_map<frozen::string, RequestHandler, 8> request_handlers = {
            {"initialize", &BashppServer::handleInitialize},
            {"textDocument/definition", &BashppServer::handleDefinition},
            {"textDocument/completion", &BashppServer::handleCompletion},
            {"textDocument/hover", &BashppServer::handleHover},
            {"textDocument/documentSymbol", &BashppServer::handleDocumentSymbol},
            {"textDocument/rename", &BashppServer::handleRename},
            {"textDocument/references", &BashppServer::handleReferences},
            {"shutdown", &BashppServer::shutdown}
        };
 
        static constexpr frozen::unordered_map<frozen::string, NotificationHandler, 4> notification_handlers = {
            {"textDocument/didOpen", &BashppServer::handleDidOpen},
            {"textDocument/didChange", &BashppServer::handleDidChange},
            {"workspace/didChangeWatchedFiles", &BashppServer::handleDidChangeWatchedFiles},
            {"textDocument/didClose", &BashppServer::handleDidClose}
        };
};
 
} // namespace bpp