scheduler.cc (12996:17ec70f9841e) scheduler.cc (13047:61a849083f15)
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 129 unchanged lines hidden (view full) ---

138
139 scheduleReadyEvent();
140}
141
142void
143Scheduler::requestUpdate(Channel *c)
144{
145 updateList.pushLast(c);
1/*
2 * Copyright 2018 Google, Inc.
3 *
4 * Redistribution and use in source and binary forms, with or without
5 * modification, are permitted provided that the following conditions are
6 * met: redistributions of source code must retain the above copyright
7 * notice, this list of conditions and the following disclaimer;
8 * redistributions in binary form must reproduce the above copyright

--- 129 unchanged lines hidden (view full) ---

138
139 scheduleReadyEvent();
140}
141
142void
143Scheduler::requestUpdate(Channel *c)
144{
145 updateList.pushLast(c);
146 scheduleReadyEvent();
146 if (eq)
147 scheduleReadyEvent();
147}
148
149void
150Scheduler::scheduleReadyEvent()
151{
152 // Schedule the evaluate and update phases.
153 if (!readyEvent.scheduled()) {
154 panic_if(!eq, "Need to schedule ready, but no event manager.\n");

--- 133 unchanged lines hidden --- 		148}
149
150void
151Scheduler::scheduleReadyEvent()
152{
153 // Schedule the evaluate and update phases.
154 if (!readyEvent.scheduled()) {
155 panic_if(!eq, "Need to schedule ready, but no event manager.\n");

--- 133 unchanged lines hidden ---