Esercizio - Ciclo di vita, concorrenza, sessioni e filtri di una servlet (applicazione web)

package it.unipd.aule.web;

import jakarta.servlet.annotation.WebServlet;
import jakarta.servlet.http.HttpServlet;
import jakarta.servlet.http.HttpServletRequest;
import jakarta.servlet.http.HttpServletResponse;

import java.io.IOException;
import java.sql.Connection;
import java.sql.DriverManager;
import java.sql.ResultSet;
import java.sql.SQLException;
import java.sql.Statement;

// ESERCIZIO: quanti difetti ci sono in questa servlet? (compila, ma non va usata)
@WebServlet("/riepilogo")
public class RiepilogoSbagliataServlet extends HttpServlet {
    private String studente;
    private int richieste = 0;
    private Connection conn;

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws IOException {
        richieste++;
        studente = req.getParameter("studente");
        String cancella = req.getParameter("cancella");
        resp.getWriter().println("<h1>Prenotazioni di " + studente + " (richiesta n. " + richieste + ")</h1>");
        try {
            conn = DriverManager.getConnection("jdbc:postgresql://db:5432/aule", "aule", "aule");
            Statement st = conn.createStatement();
            if (cancella != null) {
                st.executeUpdate("DELETE FROM prenotazione WHERE id = " + cancella);
            }
            ResultSet rs = st.executeQuery("SELECT giorno, ora_inizio, ora_fine FROM prenotazione WHERE studente = '" + studente + "'");
            while (rs.next()) {
                resp.getWriter().println("<p>" + rs.getString(1) + " " + rs.getString(2) + "-" + rs.getString(3) + "</p>");
            }
        } catch (SQLException e) {
            e.printStackTrace(resp.getWriter());
        }
    }
}

atteso    : 800000
int       : 282387        269648        285214
atomico   : 800000

package it.unipd.aule.web;

import it.unipd.aule.dao.PrenotazioneDAO;
import it.unipd.aule.model.Prenotazione;
import jakarta.servlet.ServletException;
import jakarta.servlet.annotation.WebServlet;
import jakarta.servlet.http.HttpServlet;
import jakarta.servlet.http.HttpServletRequest;
import jakarta.servlet.http.HttpServletResponse;

import java.io.IOException;
import java.io.PrintWriter;
import java.sql.SQLException;
import java.util.concurrent.atomic.AtomicInteger;

/** Riepilogo delle prenotazioni di uno studente (versione corretta di RiepilogoSbagliataServlet). */
@WebServlet("/riepilogo")
public class RiepilogoServlet extends HttpServlet {
    private final AtomicInteger richieste = new AtomicInteger();   // stato condiviso: thread-safe
    private PrenotazioneDAO dao;                                   // condiviso, ma sola lettura dopo init()

    @Override
    public void init() {
        dao = (PrenotazioneDAO) getServletContext().getAttribute("prenotazioneDAO");
    }

    @Override
    protected void doGet(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        String studente = req.getParameter("studente");            // variabile LOCALE
        if (studente == null || studente.isBlank()) {
            resp.sendError(HttpServletResponse.SC_BAD_REQUEST, "manca il parametro studente");
            return;
        }
        int numero = richieste.incrementAndGet();
        try {
            resp.setContentType("text/html;charset=UTF-8");
            PrintWriter out = resp.getWriter();
            out.println("<h1>Prenotazioni di " + Html.esc(studente) + " (richiesta n. " + numero + ")</h1>");
            for (Prenotazione p : dao.perStudente(studente)) {     // query parametrizzata nel DAO
                out.println("<p>" + p.getGiorno() + " " + p.getOraInizio() + "-" + p.getOraFine() + "</p>");
            }
        } catch (SQLException e) {
            log("errore SQL", e);                                  // il dettaglio nel log...
            throw new ServletException("errore di accesso ai dati");   // ...non nella pagina
        }
    }

    @Override
    protected void doPost(HttpServletRequest req, HttpServletResponse resp) throws ServletException, IOException {
        // le modifiche (cancellazione) si fanno con POST/DELETE: vedi AnnullaServlet
        resp.setHeader("Allow", "GET");
        resp.sendError(HttpServletResponse.SC_METHOD_NOT_ALLOWED);
    }
}

POST /login HTTP/1.1
Content-Type: application/x-www-form-urlencoded

studente=Rossi

HTTP/1.1 302
Set-Cookie: JSESSIONID=9D2F0C5A6B7E4D1F8A3C2B1E0F9D8C7B; Path=/; HttpOnly
Location: /prenotazioni

GET /prenotazioni HTTP/1.1
Cookie: JSESSIONID=9D2F0C5A6B7E4D1F8A3C2B1E0F9D8C7B