Как я могу написать многопользовательский сервер, который не имеет изменяемого состояния?

Question

Я смотрю на функциональное программирование и борюсь с одной точкой .. Как мне сделать следующее без изменяемого состояния?

Представьте, что у меня есть сервер .. и клиенты пытаются подключиться .., и каждый клиент даетсервер номер и получает текущую сумму.

Теперь без изменяемого состояния сервер не может хранить итоги ... поэтому я думаю, что каждый клиент действительно создает новый сервер, содержащий новую сумму ..или новый сервер, содержащий запись и ссылающийся на старый сервер, чтобы можно было рассчитать итоговое значение.

НО .. как клиент находит сервер?Кто-то должен удерживать текущий экземпляр сервера .. поэтому у него есть изменяемая переменная 'server'.

Неважно, что я делаю .. Я всегда получаю изменяемую переменную в более высокой области видимости.

Мысли?

Answer 1

Сценарий, который вы описываете, может быть реализован следующим образом (псевдокод):

let keepTrackOfTotal(total) =
    let conn = waitForConnection()
    let x = readIntFrom(conn)
    let newTotal = total + x
    writeIntTo(conn, newTotal)
    keepTrackOfTotal(newTotal)

let main() = keepTrackOfTotal(0)

Здесь мы используем рекурсию для получения бесконечного цикла, который отслеживает общее количество без изменяемых переменных.

Answer 2

По крайней мере, в Erlang способ, которым это делается, заключается в том, что сам процесс имеет имя.

Таким образом, в то время как серверный цикл постоянно запускает новые свои версии (вызывая одну и ту же функцию в конце вызова, как в превосходном псевдокоде sepp2k) и вводя сумму в качестве параметра, все ваши клиенты связываются с этим процессом по имени, чтобы они все еще могли его найти.

Answer 3

Примерно так (на C ++). У нас есть статический указатель сервера, каждый экземпляр объекта сервера неизменен

#include <pthread.h>
#include <iostream>
#include <stdlib.h>
#include <memory>

pthread_mutex_t mutex1 = PTHREAD_MUTEX_INITIALIZER;

class Server
{
public:
    Server(int n) : m_n(n){}
    static void Add(int n)
    {        
        pthread_mutex_lock( &mutex1 );
        std::auto_ptr<const Server> srv(getInstance());
        server = new Server(srv->m_n + n);
        pthread_mutex_unlock( &mutex1 );
    }
    static int GetTotal()
    {
        std::auto_ptr<const Server> srv(getInstance());
        return srv->m_n;
    }

private:

    static const Server* getInstance()
    {
        if (server == NULL)
            server = new Server(0);

        return new Server(server->m_n);
    }
    static volatile const Server* server;
    int const m_n;
};
volatile const Server* Server::server = NULL;

Каждый вызов getInstance () возвращает неизменный объект Server. Вы можете вызвать метод GetTotal (), когда другой метод работает в методе Add.