wassname/ray
1
0
Fork 0
mirror of https://github.com/wassname/ray.git synced 2026-07-02 07:04:46 +08:00
Code Issues Packages Projects Releases Wiki Activity

In UI, add timing information for tasks and show cluster scheduling. (#297)

Browse Source 
* In UI, add timing information for tasks and show cluster scheduling.

* Factor out html generation as function.
This commit is contained in:
Robert Nishihara
2017-02-19 15:12:08 -08:00
committed by Philipp Moritz
parent 124baa7472
commit 2220a33b62
4 changed files with 124 additions and 58 deletions
Download Patch File Download Diff File Expand all files Collapse all files
python/ray/worker.py
+9 -2
View File
@@ -1203,12 +1203,19 @@ def connect(info, object_id_seed=None, mode=WORKER_MODE, worker=global_worker, a
import __main__ as main
driver_info = {"node_ip_address": worker.node_ip_address,
"driver_id": worker.worker_id,
"start_time": time.time()}
"start_time": time.time(),
"plasma_store_socket": info["store_socket_name"],
"plasma_manager_socket": info["manager_socket_name"],
"local_scheduler_socket": info["local_scheduler_socket_name"]}
driver_info["name"] = main.__file__ if hasattr(main, "__file__") else "INTERACTIVE MODE"
worker.redis_client.hmset(b"Drivers:" + worker.worker_id, driver_info)
elif mode == WORKER_MODE:
# Register the worker with Redis.
worker.redis_client.hmset(b"Workers:" + worker.worker_id, {"node_ip_address": worker.node_ip_address})
worker.redis_client.hmset(b"Workers:" + worker.worker_id,
{"node_ip_address": worker.node_ip_address,
"plasma_store_socket": info["store_socket_name"],
"plasma_manager_socket": info["manager_socket_name"],
"local_scheduler_socket": info["local_scheduler_socket_name"]})
else:
raise Exception("This code should be unreachable.")
# If this is a driver, set the current task ID, the task driver ID, and set