別ユーザーの同時アクセス時に対応について

Question

◆追記 1/24
UpdateUserCheck を作成しました。

ページを離れた事の判定ですが、
現在は、ListServletに戻った時点で、mapからremoveする処理を追加しました。

恐らく、これで対応できると思いますが、
一点、編集中の画面をブラウザの閉じるボタンを実施したときの対応について悩んでおります。

引き続き、知恵を貸していただけないでしょうか。
よろしくお願いします。

◆追記 1/23
Mapを利用した、ソースを書いてみました。UpdateUserCheck_N
(まだ、動かしてません)

引き続き、良い方法がないか知恵を貸していただきたいです。

◆追記
UpdateUserCheckを編集しました。
最初にページに入ったログインユーザIDとページネームをtmpに格納して、比較しようと考えています。

途中の段階ですが、引き続き知恵を貸していただけないでしょうか。

---

現在、ServletとJSPで掲示板を作成しています。

◆実現したいこと
ログイン後に既存ページを更新中に、別のユーザーから更新ページにアクセスがあった場合に、更新ページに入らせない。
ユーザーIDはsessionで保持。
一覧ページから編集したい項目の名前を押して、編集を押すと、パラメータをUsercheckServletに渡し、同一ユーザーかチェックし、同一ユーザーであれば、更新ページ(update.jsp)に飛ぶという流れにしようと思っています。

同時アクセス時の編集したい項目の名前(name)とユーザーID(id)を比較するロジックに関して、知恵を拝借したいです.

よろしくお願いします。

※UsercheckServletは編集中のものです。

<h1>${wikiPage.name}</h1>
${wikiPage.formatedContent}
<hr>
<c:if test="${login == 'OK' && wikiPage.name != 'welcome'}">
	<a href="/wiki/UpdateUserCheck?id=${account.id}&name=${wikiPage.name}&content=${wikiPage.content}">このページを更新</a>
</c:if>

<h1>${param.name}の編集</h1>
<form action="/wiki/update">
	<input type="hidden" name="cmd" value="update">
	<input type="hidden" name="name" value="${param.name}">
	<textarea rows="15" cols="60" name="content">${param.content}</textarea>
	※200文字以内
	<br>
	<input type="submit"  value="更新ˆ">
	<input type="submit"  value="削除" onclick="cmd.value='delete'">
	<input type="button"  value="キャンセル" onclick="location.href='list?name=${param.name}&id=${param.id}'">
</form>

```
```Servlet
package wiki;

import java.io.IOException;
import java.util.List;
import java.util.Map;

import javax.servlet.ServletContext;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;

public class ListServlet extends HttpServlet {

	@Override
	public void doGet(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException {

		ServletContext sc = getServletContext(); // アプリケーションスコープの取得
		String name = request.getParameter("name");

		/* リストページアクセス時に編集ページにアクセスの履歴があれば、処理を実施 */
		if (sc.getAttribute("tmpMap") != null) {
			int id = 0;
			if (request.getParameter("id") == null || request.getParameter("id").isEmpty()) {
				id = -1;
			} else {
				id = Integer.parseInt(request.getParameter("id"));
			}

			Map<String, Integer> map = autoCast(sc.getAttribute("tmpMap"));
			if (map.containsKey(name)) {
				if (map.get(name) == id) {
					map.remove(name);
					sc.setAttribute("tmpMap", map);
				}
			}
		}

		try {
			List<WikiBean> list = WikiPageDAO.getInstance().findAll();
			request.setAttribute("list", list);
		} catch (Exception e) {
			throw new ServletException(e);
		}

		request.getRequestDispatcher("/wikiView/list.jsp").forward(request, response);
	}

	/* 戻り値の型に合わせてキャスト */
	@SuppressWarnings("unchecked")
	public static <T> T autoCast(Object obj) {
		T castedObject = (T) obj;
		return castedObject;
	}
}
```

```Servlet
package wiki;

import java.io.IOException;
import java.util.HashMap;

import javax.servlet.ServletContext;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import javax.servlet.http.HttpSession;

import Account.AccountBean;

public class UpdateUserCheck extends HttpServlet {

	@Override
	public synchronized void doGet(HttpServletRequest request, HttpServletResponse response)
			throws ServletException, IOException {

		HttpSession session = request.getSession(false);
		ServletContext sc = getServletContext(); // アプリケーションスコープの取得

		String name = request.getParameter("name"); // 編集中のページ名を取得
		AccountBean account = (AccountBean) session.getAttribute("account");

		/* アプリケーションスコープがnullであれば、新しくMapを取得する */
		HashMap<String, Integer> map = null;
		if (sc.getAttribute("tmpMap") == null) {
			map = new HashMap<String, Integer>();
		} else {
			map = autoCast(sc.getAttribute("tmpMap")); // メソッドでキャスト
		}

		String message = null;
		if (map.containsKey(name)) {
			if (map.get(name) != account.getId()) {
				message = "他のユーザーにて編集中です";
				request.setAttribute("message", message);
				request.getRequestDispatcher("list").forward(request, response);
			} else {
				map.put(name, account.getId());
				sc.setAttribute("tmpMap", map);
				request.getRequestDispatcher("/wikiView/update.jsp").forward(request, response);
			}
		} else {
			map.put(name, account.getId());
			sc.setAttribute("tmpMap", map);
			request.getRequestDispatcher("/wikiView/update.jsp").forward(request, response);
		}
	}

