[web-doc] master: More useful timings

Author: Jim Winstead (jimwins) Date: 2024-10-22T10:36:27-07:00 Commit: https://github.com/php/web-doc/commit/facdfd08123dd26786ea32f96f5803ca10da2c31 Raw diff: https://github.com/php/web-doc/commit/facdfd08123dd26786ea32f96f5803ca10da2c31.diff More useful timings Changed paths: M scripts/rev.php Diff: diff --git a/scripts/rev.php b/scripts/rev.php index b63787d..2a9ee3d 100644 --- a/scripts/rev.php +++ b/scripts/rev.php @@ -30,6 +30,19 @@ include '../include/init.inc.php'; include '../include/lib_proj_lang.inc.php'; +$time_start = microtime(true); + +function mark_time($time_start, $message) +{ + static $last = $time_start; + $now = microtime(true); + $time = $now - $time_start; + $since_last = $now - $last; + $last = $now; + + echo sprintf("Mark: %s: %.02fs elapsed, %.02f since last\n", $message, $time, $since_last); +} + $DOCS = GIT_DIR; // Test the languages: @@ -135,9 +148,16 @@ $SQL_BUFF = ""; $enFiles = populateFileTree( 'en' ); + +mark_time($time_start, "Populated 'en' tree"); + captureGitValues( $gitData ); + +mark_time($time_start, "Captured Git hashes"); + foreach ($LANGS as $lang){ $trFiles[$lang] = populateFileTree( $lang ); + mark_time($time_start, "Populated '{$lang}' tree"); } class FileStatusInfo @@ -478,8 +498,6 @@ function captureGitValues( & $output ) * Script execution **/ -$time_start = microtime(true); - $path = null; $id = 0; asort( $enFiles ); @@ -555,10 +573,14 @@ function captureGitValues( & $output ) } } +mark_time($time_start, "Computed 'enfiles', 'translated', and 'Untranslated'"); + foreach( $LANGS as $lang ) { computeTranslatorStatus( $lang, $enFiles, $trFiles[$lang] ); } +mark_time($time_start, "Computed translator status"); + $db_name = SQLITE_DIR . 'rev.php.sqlite'; $tmp_db = SQLITE_DIR . 'rev.php.tmp.sqlite'; @@ -601,6 +623,8 @@ function captureGitValues( & $output ) $db->exec('COMMIT'); $db->close(); +mark_time($time_start, "Populated SQLite database"); + echo "Copying temporary database to final database\n"; copy($tmp_db, $db_name);