193 lines
12 KiB
PHP
193 lines
12 KiB
PHP
<?php
|
|
|
|
use App\Enums\PurchasingRole;
|
|
use App\Models\AwardCancellation;
|
|
use App\Models\Budget;
|
|
use App\Models\BudgetEntry;
|
|
use App\Models\PurchaseAward;
|
|
use App\Models\PurchaseOrder;
|
|
use App\Models\PurchaseRevision;
|
|
use App\Models\Requisition;
|
|
use App\Models\User;
|
|
use App\Services\BudgetWorkflow;
|
|
use App\Services\ConflictGuard;
|
|
use App\Services\PurchaseControlPolicyWorkflow;
|
|
use App\Services\PurchaseRevisionWorkflow;
|
|
use Illuminate\Contracts\Console\Kernel;
|
|
use Illuminate\Support\Facades\Artisan;
|
|
use Illuminate\Support\Facades\DB;
|
|
use Illuminate\Support\Facades\Schema;
|
|
use Symfony\Component\Process\Process;
|
|
|
|
require __DIR__.'/../../vendor/autoload.php';
|
|
foreach (['APP_ENV' => 'testing', 'CACHE_STORE' => 'array', 'SESSION_DRIVER' => 'array', 'QUEUE_CONNECTION' => 'sync', 'MAIL_MAILER' => 'array'] as $key => $value) {
|
|
putenv($key.'='.$value);
|
|
$_ENV[$key] = $_SERVER[$key] = $value;
|
|
}
|
|
$app = require __DIR__.'/../../bootstrap/app.php';
|
|
$app->make(Kernel::class)->bootstrap();
|
|
require __DIR__.'/../Support/ReceiptFixture.php';
|
|
require __DIR__.'/../Support/PurchaseControlFixture.php';
|
|
$original = DB::connection();
|
|
if ($original->getDriverName() !== 'pgsql') {
|
|
throw new LogicException('Exige PostgreSQL.');
|
|
}
|
|
$config = $original->getConfig();
|
|
$admin = $original->getPdo();
|
|
$database = 'compras_receipts_test_'.bin2hex(random_bytes(6));
|
|
$created = false;
|
|
$processes = [];
|
|
$report = ['tested_at_utc' => gmdate('c'), 'separate_database' => true, 'transport' => 'Independent PHP service transactions and PostgreSQL connections', 'fixture' => 'Guarded synthetic fixtures; issuance controls and issue-versus-request races use service-selected and service-approved awards', 'scenarios' => []];
|
|
try {
|
|
$admin->exec('CREATE DATABASE "'.$database.'"');
|
|
$created = true;
|
|
config(['database.connections.pgsql' => [...$config, 'database' => $database, 'url' => null]]);
|
|
DB::purge('pgsql');
|
|
DB::setDefaultConnection('pgsql');
|
|
Schema::clearResolvedInstance('db.schema');
|
|
app()->forgetInstance('db.schema');
|
|
if (DB::connection()->getDatabaseName() !== $database || Schema::getConnection()->getDatabaseName() !== $database) {
|
|
throw new LogicException('Migração fora do isolamento recusada.');
|
|
}
|
|
Artisan::call('migrate', ['--database' => 'pgsql', '--force' => true]);
|
|
$workerEnv = ['APP_ENV' => 'testing', 'DB_CONNECTION' => 'pgsql', 'DB_URL' => '', 'DB_DATABASE' => $database, 'DB_HOST' => $config['host'], 'DB_PORT' => (string) $config['port'], 'DB_USERNAME' => $config['username'], 'DB_PASSWORD' => $config['password'], 'CACHE_STORE' => 'array', 'SESSION_DRIVER' => 'array'];
|
|
foreach (['same_approval', 'conflicting_decisions', 'same_revision', 'pending_issuance', 'same_issue_control', 'issue_versus_request'] as $scenario) {
|
|
$f = receiptFixture();
|
|
// Only the guarded synthetic fixture is adjusted; no business order is deleted.
|
|
DB::table('purchase_order_items')->where('purchase_order_id', $f['order']->id)->delete();
|
|
DB::table('purchase_orders')->where('id', $f['order']->id)->delete();
|
|
$award = PurchaseAward::query()->findOrFail($f['order']->purchase_award_id);
|
|
$buyer = User::factory()->create(['tenant_id' => $f['tenant']->id, 'department_id' => $f['department']->id, 'purchasing_role' => PurchasingRole::Procurement]);
|
|
$finance = User::factory()->create(['tenant_id' => $buyer->tenant_id, 'purchasing_role' => PurchasingRole::Finance]);
|
|
$admins = [];
|
|
for ($index = 0; $index < 3; $index++) {
|
|
$admins[] = User::factory()->create(['tenant_id' => $buyer->tenant_id, 'purchasing_role' => PurchasingRole::Admin]);
|
|
}
|
|
auth()->guard()->setUser($admins[0]);
|
|
$policy = app(PurchaseControlPolicyWorkflow::class)->propose($admins[0], ['previous_id' => 0, 'mode' => 'unissued_award', 'enabled' => true, 'valid_from' => today()->format('Y-m-d'), 'valid_until' => today()->addMonth()->format('Y-m-d'), 'reason' => 'Política exclusivamente fictícia']);
|
|
foreach ([$admins[1], $admins[2]] as $reviewer) {
|
|
auth()->guard()->setUser($reviewer);
|
|
app(PurchaseControlPolicyWorkflow::class)->review($reviewer, $policy, 'approved', 'Conferência independente fictícia');
|
|
}
|
|
Budget::query()->create(['tenant_id' => $buyer->tenant_id, 'cost_center_id' => $f['r']->cost_center_id, 'year' => now()->year, 'kind' => 'operating', 'amount_minor' => 100000, 'includes_tax' => true, 'created_by' => $admins[0]->id, 'approved_by' => $finance->id, 'reason' => 'Dotação exclusivamente fictícia']);
|
|
auth()->guard()->setUser($f['issuer']);
|
|
DB::transaction(function () use ($f) {
|
|
app(ConflictGuard::class)->lockCompany($f['issuer']);
|
|
app(BudgetWorkflow::class)->record($f['issuer'], $f['r'], 'reserve', 10000, 10000);
|
|
});
|
|
$issuable = in_array($scenario, ['same_issue_control', 'issue_versus_request']);
|
|
$cancellation = null;
|
|
if ($issuable || $scenario === 'pending_issuance') {
|
|
$award = issuablePurchaseControlFixture($f, $buyer, $finance);
|
|
}
|
|
if (! $issuable) {
|
|
auth()->guard()->setUser($buyer);
|
|
$cancellation = app(PurchaseRevisionWorkflow::class)->request($buyer, $award, 'Cancelamento exclusivamente fictício');
|
|
}
|
|
if ($scenario === 'same_revision') {
|
|
auth()->guard()->setUser($finance);
|
|
app(PurchaseRevisionWorkflow::class)->review($finance, $cancellation, 'approved', 'Decisão concorrente exclusivamente fictícia');
|
|
}
|
|
$connection = DB::connection();
|
|
$connection->beginTransaction();
|
|
$connection->table('tenants')->where('id', $buyer->tenant_id)->lockForUpdate()->first();
|
|
$processes = [];
|
|
foreach (['A', 'B'] as $index => $suffix) {
|
|
$actor = match ($scenario) {
|
|
'same_revision' => $f['issuer'], 'pending_issuance', 'same_issue_control', 'issue_versus_request' => $buyer, default => $finance
|
|
};
|
|
$target = $scenario === 'pending_issuance' || $issuable ? $award->id : $cancellation->id;
|
|
$payload = ['action' => match ($scenario) {
|
|
'same_revision' => 'revise', 'pending_issuance', 'same_issue_control' => 'issue', 'issue_versus_request' => $index === 0 ? 'issue' : 'request', default => 'review'
|
|
}, 'decision' => $scenario === 'conflicting_decisions' && $index === 1 ? 'rejected' : 'approved'];
|
|
$process = new Process([PHP_BINARY, __DIR__.'/purchase-controls-worker.php', $database, (string) $actor->id, (string) $target, $suffix], base_path(), $workerEnv);
|
|
$process->setInput(json_encode($payload, JSON_THROW_ON_ERROR));
|
|
$process->setTimeout(40);
|
|
$process->start();
|
|
$processes[] = $process;
|
|
}
|
|
$statement = $admin->prepare("SELECT count(*) FROM pg_stat_activity WHERE datname = ? AND application_name IN ('sgc_purchase_controls_A','sgc_purchase_controls_B') AND wait_event_type = 'Lock'");
|
|
$deadline = microtime(true) + 20;
|
|
do {
|
|
$statement->execute([$database]);
|
|
$waits = (int) $statement->fetchColumn();
|
|
if ($waits === 2) {
|
|
break;
|
|
}
|
|
foreach ($processes as $process) {
|
|
if (! $process->isRunning()) {
|
|
throw new RuntimeException('Worker terminou antes do bloqueio: '.$process->getErrorOutput());
|
|
}
|
|
}
|
|
usleep(20000);
|
|
} while (microtime(true) < $deadline);
|
|
$connection->commit();
|
|
if ($waits !== 2) {
|
|
throw new RuntimeException('Sem sobreposição de bloqueios.');
|
|
}
|
|
$results = [];
|
|
foreach ($processes as $process) {
|
|
$process->wait();
|
|
if (! $process->isSuccessful()) {
|
|
throw new RuntimeException('Falha do worker: '.$process->getErrorOutput());
|
|
}
|
|
$results[] = json_decode($process->getOutput(), true, 512, JSON_THROW_ON_ERROR);
|
|
}
|
|
auth()->guard()->setUser($buyer);
|
|
$statuses = array_column($results, 'status');
|
|
sort($statuses);
|
|
if ($issuable) {
|
|
$orders = PurchaseOrder::query()->count();
|
|
$requests = AwardCancellation::query()->count();
|
|
$committed = (int) BudgetEntry::query()->sum('committed_minor');
|
|
$reserved = (int) BudgetEntry::query()->sum('reserved_minor');
|
|
if ($statuses !== ($scenario === 'same_issue_control' ? [200, 200] : [200, 422]) || count(array_unique(array_column($results, 'backend_pid'))) !== 2 || $orders + $requests !== 1 || $committed !== ($orders ? 10000 : 0) || $reserved !== ($orders ? 0 : 10000) || BudgetEntry::query()->where('kind', 'release')->exists() || PurchaseRevision::query()->exists()) {
|
|
throw new RuntimeException('Emissão e cancelamento não são mutuamente exclusivos.');
|
|
}
|
|
if ($scenario === 'same_issue_control' && ($orders !== 1 || count(array_unique(array_column($results, 'result_id'))) !== 1 || BudgetEntry::query()->where('kind', 'commit')->count() !== 1)) {
|
|
throw new RuntimeException('Emissão de controlo inválida ou duplicada.');
|
|
}
|
|
$report['scenarios'][] = ['name' => $scenario, 'passed' => true, 'overlapping_lock_waits' => $waits, 'order_count' => $orders, 'cancellation_count' => $requests, 'committed_minor' => $committed];
|
|
|
|
continue;
|
|
}
|
|
$state = $cancellation->refresh()->status;
|
|
$released = BudgetEntry::query()->where('kind', 'release')->count();
|
|
$reserved = (int) BudgetEntry::query()->sum('reserved_minor');
|
|
$revisions = PurchaseRevision::query()->count();
|
|
$expected = match ($scenario) {
|
|
'conflicting_decisions' => [200, 422], 'pending_issuance' => [422, 422], default => [200, 200]
|
|
};
|
|
if ($statuses !== $expected || count(array_unique(array_column($results, 'backend_pid'))) !== 2 || PurchaseOrder::query()->exists() || $released !== ($state === 'approved' ? 1 : 0) || $reserved !== ($state === 'approved' ? 0 : 10000) || $revisions !== ($scenario === 'same_revision' ? 1 : 0) || $f['r']->refresh()->status !== ($state === 'approved' ? 'cancelled' : 'approved')) {
|
|
throw new RuntimeException('Resultado concorrente inesperado.');
|
|
}
|
|
if ($scenario === 'same_revision' && (count(array_unique(array_column($results, 'result_id'))) !== 1 || Requisition::query()->where('status', 'draft')->count() !== 1)) {
|
|
throw new RuntimeException('Revisão duplicada.');
|
|
}
|
|
if ($scenario === 'pending_issuance' && $state !== 'pending') {
|
|
throw new RuntimeException('Cancelamento pendente alterado.');
|
|
}
|
|
if (($scenario === 'same_approval' && $state !== 'approved') || ($scenario === 'conflicting_decisions' && ! in_array($state, ['approved', 'rejected']))) {
|
|
throw new RuntimeException('Decisão concorrente não concluída.');
|
|
}
|
|
$report['scenarios'][] = ['name' => $scenario, 'passed' => true, 'overlapping_lock_waits' => $waits, 'state' => $state, 'release_count' => $released, 'revision_count' => $revisions];
|
|
}
|
|
$report['passed'] = true;
|
|
} finally {
|
|
foreach ($processes as $process) {
|
|
if ($process->isRunning()) {
|
|
$process->stop();
|
|
}
|
|
}
|
|
if (isset($connection) && $connection->transactionLevel() > 0) {
|
|
$connection->rollBack();
|
|
}
|
|
DB::disconnect('pgsql');
|
|
if ($created && $database !== $original->getDatabaseName() && preg_match('/^compras_receipts_test_[a-f0-9]{12}$/', $database)) {
|
|
$admin->exec('DROP DATABASE "'.$database.'"');
|
|
$report['test_database_dropped'] = true;
|
|
}
|
|
}
|
|
file_put_contents(base_path('docs/revisao-concorrencia-postgresql.json'), json_encode($report, JSON_PRETTY_PRINT | JSON_THROW_ON_ERROR).PHP_EOL);
|
|
echo json_encode($report, JSON_PRETTY_PRINT | JSON_THROW_ON_ERROR).PHP_EOL;
|