講義状態と同期

講義状態の管理

一つの講義には、教員の管理画面、学生端末、教室のDisplayが接続する。これらが共有する資料の表示位置、投票、コメント、字幕、開催状態を、講義IDに紐付けてPostgreSQLに保存する。各端末はDBで確定した状態を取得し、用途に応じて表示する。

更新の確定に、全端末からの受信確認は必要としない。DB内の整合性はトランザクションで保ち、各端末への反映は非同期に進める構成である。通信の遅い端末が講義全体の進行を止めることはないが、端末間には一時的な表示の差が生じる。

トランザクションと講義終了

投票の回答、集計値、更新番号は、同じDBトランザクションで確定する。学生端末が回答を保存すると、DBのトリガーが集計値と更新番号を更新する。途中で失敗すれば一連の更新を取り消すため、回答だけが保存されて票数に反映されない状態を残さない。

終了時は、投票の受付とAI制御も停止し、終了記録を保存する。手動終了と期限切れは同じ終了処理を使う。最大90分の開催期限はDB時刻で判定し、期限を過ぎた参加要求は受け付けない。

状態の配信と再同期

コメント・ライブ投票は、教員・学生・Displayの全接続端末へRealtimeで配信し、通常5秒間隔の状態取得を併用する構成とする。Realtimeで更新を届け、定期取得で通知の欠落や切断から復帰する。

端末は、講義状態をまとめて取得するスナップショットAPIを呼び出す。資料、投票、字幕などには個別の更新番号があり、端末が把握している番号を送ると、DBは更新された項目のデータを返す。

通知が欠落した場合や切断から復帰した場合は、DBにある現在の状態を取得する。切断中の操作を順番に再生する方式ではない。

応答が遅れて届いても、項目ごとの更新番号を比較して古い値を適用しない。講義を切り替えた後は、切替前に開始した通信の応答も除外する。確定字幕は再取得の対象になるが、失われた途中字幕をすべて復元するものではない。

Displayの描画確認

教員が指定したページがDBに保存されても、DisplayでPDFの描画が完了したとは限らない。このためDisplayは描画完了をDBへ報告し、教員画面はその報告から同期状態を表示する。

報告では資料ID、資料の版、ページ、表示指示の更新時刻、接続世代を照合する。前のページの描画や、再接続前のDisplayからの報告を、現在の指示に対する完了として扱わない。報告の送信に失敗した場合は再送し、複数の報告が待機している場合は最新の描画結果を優先する。

読み取り負荷の制御

一つの講義状態を多数の端末が繰り返し取得するため、端末ごとの要求で同じ集計をやり直さないことが重要になる。集計を更新時に行う処理と、取得結果を講義内で再利用する処理を設けている。

活動人数は、書き込みがなくても時間とともに変化する。この情報は更新番号にかかわらず毎回返す。また、初回・復帰時の取得タイミングを端末間で分散し、通信失敗時は再試行間隔を延ばす。