	/* 戻り値の型に合わせてキャスト */
	@SuppressWarnings("unchecked")
	public static <T> T autoCast(Object obj) {
		T castedObject = (T) obj;
		return castedObject;
	}
}
```

Answer 1

現在編集中のユーザの情報（tmpId, tmpName）はリクエスト、セッションを越えて共有できる必要がありますので、アプリケーションスコープの変数として保持する必要があります。

Servlet スコープとは？のapplicationスコープのサンプルを参照してください。 ServletContext に編集中のユーザの ID と名前を setAttribute し、あとで getAttribute することで現在編集中のユーザの情報を管理することができると思います。

ただし、掲示板が複数ある場合は、掲示板毎に管理する必要があるので、ハッシュテーブルなどを使う必要があると思います。

また、複数のユーザがまったく同時に編集しようとすると、今、編集中のユーザがいないことを確認する if 文とユーザ情報を設定する setAttribute 呼び出しを同時に実行してしまう可能性があるため、 synchronized なメソッドで実装して排他制御する必要があると思います。

---

以下に排他制御について書いてみますが、手元に servlet をデバッグする環境がないので、すべて未検証（コンパイルエラーがでるかもしれない）であることをご了承ください。

いろいろ、ググッて調べたのですが、「もし、未登録であれば登録する」というロジックで満足に排他制御できているサンプルが見つかりませんでした。ServletContext は複数のスレッド（ユーザからのリクエスト）から同時にアクセスされるので、「もし、未登録であれば」という if 文を2つのスレッドが同時に実行すると、両方のスレッドが「登録する」処理を実行してしまうので、バグってしまいます。また、この手のバグはなかなか顕在化しないので、たちが悪いです。

まず、ServletContext にマップを登録する処理ですが、初期化イベントのリスナーで実行しておくべきです。アプリケーションが動作する前に実行されるので、排他制御の必要がありません。

import javax.servlet.ServletContextEvent;
import javax.servlet.ServletContextListener;
import java.util.concurrent.ConcurrentHashMap;
@javax.servlet.annotation.WebListener
public class WebListener implements ServletContextListener {
    @Override
    public void contextDestroyed(ServletContextEvent paramServletContextEvent) {}
    @Override
    public void contextInitialized(ServletContextEvent paramServletContextEvent) {
        paramServletContextEvent.getServletContext().setAttribute("tmpMap",
          new ConcurrentHashMap<String, Integer>());
    }
}

こうしておいて、サーブレット側では ConcurrentHashMap の putIfAbsent を使って排他制御します。

package wiki;

import java.io.IOException;
import java.util.concurrent.ConcurrentHashMap;

import javax.servlet.ServletContext;
import javax.servlet.ServletException;
import javax.servlet.http.HttpServlet;
import javax.servlet.http.HttpServletRequest;
import javax.servlet.http.HttpServletResponse;
import javax.servlet.http.HttpSession;

import Account.AccountBean;

public class UpdateUserCheck extends HttpServlet {

    @Override
    public synchronized void doGet(HttpServletRequest request, HttpServletResponse response)
            throws ServletException, IOException {

        HttpSession session = request.getSession(false);
        ServletContext sc = getServletContext(); // アプリケーションスコープの取得

        String name = request.getParameter("name"); // 編集中のページ名を取得
        AccountBean account = (AccountBean) session.getAttribute("account");

        /* 初期化イベントリスナーで登録したMapを取得する */
        ConcurrentHashMap<String, Integer> map = autoCast(sc.getAttribute("tmpMap")); // メソッドでキャスト

        String message = null;
        final Integer currentUid = autoCast(map.putIfAbsent(name, account.getId()));
        if (currentUid != null) {
            if (! currentUid.equals(account.getId())) {
                message = "他のユーザーにて編集中です";
                request.setAttribute("message", message);
                request.getRequestDispatcher("list").forward(request, response);
            } else {
                request.getRequestDispatcher("/wikiView/update.jsp").forward(request, response);
            }
        } else {
            request.getRequestDispatcher("/wikiView/update.jsp").forward(request, response);
        }
    }

    /* 戻り値の型に合わせてキャスト */
    @SuppressWarnings("unchecked")
    public static <T> T autoCast(Object obj) {
        T castedObject = (T) obj;
        return castedObject;
    }
}

また、ユーザが編集を終了するときに map から削除するようにしておかないと、上記コードは動作しません。さらに編集状態のまま、ログアウト時や放置されてセッションがタイムアウトした時も編集状態を開放する処理が必要であると思われます。

Comments

[n000n00]

回答ありがとうございます。

ご指導頂いたように、applicationスコープを利用して、ifでユーザーを特定するソースは書くことができました。ありがとうございます。

ご指摘頂いたように、掲示板にはページが複数あります。

教えて頂いたようにHashMapを利用して、複数ページに対応しようと考えていますが、あまり利用したことがないため、考えがまとまらない状況です。

何か、このような流れで等の例を、よろしければご教授いただけないでしょうか。

[n000n00]

回答ありがとうございます。

リスナーについては、私が読んでるServletのテキストには載っていなくて、
ググって勉強をしている段階です。

実装についてまだ理解ができていないですが、参考にさせていただきます。

ご丁寧に対応していただき、ありがとうございます。