80b6c0722d
Stock de stacks prêtes par lab dans Redis (prise atomique en Lua, ménage par comparaison avec Heat, disjoncteur), files gérées par Horizon, séances planifiables. Correcteur Go sur l'hyperviseur : socket Unix, commandes lues dans le lab.yaml uniquement, exécution par l'agent invité QEMU. Une création de stack ratée est supprimée et réessayée deux fois, puis la session passe en échec, visible du prof. Corrige aussi trois défauts des étapes précédentes : la console se coupait à la première frappe d'un navigateur (trames texte), l'élève ne pouvait pas rejoindre une séance, la déconnexion n'avait pas de jeton CSRF. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
91 lines
2.5 KiB
PHP
91 lines
2.5 KiB
PHP
<?php
|
|
|
|
namespace App\Models;
|
|
|
|
use Illuminate\Database\Eloquent\Factories\HasFactory;
|
|
use Illuminate\Database\Eloquent\Model;
|
|
use Illuminate\Database\Eloquent\Relations\BelongsTo;
|
|
use Illuminate\Database\Eloquent\Relations\HasMany;
|
|
use Illuminate\Database\Eloquent\Relations\HasOne;
|
|
use Illuminate\Support\Facades\DB;
|
|
|
|
class LabSession extends Model
|
|
{
|
|
use HasFactory;
|
|
|
|
public const EN_ATTENTE = 'en_attente';
|
|
|
|
// Admis par le prof : CreerStackLab est dispatché, la stack Heat se construit.
|
|
public const ADMIS = 'admis';
|
|
|
|
// Stack CREATE_COMPLETE : les VM existent, les terminaux peuvent s'ouvrir.
|
|
public const ACTIF = 'actif';
|
|
|
|
public const TERMINE = 'termine';
|
|
|
|
public const EXPIRE = 'expire';
|
|
|
|
// Trois créations de stack ratées de suite (voir CreerStackLab) : le prof
|
|
// le voit dans la salle d'attente et peut relancer.
|
|
public const ECHEC = 'echec';
|
|
|
|
protected $fillable = ['seance_id', 'eleve_id', 'lab_id', 'heat_stack_id', 'heat_stack_name', 'etat', 'raison_echec', 'expire_a'];
|
|
|
|
protected $casts = [
|
|
'expire_a' => 'datetime',
|
|
];
|
|
|
|
public function seance(): BelongsTo
|
|
{
|
|
return $this->belongsTo(Seance::class);
|
|
}
|
|
|
|
public function eleve(): BelongsTo
|
|
{
|
|
return $this->belongsTo(Eleve::class);
|
|
}
|
|
|
|
public function lab(): BelongsTo
|
|
{
|
|
return $this->belongsTo(Lab::class);
|
|
}
|
|
|
|
public function machines(): HasMany
|
|
{
|
|
return $this->hasMany(LabSessionMachine::class);
|
|
}
|
|
|
|
/**
|
|
* Relie une stack prête à cette session : venue du stock chaud
|
|
* (SeanceController::admettre) ou construite à la demande (CreerStackLab).
|
|
*
|
|
* @param array{nom: string, id: string, instances: array<string, string>} $stack
|
|
*/
|
|
public function attribuerStack(array $stack): void
|
|
{
|
|
DB::transaction(function () use ($stack) {
|
|
$this->machines()->delete();
|
|
|
|
foreach ($stack['instances'] as $nom => $instanceId) {
|
|
$this->machines()->create(['nom' => $nom, 'instance_id' => $instanceId]);
|
|
}
|
|
|
|
$this->forceFill([
|
|
'heat_stack_name' => $stack['nom'],
|
|
'heat_stack_id' => $stack['id'],
|
|
'etat' => self::ACTIF,
|
|
'raison_echec' => null,
|
|
])->save();
|
|
});
|
|
}
|
|
|
|
public function corrections(): HasMany
|
|
{
|
|
return $this->hasMany(Correction::class);
|
|
}
|
|
|
|
public function derniereCorrection(): HasOne
|
|
{
|
|
return $this->hasOne(Correction::class)->latestOfMany();
|
|
}
|
|
}
|