• Places
    • Home
    • Graphs
    • Prefixes
  • Admin
    • Users
    • Settings
    • Plugins
    • Statistics
  • CPACK
    • Home
    • List packs
    • Submit pack
  • Repository
    • Load local file
    • Load from HTTP
    • Load from library
    • Remove triples
    • Clear repository
  • Query
    • YASGUI SPARQL Editor
    • Simple Form
    • SWISH Prolog shell
  • Help
    • Documentation
    • Tutorial
    • Roadmap
    • HTTP Services
  • Login

A.60 library(thread_pool): Resource bounded thread management
All Application Manual Name SummaryHelp

  • Documentation
    • Reference manual
      • The SWI-Prolog library
        • library(thread_pool): Resource bounded thread management
          • thread_pool_create/3
          • thread_pool_destroy/1
          • current_thread_pool/1
          • thread_pool_property/2
          • thread_create_in_pool/4
          • worker_exitted/3
          • create_pool/1
    • Packages
Availability::- use_module(library(thread_pool)).
Sourceworker_exitted(+PoolName, +WorkerId, :AtExit)
It is possible that’__thread_pool_manager’no longer exists while closing down the process because the manager was killed before the worker.
To be done
Find a way to discover that we are terminating Prolog.
ClioPatria (version V3.1.1-51-ga0b30a5)