Actions
Bug #7110
closedEMG doesn't support modules leading to very many process instances
Start date:
04/25/2016
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Platform:
Published in build:
14d5a0f
Description
Instead it terminates with the exception like below:
2016-04-22 21:50:09 (components.py:100) EMG ERROR> Raise exception:
Traceback (most recent call last):
File "/core/components.py", line 94, in run
self.main()
File "/core/utils.py", line 38, in callbacks_caller
ret = attr(*args, **kwargs)
File "/core/avtg/emg/__init__.py", line 60, in generate_environment
tr.translate(mcs, model)
File "/core/avtg/emg/translator/__init__.py", line 37, in translate
self._generate_code(analysis, model)
File "/core/avtg/emg/translator/sequential.py", line 111, in _generate_code
base_list = self.__instanciate_processes(analysis, base_list, process)
File "/core/avtg/emg/translator/sequential.py", line 218, in __instanciate_processes
newp = self.__copy_process(instance)
File "/core/avtg/emg/translator/sequential.py", line 179, in __copy_process
format(int(self.conf["translation options"]["max instances number"])))
RuntimeError: EMG tries to generate more instances than it is allowed by configuration (300)
As far as I understand it was done to avoid bug #7037 but we can't leave this as is.
30 great modules from all Linux kernel modules are rejected by EMG due to this issue:- drivers/atm/solos-pci.ko
- drivers/gpu/drm/i915/i915.ko
- drivers/gpu/drm/nouveau/nouveau.ko
- drivers/gpu/drm/radeon/radeon.ko
- drivers/hwmon/adm1026.ko
- drivers/hwmon/adt7475.ko
- drivers/hwmon/dme1737.ko
- drivers/hwmon/f71805f.ko
- drivers/hwmon/gl518sm.ko
- drivers/hwmon/it87.ko
- drivers/hwmon/lm63.ko
- drivers/hwmon/lm87.ko
- drivers/hwmon/lm93.ko
- drivers/hwmon/vt8231.ko
- drivers/hwmon/w83627hf.ko
- drivers/hwmon/w83781d.ko
- drivers/scsi/lpfc/lpfc.ko
- drivers/scsi/qla2xxx/qla2xxx.ko
- drivers/target/target_core_mod.ko
- fs/dlm/dlm.ko
- fs/ext4/ext4.ko
- fs/nfs/nfsv4.ko
- fs/nfsd/nfsd.ko
- fs/ocfs2/ocfs2.ko
- fs/xfs/xfs.ko
- net/bluetooth/bluetooth.ko
- net/ipv6/ipv6.ko
- net/mac80211/mac80211.ko
- net/sunrpc/sunrpc.ko
- net/wireless/cfg80211.ko
Besides EMG rejects one module from the validation set in such the way.
Actions