[Tile-serving] [openstreetmap/osm2pgsql] Make timer_t use microseconds and make it restartable (PR #1829)

[Jochen Topf]

We can use the timer in more places if we have better resolution. For places where we don't need the resolution it doesn't matter because it will just get rounded. While we are at it we also use microseconds in the thread_pool code so that we use the same unit everywhere.

The timer is restartable now, by repeatedly calling start/stop() we can add up the times.

Also we are trying, as much as possible, to keep to the time types supplied by chrono. This gives us automatic correct time output with the fmt library which knows about those types. And it should make time conversions easier.
You can view, comment on, or merge this pull request online at:

  https://github.com/openstreetmap/osm2pgsql/pull/1829

-- Commit Summary --

  * Make timer_t use microseconds and make it restartable

-- File Changes --

    M src/flex-table.hpp (2)
    M src/middle-pgsql.hpp (4)
    M src/table.hpp (2)
    M src/thread-pool.cpp (4)
    M src/thread-pool.hpp (31)
    M src/util.cpp (4)
    M src/util.hpp (33)

-- Patch Links --

https://github.com/openstreetmap/osm2pgsql/pull/1829.patch
https://github.com/openstreetmap/osm2pgsql/pull/1829.diff

-- 
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/osm2pgsql/pull/1829
You are receiving this because you are subscribed to this thread.

Message ID: <openstreetmap/osm2pgsql/pull/1829 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/tile-serving/attachments/20221119/311bd797/attachment.htm>