2021-04-16 23:21:06 +08:00
|
|
|
import os
|
|
|
|
import select
|
|
|
|
import threading
|
|
|
|
|
|
|
|
from pyglet import app
|
|
|
|
from pyglet.app.base import PlatformEventLoop
|
|
|
|
|
|
|
|
|
|
|
|
class XlibSelectDevice:
|
|
|
|
def fileno(self):
|
|
|
|
"""Get the file handle for ``select()`` for this device.
|
|
|
|
|
|
|
|
:rtype: int
|
|
|
|
"""
|
|
|
|
raise NotImplementedError('abstract')
|
|
|
|
|
|
|
|
def select(self):
|
|
|
|
"""Perform event processing on the device.
|
|
|
|
|
|
|
|
Called when ``select()`` returns this device in its list of active
|
|
|
|
files.
|
|
|
|
"""
|
|
|
|
raise NotImplementedError('abstract')
|
|
|
|
|
|
|
|
def poll(self):
|
|
|
|
"""Check if the device has events ready to process.
|
|
|
|
|
|
|
|
:rtype: bool
|
|
|
|
:return: True if there are events to process, False otherwise.
|
|
|
|
"""
|
|
|
|
return False
|
|
|
|
|
|
|
|
|
|
|
|
class NotificationDevice(XlibSelectDevice):
|
|
|
|
def __init__(self):
|
|
|
|
self._sync_file_read, self._sync_file_write = os.pipe()
|
|
|
|
self._event = threading.Event()
|
|
|
|
|
|
|
|
def fileno(self):
|
|
|
|
return self._sync_file_read
|
|
|
|
|
|
|
|
def set(self):
|
|
|
|
self._event.set()
|
2021-09-23 06:34:23 +08:00
|
|
|
os.write(self._sync_file_write, b'1')
|
2021-04-16 23:21:06 +08:00
|
|
|
|
|
|
|
def select(self):
|
|
|
|
self._event.clear()
|
|
|
|
os.read(self._sync_file_read, 1)
|
|
|
|
app.platform_event_loop.dispatch_posted_events()
|
|
|
|
|
|
|
|
def poll(self):
|
2022-03-05 23:10:18 +08:00
|
|
|
return self._event.is_set()
|
2021-04-16 23:21:06 +08:00
|
|
|
|
|
|
|
|
|
|
|
class XlibEventLoop(PlatformEventLoop):
|
|
|
|
def __init__(self):
|
|
|
|
super(XlibEventLoop, self).__init__()
|
|
|
|
self._notification_device = NotificationDevice()
|
2021-09-23 06:34:23 +08:00
|
|
|
self.select_devices = set()
|
|
|
|
self.select_devices.add(self._notification_device)
|
2021-04-16 23:21:06 +08:00
|
|
|
|
|
|
|
def notify(self):
|
|
|
|
self._notification_device.set()
|
|
|
|
|
|
|
|
def step(self, timeout=None):
|
|
|
|
# Timeout is from EventLoop.idle(). Return after that timeout or directly
|
|
|
|
# after receiving a new event. None means: block for user input.
|
|
|
|
|
|
|
|
# Poll devices to check for already pending events (select.select is not enough)
|
|
|
|
pending_devices = []
|
2021-09-23 06:34:23 +08:00
|
|
|
for device in self.select_devices:
|
2021-04-16 23:21:06 +08:00
|
|
|
if device.poll():
|
|
|
|
pending_devices.append(device)
|
|
|
|
|
|
|
|
# If no devices were ready, wait until one gets ready
|
|
|
|
if not pending_devices:
|
2021-09-23 06:34:23 +08:00
|
|
|
pending_devices, _, _ = select.select(self.select_devices, (), (), timeout)
|
2021-04-16 23:21:06 +08:00
|
|
|
|
|
|
|
if not pending_devices:
|
|
|
|
# Notify caller that timeout expired without incoming events
|
|
|
|
return False
|
|
|
|
|
|
|
|
# Dispatch activity on matching devices
|
|
|
|
for device in pending_devices:
|
|
|
|
device.select()
|
|
|
|
|
|
|
|
# Notify caller that events were handled before timeout expired
|
|
|
|
return True
|